Improving coverage of simulation-based verification by dedicated stimuli generation

Shuo Yang, Robert Wille, Rolf Drechsler

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

7 Zitate (Scopus)

Abstract

Simulation-based verification is still the most frequently used technique when complex designs are to be verified. Stimuli are thereby generated and applied in order to sufficiently trigger and, by this, verify a set of considered scenarios. In general, a scenario can be triggered in various fashions. To ensure a high verification quality, each of these fashions should adequately be covered. However, to the best of our knowledge, this has not appropriately been addressed thus far, i.e. existing stimuli generation is mainly performed without an explicit consideration of the possible fashions in which a scenario might be triggered. To improve this, three approaches are proposed in this work. While examples illustrate their advantages, a case study confirms that, using the proposed approaches, very compact sets of stimuli satisfying this coverage requirement can efficiently be generated.

OriginalspracheEnglisch
TitelProceedings - 2014 17th Euromicro Conference on Digital System Design, DSD 2014
Herausgeber (Verlag)Institute of Electrical and Electronics Engineers Inc.
Seiten599-606
Seitenumfang8
ISBN (elektronisch)9781479957934
DOIs
PublikationsstatusVeröffentlicht - 16 Okt. 2014
Extern publiziertJa
Veranstaltung17th Euromicro Conference on Digital System Design, DSD 2014 - Verona, Italien
Dauer: 27 Aug. 201429 Aug. 2014

Publikationsreihe

NameProceedings - 2014 17th Euromicro Conference on Digital System Design, DSD 2014

Konferenz

Konferenz17th Euromicro Conference on Digital System Design, DSD 2014
Land/GebietItalien
OrtVerona
Zeitraum27/08/1429/08/14

Fingerprint

Untersuchen Sie die Forschungsthemen von „Improving coverage of simulation-based verification by dedicated stimuli generation“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren