Column-wise verification of multipliers using computer algebra.

Daniela Ritirc Armin Biere Manuel Kauers

Published in: FMCAD (2017)

Keyphrases

computer algebra
theorem prover
model checking
computer algebra systems
pairwise
formal verification
automated theorem provers
lagrangian relaxation
verification method
person identification
face verification
data sets
database
asynchronous circuits
formal methods
column oriented
np hard