3 search results - page 1 / 1 » Simulation Bounds for Equivalence Verification of Polynomial... |
TVLSI
2008
13 years 4 months ago
2008
ICCAD
2005
IEEE
14 years 1 months 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...
CADE
2005
Springer
14 years 5 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...