Advanced Property Specification for Model Checking of Analog Systems

Inhalt:
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.