A Technique for Identifying RTL and Gate-Level Correspondences

Srivaths Ravi, Niraj K. Jha, Indradeep Ghosh, Vamsi Boppana. A Technique for Identifying RTL and Gate-Level Correspondences. In ICCD. pages 591, 2000. [doi]

Abstract

Abstract is missing.