集成电路测试技术基础.ppt

回溯 -- s s-a-1 正向蕴涵 d = 0, X = 1, m = 1, r = 0, s = 1, q = 0, Y = 1, v = 0, Z = 1. 故障没有被敏化。 1 sa1 0 0 1 0 1 0 1 0 1 0 1 Step 13 -- s s-a-1 设定 A = 1 (交替分配) 1 sa1 1 Step 14 -- s s-a-1 再从r 回溯 1 sa1 1 Step 15 -- s s-a-1 设定 B = 0. 蕴涵: A = 1, B = 0 1 sa1 1 0 回溯 -- s s-a-1 正向蕴涵: d = 0, X = 1, m = 1, r = 0. 冲突: 故障没被敏化。 回溯 sa1 1 0 0 0 1 1 1 1 1 0 0 1 Step 17 -- s s-a-1 设置B = 1 (交替分配) 1 sa1 1 1 故障测试--Step 18 s s-a-1 正向蕴涵: d = 1, m = 1, r = 1, q = 0, s = D, v = D, X = 0, Y = D 1 sa1 1 1 1 1 0 D 0 D D X D -*- while (no fault effect at POs) if (xpathcheck (D-frontier) (l, vl) = Objective