Damljanovic, A., Jutman, A., Portolan, M., Tšertov, A. et al.

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

TTÜ department

arvutisüsteemide instituut

language

inglise

Uurimisrühm

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