Advanced Property Specification for Model Checking of Analog Systems

Konferenz: ANALOG '06 - 9. ITG/GMM-Fachtagung
27.09.2006 - 29.09.2006 in Dresden, Germany

Tagungsband: ANALOG '06

Seiten: 6Sprache: EnglischTyp: PDF

Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt

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

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.