15、故障模拟算法与统计方法解析

故障模拟算法与统计方法解析

1. 故障模拟算法

1.1 差分故障模拟示例

差分故障模拟是一种重要的故障模拟方法。以一个同步时序电路的故障模拟为例，假设有两个故障(1)和(2)，向量集包含三个向量。
- 初始时，触发器的初始状态未知，用X表示，当前和下一个故障列表均为空。
- 当模拟第一个向量(1,1)时，无故障被激活。
- 模拟第二个向量(1,0)后，两个故障都被激活。故障(1)的影响表示为D(1)，只有D(1)到达触发器输入并被添加到下一个故障列表，此时无故障被检测到。
- 模拟第三个向量(0,1)时，当前故障列表更新为D(1)，并传播到主输出，故障(1)被检测到。由于没有故障影响传播到触发器，下一个故障列表为空，此时可丢弃故障(1)，后续向量仅模拟故障(2)，直至其也被检测到。

1.2 适用算法

TEST - DETECT和差分故障模拟算法都非常适合同步时序电路。差分算法的并行实现PROOFS在工业中取得了巨大成功，它利用计算机的位并行性通过组合逻辑传播故障列表。

算法名称	适用电路类型	特点
TEST - DETECT	同步时序电路	可有效模拟故障
差分故障模拟算法	同步时序电路	可引入并发故障影响