Hybrid Fault Simulation for Synchronous Sequential Circuits
Hybrid Fault Simulation for Synchronous Sequential Circuits
复制标题
同步时序电路的混合故障仿真
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
Rolf Krieger
中科院分区：
文献类型：
--
作者：
B. Becker;Martin Keim;Rolf Krieger
我们提出了一个同步时序电路的故障模拟器，它结合了三值逻辑模拟的效率与符号方法的准确性。该模拟器是混合的意义上说，三种不同的操作模式，三值，符号和混合的支持。我们演示了如何根据计算资源和被测电路的特性在模式之间自动切换，从而实现时间/空间的计算精度。此外，除了通常的单观察时间测试策略（SOT）的故障覆盖率的评估，模拟器支持根据更一般的多观察时间测试策略（MOT）的评估。大量的实验证明了该方法的可行性和有效性。特别是，它示出，在一个合理的时间惩罚的代价，故障覆盖率计算的准确性可以提高，即使是最大的基准函数。
We present a fault simulator for synchronous sequential circuits that combines the efficiency of three-valued logic simulation with the exactness of a symbolic approach. The simulator is hybrid in the sense that three different modes of operation—three-valued, symbolic and mixed—are supported. We demonstrate how an automatic switching between the modes depending on the computational resources and the properties of the circuit under test can be realized, thus trading off time/space for accuracy of the computation. Furthermore, besides the usual Single Observation Time Test Strategy (SOT) for the evaluation of the fault coverage, the simulator supports evaluation according to the more general Multiple Observation Time Test Strategy (MOT). Numerous experiments are given to demonstrate the feasibility and efficiency of our approach. In particular, it is shown that, at the expense of a reasonable time penalty, the exactness of the fault coverage computation can be improved even for the largest benchmark functions.