Publication | Closed Access
User defined coverage-a tool supported methodology for design verification
20
Citations
0
References
2002
Year
Software MaintenanceEngineeringVerificationTest CoverageSoftware EngineeringSoftware AnalysisNew Coverage MethodologyFormal VerificationModel-based TestingReliability EngineeringSystems EngineeringIntegration TestingCoverage Model DefinitionDesign VerificationSystem TestingDesignComputer EngineeringComputer ScienceSoftware DesignProgram AnalysisSoftware TestingFormal MethodsTest Case DesignFunctional VerificationSystem SoftwareHaifa Research Lab
The paper introduces a new coverage methodology developed at IBM's Haifa Research Lab. The methodology separates coverage model definition from analysis, supported by a new tool called Comet. The approach lets users tailor coverage models to design significance while retaining tool benefits, and the tool is already applied across system, micro‑architecture, and ASIC verification.
This paper describes a new coverage methodology developed at IBM's Haifa Research Lab. The main idea behind the methodology is a separation of the coverage model definition from the coverage analysis tool. This enables the user to define the coverage models that best fit the points of significance in the design, and still have the benefits of a coverage tool. To support this methodology, we developed a new coverage measurement tool called Comet. The tool is currently used in many domains, such as system verification and micro-architecture verification, and in many types of designs ranging from systems to microprocessors, and ASICs.