IMMizer : an innovative cost-effective method for minimizing assertion sets
author
Heidari Iman, Mohammad Reza
Raik, Jaan
Jervan, Gert
Ghasempouri, Tara
statement of authorship
Heidari Iman, Mohammad Reza; Raik, Jaan; Jervan, Gert; Ghasempouri, Tara
source
Proceedings - 2022 25th Euromicro Conference on Digital System Design, DSD 2022
location of publication
New York
publisher
IEEE
year of publication
2022
pages
p. 671 - 678
conference name, date
25th Euromicro Conference on Digital System Design, DSD 2022; 31 Aug.-2 Sept. 2022
conference location
Maspalomas
url
https://doi.org/10.1109/DSD57027.2022.00095
subject term
riistvara
arvutisüsteemid
programmeerimine
Scopus
Article at Scopus
WOS
Article at WOS
keyword
Assertion Minimization
Assertion Mining
Assertion-Based Verification
Hardware Verification
ISBN
978-166547404-7
notes
Bibliogr.: 28 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
arvutisüsteemide instituut
language
inglise
Uurimisrühm
Centre of dependable computing systems