AMS-Miner: Mining AMS Assertions Using Interval Arithmetic.

Antonio Anastasio Bruto da Costa, Shriya Dharade, Sudipa Mandal, Pallab Dasgupta

Browse the full VLSID paper archive.