LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits.
Andrew N. FisherSatish BatchuKevin R. JonesDhanashree KulkarniScott LittleDavid WalterChris J. MyersPublished in: MWSCAS (2014)
Keyphrases
- hidden markov models
- mixed signal
- formal verification
- low power
- multi channel
- vlsi circuits
- digital circuits
- model checking
- high speed
- cmos technology
- power consumption
- low cost
- model checker
- symbolic model checking
- automated verification
- program slicing
- analog vlsi
- power dissipation
- low voltage
- digital images
- bounded model checking
- image sequences
- image processing