Improving coverage of simulation-based verification by dedicated stimuli generation

Shuo Yang, Robert Wille, Rolf Drechsler

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

7 Scopus citations

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.

Original languageEnglish
Title of host publicationProceedings - 2014 17th Euromicro Conference on Digital System Design, DSD 2014
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages599-606
Number of pages8
ISBN (Electronic)9781479957934
DOIs
StatePublished - 16 Oct 2014
Externally publishedYes
Event17th Euromicro Conference on Digital System Design, DSD 2014 - Verona, Italy
Duration: 27 Aug 201429 Aug 2014

Publication series

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

Conference

Conference17th Euromicro Conference on Digital System Design, DSD 2014
Country/TerritoryItaly
CityVerona
Period27/08/1429/08/14

Keywords

  • Coverage
  • Hardware Design
  • Stimuli Generation
  • Verification

Fingerprint

Dive into the research topics of 'Improving coverage of simulation-based verification by dedicated stimuli generation'. Together they form a unique fingerprint.

Cite this