组合逻辑电路测试方法.pptx

《组合逻辑电路测试方法.pptx》由会员分享，可在线阅读，更多相关《组合逻辑电路测试方法.pptx（36页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、第四单元 组合逻辑的测试方法1.一维敏感路径法2.布尔差分法3.D算法4.延迟故障检测第1页/共36页1.一维敏感路径法敏感路径法的基本原则是从发生错误的地方到电路输出端选择一些路径，故障处的值可以沿着这些路径传到输出。10激活01选择路径G7G9A B Y0 0 00 1 01 0 01 1 1ANDA B Y0 0 10 1 11 0 11 1 0NAND0第2页/共36页1.一维敏感路径法敏感路径法的基本原则是从发生错误的地方到电路输出端选择一些路径，故障处的值可以沿着这些路径传到输出。10110001011测试向量为X1X2X3X4X5=10001选择路径G8G9的测试向量？A B Y

2、0 0 00 1 01 0 01 1 1ANDA B Y0 0 10 1 11 0 11 1 0NAND第3页/共36页1.一维敏感路径法一维敏感路径法直观，但有时单路径行不通001激活00001A B Y0 0 10 1 01 0 01 1 0NOR0100第4页/共36页1.一维敏感路径法一维敏感路径法直观，但有时单路径行不通1A B Y0 0 10 1 01 0 01 1 0NOR0第5页/共36页1.一维敏感路径法一维敏感路径法直观，但有时单路径行不通，双路径则可生成测试向量0A B Y0 0 10 1 01 0 01 1 0NOR00000000011001激活测试向量为X1X2X3

3、X4=0000第6页/共36页第四单元 组合逻辑的测试方法1.一维敏感路径法2.布尔差分法3.D算法4.延迟故障检测第7页/共36页2.布尔差分法第8页/共36页2.布尔差分法第9页/共36页2.布尔差分法第10页/共36页2.布尔差分法第11页/共36页2.布尔差分法第12页/共36页2.布尔差分法第13页/共36页2.布尔差分法故障类型故障类型110或101000或001010或001011或001010或011010或000第14页/共36页2.布尔差分法G第15页/共36页G2.布尔差分法第16页/共36页2.布尔差分法第17页/共36页2.布尔差分法第18页/共36页2.布尔差分法第

4、19页/共36页第四单元 组合逻辑的测试方法1.一维敏感路径法2.布尔差分法3.D算法4.延迟故障检测第20页/共36页3.D算法单字覆盖（singular cover）单字覆盖表中每一行为一个“单体”（singular cube）。复杂电路单字覆盖表abc001010100110真值表abc001X101X0单字覆盖表123456001X101X0111X000X00001X1X11单字覆盖表G1G2G3第21页/共36页3.D算法第22页/共36页3.D算法例如，对于或非门，D体传输为D体传递关系说明：如果或非门的一个输入端为0，则输出与另一个输入端成互补关系；当多个输入端的值相同时，输出

5、也可以通过互补的关系反映出来。abc001010100110真值表abc0DD0D DD体传递关系第23页/共36页3.D算法abcC1110C2X01C30X1单字覆盖表abc1DD1D体传递关系第24页/共36页3.D算法故障的初始D体故障的初始D体用来描述某一给定故障，其包含一条输入向量，该向量能够将这一特定故障反映传输到输出端。或非门输出端s-a-0故障对应的初始D体如果没有故障D就为1，存在s-a-0故障D就为0。如果输出端存在s-a-1故障，则初始D体就为abc00Dabc1XX1第25页/共36页3.D算法第26页/共36页3.D算法abcdC1g0XX1C2gX0X1C3gXX

6、01C4g111010正常情况AbcdC1f0XX1C2fXX01C3f1X1010b端s-a-1故障第27页/共36页3.D算法12401345012401345012345010第28页/共36页3.D算法第29页/共36页3.D算法第30页/共36页3.D算法例3：在节点6处有一个s-a-0故障，用D算法生成测试向量与节点6相关的三个门G2、G4、G5对应的故障初始D体和与节点6无关的两个门G1、G3的单字覆盖表分别为346100111G22680DD0D DG478911G5125X101X0001G13570X1X01110G3第31页/共36页3.D算法故障唯一传输路径6G48G5

7、9。从而得到节点6处的s-a-0故障测试向量为1234=1010。346100111G22680DD0D DG478911G5125X101X0001G13570X1X01110G3操作步骤123456789选择D体XX10X D XXXD驱动G4的D体传输X0XXX D XX与G4的D体相交运算X010X D XXG5的D体传输X0XXX D1与G5的D体相交运算X010X D1一致化G3单体确定X0100D1G1单体确定10100D1相交相交第32页/共36页第四单元 组合逻辑的测试方法1.一维敏感路径法2.布尔差分法3.D算法4.延迟故障检测第33页/共36页4.延迟故障检测延迟故障来源

8、于电路中性能不佳，属于隐形故障，在静态时不表现出来，只有处于动态翻转（电路从一个状态转换到另一个状态时）等条件下才表现出来。对于延迟故障的检测方法，是要按顺序加上两个测试向量：第一个向量称为初始化向量，用来在电路中建立起一个起始条件，这样才能使电路中隐藏的信号上升慢或信号下降慢等故障影响到电路的输出状态。第二个向量称为转换向量或传递向量，将电路状态转换过程中发生的影响传递到输出端，从而达到检测的目的。第34页/共36页4.延迟故障检测假设在输入端口A处存在上升慢的延迟故障，则检测此故障包含两个向量，一个是初始化向量ABC=001，第二个转换向量为 ABC=101。类似地，如果输入端口A处有下降慢的延迟故障，则测试向量中，初始化向量为ABC=101，转换向量为ABC=001。可以看出，满上升延迟故障类似于瞬态的s-a-0故障，而慢下降故障类似于瞬态的s-a-1故障。第35页/共36页感谢您的观看！第36页/共36页