Simulation-based equivalence checking between IEEE 1687 ICL and RTL
autor
vastutusandmed
Aleksa Damljanovic, Artur Jutman, Michele Portolan, Ernesto Sanchez, Giovanni Squillero, Anton Tsertov
ilmumiskoht
[S.l.]
kirjastus/väljaandja
ilmumisaasta
leheküljed
paper. 7.3, 8 p. : ill
konverentsi nimetus, aeg
2019 IEEE International Test Conference (ITC)
konverentsi toimumispaik
Washington, DC, USA
ISSN
2378-2250
ISBN
978-1-7281-4823-6
märkused
Bibliogr.: 13 ref
TTÜ struktuuriüksus
keel
inglise
võtmesõna
Uurimisrühm
Damljanovic, A., Jutman, A., Portolan, M., Tšertov, A. et al. Simulation-based equivalence checking between IEEE 1687 ICL and RTL // 2019 IEEE International Test Conference (ITC). [S.l.] : IEEE, 2019. paper. 7.3, 8 p. : ill.