A Practical Polynomial Calculus for Arithmetic Circuit Verification.

Daniela Ritirc Armin Biere Manuel Kauers

Published in: SC-Square@FLOC (2018)

Keyphrases

high speed
real world
practical application
duty cycle
knowledge base
model checking
practical problems
circuit design
formal verification
arithmetic operations
analog circuits
asynchronous circuits
verification method
micron cmos