A Formal Approach to Complete State Space-Covering Input Stimuli Generation for Verification of Analog Systems

Conference: ANALOG '08 - Entwicklung von Analogschaltungen mit CAE-Methoden - Schwerpunkt: Constraint-basierte Entwurfsmethoden - 10. GMM/ITG-Fachtagung
04/02/2008 - 04/04/2008 at Siegen, Germany

Proceedings: ANALOG '08

Pages: 5Language: englishTyp: PDF

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

Steinhorst, Sebastian; Hedrich, Lars (Electronic Design Methodology, Department of Computer Science, University of Frankfurt/Main, Germany)

In this contribution a novel efficient algorithm for automatic generation of input stimuli for verification of analog systems is proposed. On a discretized state space model of the analog system, a traversal algorithm generates transient input stimuli for all inputs, covering every reachable state of the system. The generated input stimuli can be processed by an analog circuit simulator, ensuring that no corner case is missed due to inadequate selection of conventional input stimuli. This is of particular importance for assertion-based verification, giving certainty about coverage of the state space. Experimental results show the soundness of the approach.