Approximate Equivalence Verification of Sequential Circuits via Genetic Algorithms.

Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero

Browse the full DATE paper archive.