Title :
Coverage-Driven Stimuli Generation
Author :
Yang, Shuo ; Wille, Robert ; Grosse, Daniel ; Drechler, R.
Author_Institution :
Inst. of Comput. Sci., Univ. of Bremen, Bremen, Germany
Abstract :
Simulation-based verification is still one of the most important methods to validate the correctness of System-on-Chips. Here, explicitly specified stimuli need to be generated which trigger certain scenarios of the design. However, so far stimuli generation is mainly performed independently of the desired coverage. In this work, we propose approaches for coverage-driven stimuli generation. Despite a naive method, we introduce and discuss automatic and interactive methods for an improved stimuli generation. We show that explicitly considering coverage metrics leads to smaller and complete sets of stimuli.
Keywords :
system-on-chip; coverage-driven stimuli generation interactive methods; naive method; simulation-based verification; system-on-chips; Algorithm design and analysis; Design automation; Iterative methods; Manuals; Measurement; Silicon; System-on-a-chip; coverage; stimuli generation; validation; verification;
Conference_Titel :
Digital System Design (DSD), 2012 15th Euromicro Conference on
Conference_Location :
Izmir
Print_ISBN :
978-1-4673-2498-4
DOI :
10.1109/DSD.2012.37