Login / Signup
A Formal Approach for Debugging Arithmetic Circuits.
Omid Sarbishei
Mahmoud Tabandeh
Bijan Alizadeh
Masahiro Fujita
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2009)
Keyphrases
</>
mathematical theory
logic synthesis
multiscale
high speed
formal specification
analog vlsi
analog circuits
real time
circuit design
formal models
parallel programming
quantum computing
arithmetic operations
formal analysis
floating point
case study
knowledge base