16、逻辑与故障仿真及可测试性度量

逻辑与故障仿真及可测试性度量

1. 逻辑与故障仿真相关问题

1.1 多固定故障可检测性分析

在并发仿真单固定故障 (f_1) 和 (f_2) 时，不同结果对应多固定故障 ((f_1,f_2)) 的可检测性如下：
- 情况 (a)：两个故障都被检测到 ：这表明测试向量能够有效地识别出这两个单独的故障，多固定故障 ((f_1,f_2)) 很可能也具有较高的可检测性，但不能绝对确定，因为多个故障同时存在时可能会有相互影响。
- 情况 (b)：只有 (f_1) 被检测到 ：说明测试向量对 (f_1) 有较好的检测能力，但对 (f_2) 无效。对于多固定故障 ((f_1,f_2))，其可检测性主要依赖于 (f_1) 的检测情况，不过 (f_2) 的存在可能会在某些情况下影响整体的检测结果。
- 情况 (c)：两个故障都未被检测到 ：意味着当前的测试向量无法识别这两个单独的故障，多固定故障 ((f_1,f_2)) 很可能也难以被检测到，需要寻找更有效的测试向量。

1.2 并发故障模拟器计算量分析

并发故障模拟器的计算量相当于一个规模大 (N\times a) 倍的电路的真值仿真，其中 (N) 是仿真的故障数量，(a) 是故障影响的平均门的比例。假设任何时候有一半的故障处于活动状态，并且仿真过程中不进行故障丢弃。这个结论有助于我们理解并发故障模拟器的计算复杂度，在实际应用中可以根据电路规模和故障数量来评估所需的计算资源。

1.3 故障检测算法应用

使用 TEST - DETECT