An efficient evaluation and vector generation method for observability-enhanced statement coverage

	An efficient evaluation and vector generation method for observability-enhanced statement coverage
	Lu, W ; Yang, XT ; Lv, T ; Li, XW
	2005-11-01
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	20 期号:6 页码:875-884
摘要	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.
关键词	design verification simulation coverage metrics observability vector generation
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
WOS记录号	WOS:000233343300016
出版者	SCIENCE PRESS
引用统计	被引频次：1[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/10130
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	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.