Determining cases of scenarios to improve coverage in simulation-based verification

Shuo Yang, Robert Wille, Rolf Drechsler

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

6 Scopus citations

Abstract

Functional verification of complex designs is still dominated by simulation-based approaches. In particular, Coverage- driven Verification (CDV) is well acknowledged and applied in industry. Here, verification gaps in terms of inadequately checked scenarios are addressed and closed by generating and applying dedicated stimuli. In order to ensure a good coverage and, by this, a high verification quality, each scenario is supposed to become sufficiently triggered. However, the considered scenario may be triggered in several fashions and information about that is hardly available in the existing CDV approaches. In this work, we propose an approach which automatically derives this information. Examples and experimental evaluations illustrate how this improves coverage in simulation-based verification.

Original languageEnglish
Title of host publicationProceedings, SBCCI 2014 - 27th Symposium on Integrated Circuits and Systems Design
Subtitle of host publicationChip in Aracaju
PublisherAssociation for Computing Machinery
ISBN (Electronic)1595930361, 9781450331562
DOIs
StatePublished - 1 Sep 2014
Externally publishedYes
Event27th Symposium on Integrated Circuits and Systems Design, SBCCI 2014 - Aracaju, Brazil
Duration: 1 Sep 20145 Sep 2014

Publication series

NameProceedings, SBCCI 2014 - 27th Symposium on Integrated Circuits and Systems Design: Chip in Aracaju

Conference

Conference27th Symposium on Integrated Circuits and Systems Design, SBCCI 2014
Country/TerritoryBrazil
CityAracaju
Period1/09/145/09/14

Keywords

  • Coverage
  • Simulation-based verification
  • Stimuli Generation

Fingerprint

Dive into the research topics of 'Determining cases of scenarios to improve coverage in simulation-based verification'. Together they form a unique fingerprint.

Cite this