Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver.
David WalterScott LittleChris J. MyersPublished in: ATVA (2007)
Keyphrases
- mixed signal
- bounded model checking
- low power
- vlsi circuits
- multi channel
- model checking
- formal verification
- digital circuits
- cmos technology
- temporal logic
- linear temporal logic
- power consumption
- low cost
- high speed
- multi agent systems
- statistical machine translation
- finite state machines
- low voltage
- cooperative
- power dissipation
- real time
- search algorithm
- reinforcement learning
- image processing