Simulation-based equivalence checking between IEEE 1687 ICL and RTL
autor
Damljanovic, Aleksa
Jutman, Artur
Portolan, Michele
Tšertov, Anton
vastutusandmed
Aleksa Damljanovic, Artur Jutman, Michele Portolan, Ernesto Sanchez, Giovanni Squillero, Anton Tsertov
allikas
2019 IEEE International Test Conference (ITC)
ilmumiskoht
[S.l.]
kirjastus/väljaandja
IEEE
ilmumisaasta
2019
leheküljed
paper. 7.3, 8 p. : ill
konverentsi nimetus, aeg
2019 IEEE International Test Conference (ITC)
konverentsi toimumispaik
Washington, DC, USA
leitav
https://doi.org/10.1109/ITC44170.2019.9000181
märksõna
arvutisüsteemid
programmeerimiskeeled
standardid (normid)
võtmesõna
simulation
RTL
ICL
code-coverage
pattern Generation
reconfigurable scan networks
IEEE 1687
ISSN
2378-2250
ISBN
978-1-7281-4823-6
märkused
Bibliogr.: 13 ref
TTÜ struktuuriüksus
arvutisüsteemide instituut
keel
inglise
Uurimisrühm
Töökindla arvutusriistvara keskus (TARK)