Formal Verification of Analog and Mixed Signal Designs in Mathematica.
Mohamed H. ZakiGhiath Al SammaneSofiène TaharPublished in: International Conference on Computational Science (2) (2007)
Keyphrases
- mixed signal
- formal verification
- low power
- multi channel
- vlsi circuits
- model checking
- digital circuits
- power consumption
- model checker
- bounded model checking
- automated verification
- low cost
- symbolic model checking
- cmos technology
- temporal logic
- high speed
- program slicing
- analog to digital converter
- single chip
- low voltage
- computer vision
- image processing
- digital images