11、逻辑与故障仿真：原理、方法与电路建模

逻辑与故障仿真：原理、方法与电路建模

在数字电路设计和测试过程中，逻辑与故障仿真起着至关重要的作用。它能够帮助我们验证设计的功能正确性，评估测试的有效性，并对电路进行精确建模。下面将详细介绍相关内容。

1. 设计验证仿真

设计验证仿真的目的是通过真值仿真来验证设计的功能正确性。在这个过程中，我们使用的验证向量最初并非用于测试之前讨论的固定故障。一旦电路的功能得到验证，就可以基于这些验证向量来推导制造测试。

然而，验证向量的固定故障覆盖率并不总是很高。例如，在某些情况下，前七个向量可能就能够覆盖所有的固定故障，那么在制造测试中就可以只使用这前七个向量。

一般来说，需要使用故障模拟器从验证向量中选择一组合适的向量。可以通过移除那些不会增加故障覆盖率的向量来压缩验证向量。如果发现覆盖率不足（理想情况下固定故障覆盖率应为 95% - 100%），则需要使用后续章节中讨论的测试生成算法来添加故障覆盖向量。

需要注意的是，验证向量在测试中的重要性不可忽视。除了验证逻辑功能，完整的验证还必须考虑设计的时序行为。

示例：四位波纹进位加法器的时序验证
在理想情况下，如果信号以较慢的速率施加，电路应该能够产生正确的结果。但在实际中，硬件元件（如门电路和互连线路）存在延迟。因此，需要进行特殊测试来验证或测试设计或制造的电路的延迟。

对于四位波纹进位加法器，最长路径的测试需要通过该路径传播信号变化。一种可能的测试是使用表 5.1 中的两个向量：向量 2 之后跟向量 6。另一个具有类似特性的向量对是向量 3 之后跟向量 7。在进行时序验证时，至少需要使用一个能够模拟延迟的真值模拟