Abstract:We present Symbolic Quick Error Detection (Symbolic QED), a structured approach for logic bug detection and localization which can be used both during pre-silicon design verification as well as post-silicon validation and debug. This new methodology leverages prior work on Quick Error Detection (QED) which has been demonstrated to drastically reduce the latency, in terms of the number of clock cycles, of error detection following the activation of a logic (or electrical) bug. QED works through software transformations, including redundant execution and control flow checking, of the applied tests. Symbolic QED combines these error-detecting QED transformations with bounded model checking-based formal analysis to generate minimal-length bug activation traces that detect and localize any logic bugs in the design. We demonstrate the practicality and effectiveness of Symbolic QED using the OpenSPARC T2, a 500-million-transistor open-source multicore System-on-Chip (SoC) design, and using “difficult” logic bug scenarios observed in various state-of-the-art commercial multicore SoCs. Our results show that Symbolic QED: (i) is fully automatic, unlike manual techniques in use today that can be extremely time-consuming and expensive; (ii) requires only a few hours in contrast to manual approaches that might take days (or even months) or formal techniques that often take days or fail completely for large designs; and (iii) generates counter-examples (for activating and detecting logic bugs) that are up to 6 orders of magnitude shorter than those produced by traditional techniques. Significantly, this new approach does not require any additional hardware.

Approaches of Error Diagnosis and Correction in Combinational Circuits

Combinational Equivalence Checking Based on Circuit Topology Analysis

An Algorithm for Fault Diagnosis Based on Combinatorial Design Approach for Testing

Software fault diagnosis method based on combinatorial testing

Soft Error Generation Analysis In Combinational Logic Circuits

A scan chain optimization method for diagnosis

Reversible Logic Based Concurrent Error Detection Methodology For Emerging Nanocircuits

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

Research of an Error-tolerant Technique Based on Hybrid of Hardware and Software

Efficient reliability evaluation of combinational and sequential logic circuits

VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting

Designing fault-tolerant circuits using detector error models

An Automated Soft Error Rate Analysis Platform for Combinational Logic Circuits

An Approach to the Fault Diagnosis and Testability in Analog Circuits at Module Level

System Level Test Generation And Fault Simulation For Vlsi Circuits

A Software Failure Debugging Method Based on Combinatorial Design Approach for Testing

MLConnect: A Machine Learning Based Connection Prediction Framework for Error Correction in Recovered Circuit

Logic Bug Detection and Localization Using Symbolic Quick Error Detection

Subspace-Based Approach for Circuit Simulation

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

Multiple Fault Detection for Combinational Logic Circuits