by Oded Lachish, Eitan Marcus
http://www.research.ibm.com/pics/verification/ps/holes_dac02.pdf
Add To MetaCart
Abstract:
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovered tasks with common properties is very useful. This paper describes methods for discovering and reporting large uncovered spaces (holes) for crossproduct functional coverage models. Hole analysis is a presentation method for coverage data that is both succinct and informative. Using case studies, we show how hole analysis was used to detect large uncovered spaces and improve the quality of verification.
Citations
|
2489
|
Induction of Decision Trees
– Quinlan
- 1986
|
|
38
|
Discovering Data Mining: From Concept to Implementation”, ISBN
– Cabena, Stadler, et al.
- 1997
|
|
32
|
The Map Method for Synthesis of Combinational Logic Circuits
– Karnaugh
- 1953
|
|
27
|
Test program generation for functional verification of PowerPC processors
– Aharon, Goodman, et al.
- 1995
|
|
26
|
User Defined Coverage – A Tool Supported Methodology for
– Grinwald, Harel, et al.
|
|
22
|
The Craft of Software Testing, Subsystem testing Including Object-Based and Object-Oriented Testing
– Marick
- 1995
|
|
18
|
The PowerPC Architecture
– MAY
- 1994
|
|
17
|
Functional Verification Methodology for Microprocessors Using the Genesys Test-Program Generator - Application to the X86
– Fournier, Arbetman, et al.
- 1999
|
|
11
|
Off-the-shelf vs. custom made coverage models, which is the one for you
– Ur, Ziv
- 1998
|
|
10
|
The Pentium bug, an industry watershed
– Beizer
- 1995
|
|
5
|
Design verification of the HP9000 series 700 PA-RISC workstations
– Ahi, Burroughs, et al.
- 1992
|
|
3
|
High quality behavioral verification using statistical stopping criteria
– Hajjar, Chen, et al.
- 2001
|
