Exact stuck-at fault classification in presence of unknowns
Exact stuck-at fault classification in presence of unknowns
复制标题
存在未知情况时精确的固定故障分类
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
B. Becker
中科院分区：
文献类型：
--
作者：
Stefan Hillebrecht;M. Kochte;H. Wunderlich;B. Becker
故障仿真是电子设计自动化的重要工具。在经典的n值模拟算法中，故障覆盖率的计算精度会受到未知（X）值的影响。这导致对覆盖率的悲观低估，以及对主要和伪主要输出处的未知（X）值的高估。本文提出了第一个在未知数存在下不存在任何模拟悲观主义的固定故障模拟算法。基于SAT的算法可以准确地对任何故障进行分类，并区分确定的和可能的检测。悲观主义w.r.t.在ISCAS基准电路和工业电路上的实验结果中讨论了经典算法中存在的未知量。我们的算法的适用性，大型工业电路的证明。
Fault simulation is an essential tool in electronic design automation. The accuracy of the computation of fault coverage in classic n-valued simulation algorithms is compromised by unknown (X) values. This results in a pessimistic underestimation of the coverage, and overestimation of unknown (X) values at the primary and pseudo-primary outputs. This work proposes the first stuck-at fault simulation algorithm free of any simulation pessimism in presence of unknowns. The SAT-based algorithm exactly classifies any fault and distinguishes between definite and possible detects. The pessimism w.r.t. unknowns present in classic algorithms is discussed in the experimental results on ISCAS benchmark and industrial circuits. The applicability of our algorithm to large industrial circuits is demonstrated.