Concepedia

Coverage-driven Verification

Coverage-Driven Verification is a verification methodology within the domain of Assertion-Based Verification and testbench development that uses coverage metrics as a primary driver to guide, measure, and terminate simulation-based testing, thereby distinguishing itself from directed or random testing approaches by its systematic focus on achieving predefined functional coverage goals.

66

Publications

1.9K

Citations

201

Authors

81

Institutions

Publications per year

2017–2026

8

Variants

Cdv

Parents

Publications

66

Coverage directed test generation for functional verification using bayesian networks

Shai Fine, Avi Ziv · 2003 · 227 citations

, , +11

I'm done simulating; now what? Verification coverage analysis and correctness checking of the DEC chip 21164 Alpha microprocessor

Michael Katrowitz, Lisa M. Noack · 1996 · 91 citations · Full text

, , +13

A study in coverage-driven test generation

Mike Benjamin, Daniel Geist, Alan Hartman et al. · 1999 · 87 citations · Full text

, , +15

User defined coverage---a tool supported methodology for design verification

Raanan Grinwald, Eran Harel, Michael Orgad et al. · 1998 · 85 citations · Full text

, , +13

Simulation vector generation from HDL descriptions for observability-enhanced statement coverage

Farzan Fallah, Pranav Ashar, Srinivas Devadas · 1999 · 79 citations

, , +13

1–5 of 66

Authors

201

  1. AZ
    Avi Ziv

    IBM Research - Haifa, Israel

    11 publications · 488 citations

    11

    h-index

  2. SF
    Shai Fine

    Johns Hopkins University, United States

    4 publications · 266 citations

    4

    h-index

  3. OK
    Orna Kupferman

    Hebrew University of Jerusalem, Israel

    2 publications · 111 citations

    2

    h-index

  4. JJ
    Jing-Yang Jou

    National Yang Ming Chiao Tung University, Taiwan

    2 publications · 20 citations

    2

    h-index

  5. SS
    Sergio Saponara

    University of Pisa, Italy

    2 publications · 34 citations

    2

    h-index

1–5 of 201

Institutions

81

  1. IBM Research - Haifa

    Haifa, Israel

    13 h-index

    41 publications

    2K citations

  2. IBM (United States)

    Armonk, United States

    3 h-index

    11 publications

    749 citations

  3. STMicroelectronics (France)

    Montrouge, France

    3 h-index

    5 publications

    251 citations

  4. Indian Institute of Technology Kharagpur

    Kharagpur, India

    3 h-index

    8 publications

    146 citations

  5. The University of Texas at Austin

    Austin, United States

    2 h-index

    4 publications

    150 citations

  6. Amrita Vishwa Vidyapeetham

    Coimbatore, India

    2 h-index

    5 publications

    130 citations

  7. National Yang Ming Chiao Tung University

    Hsinchu, Taiwan

    2 h-index

    8 publications

    80 citations

  8. University of Verona

    Verona, Italy

    2 h-index

    5 publications

    108 citations

1–8 of 81

Venues

  1. IEEE Design & Test of Computers

    2 publications · 38 citations

    2

    h-index

  2. Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361)

    Conference · 2 publications · 55 citations

    2

    h-index

  3. IEEE Transactions on Computers

    1 publications · 21 citations

    1

    h-index

  4. 1

    h-index

  5. 1

    h-index

1–5