Improving design verifiability by early RTL coverability analysis

Kai Hui Chang*, Chia Wei Chang, Jie Hong Roland Jiang, Chien-Nan Liu

*此作品的通信作者

研究成果: Conference contribution同行評審

摘要

Achieving high coverage is an important goal in design verification. Fixing coverability problems found at the verification stage, however, can require tremendous effort. To address this problem, we propose a flow for analyzing code and variable-toggle coverability at the early-RTL block-level stage. In addition, we devise a novel technique to analyze the coverability problems so that engineers can resolve the issues more efficiently. By identifying coverability problems at early RTL design stages, design verifiability can be improved, thus reducing the effort required at the verification phase.

原文English
主出版物標題10th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2012
頁面25-32
頁數8
DOIs
出版狀態Published - 12 十月 2012
事件10th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2012 - Arlington, VA, United States
持續時間: 16 七月 201217 七月 2012

出版系列

名字10th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2012

Conference

Conference10th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2012
國家/地區United States
城市Arlington, VA
期間16/07/1217/07/12

指紋

深入研究「Improving design verifiability by early RTL coverability analysis」主題。共同形成了獨特的指紋。

引用此