A Technique for Identifying RTL and Gate-Level Correspondences.

Srivaths Ravi, Niraj K. Jha, Indradeep Ghosh, Vamsi Boppana

Browse the full ICCD paper archive.