Simulation-based Equivalence Checking between IEEE 1687 ICL and RTL.

Aleksa Damljanovic, Artur Jutman, Michele Portolan, Ernesto Snchez, Giovanni Squillero, Anton Tsertov

Browse the full ITC paper archive.