DYNAMITE: an efficient automatic test pattern generation system for path delay faults
DYNAMITE: an efficient automatic test pattern generation system for path delay faults
复制标题
DYNAMITE：针对路径延迟故障的高效自动测试模式生成系统
DOI：
10.1109/43.88928
复制
发表时间：
1991
期刊：
影响因子：
--
通讯作者：
M. Schulz
中科院分区：
文献类型：
--
作者：
K. Fuchs;F. Fink;M. Schulz
作者提出了一个通用的和有效的路径延迟故障测试模式自动生成系统MATRIBITE。基于一个十值和三值逻辑，确定性测试模式生成算法，纳入RISTEITE是能够产生鲁棒性和非鲁棒性测试路径延迟故障。特别强调了路径延迟故障模型的主要缺点。的显着特点，包括应用程序的一个强大的蕴涵过程和逐步的路径敏化过程，它有能力证明大量的路径故障冗余的一个单一的测试生成尝试。通过使用新的路径选择过程进一步优化延迟测试生成过程，该路径选择过程的目的是识别可以成功敏化的路径，并消除冗余，即，不敏感的路径。>
The authors present DYNAMITE, a versatile and efficient automatic test pattern generation system for path delay fault. Based upon a ten-valued and a three-valued logic, the deterministic test pattern generation algorithm incorporated in DYNAMITE is capable of generating both robust and nonrobust tests for path delay faults. Particular emphasis has been placed on coping with the main disadvantage of the path delay fault model. The distinct features of DYNAMITE consist of the application of a powerful implication procedure and a stepwise path sensitization procedure, which has the capability of proving large numbers of path faults as redundant by a single test generation attempt. The delay test generation process is further optimized by the use of a new path selection procedure which aims at the identification of paths, which can successfully be sensitized, and the elimination of redundant, i.e., unsensitizable, paths. >