Simulation-based Equivalence Checking between IEEE 1687 ICL and RTL Aleksa Damljanovic, Artur Jutman, Michele Portolan, Sanchez Ernesto, Giovanni Squillero, Anton Tsertov (2019) Simulation-based Equivalence Checking between IEEE 1687 ICL and RTL, In: Proceedings - 2019 IEEE International Test Conference (ITC)