Sciweavers

2 search results - page 1 / 1
» Equivalence verification of polynomial datapaths with fixed-...
Sort
View
ICCAD
2005
IEEE
160views Hardware» more  ICCAD 2005»
14 years 8 months ago
Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
Namrata Shekhar, Priyank Kalla, Florian Enescu, Si...
TVLSI
2008
72views more  TVLSI 2008»
13 years 11 months ago
Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra
Namrata Shekhar, Priyank Kalla, M. Brandon Meredit...