Enhanced Equivalence Checking: Toward a Solidarity of Functional Verification and Manufacturing Test Generation.

Jayanta Bhadra Narayanan Krishnamurthy Magdy S. Abadir Enhanced Equivalence Checking: Toward a Solidarity of Functional Verification and Manufacturing Test Generation. 494-502 2004 21 IEEE Design & Test of Computers 6 http://doi.ieeecomputersociety.org/10.1109/MDT.2004.87 db/journals/dt/dt21.html#BhadraKA04