C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems.
Christoph Grimm
Carna Radojicic
Published in:
MBMV (2017)
Keyphrases
</>
formal verification
mixed signal
automated verification
low power
multi channel
model checking
digital circuits
knowledge based systems
vlsi circuits
bounded model checking
real time
low cost
signal processing
model checker