组合电路求测试码的D算法.pptVIP

组合电路求测试码的D算法 D算法（D-algorithm）是一种用形式化运算求测试码的多路径敏化法。 D算法的基本思想与单路径敏化法同。也是把故障传播到输出端、同时确定输入向量和其他信号值，区别在于D算法采用立方体运算，并考虑到多路径的情况。 一、D立方及其运算 1、布尔函数的立方体表示 设布尔函数的一般表达式为：y=f(X1,X2,……Xi……Xn) 其中y（=0/1/u）为输入变量,Xi(=0/1/X)为输入变量。令每一个输入变量和一个坐标轴相对应，则可得到函数y的空间图形，即立方体表示。 输入为三变量时，卡诺图和立方体符号的对立关系如下图： 一、D立方及其运算 记号D和~D 1/0---?D 正常=1,故障=0，即故障s-a-0 0/1---? ~D 正常=0,故障=1，即故障s-a-1 2、故障原始D立方 (pdcf) 故障原始D立方 (pdcf)表示故障点作为输出端的元件，当输出端为D或~D时的输入端向量组成的立方体集合。 求pdcf的方法:无故障元件覆盖G 与有故障元件覆盖B作pdcf交. 一、D立方及其运算 pdcf交的规则: 1输入部分pdcf交的规则如右表 2输出部分 pdcf交的规则如下表 3若步骤1，2中交的结果出现q则 故障原始D立方为空 x 1 0 X 1 1 q 1 0 q 0 0 X 1 0 G B 一、D立方及其运算 一、D立方及其运算 一、D立方及其运算 3、传播D立方(pdc)（描述一个元件对D/~D的传播特性） 元件的输入和输出端都有D/~D出现 一重传播D立方(pdc) （输入方只有一个D/~D）求法： 1求元件的质覆盖G(输出为0的g0, 输出为1的g1) 2g0,g1作pdc交(规则如下表） 一、D立方及其运算 例:与非门 质覆盖G已给出 g1与g0作pdc交{~D1|D,1~D|D} 相反: g0与g1作pdc交{D1|~D,1D|~D} 两者互补 表示任一输入端为1时,可以将D/~D传到输出端。 若有一个输入端为1时，另一个输入端的D或~D可以传到输出端，分别为~D或D 一、D立方及其运算 多重传播D立方（输入方有两个以上D/~D） 求法: 1先对元件的质覆盖中的各个立方体两两相交,得到各个面 ，进而求出立方复合体K=C∪（C∩C） 2g0,g1作pdc交(规则同一重传播D立方） 例：与非门多重传播D立方 一、D立方及其运算 4、测试D立方:对电路中的各信号依次排列 求各个路径上D的传播的一种运算，一般是测试立方与其它立方体（包括故障原始D立方．传播D立方，质立方等）作D交，得到新的测试D立方。 5、D交: 二、D算法 用D立方运算实现的敏化路径法步骤： 1》根据故障原始D立方确定一个初始测试D立方．初始测试D立方中包含故障点的D或~D 2》从初始测试D立方出发，将故障D或~D向输出端传播，称D驱赶。传播时根据测试D立方中的D或~D查找相应信号节点的负载元件．对这些元件进行计算：用测试D立方与元件的传播D立方作D交，从而得到新的测试D立方。 对每个测试D立方需要作D驱赶的负载元件的集合，称为D前沿。 3》D驱赶过程中，对某些己经能够确定的值要及早确定．称为求蕴函。同时要对没有赋值的信号节点确定值，称为线确认。 在求蕴函线确认的过程中要检查所求的值是否有予盾，统称为一致性操作或C驱赶。在每次求得新的测试D立方时都要做一致性操作的元件集合称为C前沿． 4》D驱赶和一致性操作过程中都会出现测试D立方为空。这时要回溯，返回最近的选择点重新进行D驱赶和一致性操作 5》如果D/~D出现在输出端，输入端的值也已经确定，同时一致性操作也已成功，则D算法成功．找到测试向量。如果在回溯过程中已无任何选择可能，则算法失败，未找到测试。 二、D算法 例：下图，求e点s-a-1的测试向量 二、D算法 先求故障e的故障原始D立方，以及各原件的质覆盖和传播D立方 二、D算法 D算法执行过程如下表： 二、D算法 (1)开始，将故障e的一个故障D立方{0 X|~D}作为初始测试D立方tc0,其D前沿为{G}，C前沿为空。 (2)做D驱赶，用G的传播D立方{0 ~D|~D}与tc0作D交, 得tc1,g的负载原件有J和I，作为新的D前沿，C前沿仍为空。 (3)选J做D驱赶，用J的传播D立方{1 ~D|D}与tc1作D交, 得tc2,又得新的D前沿元素L，放入D前沿栏中，C前沿仍为空