IMMizer : an innovative cost-effective method for minimizing assertion sets
autor
Heidari Iman, Mohammad Reza
Raik, Jaan
Jervan, Gert
Ghasempouri, Tara
vastutusandmed
Heidari Iman, Mohammad Reza; Raik, Jaan; Jervan, Gert; Ghasempouri, Tara
allikas
Proceedings - 2022 25th Euromicro Conference on Digital System Design, DSD 2022
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
leitav
https://doi.org/10.1109/DSD57027.2022.00095
märksõna
riistvara
arvutisüsteemid
programmeerimine
Scopus
Article at Scopus
WOS
Article at WOS
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