Sign in
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