標題: Observability analysis on HDL descriptions for effective functional validation
作者: Jiang, Tai-Ying
Liu, Chien-Nan Jimmy
Jou, Jing-Yang
電子工程學系及電子研究所
Department of Electronics Engineering and Institute of Electronics
關鍵字: code coverage metric;hardware description language (HDL);observability analysis
公開日期: 1-Aug-2007
摘要: Simulation-based functional validation is still one of the primary approaches for verifying designs described in hardware description languages. Traditional code coverage metrics do not address the observability issue and may overestimate the extent of functional validation. Observability-based code coverage metric (OCCOM) is the first code coverage metric considering the essential observability issue. However, tags can only be observed or unobserved, providing only two levels of measurement (i.e., 1 and 0). Errors with lower opportunities to be observed may still be judged as observable, thus misleading the verification results. Therefore, instead of extending tag coverage, we develop a probabilistic observability measure and its efficient computation algorithm. Besides being used as a new OCCOM, our new measure can point out hard-to-observe points for inserting assertions to prevent bugs from hiding behind these points. Experimental results show that the detection of the injected errors and the degree of our observability measure are strongly related. The results also show that our fine-grained observability measure is less likely to overestimate the extent of validation. with reasonable computation time.
URI: http://dx.doi.org/10.1109/TCAD.2007.891366
http://hdl.handle.net/11536/10492
ISSN: 0278-0070
DOI: 10.1109/TCAD.2007.891366
期刊: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
Volume: 26
Issue: 8
起始頁: 1509
結束頁: 1521
Appears in Collections:Articles


Files in This Item:

  1. 000248235900013.pdf

If it is a zip file, please download the file and unzip it, then open index.html in a browser to view the full text content.