Aleksa Damljanovic, Artur Jutman, Michele Portolan, Ernesto Sánchez 0001, Giovanni Squillero, Anton Tsertov. Simulation-based Equivalence Checking between IEEE 1687 ICL and RTL. In IEEE International Test Conference, ITC 2019, Washington, DC, USA, November 9-15, 2019. pages 1-8, IEEE, 2019. [doi]
Abstract is missing.