Hole analysis for functional coverage data
Hole analysis for functional coverage data
复制标题
功能覆盖数据的孔洞分析
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
A. Ziv
中科院分区：
文献类型：
--
作者：
Oded Lachish;E. Marcus;S. Ur;A. Ziv
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.
