RTL2RTL Formal Equivalence: Boosting the Design Confidence. - M. V. Achutha Kiran Kumar; Aarti Gupta; S. S. Bindumadhava (FSFMA, 2014)