Observability statement coverage based on dynamic factored use-definition chains for functional verification
文献类型：期刊论文
| 作者 | Lv, Tao; Fan, Jian-Ping; Li, Xiao-Wei; Liu, Ling-Yi |
| 刊名 | JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS
 |
| 出版日期 | 2006-06-01 |
| 卷号 | 22期号:3页码:273-285 |
| 关键词 | design verification coverage metrics observability dynamic factored use-definition chains data-flow analysis |
| ISSN号 | 0923-8174 |
| DOI | 10.1007/s10836-006-8634-3 |
| 英文摘要 | Simulation is still the primary verification method for integrated circuit designs, and coverage evaluation is indispensable for it on account of its incompleteness. As the functional complexity of modern designs is increasing dramatically, it is necessary to take observability into consideration for coverage metrics. In this paper we extend factored use-definition chains (FUD chains), a mature data structure in compilers, from sequential software to concurrent hardware design, and propose dynamic FUD chains (DFUD chains). Based on it, we present an observability model and an algorithm to evaluate observability-based statement coverage. This technique has several advantages. Firstly, it could be easily integrated into compilers or simulators for hardware description languages, since it utilizes many flow analysis techniques adopted in compilers. Secondly, it can be combined with many controllability metrics, such as statement coverage metric, since the observability model is based on definitions and uses of variables. The proposed technique has been implemented as a prototype tool for Verilog designs, and experimental results show its benefits. |
| WOS研究方向 | Engineering |
| 语种 | 英语 |
| WOS记录号 | WOS:000240143200006 |
| 出版者 | SPRINGER |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/10747]  |
| 专题 | 中国科学院计算技术研究所期刊论文_英文 |
| 通讯作者 | Lv, Tao |
| 作者单位 | Chinese Acad Sci, Inst Comp Technol, Key Lab Comp Syst & Architecture, Adv Test Technol Lab, Beijing, Peoples R China |
| 推荐引用方式 GB/T 7714 | Lv, Tao,Fan, Jian-Ping,Li, Xiao-Wei,et al. Observability statement coverage based on dynamic factored use-definition chains for functional verification[J]. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS,2006,22(3):273-285. |
| APA | Lv, Tao,Fan, Jian-Ping,Li, Xiao-Wei,&Liu, Ling-Yi.(2006).Observability statement coverage based on dynamic factored use-definition chains for functional verification.JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS,22(3),273-285. |
| MLA | Lv, Tao,et al."Observability statement coverage based on dynamic factored use-definition chains for functional verification".JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS 22.3(2006):273-285. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。