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

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