RTL2RTL Formal Equivalence: Boosting the Design Confidence

Author(s):
M. Achutha KiranKumar V, Aarti Gupta, and Ss. Bindumadhava
Location:
Europe
Year:
2014
Type:
Paper
Format:
pdf