IMMizer : an innovative cost-effective method for minimizing assertion sets
autor
Heidari Iman, Mohammad Reza
Raik, Jaan
Jervan, Gert
Ghasempouri, Tara
vastutusandmed
Mohammad Reza Heidari Iman, Jaan Raik, Gert Jervan, Tara Ghasempouri
allikas
2022 25th Euromicro Conference on Digital System Design (DSD) : Maspalomas, Spain 2022 : proceedings
ilmumiskoht
New York
kirjastus/väljaandja
IEEE
ilmumisaasta
2022
leheküljed
p. 671 - 678
konverentsi nimetus, aeg
25th Euromicro Conference on Digital System Design, DSD 2022; 31 Aug.-2 Sept. 2022
konverentsi toimumispaik
Maspalomas, Spain
leitav
https://doi.org/10.1109/DSD57027.2022.00095
märksõna
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
võtmesõna
Assertion Minimization
Assertion Mining
Assertion-Based Verification
Hardware Verification
ISBN
978-166547404-7
märkused
Bibliogr.: 28 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
inglise
Uurimisrühm
Usaldusväärsete arvutisüsteemide keskus