Abstract:Scan based built-in self-test (BIST), which naturally extends scan-based test methodology with test patterns applied from test equipment to BIST, can be used for the self test of sequential circuits and attain higher fault coverage. If the circuit under test (CUT) contains multiple parallel scan chains, a parallel generator is needed. Known as the common pseudo-random pattern generator (PRPG), an LFSR can be configured to generate a random pattern stream. The PRPG-based patterns may be applied to the existing scan architecture directly from the LFSR, or through some decorrelation logic. In order to attain higher fault coverage, it is very important to analyze the test pattern generation in the scan based BIST. The paper presents a kind of scheme for test pattern generation in the scan based BIST for the circuits with multiple scan chains. In the test pattern generation scheme the PRPG, which is implemented by an LFSR, shifts the sequences into all scan chains simultaneously. The correlativity weight R(M) of multiple scan chains is also defined in the paper. Based on the analysis of the different degree effect on fault coverage due to the different configuration of multiple scan chains, one conclusion is drawn that the probability that the fault coverage is reduced is increased with an increase of the correlativity weight R(M). If the circuit is tested by the multiple scan chains with the minimum R(M), the probability that the fault coverage is reduced is least. In the paper a method to construct multiple scan chains with minimum correlativity weight R(M) is proposed to overcome the bad effect on fault coverage due to the correlation between scan chains. Furthermore the minimum set of deterministic patterns is generated for hard-to-test faults by ATPG and the set is used to design the bit modifying logic circuit (BML), which is located between multiple scan chains and the CUT. Through BML the signals in multiple scan chains are controlled to input to the CUT. When the test control signal is low, the test patterns in multiple scan chains are input into the CUT directly. When the test control signal is high, the value of the signals at certain bit positions in the multiple scan chains are modified by BML and the changed test patterns are input into the CUT to test hard-to-test faults for complete fault coverage. The experiments on some ISCAS'89 benchmark circuits show that the complete fault coverage can be obtained by the test method presented by the paper. The overhead of BML is also analyzed.

A SAT Method for Improving Test Pattern Generation

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

An Efficient Diagnostic Test Pattern Generation Framework Using Boolean Satisfiability

An Efficient Diagnostic Test Pattern Generation Framework

Automatic test pattern generation for functional register-transfer level circuits using assignment decision diagrams

A Low Power Test Pattern Generator for Bist

A Semi-Tensor Product based Circuit Simulation for SAT-sweeping

Test Pattern Generation in Built-In Self-Test with Multiple Scan Chains

An Efficient SAT-Based Test Generation Algorithm with GPU Accelerator

A New Universal Test Pattern Auto-generating Approach for FPGA Logic Resources (abstract only).

RTSAT: A Hybrid Satisfiability Solver for RTL Circuits

Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG

Hybrid Sat Solver Considering Circuit Observability

A Test Generation Approach For Non-Synchronous Sequential Circuit

Combinational automatic test pattern generation for acyclic sequential circuits

G2SAT: Learning to Generate SAT Formulas

EDA-Driven Preprocessing for SAT Solving

SAT-Based Methods for Circuit Synthesis

Automatic Test Pattern Generation for Robust Quantum Circuit Testing

Auto-Generation of Universal Test Pattern for FPGA Logic Resources

A New Method of Test Generation for Combinational Circuits