full record print

Simulation-based equivalence checking between IEEE 1687 ICL and RTL

author
statement of authorship
Aleksa Damljanovic, Artur Jutman, Michele Portolan, Ernesto Sanchez, Giovanni Squillero, Anton Tsertov
source
location of publication
[S.l.]
publisher
year of publication
pages
paper. 7.3, 8 p. : ill
conference name, date
2019 IEEE International Test Conference (ITC)
conference location
Washington, DC, USA
url
ISSN
2378-2250
ISBN
978-1-7281-4823-6
notes
Bibliogr.: 13 ref
TTÜ department
language
inglise
Reserch Group
Centre for trustworthy and efficient computing hardware (TECH)
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. https://doi.org/10.1109/ITC44170.2019.9000181