Sciweavers

Share
DAC
2002
ACM

Hole analysis for functional coverage data

10 years 10 months ago
Hole analysis for functional coverage data
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. Categories and Subject Descriptors B.6.3 [Logic Design]: Design Aids--Verification; D.2.4 [Software Engineering]: Software/Program Verification; D.2.5 [Software Engineering]: Testing and Debugging--Testing tools General Terms Verification, Measurement, Algorithms, Experimentation Keywords Functional verification, Coverage analysis
Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv
Added 13 Nov 2009
Updated 13 Nov 2009
Type Conference
Year 2002
Where DAC
Authors Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv
Comments (0)
books