·测试D立方(Test D-Cube):对电路中各个信号节点依次排列,它们的动态状态取值组成的含有D或D的值向量。它是经过运算得到的D立方。如 (a, b, c, d, e, f, g) = (1, 0, D, D, 0, 1, D)。 测试D立方是在运算过程中各节点逻辑值(包括D值)的动态列表。未确定值的节点均赋以X值。 ·D交(D-Intersection):D交是为了求各个路径上D的传播的一种运算。一般是由测试D立方与其它立方体(包括故障原始D立方,传播D立方,质立方等)作D交,得到新的测试D立方。D交的规则为 (1)将相应各信号节点作D交,如表7.8所示:
(2)若某一信号D交出现
|