An EDA Framework for Reliability Estimation and Optimization of Combinational Circuits

被引:0
作者
Grandhi, Satish [1 ]
Yang, Bo [1 ]
Spagnol, Christian [1 ]
Gupta, Samarth [1 ]
Popovici, Emanuel [1 ]
机构
[1] Univ Coll Cork, Dept Elect & Elect Engn, Cork, Ireland
关键词
AND-Inverter Graphs (AIGs); ABC Tool; Local Transformation Rules; Optimization; Reliability; Synthesis; Rewriting;
D O I
10.1166/jolpe.2016.1447
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
The low reliability of advanced CMOS devices has become a critical issue that can potentially supersede the benefits of the shrinking technology thereby turning design time reliability assessment and optimization a mandatory step in the IC design flow. This paper presents a systematic and integrated methodology to address and improve the combinational circuit reliability measured in terms of Soft Error Rate (SER). First, an algorithm based on probability analysis and logic principles for computing the impact of gate failures on the circuit output is outlined. Then, the proposed SER reduction framework makes use of rewriting based techniques to optimise combinational circuits for reliability. Cut enumeration and Boolean matching driven by reliability aware optimisation algorithm are used to identify best possible replacement candidates. A reliability evaluator has been developed around the open source logic synthesis tool 'abc' to allow integration and evaluation of our method in the context of an IC design flow. Our experiments on a set of MCNC benchmark circuits and 8051 micro controller functional units indicate that the proposed framework can achieve up to 75% reduction of output error probability. On average, about 14% SER reduction is obtained at the expense of very low area overhead of 6.57% that results in 13.52% higher power consumption.
引用
收藏
页码:242 / 258
页数:17
相关论文
共 35 条
[1]  
Abdollahi A, 2007, IEEE IC CAD, P266
[2]  
Almukhaizim Sobeeh, 2006, TEST C 2006 ITC 06 I, P1
[3]   Soft errors in advanced computer systems [J].
Baumann, R .
IEEE DESIGN & TEST OF COMPUTERS, 2005, 22 (03) :258-266
[4]   Switching activity estimation of VLSI circuits using Bayesian networks [J].
Bhanja, S ;
Ranganathan, N .
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2003, 11 (04) :558-567
[5]   Designing reliable systems from unreliable components: The challenges of transistor variability and degradation [J].
Borkar, S .
IEEE MICRO, 2005, 25 (06) :10-16
[6]   Thousand core chips-a technology perspective [J].
Borkar, Shekhar .
2007 44TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2007, :746-749
[7]   Tackling variability and reliability challenges [J].
Borkar, Shekhar .
IEEE DESIGN & TEST OF COMPUTERS, 2006, 23 (06) :520-520
[8]   MIS - A MULTIPLE-LEVEL LOGIC OPTIMIZATION SYSTEM [J].
BRAYTON, RK ;
RUDELL, R ;
SANGIOVANNIVINCENTELLI, A ;
WANG, AR .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1987, 6 (06) :1062-1081
[9]  
Brayton R, 2010, LECT NOTES COMPUT SC, V6174, P24, DOI 10.1007/978-3-642-14295-6_5
[10]   Low Cost Concurrent Error Masking Using Approximate Logic Circuits [J].
Choudhury, Mihir R. ;
Mohanram, Kartik .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2013, 32 (08) :1163-1176