Abstract:The need for reducing manufacturing defect escape in today's safety-critical applications requires increased fault coverage. However, generating a test set using commercial automatic test pattern generation (ATPG) tools that lead to zero-defect escape is still an open problem. It is challenging to detect all stuck-at faults to reach 100% fault coverage. In parallel, the hardware security community has been actively involved in developing solutions for logic locking to prevent IP piracy. Locks (e.g., XOR gates) are inserted in different locations of the netlist so that an adversary cannot determine the secret key. Unfortunately, the Boolean satisfiability (SAT) based attack, introduced in [1], can break different logic locking schemes in minutes. In this paper, we propose a novel test pattern generation approach using the powerful SAT attack on logic locking. A stuck-at fault is modeled as a locked gate with a secret key. Our modeling of stuck-at faults preserves the property of fault activation and propagation. We show that the input pattern that determines the key is a test for the stuck-at fault. We propose two different approaches for test pattern generation. First, a single stuck-at fault is targeted, and a corresponding locked circuit with one key bit is created. This approach generates one test pattern per fault. Second, we consider a group of faults and convert the circuit to its locked version with multiple key bits. The inputs obtained from the SAT tool are the test set for detecting this group of faults. Our approach is able to find test patterns for hard-to-detect faults that were previously failed in commercial ATPG tools. The proposed test pattern generation approach can efficiently detect redundant faults present in a circuit. We demonstrate the effectiveness of the approach on ITC'99 benchmarks. The results show that we can achieve a perfect fault coverage reaching 100%.

An Efficient Zero-Aliasing Space Compactor Based on Elementary Gates Combined with XOR Gates.

A Fast OPC Algorithm for IC Layout Based on 1-D Cells after Optimization of Gap Distribution

Compact Test Generation with an Influence Input Measure for Launch-On-Capture Transition Fault Testing

LUXOR: An FPGA Logic Cell Architecture for Efficient Compressor Tree Implementations

FPGA-Accelerated Compactions for LSM-based Key-Value Store.

Virtual Circuit Model for Low Power Scan Testing in Linear Decompressor-Based Compression Environment

A Cost-Efficient QCA XOR Function Based Arithmetic Logic Unit for Nanotechnology Applications

Modular design of QCA carry flow adders and multiplier with reduced wire crossing and number of logic gates

QCA-based Fault-Tolerant XOR Gate for Reliable Computing with High Thermal Stability

New Techniques for Accelerating Small Delay ATPG and Generating Compact Test Sets

Three Halves Make a Whole? Beating the Half-Gates Lower Bound for Garbled Circuits

An Automatic Optimization Method of Combinational Logic Loops in CGRA

Compact Test Generation for Small-Delay Defects Using Testable-Path Information

Test compaction for small-delay defects using an effective path selection scheme

2-D Hierarchical Compaction Algorithm for VLSI Layout Reuse

A Power Efficient BIST TPG Method on Don't Care Bit Based 2-D Adjusting and Hamming Distance Based 2-D Reordering

A Comprehensive Test Pattern Generation Approach Exploiting SAT Attack for Logic Locking

On Optimizing Xor-Based Codes For Fault-Tolerant Storage Applications

Accelerating XOR-based Erasure Coding using Program Optimization Techniques

Fault correcting adder design for low power applications

An Efficient, Scalable, Regular 4/8/16-Bit Comparator in Quantum-Dot Cellular Automata (QCA) Technology Using XOR Gates