AMS-Miner: Mining AMS Assertions Using Interval Arithmetic
In: 31st International Conference on VLSI Design and 2018 17th International Conference on Embedded Systems (VLSID); (2018) S. 404-409
Online
Konferenz
Zugriff:
Titel: |
AMS-Miner: Mining AMS Assertions Using Interval Arithmetic
|
---|---|
Autor/in / Beteiligte Person: | Costa, Antonio Anastasio Bruto da ; Dharade, Shriya ; Mandal, Sudipa ; Dasgupta, Pallab |
Link: | |
Quelle: | 31st International Conference on VLSI Design and 2018 17th International Conference on Embedded Systems (VLSID); (2018) S. 404-409 |
Veröffentlichung: | 2018 |
Medientyp: | Konferenz |
ISBN: | 978-1-5386-3692-3 (print) |
ISSN: | 2380-6923 (print) |
DOI: | 10.1109/VLSID.2018.98 |
Sonstiges: |
|