Using Implications for Online Error Detection
Using Implications for Online Error Detection
复制标题
使用在线错误检测的含义
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
R. I. Bahar
中科院分区：
文献类型：
--
作者：
Kundan Nepal;N. Alves;Jennifer Dworak;R. I. Bahar
在本文中，我们研究了在线检测间歇性故障和难以检测的制造缺陷的逻辑含义的使用。我们提出的技术可以有效地识别最强大的电路影响，可以检查违例，以便可以最大限度地检测到错误的比例，同时最小化额外的硬件开销。重要的是，我们的方法不需要重新合成目标逻辑；检查器逻辑被添加到关键路径之外，并与常规控制逻辑并行运行。可以很容易地在额外的错误覆盖和额外的面积开销之间进行权衡。我们的结果表明，显著的错误检测是可能的——即使只有10%的面积开销。
In this paper, we investigate the use of logic implications for the online detection of intermittent faults and hard-to-detect manufacturing defects. We present techniques to efficiently identify the most powerful circuit implications that can be checked for violations so that the fraction of errors detected can be maximized while minimizing the additional hardware overhead. Importantly, our approach does not require re-synthesis of the targeted logic; the checker logic is added off the critical path and is run in parallel with the regular control logic. Trade-offs can be easily made between additional coverage of errors and additional area overhead. Our results show that significant error detection is possible - even with only a 10% area overhead.