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
märksõna
Scopus
WOS
võtmesõna
ISBN
978-166547404-7
märkused
Bibliogr.: 28 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
inglise
Uurimisrühm
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