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]

Authors

Jayanta Bhadra

This author has not been identified. Look up 'Jayanta Bhadra' in Google

Narayanan Krishnamurthy

This author has not been identified. Look up 'Narayanan Krishnamurthy' in Google

Magdy S. Abadir

This author has not been identified. Look up 'Magdy S. Abadir' in Google