An efficient evaluation and vector generation method for observability-enhanced statement coverage
文献类型：期刊论文
| 作者 | Lu, W; Yang, XT; Lv, T; Li, XW |
| 刊名 | JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
 |
| 出版日期 | 2005-11-01 |
| 卷号 | 20期号:6页码:875-884 |
| 关键词 | design verification simulation coverage metrics observability vector generation |
| ISSN号 | 1000-9000 |
| 英文摘要 | Coverage evaluation is indispensable for verification via simulation. As the functional complexity of modern design is increasing at a breathtaking pace, it is requisite to take observability into account. Unfortunately, nowadays coverage metrics taking observability into account are not very satisfactory. On the one hand, for the observability assessment algorithms proposed up to now, the overhead of computing is large, so they could not be integrated into simulation tools easily. On the other hand, the vector generation methods involving the metrics taking observability into account are not very efficient, and there exists a disconnection between these metrics and the vector generation process. In this paper, some original ideas for the problems above are presented. (1) Precise and concise abstract representations from HDL (Hardware Description Language) descriptions at RTL (Register Transfer Level) are presented to model observability information. (2) A novel observability evaluation method based on the proposed models is introduced. This method is more computationally efficient than prior efforts to assess observability and it could be integrated into compilers and simulators easily. (3) A new simulation vector generation procedure involving the observability-enhanced statement coverage metric is developed. The method is simulation-based and driven by the distribution of unobserved statements. During this procedure, the proposed algorithm always tries to cover all unobserved statements, and reduce unnecessary backtracking, so it is efficient. The methods proposed have been implemented as a prototype tool for VHDL designs, and the results on benchmarks show significant benefits. |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000233343300016 |
| 出版者 | SCIENCE PRESS |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/10129]  |
| 专题 | 中国科学院计算技术研究所期刊论文_英文 |
| 通讯作者 | Lu, W |
| 作者单位 | 1.Chinese Acad Sci, Comp Technol Inst, Beijing 100080, Peoples R China 2.Chinese Acad Sci, Grad Sch, Beijing 100039, Peoples R China 3.Hefei Univ Technol, Sch Comp & Informat, Hefei 230009, Peoples R China |
| 推荐引用方式 GB/T 7714 | Lu, W,Yang, XT,Lv, T,et al. An efficient evaluation and vector generation method for observability-enhanced statement coverage[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2005,20(6):875-884. |
| APA | Lu, W,Yang, XT,Lv, T,&Li, XW.(2005).An efficient evaluation and vector generation method for observability-enhanced statement coverage.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,20(6),875-884. |
| MLA | Lu, W,et al."An efficient evaluation and vector generation method for observability-enhanced statement coverage".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 20.6(2005):875-884. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。