Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces

Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces

The conventional approach to validate the analog and mixed signal designs utilizes extensive SPICE-level simulations. The main challenge in this approach is to know when all important corner cases have been simulated. An alternate approach is to use the formal verification techniques. Formal verific...

Full description

Bibliographic Details
Main Author: Lata, Kusum
Other Authors: Jamadagni, H S
Language:en_US
Published: 2011
Subjects:
Signal Processing - Simulation
Hybrid System Verification
Analog and Mixed Signal Design Verification
Formal Verification
Checkmate Formal Verification
Integrated Circuits - Simulation
Digital Simulation
Automata
Hybrid Automata
Hybrid Systems
AMS Designs
Analog and Mixed Signal Designs
Communication Engineering
Online Access:http://etd.iisc.ernet.in/handle/2005/1271
http://etd.ncsi.iisc.ernet.in/abstracts/1652/G23821-Abs.pdf

Internet

http://etd.iisc.ernet.in/handle/2005/1271
http://etd.ncsi.iisc.ernet.in/abstracts/1652/G23821-Abs.pdf

Similar Items