Symbolic Model Checking of Analog/Mixed-Signal Circuits.
David WalterScott LittleNicholas SeegmillerChris J. MyersTomohiro YonedaPublished in: ASP-DAC (2007)
Keyphrases
- mixed signal
- symbolic model checking
- low power
- vlsi circuits
- multi channel
- model checking
- digital circuits
- partial observability
- formal verification
- cmos technology
- low cost
- power consumption
- binary decision diagrams
- symbolic representation
- high speed
- model checker
- analog circuits
- low voltage
- temporal logic
- finite state machines
- planning problems
- power dissipation
- formal specification
- mathematical morphology
- decision problems
- orders of magnitude