Abstract:Soft errors have become a critical challenge as a result of technology scaling. Existing circuit-hardening techniques are commonly associated with prohibitive overhead of performance, area, and power. However, evaluating the influence of soft errors in Flip-Flops (FFs) on the failure of circuit is a difficult verification problem. Here, we proposed a novel flip-flop soft-error failure rate analysis methodology using a formal method with respect to application behaviors. Approach and optimization techniques to implement the proposed methodology based on the given formula using Sequential Equivalence Checking (SEC) are introduced. The proposed method combines the advantage of formal technique-based approaches in completeness and the advantage of application behaviors in accuracy to differentiate vulnerability of components. As a result, the FFs in a circuit are sorted by their failure rates, and designers can use this information to perform optimal hardening of selected sequential components against soft errors. Experimental results of an implementation of a SpaceWire end node and the largest ISCAS'89 benchmark sequential circuits indicate the feasibility and potential scalability of our approach. A case study on an instruction decoder of a practical 32-bit microprocessor demonstrates the applicability of our method.

A Compare-and-select Error Tolerant Scheme for Nonvolatile Processors

A CONCURRENT ERROR DETECTION AND CORRECTION BASED FAULT-TOLERANT XOR-XNOR CIRCUIT FOR HIGHLY RELIABLE APPLICATIONS

A Concurrent Error Detection Based Fault Tolerant 32 Nm Xor-Xnor Circuit Implementation

Realization of L2 Cache Defect Tolerance Using Multi-bit ECC

VHDL Modeling and Analysis of Error-Control Specific Circuits for Multiple-Modular Redundant Systems with Concurrent Error Location Capability

An Energy-Efficient Microprocessor Using Multilevel Error Correction For Timing Error Tolerance

Theory Study and Implementation of Configurable ECC on RRAM Memory.

A Timing Failure Tolerance Design with In-Field Simultaneous Error Detection and Correction.

Computation-oriented Fault-Tolerance Schemes for RRAM Computing Systems

Advancing Nonvolatile Computing with Nonvolatile NCFET Latches and Flip-Flops.

Dynamic Error Detection for Dependable Cache Coherency in Multicore Architectures

Defect Tolerance for CNFET-based SRAMs

A Snake Addressing Scheme for Phase Change Memory Testing

A ReRAM-Based Nonvolatile Flip-Flop With Self-Write-Termination Scheme for Frequent-OFF Fast-Wake-Up Nonvolatile Processors.

Characterizing Soft Error Vulnerability of Cache Coherence Protocols for Chip-Multiprocessors

Application Specified Soft-Error Failure Rate Analysis Using Sequential Equivalence Checking Techniques

A 28-Nm 198.9-TOPS/W Fault-Tolerant Stochastic Computing Neural Network Processor

Characterizing the Effects of Intermittent Faults on a Processor for Dependability Enhancement Strategy

A Variation-Tolerant Near-Threshold Processor with Instruction-Level Error Correction

Combining Circuit Level and System Level Techniques for Defect-Tolerant Nanoscale Architectures

PaCC: A Parallel Compare and Compress Codec for Area Reduction in Nonvolatile Processors