Observability analysis on HDL descriptions for effective functional validation

Tai Ying Jiang, Chien Nan Jimmy Liu, Jing Yang Jou

研究成果: 雜誌貢獻期刊論文同行評審

6 引文 斯高帕斯(Scopus)


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.

頁(從 - 到)1509-1521
期刊IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
出版狀態已出版 - 8月 2007


深入研究「Observability analysis on HDL descriptions for effective functional validation」主題。共同形成了獨特的指紋。