"Approximate Equivalence Verification of Sequential Circuits via Genetic ..."

Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics