prindi

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
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
Heidari Iman, M.R., Raik, J., Jervan, G., Ghasempouri, T. IMMizer : an innovative cost-effective method for minimizing assertion sets // 2022 25th Euromicro Conference on Digital System Design (DSD) : Maspalomas, Spain 2022 : proceedings. New York : IEEE, 2022. p. 671 - 678. https://doi.org/10.1109/DSD57027.2022.00095