Abstract:Reliability has become an increasingly important concern for SRAM-based field programmable gate arrays (FPGAs). Targeting SEU (single event upset) in SRAM-based FPGAs, this article first develops an SEU evaluation framework that can quantify the failure sensitivity for each configuration bit during design time. This framework considers detailed fault behavior and logic masking on a post-layout FPGA application and performs logic simulation on various circuit elements for fault evaluation. Applying this framework on MCNC benchmark circuits, we first characterize SEUs with respect to different FPGA circuits and architectures, for example, bidirectional routing and unidirectional routing. We show that in both routing architectures, interconnects not only contribute to the lion's share of the SEU-induced functional failures, but also present higher failure rates per configuration bits than LUTs. Particularly, local interconnect multiplexers in logic blocks have the highest failure rate per configuration bit. Then, we evaluate three recently proposed SEU mitigation algorithms, IPD, IPF, and IPV, which are all logic resynthesis-based with little or no overhead on placement and routing. Different fault mitigating capabilities at the chip level are revealed, and it demonstrates that algorithms with explicit consideration for interconnect significantly mitigate the SEU at the chip level, for example, IPV achieves 61% failure rate reduction on average against IPF with about 15%. In addition, the combination of the three algorithms delivers over 70% failure rate reduction on average at the chip level. The experiments also reveal that in order to improve fault tolerance at the chip level, it is necessary for future fault mitigation algorithms to concern not only LUT or interconnect faults, but also their interactions. We envision that our framework can be used to cast more useful insights for more robust FPGA circuits, architectures, and better synthesis algorithms.

Understanding Tool Synthesis Behavior and Safe Finite State Machine Design

SEU Fault Evaluation and Characteristics for SRAM-based FPGA Architectures and Synthesis Algorithms

Improving FSM State Enumeration Performance for Hardware Security with RECUT and REFSM-SAT

Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications

SYNFI: Pre-Silicon Fault Analysis of an Open-Source Secure Element

SCFI: State Machine Control-Flow Hardening Against Fault Attacks

Fault modeling and characteristics of SRAM-based FPGAs (abstract only).

A Symbolic Approach to Detecting Hardware Trojans Triggered by Don't Care Transitions

ResiLogic: Leveraging Composability and Diversity to Design Fault and Intrusion Resilient Chips

State Assignment and Optimization of Ultra-High-Speed FSMs Utilizing Tristate Buffers

A Low-Cost Fault Injection Attack Resilient FSM Design

Single event upset mitigation for FDP2008

A New Approach to Single Event Effect Tolerance Based on Asynchronous Circuit Technique

Security and Reliability Evaluation of Countermeasures implemented using High-Level Synthesis

A Low-Cost Error-Tolerant Flip-Flop Against SET and SEU for Dependable Designs

Compact Modeling of MOSFET Wearout Mechanisms for Circuit-Reliability Simulation

The Synthesis of Linear Finite State Machine-based Stochastic Computational Elements

Identification of State Registers of FSM Through Full Scan by Data Analytics

Integrating reliability analysis into MBSE for FPGA-based safety critical I&C system design in nuclear power plants

Design for Assurance: Employing Functional Verification Tools for Thwarting Hardware Trojan Threat in 3PIPs

Design and analysis of fault-tolerant sequential logic circuits for safety-critical applications