通路敏化法以及相关的自动测试生成算法

   对一条通路中所有逻辑门电路的一切输人设定适当的值,然后追踪信号线上的这个逻辑变化传播到输出端的结果,其输出端的逻辑变化能反映该信号线的逻辑变化, OB2263就称这样的通路为一条敏化通路。这样,根据输出端的逻辑变化就能确定出敏化通路上的逻辑故障,从而找出检测该故障的一个测试矢童。

   如果要让故障能传播到输出端,那么通道内一切与门(AND)和与非门(NAND)的其余输人端都应该要设定为1值;一切或门(OR)和或非门(N()R)的其余输人端都应该设定为0值。这就是故障传播和通路敏化的条件。

   通路敏化法的主要步骤如下:

   (1)故障敏化。对一个固定型故障(stuck at fault)通过使驱动信号和故障相反的逻辑值来激活。这对于确保无故障电路和有故障电路之问的行为的不同是必须的。

   (2)故障传播。将故障相应通过一条或多条路径传播到电路的输出。

   (3)一致性检查。就是从敏化通路的输出端返回到输人端,检查输人门的各个输入逻辑是否一致。如果相同,那么这一个故障的敏化就是成功的,否则就要寻找另外一条路径,并重复上面各步骤。