Defining coverage views to improve functional coverage analysis

Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools help users identify areas in the design that have not been adequately tested. Because of their sheer size, the analysis of large coverage models can be an intimidating and time-consuming task. Practically, it can only be done by focusing on specific parts of the model. This paper presents a method for defining views onto the coverage data of cross-product functional coverage models. The proposed method allows users to focus on certain aspects of the coverage data to extract relevant, useful information, thereby improving the quality of the coverage analysis. A number of examples are provided that show how the proposed method improved the verification of actual designs. Categories and Subject Descriptors: B.6.3 [Logic Design]: Design Aids--Verification General Terms: Verification, Measurement, Experimentation

• Type: Conference
• Year: 2004
• Where: DAC
• Authors: Sigal Asaf, Eitan Marcus, Avi Ziv
• Keywords: Coverage Analysis, DAC 2004, Design Automation, Functional Coverage Models, Large Coverage Models