128
click to vote
ICCAD
2005
IEEE
16 years 14 days ago
2005
IEEE
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...