@inproceedings{bbaece2598a94418abeeb9322187c7cb,
title = "Coverage-driven stimuli generation",
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 = "coverage, stimuli generation, validation, verification",
author = "Shuo Yang and Robert Wille and Daniel Gro{\ss}e and Rolf Drechler",
year = "2012",
doi = "10.1109/DSD.2012.37",
language = "English",
isbn = "9780769547985",
series = "Proceedings - 15th Euromicro Conference on Digital System Design, DSD 2012",
pages = "525--528",
booktitle = "Proceedings - 15th Euromicro Conference on Digital System Design, DSD 2012",
note = "15th Euromicro Conference on Digital System Design, DSD 2012 ; Conference date: 05-09-2012 Through 08-09-2012",
}