täiskirje prindi

A methodology for automated mining of compact and accurate assertion sets

autor
vastutusandmed
Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri
allikas
2021 IEEE Nordic Circuits and Systems Conference (NorCAS) : Oslo, Norway, October 26-27
kirjastus/väljaandja
ilmumisaasta
leheküljed
7 p. : ill
konverentsi nimetus, aeg
2021 IEEE Nordic Circuits and Systems Conference (NorCAS), October 26-27
konverentsi toimumispaik
Oslo, Norway
leitav
ISBN
978-1-6654-0712-0
märkused
Bibliogr.: 27 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
Uurimisrühm
Töökindla arvutusriistvara keskus (TARK)
Usaldusväärsete arvutisüsteemide keskus
Heidari Iman, M.R., Raik, J., Jenihhin, M., Jervan, G., Ghasempouri, T. A methodology for automated mining of compact and accurate assertion sets // 2021 IEEE Nordic Circuits and Systems Conference (NorCAS) : Oslo, Norway, October 26-27. : IEEE, 2021. 7 p. : ill. https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9599865 https://doi.org/10.1109/NorCAS53631.2021.9599865