TY - GEN
T1 - Model checking of analog systems using an analog specification language
AU - Steinhorst, Sebastian
AU - Hedrich, Lars
PY - 2008
Y1 - 2008
N2 - In this contribution an advanced methodology for model checking of analog systems is introduced. A new Analog Specification Language (ASL) for efficient property specifications is defined and model checking algorithms for implementing this language are presented. This allows verification of complex static and dynamic circuit properties like Oscillation and Startup Time that have not yet been formally verifiable with previous approaches. The new verification methodology is applied to example circuits and experimental results are discussed and compared to conventional circuit simulation.
AB - In this contribution an advanced methodology for model checking of analog systems is introduced. A new Analog Specification Language (ASL) for efficient property specifications is defined and model checking algorithms for implementing this language are presented. This allows verification of complex static and dynamic circuit properties like Oscillation and Startup Time that have not yet been formally verifiable with previous approaches. The new verification methodology is applied to example circuits and experimental results are discussed and compared to conventional circuit simulation.
UR - http://www.scopus.com/inward/record.url?scp=49749115200&partnerID=8YFLogxK
U2 - 10.1109/DATE.2008.4484700
DO - 10.1109/DATE.2008.4484700
M3 - Conference contribution
AN - SCOPUS:49749115200
SN - 9783981080
SN - 9789783981089
T3 - Proceedings -Design, Automation and Test in Europe, DATE
SP - 324
EP - 329
BT - Design, Automation and Test in Europe, DATE 2008
T2 - Design, Automation and Test in Europe, DATE 2008
Y2 - 10 March 2008 through 14 March 2008
ER -