IEEE European Test Symposium (ETS)Eggersgluss, Stephan; Hamdioui, Said; Jutman, Artur; Michael, Maria K.; Raik, Jaan2019 IEEE International Test Conference (ITC)2019 / 4 p https://doi.org/10.1109/ITC44170.2019.9000148 Conference proceeding at Scopus Article at Scopus Article at WOS

Simulation-based equivalence checking between IEEE 1687 ICL and RTLDamljanovic, Aleksa; Jutman, Artur; Portolan, Michele; Tšertov, Anton2019 IEEE International Test Conference (ITC)2019 / paper. 7.3, 8 p. : ill https://doi.org/10.1109/ITC44170.2019.9000181