Login / Signup
Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking.
Martin Freibothe
Jens Schönherr
Bernd Straube
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
formal verification
mixed signal
quasi static
vlsi circuits
low power
multi channel
model checking
digital circuits
low cost
high speed
power consumption
cmos technology
displacement field
finite state machines
power dissipation
low voltage
markov random field
video sequences