IMMizer : an innovative cost-effective method for minimizing assertion sets
author
Heidari Iman, Mohammad Reza
Raik, Jaan
Jervan, Gert
Ghasempouri, Tara
statement of authorship
Mohammad Reza Heidari Iman, Jaan Raik, Gert Jervan, Tara Ghasempouri
source
2022 25th Euromicro Conference on Digital System Design (DSD) : Maspalomas, Spain 2022 : proceedings
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, Spain
url
https://doi.org/10.1109/DSD57027.2022.00095
subject term
riistvara
arvutisüsteemid
programmeerimine
Scopus
https://www.scopus.com/record/display.uri?eid=2-s2.0-85146731802&origin=resultslist&sort=plf-f&src=s&sid=3b42bc15325c13282d3a40f32ea9fcd1&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22immizer%3A+an+innovative%22%29&sl=34&sessionSearchId=3b42bc15325c13282d3a40f32ea9fcd1
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:000946536500080
keyword
Assertion Minimization
Assertion Mining
Assertion-Based Verification
Hardware Verification
ISBN
978-166547404-7
notes
Bibliogr.: 28 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
arvutisüsteemide instituut
language
inglise
Reserch Group
Centre of dependable computing systems