Login / Signup
Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra.
Namrata Shekhar
Priyank Kalla
Florian Enescu
Sivaram Gopalakrishnan
Published in:
ICCAD (2005)
Keyphrases
</>
fixed size
bit vectors
membership and equivalence queries
sliding window
variable size
bit vector
window size
learning algorithm
data model
hash table
membership queries
query language
locality sensitive hashing
complex objects
lookup tables
multiresolution
data streams