Validation of the Proposed Hardness Analysis Technique for FPGA Designs to Improve Reliability and Fault-Tolerance

Reliability and fault tolerance of FPGA systems is a major concern nowadays. The continuous increase of the system’s complexity makes the reliability evaluation extremely difficult and costly. Redundancy techniques are widely used to increase the reliability of such systems. These techniques provide a large area & time overheads which cause more power consumption and delay, respectively. An experimental evaluation method is proposed to find critical nodes of the FPGA-based designs, named “hardness analysis technique” under the proposed RASP-FIT tool. After finding the critical nodes, the proposed redundant model is applied to those locations of the design and the code is modified. The modified code is functionally equivalent and is more hardened to the soft-errors. An experimental set-up is developed to verify and validate the criticality of these locations found by using hardness analysis. After applying redundancy to those loca-tions, the reliability is evaluated concerning failure rate reduction. Experimental results on ISCAS’85 combinational benchmarks show that a min-max range of failure reduction (14%-85%) is achieved compared to the circuit without redundancy under the same faulty conditions, which improves reliability.

[1]  Hossein Pedram,et al.  Soft error rate estimation of combinational circuits based on vulnerability analysis , 2015, IET Comput. Digit. Tech..

[2]  P. Balasubramanian,et al.  A Fault Tolerance Improved Majority Voter for TMR System Architectures , 2016, ArXiv.

[3]  Paolo Prinetto,et al.  A novel methodology to increase fault tolerance in autonomous FPGA-based systems , 2014, 2014 IEEE 20th International On-Line Testing Symposium (IOLTS).

[4]  Lirida A. B. Naviner,et al.  Efficient reliability evaluation methodologies for combinational circuits , 2016, Microelectron. Reliab..

[5]  S. Katkoori,et al.  Selective triple Modular redundancy (STMR) based single-event upset (SEU) tolerant synthesis for FPGAs , 2004, IEEE Transactions on Nuclear Science.

[6]  Abdul Rafay Khatri,et al.  RASP-TMR: An Automatic and Fast Synthesizable Verilog Code Generator Tool for the Implementation and Evaluation of TMR Approach , 2018 .

[7]  Josef Börcsök,et al.  Validation of selecting SP-values for fault models under proposed RASP-FIT tool , 2017, 2017 First International Conference on Latest trends in Electrical Engineering and Computing Technologies (INTELLECT).

[8]  Fernanda Lima Kastensmidt,et al.  FPGAs and Parallel Architectures for Aerospace Applications , 2016 .

[9]  Yiorgos Makris,et al.  Soft Error Mitigation Through Selective Addition of Functionally Redundant Wires , 2008, IEEE Transactions on Reliability.

[10]  Abdul Rafay Khatri,et al.  ATPG method with a hybrid compaction technique for combinational digital systems , 2016, 2016 SAI Computing Conference (SAI).

[11]  Heinrich Theodor Vierhaus,et al.  Timing for virtual TMR in logic circuits , 2014, 2014 IEEE 20th International On-Line Testing Symposium (IOLTS).

[12]  Fernanda Gusmão de Lima Kastensmidt,et al.  Automated design flow for applying Triple Modular Redundancy (TMR) in complex digital circuits , 2018, 2018 IEEE 19th Latin-American Test Symposium (LATS).

[13]  Lorenzo Alvisi,et al.  Modeling the effect of technology trends on the soft error rate of combinational logic , 2002, Proceedings International Conference on Dependable Systems and Networks.

[14]  Wang Xin Partitioning Triple Modular Redundancy for Single Event Upset Mitigation in FPGA , 2010, 2010 International Conference on E-Product E-Service and E-Entertainment.

[15]  Abdul Rafay Khatri,et al.  RASP-FIT: A Fast and Automatic Fault Injection Tool for Code-Modification of FPGA Designs , 2018 .

[16]  Aiman H. El-Maleh,et al.  Simulation-Based Method for Synthesizing Soft Error Tolerant Combinational Circuits , 2015, IEEE Transactions on Reliability.

[17]  Abdul Rafay Khatri,et al.  Validation of the Proposed Fault Injection, Test and Hardness Analysis for Combinational Data-Flow Verilog HDL Designs Under the RASP-FIT Tool , 2018, 2018 IEEE 16th Intl Conf on Dependable, Autonomic and Secure Computing, 16th Intl Conf on Pervasive Intelligence and Computing, 4th Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC/PiCom/DataCom/CyberSciTech).

[18]  G. G. dos Santos,et al.  Using error tolerance of target application for efficient reliability improvement of digital circuits , 2010, Microelectron. Reliab..

[19]  Luca Sterpone,et al.  Validation of a tool for estimating the effects of soft-errors on modern SRAM-based FPGAs , 2014, 2014 IEEE 20th International On-Line Testing Symposium (IOLTS).