Advanced Property Specification for Model Checking of Analog Systems

Conference: ANALOG '06 - 9. ITG/GMM-Fachtagung
09/27/2006 - 09/29/2006 at Dresden, Germany

Proceedings: ANALOG '06

Pages: 6Language: englishTyp: PDF

Personal VDE Members are entitled to a 10% discount on this title

Authors:
Steinhorst, Sebastian; Jesser, Alexander; Hedrich, Lars (Department of Computer Science, University of Frankfurt, Germany)

Abstract:
In this contribution we present an advanced approach to property specification of analog systems and its benefits for model checking. Based on known concepts for time constrained model checking of analog circuits, we introduce a new specification language called Analog Specification Language (ASL) and the related methodology for specifying complex properties of analog circuits in a designer-oriented way. The new methodology of property specification and the developed algorithms are demonstrated on example circuits and verification results are compared to those of conventional circuit simulation.