Sign in
Effective Combination of Algebraic Techniques and Decision Diagrams to Formally Verify Large Arithmetic Circuits.
Farimah Farahmandi
Bijan Alizadeh
Zainalabedin Navabi
Published in:
ISVLSI (2014)
Keyphrases
</>
graphical models
decision diagrams
multiple valued
digital circuits
learning algorithm
multi dimensional
image quality
heuristic search