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]
Abstract is missing.