An Efficient Evaluation and Vector Generation Method for Observability-Enhanced Statement Coverage
文献类型：期刊论文
| 作者 | Tao Lv（吕涛）; Wei Lu(鲁巍); Xiao-Wei Li（李晓维）; Xiu-Tao Yang（杨修涛） |
| 刊名 | Journal of Computer Science and Technology
 |
| 出版日期 | 2005 |
| 卷号 | 20期号:6页码:875-884 |
| 关键词 | Design Verification Simulation Coverage Metrics Observability Vector Generation |
| 英文摘要 | 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. |
| 语种 | 英语 |
| 公开日期 | 2010-11-03 |
| 源URL | [http://ictir.ict.ac.cn/handle/311040/828]  |
| 专题 | 中国科学院计算技术研究所期刊论文_2005年英文 |
| 推荐引用方式 GB/T 7714 | Tao Lv,Wei Lu,Xiao-Wei Li,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 | Tao Lv,Wei Lu,Xiao-Wei Li,&Xiu-Tao Yang.(2005).An Efficient Evaluation and Vector Generation Method for Observability-Enhanced Statement Coverage.Journal of Computer Science and Technology,20(6),875-884. |
| MLA | Tao Lv,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
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。