Low Cost Concurrent Error Masking Using Approximate Logic Circuits

被引:31
作者
Choudhury, Mihir R. [1 ]
Mohanram, Kartik [2 ]
机构
[1] IBM Corp, Thomas J Watson Res Ctr, Yorktown Hts, NY 10598 USA
[2] Carnegie Mellon Univ, Dept Elect & Comp Engn, Pittsburgh, PA 15213 USA
基金
美国国家科学基金会;
关键词
Concurrent error detection; concurrent error masking; logic synthesis; reliability; PERFORMANCE OPTIMIZATION; TELESCOPIC UNITS; FAILURE RATE; ENHANCEMENT;
D O I
10.1109/TCAD.2013.2250581
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
With technology scaling, logical errors arising due to single-event upsets and timing errors arising due to dynamic variability effects are increasing in logic circuits. Existing techniques for online resilience to logical and timing errors are limited to detection of errors, and often result in significant performance penalty and high area/power overhead. This paper proposes approximate logic circuits as a design approach for low cost concurrent error masking. An approximate logic circuit predicts the value of the outputs of a given logic circuit for a specified portion of the input space, and can indicate uncertainty about the outputs over the rest of the input space. Using portions of the input space that are most vulnerable to errors as the specified input space, we show that approximate logic circuits can be used to provide low overhead concurrent error masking support for a given logic circuit. We describe efficient algorithms for synthesizing approximate circuits for concurrent error masking of logical and timing errors. Results indicate that concurrent error masking based on approximate logic circuits can mask 88% of targeted logical errors for 34% area overhead and 17% power overhead, 100% timing errors on all timing paths within 10% of the critical path delay for 23% area overhead and 8% power overhead, and 100% timing errors on all timing paths within 20% of the critical path delay for 42% area overhead and 26% power overhead.
引用
收藏
页码:1163 / 1176
页数:14
相关论文
共 50 条
[1]   Circuit failure prediction and its application to transistor aging [J].
Agarwal, Mridul ;
Paul, Bipul C. ;
Zhang, Ming ;
Mitra, Subhasish .
25TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS, 2007, :277-+
[2]  
ALIDINA M, 1994, IEEE IC CAD, P74
[3]   On the minimization of potential transient errors and SER in logic circuits using SPFD [J].
Almukhaizim, Sobeeh ;
Makris, Yiorgos ;
Yang, Yu-Shen ;
Veneris, Andreas .
14TH IEEE INTERNATIONAL ON-LINE TESTING SYMPOSIUM, PROCEEDINGS, 2008, :123-+
[4]   Entropy-driven parity-tree selection for low-overhead concurrent error detection in finite state machines [J].
Almukhaizim, Sobeeh ;
Drineas, Petros ;
Makris, Yiorgos .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2006, 25 (08) :1547-1554
[5]  
[Anonymous], P INT S COMP ARCH SA
[6]  
[Anonymous], 2009, Reliability, Wearout Mechanisms in Advanced CMOS Technologies
[7]   Telescopic units: A new paradigm for performance optimization of VLSI designs [J].
Benini, L ;
Macii, E ;
Poncino, M ;
De Micheli, G .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1998, 17 (03) :220-232
[8]   Automatic synthesis of large telescopic units based on near-minimum timed supersetting [J].
Benini, L ;
De Micheli, G ;
Lioy, A ;
Macii, E ;
Odasso, G ;
Poncino, M .
IEEE TRANSACTIONS ON COMPUTERS, 1999, 48 (08) :769-779
[9]  
Blome J., 2006, P WORKSH ARCH REL
[10]   Designing reliable systems from unreliable components: The challenges of transistor variability and degradation [J].
Borkar, S .
IEEE MICRO, 2005, 25 (06) :10-16