Automatic Test Pattern Generation

Slides:



Advertisements
Similar presentations
CMP238: Projeto e Teste de Sistemas VLSI Marcelo Lubaszewski Aula 4 - Teste PPGC - UFRGS 2005/I.
Advertisements

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Design for Test.
Automatic Test Generation and Logic Optimization.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 121 Lecture 12 Advanced Combinational ATPG Algorithms  FAN – Multiple Backtrace (1983)  TOPS – Dominators.
Appendix: Other ATPG algorithms 1. TOPS – Dominators Kirkland and Mercer (1987) n Dominator of g – all paths from g to PO must pass through the dominator.
Based on text by S. Mourad "Priciples of Electronic Systems" Digital Testing: Design Representation and Fault Detection
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 13/12alt1 Lecture 13 Sequential Circuit ATPG Time-Frame Expansion (Lecture 12alt in the Alternative.
1 Lecture 10 Sequential Circuit ATPG Time-Frame Expansion n Problem of sequential circuit ATPG n Time-frame expansion n Nine-valued logic n ATPG implementation.
TOPIC : Backtracking Methodology UNIT 3 : VLSI Testing Module 3.2: Arriving at Input Test Vector.
Aiman El-Maleh, Ali Alsuwaiyan King Fahd University of Petroleum & Minerals, Dept. of Computer Eng., Saudi Arabia Aiman El-Maleh, Ali Alsuwaiyan King Fahd.
An Efficient Test Relaxation Technique for Synchronous Sequential Circuits Aiman El-Maleh and Khaled Al-Utaibi King Fahd University of Petroleum & Minerals.
1 Lecture 11 Major Combinational Automatic Test-Pattern Generation Algorithms n Definitions n D-Algorithm (Roth) D-cubes Bridging faults Logic.
Chapter 7: Testing Of Digital Circuits 1 Testing of Digital Circuits M. Balakrishnan Dept. of Comp. Sci. & Engg. I.I.T. Delhi.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 9alt1 Lecture 9alt Combinational ATPG (A Shortened version of Original Lectures 9-12) n ATPG problem.
Copyright 2001, Agrawal & BushnellDay-1 PM Lecture 61 Design for Testability Theory and Practice Lecture 6: Combinational ATPG n ATPG problem n Example.
4/20/2006ELEC7250: Alexander 1 LOGIC SIMULATION AND FAULT DIAGNOSIS BY JINS DAVIS ALEXANDER ELEC 7250 PRESENTATION.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 11alt1 Lecture 11alt Advances in Combinational ATPG Algorithms  Branch and Bound Search  FAN – Multiple.
Efficient Reachability Checking using Sequential SAT G. Parthasarathy, M. K. Iyer, K.-T.Cheng, Li. C. Wang Department of ECE University of California –
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 111 Lecture 11 Major Combinational Automatic Test-Pattern Generation Algorithms n Definitions n D-Algorithm.
Sequential Testing Two choices n Make all flip-flops observable by putting them into a scan chain and using scan latches o Becomes combinational testing.
1 AN EFFICIENT TEST-PATTERN RELAXATION TECHNIQUE FOR SYNCHRONOUS SEQUENTIAL CIRCUITS Khaled Abdul-Aziz Al-Utaibi
Spring 08, Apr 8 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2008 Combinational Circuit ATPG Vishwani D. Agrawal.
Introduction to IC Test
Unit II Test Generation
VLSI Testing Lecture 7: Combinational ATPG
Modern VLSI Design 3e: Chapter 5,6 Copyright  2002 Prentice Hall PTR Adapted by Yunsi Fei Topics n Sequential machine (§5.2, §5.3) n FSM construction.
An Iterative Heuristic for State Justification in Sequential Automatic Test Pattern Generation Aiman H. El-MalehSadiq M. SaitSyed Z. Shazli Department.
ECE 260B – CSE 241A Testing 1http://vlsicad.ucsd.edu ECE260B – CSE241A Winter 2005 Testing Website:
12/3/2015 Based on text by S. Mourad "Priciples of Electronic Systems" and M. L. Bushnell and V. D. Agrawal, Essentials of Electronic Testing for Digital,
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES
Copyright 2001, Agrawal & BushnellLecture 6: Sequential ATPG1 VLSI Testing Lecture 6: Sequential ATPG n Problem of sequential circuit ATPG n Time-frame.
An introduction to Fault Detection in Logic Circuits By Dr. Amin Danial Asham.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES Combinational ATPG.
A New ATPG Algorithm for 21 st Century: The wojoRithm John Sunwoo Electrical & Computer Engineering Auburn University, AL.
EE141 VLSI Test Principles and Architectures Test Generation 1 1 中科院研究生院课程: VLSI 测试与可测试性设计 第 5 讲 测试生成 (1) 李晓维 中科院计算技术研究所
TOPIC : Fault detection and fault redundancy UNIT 2 : Fault modeling Module 2.3 Fault redundancy and Fault collapsing.
On the Relation Between Simulation-based and SAT-based Diagnosis CMPE 58Q Giray Kömürcü Boğaziçi University.
Recursion Topic 5.
Lecture 9 Advanced Combinational ATPG Algorithms
VLSI Testing Lecture 4: Testability Analysis
Algorithms and representations Structural vs. functional test
CS137: Electronic Design Automation
Definitions D-Algorithm (Roth) D-cubes Bridging faults
Lecture 13 Sequential Circuit ATPG Time-Frame Expansion
Definitions D-Algorithm (Roth) D-cubes Bridging faults
VLSI Testing Lecture 7: Combinational ATPG
CPE/EE 428, CPE 528 Testing Combinational Logic
Lecture 10 Sequential Circuit ATPG Time-Frame Expansion
ELEC Digital Logic Circuits Fall 2014 Logic Testing (Chapter 12)
CPE/EE 428, CPE 528 Testing Combinational Logic (5)
Overview: Fault Diagnosis
Automatic Test Pattern Generation
Automatic Test Generation for Combinational Circuits
CPE/EE 428, CPE 528 Testing Combinational Logic (2)
CPE/EE 428, CPE 528 Testing Combinational Logic (4)
VLSI Testing Lecture 8: Sequential ATPG
Lecture 12 Advanced Combinational ATPG Algorithms
A New ATPG Algorithm for 21st Century: The wojoRithm
Fault Models, Fault Simulation and Test Generation
CPE/EE 428, CPE 528 Testing Combinational Logic (3)
VLSI Testing Lecture 7: Combinational ATPG
Aiman H. El-Maleh Sadiq M. Sait Syed Z. Shazli
Design for Testability
Topics Switch networks. Combinational testing..
VLSI Testing Lecture 4: Testability Analysis
Sungho Kang Yonsei University
Theorems on Redundancy Identification
D-Algorithm (1/4) h d' d i j e' n e k a g b c l f' f m Example 1 D’ G1
Lecture 13 Sequential Circuit ATPG Time-Frame Expansion
CS137: Electronic Design Automation
Presentation transcript:

Automatic Test Pattern Generation Sungho Kang Yonsei University

Test Pattern Generation Introduction Test generation Manual generation Pseudo random generation Algorithmic (or deterministic) test generation Automatic Test Pattern Generation (ATPG) Calculate the set of test patterns from a description of the logic network and a set of assumptions called fault models

ATPG Result of ATPG Cost of ATPG Quality of the generated tests Introduction Result of ATPG Find a test pattern Redundant fault Run out of time/memory (Aborted fault) Cost of ATPG Low CPU time Quality of the generated tests High fault coverage Cost of Applying Test Small number of tests Fault Coverage # of detected faults / # of faults # of detected faults / (# of faults - # of redundant faults) (# of detected faults + # of redundant faults) / # of faults

Definition Single Fault Assumption Fault Excitation Fault Propagation Introduction Single Fault Assumption The assumption that one and only one fault is present in a given circuit at a time Fault Excitation The process of finding a sufficient set of PI values to cause the fault site in the good circuit to have a value opposite to the faulty value Fault Propagation The process of moving the effect of a fault closer to a PO Line Justification The process of finding a set of PI values which cause the line to achieve the desired value Essentially the same as backdrive with conflict resolution

Definition Implication Backtracking Reconvergent fanout Introduction Implication The process of determining the unique values implied by already assigned values The process can cause both forward and backward assignment of values Backtracking Retracing in the search space to resolve the conflict by trying alternate assignments at previously assigned nodes Should store previously determined values Reconvergent fanout A fanout node, two or more of whose branches eventually are used as inputs to the same element The element at which the branch reconverge is called the point of reconvergence

ATPG Example Introduction F output s-a-0

ATPG Example Introduction H s-a-1

2 Phase ATPG Random + Deterministic while an exit condition happens Introduction Random + Deterministic while an exit condition happens get a vector fault simulate the vector if the vector detects faults add the vector to the test set discard the faults for all remaining faults select a fault generate a vector if successful add the vector in the test set

Boolean Difference Boolean Difference

Boolean Difference Boolean Difference

Boolean Difference Boolean Difference

D Algorithm D Algorithm Introduce D and D’

D Algorithm Algorithm D frontier D drive 1) Initialize all nodes to X 2) Select a fault  3) Select a pdcf of  4) Implication (forward and backward) 5) D drive 6) If not reached PO, go to 4) 7) Line justification D frontier Set of elements whose output values are unspecified but whose input has some signal D or D’ D drive Attempts to propagate D or D’ to the output of elements

Example Primitive Cubes, Primitive D Cubes, Propagation D Cubes where D Algorithm Primitive Cubes, Primitive D Cubes, Propagation D Cubes where

D Algorithm Example D Algorithm G1 s-a-0

D Algorithm : Example D Algorithm G1 s-a-0

9V Algorithm Problem of D Algorithm Selection of fanout branch - increasing exponentially Advantage is mainly due to the higher degree of freedom At fanout point having a fanout of N, at most N attempts have to be made out D requires 2N-1

PODEM Path Oriented DEcision Making Search space on PIs Implicit space enumeration Algorithm PODEM() if (Error at PO) return SUCCESS if (test not possible) return FAILURE get an objective backtrace the objective to PI imply the PI value if PODEM() == SUCCESS imply PI with X value assume target fault is I s-a-v objective() if ( the value of I is X ) return (I, v’) select a gate(G) from the D frontier select an input j of G with value X c = controlling value of G return ( j, c’)

PODEM Example PODEM a s-a-0 : using PODEM

FAN FANout Oriented ATPG Stop the backtrace at a headline and postpone the line justification for the headline to the last Multiple backtrace Free line Gate output whose predecessors are fanout free Head line Free line that enters a region of reconvergent fanout

FAN Assume that we want to set J=0 Assume that with PI assignments previously made, setting J=0 causes D frontier empty Failure

FAN Example FAN M-L s-a-1 using FAN

X Path Check X path check Heuristics X path check Let s be a signal on the fault sensitization path If s has 0 or 1, the fault cannot be propagated Check the value using forward implication

Dominator Heuristics A signal y is said to dominate a signal x if all directed paths from x to the POs pass through y Dominator The set of signal that dominate signal x The fault effect should pass through dominators Off-path inputs of dominators are assigned noncontrolling values to propagate fault effect Example Dominators of signal C : G2 and G5 Thus D=0 and J=1

Static learning Heuristics To assign a logic value to a certain signal of the circuit, perform This is done for all signals of the circuit for both logic value 0 and 1 Example B=1 => F=1 F=0 => B=0

Dynamic Learning Heuristics If both assignments a=0 and a=1 do not result in a conflict during the implication procedure, the learning is used Example When b=1 and c=1, a=1  h=1 h=0  a=0

Recursive Learning Example Assume that I1 and J are unjustified Heuristics Example Assume that I1 and J are unjustified Verify that K=1 is necessary assignment

Test Compaction PI test values are usually partially specified Combine tests to reduce test length Two tests are compatible if they do not specify opposite values for any PI Two compatible tests Ti and Tj can be combined into one test Tij = Ti  Tj Example T1=01X, T2=0X1, T3=0X0, T4=X01 T12=011, T3=0X0, T4=X01 T13=010, T24=001

Scan Design

Sequential Test Generation Sequential ATPG Generates a sequence of vectors to detect a single stuck-at fault in sequential circuit Controllability and Observability in a sequential circuit are mush worse than those in a combinational circuit Due to the presence of memory elements Search space is too large in general No single strategy/heuristic outperforms others for all applications/circuits Can be combined with low-overhead DFT techniques such as partial scan

Topological Analysis Based Toplogical Analysis Iterative Array Model Combinational model for sequential circuit Regenerates the feedback signals from previous-time copies of the circuit A rectangle : A copy of the combinational portion of circuits

Extended D Algorithm : Example Topological Analysis Time-frame 0 : Fault activation Time-frame 1 : Fault propagation Time-frame -1 : Fault justification Time-frame -1 Time-frame 0 Time-frame 1

Extended Backtrace Algorithm(EBT) Topological Analysis Reverse Time Processing(RTP) Works backwards in time from last time-frame to first time-frame For a given fault, RTP pre-selects a path from the fault site to a primary output through several time-frames Selected path is then sensitized backwards If sensitization process fails, another path is selected Advantages of Reverse Time Processing At any time-frame, only two time-frames need to be maintain It is easier to identify repetition of state requirement Major Problems Only single-path is selected for sensitization Faults that require multiple-path sensitization for detection may not be covered The number of possible paths from the fault site to the primary outputs is very large Trying path by path is not practical

Back Algorithm Improvement of the EBT algorithm Topological Analysis Improvement of the EBT algorithm Instead of pre-selecting path, BACK algorithm pre-selects a primary output Assigns a D or D’ to the selected primary output and justifies the value backwards Testability measure(called drivability) is used to guide the backward D-justification from selected primary output to fault site Require smaller memory space Efficient than EBT number of POs < number of paths