Coverage Closure

Coverage Closure is a verification metric in the context of testbenches that quantifies the extent to which the intended design behaviors and requirements have been exercised by the test stimuli, distinguishing itself from other verification measures by its focus on achieving comprehensive functional and structural coverage to ensure design correctness.

Publications

158

Citations

Authors

Institutions

Publications per year

2017–2026

Parents

Testbenches

Publications

Testing and reopening in an SEIR model

David Berger, Kyle Herkenhoff, Chengdai Huang et al. · Review of Economic Dynamics · 2020 · 74 citations

Computing, Systems Engineering, Formal Methods +9

Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming

Hsiou-Wen Hsueh, Kerstin Eder · Proceedings · 2006 · 22 citations

Computing, Computer Engineering, Computer Science +15

A Technique for Test Coverage Closure Using GoldMine

Lingyi Liu, David C. Sheridan, William Tuohy et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2012 · 20 citations

Computing, Computer Engineering, Computer Science +15

Towards coverage closure: Using GoldMine assertions for generating design validation stimulus

Lingyi Liu, David C. Sheridan, William Tuohy et al. · 2011 · 16 citations · Full text

Computing, Computer Engineering, Computer Science +15

Coverage-driven mixed-signal verification of smart power ICs in a UVM environment

Sebastian Simon, Deeksha Bhat, Alexander Rath et al. · 2017 · 16 citations

Engineering, Computer Engineering, Electrical Engineering +17

1–5 of 6

Authors

DC
David C. Sheridan
Oregon Health & Science University, United States
2 publications · 36 citations
2
h-index
WT
William Tuohy
University of Illinois Urbana-Champaign, United States
2 publications · 36 citations
2
h-index
LL
Lingyi Liu
University of Nebraska–Lincoln, United States
2 publications · 36 citations
2
h-index
RD
Rolf Drechsler
University of Bremen, Germany
1 publications · 10 citations
1
h-index
LM
Linus Maurer
Infineon Technologies (Germany), Germany
1 publications · 16 citations
1
h-index

1–5 of 20

Institutions

1–8 of 10

Venues

Proceedings
HLDVT · 1 publications · 22 citations
1
h-index
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
1 publications · 20 citations
1
h-index
Review of Economic Dynamics
1 publications · 74 citations
1
h-index

1–3