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]

@inproceedings{RaviJGB00,
  title = {A Technique for Identifying RTL and Gate-Level Correspondences},
  author = {Srivaths Ravi and Niraj K. Jha and Indradeep Ghosh and Vamsi Boppana},
  year = {2000},
  url = {http://computer.org/proceedings/iccd/0801/08010591abs.htm},
  researchr = {https://researchr.org/publication/RaviJGB00},
  cites = {0},
  citedby = {0},
  pages = {591},
  booktitle = {ICCD},
}