ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs

In this paper a simulator of soft errors (SEUs) in the configuration memory of SRAM-based FPGAs is presented. The simulator, named ASSESS, adopts fault models for SEUs affecting the configuration bits controlling both logic and routing resources that have been demonstrated to be much more accurate than classical fault models adopted by academic and industrial fault simulators currently available. The simulator permits the propagation of faulty values to be traced in the circuit, thus allowing the analysis of the faulty circuit not only by observing its output, but also by studying fault activation and error propagation. ASSESS has been applied to several designs, including the miniMIPS microprocessor, chosen as a realistic test case to evaluate the capabilities of the simulator. The ASSESS simulations have been validated comparing their results with a fault injection campaign on circuits from the ITC'99 benchmark, resulting in an average error of only 0.1%.

[1]  R.C. Baumann,et al.  Radiation-induced soft errors in advanced semiconductor technologies , 2005, IEEE Transactions on Device and Materials Reliability.

[2]  J. Paul Roth,et al.  Diagnosis of automata failures: a calculus and a method , 1966 .

[3]  William H. Sanders,et al.  The Mobius modeling tool , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

[4]  Andrea Domenici,et al.  Accurate simulation of SEUs in the configuration memory of SRAM-based FPGAs , 2012, 2012 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT).

[5]  L. Sterpone,et al.  Analysis of the robustness of the TMR architecture in SRAM-based FPGAs , 2005, IEEE Transactions on Nuclear Science.

[6]  Cinzia Bernardeschi,et al.  A Tool for Signal Probability Analysis of FPGA-Based Systems , 2011 .

[7]  Niccolò Battezzati,et al.  Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications , 2014 .

[8]  Sergio D'Angelo,et al.  Evaluation of Single Event Upset Mitigation Schemes for SRAM based FPGAs using the FLIPPER Fault Injection Platform , 2007, 22nd IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2007).

[9]  S Schulz,et al.  Smart behavioral netlist simulation for SEU protection verification , 2008, 2008 European Conference on Radiation and Its Effects on Components and Systems.

[10]  Giovanni Squillero,et al.  RT-Level ITC'99 Benchmarks and First ATPG Results , 2000, IEEE Des. Test Comput..

[11]  Andrea Domenici,et al.  GABES: A genetic algorithm based environment for SEU testing in SRAM-FPGAs , 2013, J. Syst. Archit..

[12]  Ali Movaghar,et al.  Performability modeling with stochastic activity networks , 1985 .

[13]  Ricardo Reis,et al.  SET and SEU simulation toolkit for LabVIEW , 2011, 2011 12th European Conference on Radiation and Its Effects on Components and Systems.

[14]  D. Bortolato,et al.  Evaluating the effects of SEUs affecting the configuration memory of an SRAM-based FPGA , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[15]  Andrea Domenici,et al.  Failure probability of SRAM-FPGA systems with Stochastic Activity Networks , 2011, 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems.

[16]  Mehdi B. Tahoori,et al.  An Analytical Approach for Soft Error Rate Estimation of SRAM-Based FPGAs , 2004 .

[17]  C. Carmichael,et al.  Proton Testing of SEU Mitigation Methods for the Virtex FPGA , 2001 .

[18]  L. Sterpone,et al.  A new analytical approach to estimate the effects of SEUs in TMR architectures implemented through SRAM-based FPGAs , 2005, IEEE Transactions on Nuclear Science.

[19]  Russell Tessier,et al.  FPGA Architecture: Survey and Challenges , 2008, Found. Trends Electron. Des. Autom..

[20]  Anthony Salazar,et al.  Radiation Test Results of the Virtex FPGA and ZBT SRAM for Space Based Reconfigurable Computing , 1999 .

[21]  Andrea Domenici,et al.  Failure Probability and Fault Observability of SRAM-FPGA Systems , 2011, 2011 21st International Conference on Field Programmable Logic and Applications.

[22]  William H. Sanders,et al.  The Möbius Framework and Its Implementation , 2002, IEEE Trans. Software Eng..

[23]  William H. Sanders,et al.  A Unified Approach for Specifying Measures of Performance, Dependability and Performability , 1991 .

[24]  Olivier Héron,et al.  On the reliability evaluation of SRAM-based FPGA designs , 2005, International Conference on Field Programmable Logic and Applications, 2005..

[25]  Alessandro Paccagnella,et al.  Ion beam testing of ALTERA APEX FPGAs , 2002, IEEE Radiation Effects Data Workshop.

[26]  William H. Sanders,et al.  Stochastic Activity Networks: Formal Definitions and Concepts , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[27]  Michael J. Wirthlin,et al.  The reliability of FPGA circuit designs in the presence of radiation induced configuration upsets , 2003, 11th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, 2003. FCCM 2003..

[28]  E. Fuller,et al.  RADIATION TESTING UPDATE, SEU MITIGATION, AND AVAILABILITY ANALYSIS OF THE VIRTEX FPGA FOR SPACE RECONFIGURABLE COMPUTING. , 2000 .

[29]  Massimo Violante,et al.  A new functional fault model for FPGA application-oriented testing , 2002, 17th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2002. DFT 2002. Proceedings..

[30]  Sergio D'Angelo,et al.  A tool for injecting SEU-like faults into the configuration control mechanism of Xilinx Virtex FPGAs , 2003, Proceedings 18th IEEE Symposium on Defect and Fault Tolerance in VLSI Systems.

[31]  P. Sundararajan,et al.  Consequences and Categories of SRAM FPGA Configuration SEUs , 2003 .

[32]  Zdenek Kotásek,et al.  SEU Simulation Framework for Xilinx FPGA: First Step towards Testing Fault Tolerant Systems , 2011, 2011 14th Euromicro Conference on Digital System Design.

[33]  A. Paccagnella,et al.  Ion beam testing of SRAM-based FPGA's , 2001, RADECS 2001. 2001 6th European Conference on Radiation and Its Effects on Components and Systems (Cat. No.01TH8605).