2 search results - page 1 / 1 » Equivalence verification of arithmetic datapaths with multip... |
94
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
112
click to vote
ICCAD
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstractā This paper addresses the problem of solving ļ¬nite word-length (bit-vector) arithmetic with applications to equivalence veriļ¬cation of arithmetic datapaths. Arithmet...