A novel RTL behavioral description based ATPG method

	A novel RTL behavioral description based ATPG method
	Yin, ZG; Min, YH; Li, XW; Li, HW
	2003-05-01
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	18 期号:3 页码:308-317
摘要	The paper proposes a novel ATPG (Automatic Test Pattern Generation) method based on RTL (Register Transfer Level) behavioral descriptions in HDL (Hardware Description Language). The method is simulation-based. Firstly, it abstracts RTL behavioral descriptions to Process Controlling Trees (PCT) and Data Dependency Graphs (DDG), which are used for behavioral simulation and data tracing. Transfer faults are extracted from DDG edges, which compose a fault set needed for test generation. Then, simulation begins without specifying inputs in advance, and a request-echo strategy is used to fix some uncertain inputs if necessary. Finally, when the simulation ends, the partially fixed input sequence is the generated test sequence. The proposed request-echo strategy greatly reduces unnecessary backtracking, and always tries to cover uncovered transfer faults. Therefore, the proposed method is very efficient, and generates tests with good quality. Experimental results demonstrate that the proposed method is better than ARTIST in three aspects: (1) the CPU time is shorter by three orders of magnitude; (2) the test length is shorter by 52%; and (3) the fault coverage is higher by 0.89%.
关键词	RTL (Register Transfer Level) ATPG (Automatic Test Pattern Generation) behavioral description HDL (Hardware Description Language)
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
WOS记录号	WOS:000183210500005
出版者	SCIENCE CHINA PRESS
引用统计	被引频次：2[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/13605
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Yin, ZG
作者单位	Chinese Acad Sci, Inst Comp Technol, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Yin, ZG,Min, YH,Li, XW,et al. A novel RTL behavioral description based ATPG method[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2003,18(3):308-317.
APA	Yin, ZG,Min, YH,Li, XW,&Li, HW.(2003).A novel RTL behavioral description based ATPG method.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,18(3),308-317.
MLA	Yin, ZG,et al."A novel RTL behavioral description based ATPG method".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 18.3(2003):308-317.