An observability measure to enhance statement coverage metric for proper evaluation of verification completeness

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

研究成果: 書貢獻/報告類型會議論文篇章同行評審

7 引文 斯高帕斯(Scopus)

摘要

Simulation based validation approaches arc still the primary workhorse for solving the verification problem of getting the initial HDL description correct, especially for large scaled designs. However, most of existing code coverage metrics do not address iiiisevability issue [2]. Therefore, wc intend to provide additional observability measures to statement coverage metric for more proper and realistic evaluation of verification completeness fur a HDL design. As compared to OCCOJYI [1,2,3], our approach estimates a real probabilistic likelihood of propagating erroneous effects without any unreasonable assumptions and can always provide lower bound estimation.

原文???core.languages.en_GB???
主出版物標題Proceedings of the 2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005
發行者Institute of Electrical and Electronics Engineers Inc.
頁面323-326
頁數4
ISBN(列印)0780387368, 9780780387362
DOIs
出版狀態已出版 - 2005
事件2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005 - Shanghai, China
持續時間: 18 1月 200521 1月 2005

出版系列

名字Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
1

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???2005 Asia and South Pacific Design Automation Conference, ASP-DAC 2005
國家/地區China
城市Shanghai
期間18/01/0521/01/05

指紋

深入研究「An observability measure to enhance statement coverage metric for proper evaluation of verification completeness」主題。共同形成了獨特的指紋。

引用此