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]
@article{RaviGBJ01,
title = {Fault-diagnosis-based technique for establishing RTL and gate-levelcorrespondences},
author = {Srivaths Ravi and Indradeep Ghosh and Vamsi Boppana and Niraj K. Jha},
year = {2001},
doi = {10.1109/43.969435},
url = {http://doi.ieeecomputersociety.org/10.1109/43.969435},
tags = {rule-based},
researchr = {https://researchr.org/publication/RaviGBJ01},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {20},
number = {12},
pages = {1414-1425},
}