Login / Signup
Groebner basis based formal verification of large arithmetic circuits using Gaussian elimination and cone-based polynomial extraction.
Farimah Farahmandi
Bijan Alizadeh
Published in:
Microprocess. Microsystems (2015)
Keyphrases
</>
gaussian noise
formal verification
model checking
bounded model checking
model checker
automated verification
symbolic model checking
high speed
program slicing
information extraction
knowledge representation
circuit design
arithmetic operations
analog circuits
delay insensitive