Minimal Stimuli Generation in Simulation-based Verification

Shuo Yang; Robert Wille; Daniel Grosse; Rolf Drechsler

In: José Silva Matos; Francesco Leporati (Hrsg.). 16th Euromicro Conference on Digital System Design - Proceedings. Euromicro Conference on Digital System Design (DSD-13), 16th, located at SEAA 2013, September 4-6, Santander, Spain, Pages 439-444, IEEE Press, 2013.


Simulation-based verification is still the state-of-the-art when checking the correctness of complex Systems-on-Chips. In particular, constraint-based simulation is popular, since here dedicated stimuli are generated which trigger certain corner-case behavior. However, to the best of our knowledge, only heuristic methods have been introduced so far. In this paper, we propose an approach that determines a minimal set of stimuli for the desired set of scenarios to be simulated. For this purpose, we are making use of solving techniques from Boolean satisfiability. Experimental evaluations demonstrate that the proposed approach can be applied to generate very compact stimuli sets. Furthermore, the proposed approach can be used to evaluate the quality of results obtained by heuristic methods.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence