Antonio Anastasio Bruto da Costa, Shriya Dharade, Sudipa Mandal, Pallab Dasgupta. AMS-Miner: Mining AMS Assertions Using Interval Arithmetic. In 31st International Conference on VLSI Design and 17th International Conference on Embedded Systems, VLSID 2018, Pune, India, January 6-10, 2018. pages 404-409, IEEE Computer Society, 2018. [doi]
Abstract is missing.