DocumentCode :
2611043
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
fYear :
2012
fDate :
5-8 Sept. 2012
Firstpage :
525
Lastpage :
528
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Digital System Design (DSD), 2012 15th Euromicro Conference on
Conference_Location :
Izmir
Print_ISBN :
978-1-4673-2498-4
Type :
conf
DOI :
10.1109/DSD.2012.37
Filename :
6386936
Link To Document :
بازگشت