ATPG的D算法介绍
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(-)
出现在原始输出则为 追踪成功,回溯 的最终输入结果为测试图形。
其他算法
(待补充)
参考资料