ATPG算法
实现测试向量自动化生成的算法,其中包含D算法、PODEM算法和FAN算法等。
D算法
为测试某一节点单固定故障,将其故障信息传递反映到输出中体现出来,我们把用穷举得出正确路径的方法称之为D算法。
每个节点分为四种状态,1、0、X、D和D(-)。
其中,X为0或1,意思是该节点值不影响最终结果。D为正常1故障0,D(-)为正常0故障1。
下面是一个D算法的实例
检测g单固定故障0
全步骤如下
步骤 | a | b | c | d | e | f | g | h | x |
---|---|---|---|---|---|---|---|---|---|
激活 | 1 | 1 | D | ||||||
传播 | D | D(-) | |||||||
合理化 | D | 1 | D(-) | ||||||
回溯 | 1 | 1 | D | 1 | D(-) | ||||
合理化 | 0 | 0 | 1 | ||||||
回溯 | 1 | 0 | 1 | 0 | D | 1 | D(-) | ||
合理化 | 0 | 1 | |||||||
回溯 | 1 | 0 | 0 | 1 | 0 | D | 1 | D(-) | |
合理化 | 1 | 0 | |||||||
回溯 | 1 | 0 | 1 | 0 | 1 | 0 | D | 1 | D(-) |
最终我们可以得出测试向量为 1010,测试图形为 HLHL。
我们把激活故障的输入节点值集合称之为 奇异立方,传播时的路径称之为 敏化路径,d或d(-)出现在原始输出则为 追踪成功,回溯的最终输入结果为测试图形。
其他算法
(待补充)
参考资料
标签:介绍,合理化,故障,算法,回溯,ATPG,节点 From: https://www.cnblogs.com/leedsgarden/p/17745706.html