Fault-diagnosis-based technique for establishing RTL and gate-levelcorrespondences

Srivaths Ravi, Indradeep Ghosh, Vamsi Boppana, Niraj K. Jha. Fault-diagnosis-based technique for establishing RTL and gate-levelcorrespondences. IEEE Trans. on CAD of Integrated Circuits and Systems, 20(12):1414-1425, 2001. [doi]

Authors

Srivaths Ravi

This author has not been identified. Look up 'Srivaths Ravi' in Google

Indradeep Ghosh

This author has not been identified. Look up 'Indradeep Ghosh' in Google

Vamsi Boppana

This author has not been identified. Look up 'Vamsi Boppana' in Google

Niraj K. Jha

This author has not been identified. Look up 'Niraj K. Jha' in Google