Formal verification of analog and mixed signal designs: A survey.
Mohamed H. ZakiSofiène TaharGuy BoisPublished in: Microelectron. J. (2008)
Keyphrases
- mixed signal
- formal verification
- low power
- multi channel
- vlsi circuits
- model checking
- low cost
- digital circuits
- bounded model checking
- automated verification
- model checker
- cmos technology
- high speed
- symbolic model checking
- program slicing
- power consumption
- low voltage
- temporal logic
- digital images
- formal methods
- formal specification
- hardware and software
- signal processing