A methodology for automated mining of compact and accurate asertion 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
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 asertion sets // 2021 IEEE Nordic Circuits and Systems Conference (NorCAS) : Oslo, Norway, October 26-27. : IEEE, 2021. 7 p. : ill.