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
TTÜ struktuuriüksus
keel
inglise
Heidari Iman, M., 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