14、故障模拟算法详解

故障模拟算法详解

1. 演绎故障模拟

演绎故障模拟是一种用于模拟电路故障的方法。对于具有更多输入的门以及其他类型的门（如异或门），可以通过将它们扩展为双输入原始门来推导传播规则，这种技术具有通用性，可用于较大函数的演绎故障模拟。

下面以一个具体例子来说明演绎故障模拟的过程。考虑将向量 (1,1) 应用于图中所示的电路，我们要模拟所有线路 a 到 g 上的 s - a - 0 和 s - a - 1 故障。
- 真值模拟 ：首先进行真值模拟以确定所有信号值，这需要从输入到输出进行一次遍历。如果电路存在反馈，则可能需要多次遍历。
- 故障列表生成与传播 ：接着进行第二次从输入到输出的遍历，用于生成和传播故障列表。主输入的故障列表仅包含在该位置活跃的 s - a - 0 故障。扇出 c 和 d 的故障列表是通过将其局部活跃故障添加到主干的故障列表 Lb 中得到的。e 的故障列表通过特定的传播规则获得。d 的故障列表通过非门直接传播。使用或门的传播规则可以得到相应的故障列表。最终，我们发现四个故障（a s - a - 0、c s - a - 0、e s - a - 0 和 g s - a - 0）可由输入向量 (1,1) 检测到。

演绎故障模拟在顺序电路的故障模拟中存在一些困难：
- 三态逻辑处理 ：故障列表传播规则需要扩展以处理三态（0, 1, X）逻辑，这增加了算法的复杂性，但对于表示电路的初始状态是必要的。
- 存储元件处理 ：需要解决处理存储元件的方法。如果触发器通过逻辑门之间的反馈实现，则