HAFTA: Highly Available Fault-Tolerant Architecture to Protect SRAM-Based Reconfigurable Devices Against Multiple Bit Upsets

被引:8
作者
Ghaderi, Zana [1 ]
Miremadi, Seyed Ghassem [1 ]
Asadi, Hossein [1 ]
Fazeli, Mahdi [1 ]
机构
[1] Sharif Univ Technol, Dept Comp Engn, Tehran 111559517, Iran
关键词
Availability; multiple bit upsets (MBUs); reliability; SRAM-based reconfigurable devices (SRDs); TRIPLE MODULAR-REDUNDANCY; SOFT ERRORS; FPGA; TMR; PERFORMANCE; MITIGATION; RELIABILITY; SYSTEMS; PLACE;
D O I
10.1109/TDMR.2012.2229710
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Despite widespread use of SRAM-based reconfigurable devices (SRDs) in mainstream applications, their usage has been very limited in enterprise and safety-critical applications due to SRAM susceptibility to soft errors. Previous mitigation techniques to protect SRDs impose significant area and power overheads. Additionally, they suffer from susceptibility of configuration bits to multiple bit upsets (MBUs). In this paper, we present a highly available fault-tolerant architecture to protect SRD-based designs against MBUs in both configuration and user bits. In the proposed architecture, the entire design is duplicated with respect to the relative locations of logic blocks within the SRD and the main and replica flip-flops (FFs) are compared at each clock cycle to detect any possible mismatch. In addition, the unused FFs available throughout SRDs are employed as history FFs to save the latest correct state of the system. Upon detection of any mismatch between the main and replica FFs, the system is able to roll back to the latest correct state stored in the history FFs. The simulation results extracted using fault injection experiments demonstrate that the proposed architecture provides both higher reliability and availability, as compared with the traditional triple modular redundancy techniques, while offering less area and power overheads.
引用
收藏
页码:203 / 212
页数:10
相关论文
共 42 条
[31]   A new reliability-oriented place and route algorithm for SRAM-based FPGAs [J].
Sterpone, L ;
Violante, M .
IEEE TRANSACTIONS ON COMPUTERS, 2006, 55 (06) :732-744
[32]   Analysis of the robustness of the TMR architecture in SRAM-based FPGAs [J].
Sterpone, L ;
Violante, M .
IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2005, 52 (05) :1545-1549
[33]  
Sterpone L, 2010, DES AUT TEST EUROPE, P1231
[34]   Layout-Aware Multi-Cell Upsets Effects Analysis on TMR Circuits Implemented on SRAM-Based FPGAs [J].
Sterpone, Luca ;
Violante, Massimo ;
Panariti, Alessandro ;
Bocquillon, A. ;
Miller, Florent ;
Buard, Nadine ;
Manuzzato, Andrea ;
Gerardin, Simone ;
Paccagnella, Alessandro .
IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2011, 58 (05) :2325-2332
[35]   HIGH-PERFORMANCE FAULT-TOLERANT VLSI SYSTEMS USING MICRO ROLLBACK [J].
TAMIR, Y ;
TREMBLAY, M .
IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (04) :548-554
[36]   Enhanced reliability of finite-state machines in FPGA through efficient fault detection and correction [J].
Tiwari, A ;
Tomko, KA .
IEEE TRANSACTIONS ON RELIABILITY, 2005, 54 (03) :459-467
[37]  
Xilinx, XPOW AN
[38]  
Xilinx, 2012, VIRT 6 FAM OV
[39]  
Yu Hu, 2008, 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), P706, DOI 10.1109/ICCAD.2008.4681654
[40]   A Novel Soft Error Detection and Correction Circuit for Embedded Reconfigurable Systems [J].
Zhao, Qian ;
Ichinomiya, Yoshihiro ;
Amagasaki, Motoki ;
Iida, Masahiro ;
Sueyoshi, Toshinori .
IEEE EMBEDDED SYSTEMS LETTERS, 2011, 3 (03) :89-92