VLSI Testing Lecture 9: Delay Test

Slides:



Advertisements
Similar presentations
Copyright 2001, Agrawal & BushnellLecture 12: DFT and Scan1 VLSI Testing Lecture 10: DFT and Scan n Definitions n Ad-hoc methods n Scan design  Design.
Advertisements

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 261 Lecture 26 Logic BIST Architectures n Motivation n Built-in Logic Block Observer (BILBO) n Test.
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.
Mar. 23, 2001VLSI Test: Bushnell-Agrawal/Lecture 201 Lecture 20 Delay Test n Delay test definition n Circuit delays and event propagation n Path-delay.
1 Analyzing Reconvergent Fanouts in Gate Delay Fault Simulation Dept. of ECE, Auburn University Auburn, AL Hillary Grimes & Vishwani D. Agrawal.
Dec 21, Design for Testability Virendra Singh Indian Institute of Science Bangalore {computer, ieee}.org IEP on Digital System.
Lecture 20 Delay Test (Lecture 17alt in the Alternative Sequence)
Copyright 2001, Agrawal & BushnellDay-2 PM Lecture 101 Design for Testability Theory and Practice Lecture 10: DFT and Scan n Definitions n Ad-hoc methods.
1 Lecture 20 Delay Test n Delay test definition n Circuit delays and event propagation n Path-delay tests  Non-robust test  Robust test  Five-valued.
Copyright 2001, Agrawal & BushnellDay-1 PM Lecture 4a1 Design for Testability Theory and Practice Lecture 4a: Simulation n What is simulation? n Design.
1 Lecture 23 Design for Testability (DFT): Full-Scan n Definition n Ad-hoc methods n Scan design Design rules Scan register Scan flip-flops Scan test sequences.
ELEN 468 Lecture 241 ELEN 468 Advanced Logic Design Lecture 24 Design for Testability.
HIGH-SPEED VLSI TESTING WITH SLOW TEST EQUIPMENT Vishwani D. Agrawal Agere Systems Processor Architectures and Compilers Research Murray Hill, NJ
9/20/05ELEC / Lecture 81 ELEC / (Fall 2005) Special Topics in Electrical Engineering Low-Power Design of Electronic Circuits.
Output Hazard-Free Transition Tests for Silicon Calibrated Scan Based Delay Testing Adit D. Singh Gefu Xu Auburn University.
5/7/2007VTS'071 Delay Test Quality Evaluation Using Bounded Gate Delays Soumitra Bose Intel Corporation, Design Technology, Folsom, CA Vishwani D.
10/25/2007 ITC-07 Paper Delay Fault Simulation with Bounded Gate Delay Model Soumitra Bose Design Technology, Intel Corp. Folsom, CA Hillary.
Vishwani D. Agrawal James J. Danaher Professor
1 Reconvergent Fanout Analysis of Bounded Gate Delay Faults Dept. of ECE, Auburn University Auburn, AL Master’s Defense Hillary Grimes Thesis Advisor:
January 16, '02Agrawal: Delay testing1 Delay Testing of Digital Circuits Vishwani D. Agrawal Agere Systems, Murray Hill, NJ USA
HIGH-SPEED VLSI TESTING WITH SLOW TEST EQUIPMENT Vishwani D. Agrawal Agere Systems Processor Architectures and Compilers Research Murray Hill, NJ
Copyright 2005, Agrawal & BushnellVLSI Test: Lecture 20alt1 Lecture 20alt DFT: Partial, Random-Access & Boundary Scan n Definition n Partial-scan architecture.
Spring 07, Mar 1, 6 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2007 Timing Simulation and STA Vishwani D. Agrawal.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 241 Lecture 24 Design for Testability (DFT): Partial-Scan & Scan Variations n Definition n Partial-scan.
Copyright 2001, Agrawal & BushnellDay-1 AM-1 Lecture 11 Testing Analog & Digital Products Dr. Vishwani D. Agrawal James J. Danaher Professor of Electrical.
Copyright 2001, Agrawal & BushnellLecture 1 Introduction1 VLSI Testing Dr. Vishwani D. Agrawal James J. Danaher Professor of Electrical and Computer Engineering.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS Design for Testability (DFT) - 2.
A Robust Pulse-triggered Flip-Flop and Enhanced Scan Cell Design
Copyright 2001, Agrawal & BushnellLecture 6: Sequential ATPG1 VLSI Testing Lecture 6: Sequential ATPG n Problem of sequential circuit ATPG n Time-frame.
Power Problems in VLSI Circuit Testing Keynote Talk Vishwani D. Agrawal James J. Danaher Professor Electrical and Computer Engineering Auburn University,
Copyright 2001, Agrawal & BushnellLecture 6:Fault Simulation1 VLSI Testing Lecture 6: Fault Simulation Dr. Vishwani D. Agrawal James J. Danaher Professor.
ELEC Digital Logic Circuits Fall 2015 Delay and Power Vishwani D. Agrawal James J. Danaher Professor Department of Electrical and Computer Engineering.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 61 Lecture 6 Logic Simulation n What is simulation? n Design verification n Circuit modeling n True-value.
VLSI Testing Lecture 5: Logic Simulation
VLSI Testing Lecture 5: Logic Simulation
VLSI Testing Lecture 4: Testability Analysis
Vishwani D. Agrawal Department of ECE, Auburn University
VLSI Testing Lecture 6: Fault Simulation
Algorithms and representations Structural vs. functional test
VLSI Testing Lecture 14: Built-In Self-Test
Lecture 23 Design for Testability (DFT): Full-Scan (chapter14)
Definition Partial-scan architecture Historical background
Lecture 13 Sequential Circuit ATPG Time-Frame Expansion
ME2500 DESIGN FOR TESTABILITY [Slide 3] DfT Structures for Delay Testing BY DREAMCATCHER
VLSI Testing Lecture 6: Fault Simulation
VLSI Testing Lecture 7: Combinational ATPG
VLSI Testing Lecture 15: System Diagnosis
Lecture 10 Sequential Circuit ATPG Time-Frame Expansion
VLSI Testing Lecture 12: Alternate Test
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
Timing Analysis 11/21/2018.
Vishwani D. Agrawal James J. Danaher Professor
CSE 370 – Winter Sequential Logic - 1
VLSI Testing Lecture 8: Sequential ATPG
Pre-Computed Asynchronous Scan Invited Talk
Fault Models, Fault Simulation and Test Generation
Vishwani D. Agrawal James J. Danaher Professor
VLSI Testing Lecture 7: Combinational ATPG
Testing in the Fourth Dimension
Vishwani D. Agrawal James J. Danaher Professor
VLSI Testing Lecture 7: Delay Test
VLSI Testing Lecture 4: Testability Analysis
VLSI Testing Lecture 3: Fault Modeling
Lecture 26 Logic BIST Architectures
Manufacturing Testing
VLSI Testing Lecture 13: DFT and Scan
ELEC 7770 Advanced VLSI Design Spring 2012 Timing Simulation and STA
Lecture 13 Sequential Circuit ATPG Time-Frame Expansion
A Random Access Scan Architecture to Reduce Hardware Overhead
Presentation transcript:

VLSI Testing Lecture 9: Delay Test Dr. Vishwani D. Agrawal James J. Danaher Professor of Electrical and Computer Engineering Auburn University, Alabama 36849, USA vagrawal@eng.auburn.edu http://www.eng.auburn.edu/~vagrawal IIT Delhi, Aug 23, 2013, 2:30-3:30PM Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Contents Delay test definition Circuit delays and event propagation Path-delay tests Non-robust test Robust test Five-valued logic and test generation Path-delay fault (PDF) and other fault models Test application methods Combinational, enhanced-scan and normal-scan Variable-clock and rated-clock methods At-speed test Timing design and delay test Summary Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Delay Test Definition A circuit that passes delay test must produce correct outputs when inputs are applied and outputs observed with specified timing. For a combinational or synchronous sequential circuit, delay test verifies the limits of delay in combinational logic. Delay test problem for asynchronous circuits is complex and not well understood. Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Digital Circuit Timing Input Signal changes Output Observation instant Transient region Comb. logic Inputs Synchronized With clock Outputs time Clock period Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Circuit Delays Switching or inertial delay is the interval between input change and output change of a gate: Depends on input capacitance, device (transistor) characteristics and output capacitance of gate. Also depends on input rise or fall times and states of other inputs (second-order effects). Approximation: fixed rise and fall delays (or min-max delay range, or single fixed delay) for gate output. Propagation or interconnect delay is the time a transition takes to travel between gates: Depends on transmission line effects (distributed R, L, C parameters, length and loading) of routing paths. Approximation: modeled as lumped delays for gate inputs. See Section 5.3.5 for timing models. Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Event Propagation Delays Single lumped inertial delay modeled for each gate PI transitions assumed to occur without time skew Path P1 1 3 1 2 4 6 P2 1 2 3 P3 5 2 Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Circuit Outputs Each path can potentially produce one signal transition at the output. The location of an output transition in time is determined by the delay of the path. Clock period Final value Initial value Fast transitions Slow transitions time Initial value Final value Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Singly-Testable Paths (Non-Robust Test) The delay of a target path is tested if the test propagates a transition via path to a path destination. Delay test is a combinational vector-pair, V1,V2, that: Produces a transition at path input. Produces static sensitization -- All off-path inputs assume non-controlling states in V2. don’t care Off-path inputs V1 V2 V1 V2 Target path Static sensitization guarantees a test when the target path is the only faulty path. The test is, therefore, called non-robust. It is a test with minimal restriction. A path with no such test is a false path. Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Robust Test A robust test guarantees the detection of a delay fault of the target path, irrespective of delay faults on other paths. A robust test is a combinational vector-pair, V1, V2, that satisfies following conditions: Produce real events (different steady-state values for V1 and V2) on all on-path signals. All on-path signals must have controlling events arriving via the target path. A robust test is also a non-robust test. Concept of robust test is general – robust tests for other fault models can be defined. Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Robust Test Conditions Real events on target path. Controlling events via target path. V1 V2 V1 V2 V1 V2 V1 V2 U0 U1 U0 U1 U0/F0 U0/F0 U1/R1 U1/R1 V1 V2 V1 V2 S1 S0 S1 S0 U0/F0 U0/F0 U1/R1 U1/R1 Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

A Five-Valued Algebra Signal States: S0, U0 (F0), S1, U1 (R1), XX. On-path signals: F0 and R1. Off-path signals: F0=U0 and R1=U1. Input 1 Input 1 AND S0 U0 S1 U1 XX S0 S0 S0 S0 S0 S0 U0 S0 U0 U0 U0 U0 S1 S0 U0 S1 U1 XX U1 S0 U0 U1 U1 XX XX S0 U0 XX XX XX S0 U0 S1 U1 XX S0 S0 U0 S1 U1 XX U0 U0 U0 S1 U1 XX S1 S1 S1 S1 S1 S1 U1 U1 U1 S1 U1 U1 XX XX XX S1 U1 XX OR Input 2 Input 2 Input S0 U0 S1 U1 XX S1 U1 S0 U0 XX Ref.: Lin-Reddy IEEETCAD-87 NOT Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Robust Test Generation Test for ↓ P3 – falling transition through path P3: Steps A through E E. Set input of AND gate to S0 to justify S0 at output XX S0 S0 U0 D. Change off-path input to S0 to Propagate R1 through OR gate C. F0 interpreted as U0; propagates through AND gate U0 R1 A. Place F0 at path origin Path P3 F0 XX F0 R1 Robust Test: S0, F0, U0 U0 B. Propagate F0 through OR gate; also propagates as R1 through NOT gate Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Non-Robust Test Generation Fault ↑ P2 – rising transition through path P2 has no robust test. C. Set input of AND gate to propagate R1 to output D. R1 non-robustly propagates through OR gate since off- path input is not S0 XX U1 R1 R1 Path P2 U1 A. Place R1 at path origin R1 R1 U1 U0 Non-robust test requires Static sensitization: S0=U0, S1=U1 XX U0 B. Propagate R1 through OR gate; interpreted as U1 on off-path signal; propagates as U0 through NOT gate Non-robust test: U1, R1, U0 Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Path-Delay Faults (PDF) Two PDFs (rising and falling transitions) for each physical path. Total number of paths is an exponential function of gates. Critical paths, identified by static timing analysis (e.g., Primetime from Synopsys), must be tested. PDF tests are delay-independent. Robust tests are preferred, but some paths have only non-robust tests. Three types of PDFs (Gharaybeh, et al., JETTA, 1997): Singly-testable PDF – has a non-robust or robust test. Multiply-testable PDF – a set of singly untestable faults that has a non-robust or robust test. Also known as functionally testable PDF. Untestable PDF – a PDF that is neither singly nor multiply testable. A singly-testable PDF has at least one single-input change (SIC) non-robust test. Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Other Delay Fault Models Segment-delay fault – A segment of an I/O path is assumed to have large delay such that all paths containing the segment become faulty. Transition fault – A segment-delay fault with segment of unit length (single gate): Two faults per gate; slow-to-rise and slow-to-fall. Tests are similar to stuck-at fault tests. For example, a line is initialized to 0 and then tested for s-a-0 fault to detect slow-to-rise transition fault. Models spot (or gross) delay defects. Line-delay fault – A transition fault tested through the longest delay path. Two faults per line or gate. Tests are dependent on modeled delays of gates. Gate-delay fault – A gate is assumed to have a delay increase of certain amount (called fault size) while all other gates retain some nominal delays. Gate-delay faults only of certain sizes may be detectable. Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Slow-Clock Test Input latches Combinational circuit Output latches test clock Test clock period Rated clock period Output test clock Input test clock Output test clock V1 applied V2 applied Output latched (Launch) (Capture) Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Enhanced-Scan Test Combinational circuit CK period PI PO CK CK TC OUT HOLD HL SFF Scanout result V1 settles HL SFF SCANIN HOLD Normal mode Scan mode Normal mode CK TC TC CK: system clock TC: test control HOLD: hold signal SFF: scan flip-flop HL: hold latch Scanin V1 states Scanin V2 states Result latched Capture V1 PI applied V2 PI applied Launch Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Normal-Scan Test Combinational circuit V2 states generated, (A) Launch-off-shift (LOS), by one-bit scan shift of V1, or (B) Launch-off-capture (LOC), by V1 applied in functional mode. Capture Result latched Launch V2 PIs applied V1 PIs applied PI Combinational circuit PO Scanin V1 states Result scanout Gen. V2 states Path tested CK TC t SCAN- OUT Slow clock Rated CK period SFF TC (A) LOS Scan mode Normal mode SFF Scan mode SCANIN Slow CK period CK TC TC (B) LOC CK: system clock TC: test control SFF: scan flip-flop Scan mode Normal mode Scan mode Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Variable-Clock Sequential Test Off-path flip-flop PI PI PI PI PI PI 1 T 1 T n-2 1 T n-1 1 T n 1 T n+1 T n+m 2 2 2 D PO PO PO PO PO PO Path activation (rated Clock) Fault effect propagation sequence (slow clock) Initialization sequence (slow clock) Note: Slow-clock makes the circuit fault-free in the presence of delay faults. Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Variable-Clock Models Fault effect propagation can be affected by ambiguous states of off-path flip-flops at the end of the rated-clock time-frame (Chakraborty, et al., IEEETCAD, Nov. 1997): Fault model A – Off-path flip-flops assumed to be in correct states; sequential non-robust test (optimistic). Fault model B – Off-path flip-flops assumed to be in unknown state; sequential robust test (pessimistic). Fault model C – Off-path flip-flops in steady (hazard-free) state retain their correct values, while others assume unknown state; sequential robust test. Test length: A test sequence of N vectors is repeated N times, with a different vector applied at rated-clock each time. Test time ~ N2 x (slow-clock period) Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Variable-Clock Example ISCAS’89 benchmark s35932 (non-scan). 2,124 vectors obtained by simulator-selection from random vectors (Parodi, et al., ITC-98). PDF coverage, 26,228/394,282 ~ 6.7% Longest tested PDF, 27 gates; longest path has 29 gates. Test time ~ 4,511,376 clock cycles. Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Rated-Clock Sequential Test All vectors are applied with rated-clock. Paths are singly and multiply activated potentially in several time-frames. Test generation requires a 41-valued logic (Bose, et al., IEEETVLSI, June 1998). Test generation is extremely complex for non-scan circuits (Bose and Agrawal, ATS-95). Fault simulators are effective but work with conservative assumptions (Bose, et al., IEEETVLSI, Dec. 1993; Parodi, et al., ITC-98). Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Comparing PDF Test Modes Untestable PDFs (False paths) PDFs testable by variable- clock seq. test Combinationally testable PDFs All PDFs of seq. circuit PDFs testable by rated-clock seq. test Ref.: Majumder, et al., VLSI Design - 98 Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

At-Speed Test At-speed test means application of test vectors at the rated-clock speed. Two methods of at-speed test. External test: Vectors may test one or more functional critical (longest delay) paths and a large percentage (~100%) of transition faults. High-speed testers are expensive. Built-in self-test (BIST): Hardware-generated random vectors applied to combinational or sequential logic. Only clock is externally supplied. Non-functional paths that are longer than the functional critical path can be activated and cause a good circuit to fail. Some circuits have initialization problem. Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Timing Design & Delay Test Timing simulation: Critical paths are identified by static (vector-less) timing analysis tools like Primetime (Synopsys). Timing or circuit-level simulation using designer-generated functional vectors verifies the design. Layout optimization: Critical path data are used in placement and routing. Delay parameter extraction, timing simulation and layout are repeated for iterative improvement. Testing: Some form of at-speed test is necessary. PDFs for critical paths and all transition faults are tested. Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test

Summary Path-delay fault (PDF) models distributed delay defects. It verifies the timing performance of a manufactured circuit. Transition fault models spot delay defects and is testable by modified stuck-at fault tests. Variable-clock method can test delay faults but the test time can be long. Scan testing allows two options: Launch off shift (LOS) Launch off capture (LOC) Critical paths of non-scan sequential circuits can be effectively tested only by rated-clock tests. Delay test methods (including BIST) for non-scan sequential circuits using slow ATE require investigation: Suppression of non-functional path activation in BIST. Difficulty of rated-clock PDF test generation. Long sequences of variable-clock tests. Copyright 2001, Agrawal & Bushnell Lecture 9: Delay Test