Login / Signup
Equivalence Verification of Polynomial Datapaths Using Ideal Membership Testing.
Namrata Shekhar
Sudhakar Kalla
Florian Enescu
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2007)
Keyphrases
</>
test generation
formal verification
symbolic execution
test cases
neural network
computer vision
model checking
genetic algorithm
data sets
test set
software testing
low order
verification method
membership and equivalence queries
fuzzy membership
concurrent systems
equivalence relation
web services