Sciweavers

TVLSI
2008

Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra

13 years 11 months ago
Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra
Namrata Shekhar, Priyank Kalla, M. Brandon Meredit
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2008
Where TVLSI
Authors Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu
Comments (0)