中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
Clustering of behavioral phases in FSMs and its applications to VLSI test

文献类型:期刊论文

作者Li, HW; Min, YH; Li, ZC
刊名SCIENCE IN CHINA SERIES F
出版日期2002-12-01
卷号45期号:6页码:462-478
关键词finite-state machines clustering of states behavioral descriptions test generation
ISSN号1009-2757
英文摘要This paper presents a new level of description between behavioral and state descriptions of a finite-state machine (FSM). The description is termed behavioral phase clustering description. New concepts of behavioral phase and clustering of behavioral phases in an FSM are introduced. The new description simplifies functional analysis, verification and test of FSM designs. If an FSM is described at low level, some states can be clustered into behavioral phases directly. If it is described at behavioral level, behavioral phases can be extracted from the behavioral description, and clustering of behavioral phases can be performed through easy functional analysis. As one application of behavioral phase clustering descriptions, a new technique employed in a test generation system, ATCLUB, at Register Transfer (RT)-level based on a behavioral phase transition fault model is introduced in this paper. In ATCLUB, test generation process is accelerated through clustering of behavioral phases. Experimental results show that ATCLUB generates test sequence efficiently, with a sharp decrease in vector count at the penalty of a slightly decrease in fault coverage comparing to other ATPG tools.
WOS研究方向Computer Science
语种英语
WOS记录号WOS:000179596300006
出版者SCIENCE CHINA PRESS
源URL[http://119.78.100.204/handle/2XEOYT63/13495]  
专题中国科学院计算技术研究所期刊论文_英文
通讯作者Li, HW
作者单位Chinese Acad Sci, Inst Comp Technol, Beijing 100080, Peoples R China
推荐引用方式
GB/T 7714
Li, HW,Min, YH,Li, ZC. Clustering of behavioral phases in FSMs and its applications to VLSI test[J]. SCIENCE IN CHINA SERIES F,2002,45(6):462-478.
APA Li, HW,Min, YH,&Li, ZC.(2002).Clustering of behavioral phases in FSMs and its applications to VLSI test.SCIENCE IN CHINA SERIES F,45(6),462-478.
MLA Li, HW,et al."Clustering of behavioral phases in FSMs and its applications to VLSI test".SCIENCE IN CHINA SERIES F 45.6(2002):462-478.

入库方式: OAI收割

来源:计算技术研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。