Simulation-based equivalence checking between IEEE 1687 ICL and RTL
author
Damljanovic, Aleksa
Jutman, Artur
Portolan, Michele
Tšertov, Anton
statement of authorship
Aleksa Damljanovic, Artur Jutman, Michele Portolan, Ernesto Sanchez, Giovanni Squillero, Anton Tsertov
source
2019 IEEE International Test Conference (ITC)
location of publication
[S.l.]
publisher
IEEE
year of publication
2019
pages
paper. 7.3, 8 p. : ill
conference name, date
2019 IEEE International Test Conference (ITC)
conference location
Washington, DC, USA
url
https://doi.org/10.1109/ITC44170.2019.9000181
subject term
arvutisüsteemid
programmeerimiskeeled
standardid (normid)
keyword
simulation
RTL
ICL
code-coverage
pattern Generation
reconfigurable scan networks
IEEE 1687
ISSN
2378-2250
ISBN
978-1-7281-4823-6
notes
Bibliogr.: 13 ref
TalTech department
arvutisüsteemide instituut
language
inglise
Reserch Group
Centre for trustworthy and efficient computing hardware (TECH)