RTL Functional Verification Using Excitation and Observation Coverage Conference Paper

abstract

• 2001 IEEE. Code-level coverage is often used to measure RTL-level verification progress. However, a simple code-level coverage inaccurately estimates the verification result by considering only the excitations of functional blocks. A coverage measure that considers additional verification qualities, such as conditions checking or observation, can significantly extend the verification accuracy. However, identifying a design error becomes increasingly difficult as design complexity increases. This paper presents heuristic approaches that increase the chance of detecting obvious-but-easily-missed design errors by allowing a designer/verification-engineer to define additional condition states to be checked. The verification approach is implemented using Verilog Programming Language Interface (PLI) and several benchmark circuits are analyzed The results indicate a high correlation between actual error(design mutant) detection rate and the proposed coverage measure The proposed coverage enhances verification performance with less user interaction, fast coverage calculation, and with less system overhead.

name of conference

• Sixth IEEE International High-Level Design Validation and Test Workshop

authors

• Choi, Gwan

published proceedings

• Sixth IEEE International High-Level Design Validation and Test Workshop

author list (cited authors)

• Min, B., & Choi, G.

citation count

• 0

complete list of authors

• Min, Byeong||Choi, Gwan

publication date

• January 2001

publisher

• Institute of Electrical and Electronics Engineers (IEEE)  Publisher

published in

• Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT  Journal

Digital Object Identifier (DOI)

• 10.1109/hldvt.2001.972808

International Standard Book Number (ISBN) 10

• 0769514111

start page

• 58

end page

• 63

volume

• 2001-January

URL

• http://dx.doi.org/10.1109/hldvt.2001.972808