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. IEEE Design & Test of Computers, 21(6):494-502, 2004. [doi]

Abstract

Abstract is missing.