Formal Verification of Analog and Mixed Signal Designs Using SPICE Circuit Simulation Traces.
Kusum LataSubir K. RoyPublished in: J. Electron. Test. (2013)
Keyphrases
- mixed signal
- formal verification
- low power
- vlsi circuits
- multi channel
- digital circuits
- cmos technology
- model checking
- high speed
- low cost
- low voltage
- power consumption
- bounded model checking
- model checker
- symbolic model checking
- automated verification
- analog circuits
- power dissipation
- circuit design
- analog vlsi
- real time
- data flow