IMMizer : an innovative cost-effective method for minimizing assertion sets

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
ilmumisaasta
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
võtmesõna
Assertion Minimization
Assertion Mining
Hardware Verification
ISBN
978-166547404-7
märkused
Bibliogr.: 28 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
inglise