A methodology for automated mining of compact and accurate assertion sets

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
ISBN
978-1-6654-0712-0
märkused
Bibliogr.: 27 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
inglise
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