@Inproceedings{EPTCS156.7, author = {M V Achutha Kiran Kumar and Gupta, Aarti and S S Bindumadhava}, year = {2014}, title = {RTL2RTL Formal Equivalence: Boosting the Design Confidence}, editor = {Lin, Shang-Wei and Petrucci, Laure}, booktitle = {{\rm Proceedings 2nd French Singaporean Workshop on} Formal Methods and Applications, {\rm Singapore, 13th May 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {156}, publisher = {Open Publishing Association}, pages = {29-44}, doi = {10.4204/EPTCS.156.7}, }