32主要的组合atpg算法.pptxVIP

3.2 主要的组合 ATPG 算法;定义;2 故障D立方;? 故障D立方的形成规则 · 首先形成逻辑门的正常初始立方和故障初始立方.;3 传播D立方 ? 把元件E的输入端的若干故障信号能传播至E的输出端 的最小输入条件称为传播D立方. ? 传播D立方可从门的正常初始立方得到, 即把门的正常 初始立方中具有不同输出值的立方进行交运算即可获得. 4 D相交 · D相交又称D立方相交, 它是建立敏化通路的工具, 又是回推相容运算中是否相容的工具. 5 D边界 它是指输入含有D/D信号而输出还未定值的所有逻辑 单元的集合. 6 D驱赶 指D运算中, 把D/D从故障源向原始输出传播的过程.;(Forward Implication);?反向蕴涵指当门的输出和某些门的输入的值确定之后, 确定其 输入值的运算.;D-算法 -- Roth IBM(1966);D-算法;D-驱赶（ drive ）;—相容性检查（ Consistency ）;例 1 故障 A s-a-0 Step 1 –;Step 2 –;Step 3;Step 4;Step 5;Step 6;D-链消失;;Step 2 ? 传播 v 的D-立方;Step 3 s sa1 ? 正向和反向蕴涵;Step 4;;Step 6 ? 传播 v 的D-立方;Step 7 u s-a-1 ? 正向和反向蕴涵;;?传播v 的D-立方;?传播Z