Login / Signup
Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra.
Namrata Shekhar
Priyank Kalla
M. Brandon Meredith
Florian Enescu
Published in:
IEEE Trans. Very Large Scale Integr. Syst. (2008)
Keyphrases
</>
lower bound
upper bound
simulation environment
algebraic structure
databases
simulation model
membership and equivalence queries
lower and upper bounds
database
face verification
linear separability
verification method
asynchronous circuits
real numbers
average case
finite number
data sets