Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 241 Lecture 24 Design for Testability (DFT): Partial-Scan & Scan Variations n Definition n Partial-scan.

Slides:



Advertisements
Similar presentations
Introduction to DFT Alexander Gnusin.
Advertisements

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 23/19alt1 Lecture 23 Design for Testability (DFT): Full-Scan (Lecture 19alt in the Alternative Sequence)
BOUNDARY SCAN.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 31/22alt1 Lecture 31 System Test (Lecture 22alt in the Alternative Sequence) n Definition n Functional.
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.
Apr. 20, 2001VLSI Test: Bushnell-Agrawal/Lecture 311 Lecture 31 System Test n Definition n Functional test n Diagnostic test  Fault dictionary  Diagnostic.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 261 Lecture 26 Logic BIST Architectures n Motivation n Built-in Logic Block Observer (BILBO) n Test.
1 A Random Access Scan Architecture to Reduce Hardware Overhead Anand S. Mudlapur Vishwani D. Agrawal Adit D. Singh Department of Electrical and Computer.
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.
Dec 21, Design for Testability Virendra Singh Indian Institute of Science Bangalore {computer, ieee}.org IEP on Digital System.
FPGA-Based System Design: Chapter 3 Copyright  2004 Prentice Hall PTR SRAM-based FPGA n SRAM-based LE –Registers in logic elements –LUT-based logic element.
Copyright 2005, Agrawal & BushnellVLSI Test: Lecture 21alt1 Lecture 21alt BIST -- Built-In Self-Test (Alternative to Lectures 25, 26 and 27) n Definition.
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.
Lecture 28 IEEE JTAG Boundary Scan Standard
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.
Design for Testability Theory and Practice Lecture 11: BIST
Practically Realizing Random Access Scan By Anand Mudlapur ECE Dept. Auburn University.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 11 Lecture 1 Introduction n VLSI realization process n Verification and test n Ideal and real tests.
ELEN 468 Lecture 241 ELEN 468 Advanced Logic Design Lecture 24 Design for Testability.
Copyright 2001, Agrawal & BushnellDay-2 PM Lecture 121 Design for Testability Theory and Practice Lecture 12: System Diagnosis n Definition n Functional.
Practically Realizing Random Access Scan Anand S. Mudlapur Department of Electrical and Computer Engineering Auburn University, AL USA.
Vishwani D. Agrawal James J. Danaher Professor
January 16, '02Agrawal: Delay testing1 Delay Testing of Digital Circuits Vishwani D. Agrawal Agere Systems, Murray Hill, NJ USA
Aug. 13, 2005Mudlapur et al.: VDAT'051 A Novel Random Access Scan Flip-Flop Design Anand S. Mudlapur Vishwani D. Agrawal (Speaker) Adit D. Singh Department.
Partial Scan Design with Guaranteed Combinational ATPG Vishwani D. Agrawal Agere Systems, Circuits and Systems Research Lab Murray Hill, NJ 07974, USA.
Copyright 2005, Agrawal & BushnellVLSI Test: Lecture 20alt1 Lecture 20alt DFT: Partial, Random-Access & Boundary Scan n Definition n Partial-scan architecture.
TAP (Test Access Port) JTAG course June 2006 Avraham Pinto.
Oct. 5, 2001Agrawal, Kim and Saluja1 Partial Scan Design With Guaranteed Combinational ATPG Vishwani D. Agrawal Agere Systems Processor Architectures and.
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.
Design for Testability
Design for Testability
Digital Testing: Scan-Path Design
1 EE 587 SoC Design & Test Partha Pande School of EECS Washington State University
Scan and JTAG Principles1 Scan and JTAG Principles ARM Advanced RISC Machines.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS Design for Testability (DFT) - 2.
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.
Logic BIST Logic BIST.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS Boundary Scan.
Computer Organization & Programming Chapter 5 Synchronous Components.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
April 20, 2001VLSI Test: Bushnell-Agrawal/Lecture 281 Lecture 28 IEEE JTAG Boundary Scan Standard n Motivation n Bed-of-nails tester n System view.
Copyright 2001, Agrawal & BushnellLecture 6: Sequential ATPG1 VLSI Testing Lecture 6: Sequential ATPG n Problem of sequential circuit ATPG n Time-frame.
SYSTEM-LEVEL TEST TECHNIQUES INTRODUCTION In the 1970s, the in-circuit testing (ICT) method appeared. In the 1970s, the in-circuit testing (ICT) method.
Topics SRAM-based FPGA fabrics: Xilinx. Altera..
VLSI Testing Lecture 14: System Diagnosis
VLSI Testing Lecture 14: Built-In Self-Test
CPE/EE 428/528 VLSI Design II – Intro to Testing (Part 2)
CPE/EE 428/528 VLSI Design II – Intro to Testing (Part 3)
ECE 434 Advanced Digital System L18
Lecture 23 Design for Testability (DFT): Full-Scan (chapter14)
Definition Partial-scan architecture Historical background
Lecture 13 Sequential Circuit ATPG Time-Frame Expansion
VLSI Testing Lecture 15: System Diagnosis
Lecture 10 Sequential Circuit ATPG Time-Frame Expansion
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
VLSI Testing Lecture 8: Sequential ATPG
Pre-Computed Asynchronous Scan Invited Talk
Testing in the Fourth Dimension
VLSI Testing Lecture 9: Delay Test
VLSI Testing Lecture 7: Delay Test
Lecture 26 Logic BIST Architectures
Manufacturing Testing
VLSI Testing Lecture 13: DFT and Scan
Lecture 13 Sequential Circuit ATPG Time-Frame Expansion
A Random Access Scan Architecture to Reduce Hardware Overhead
Presentation transcript:

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 241 Lecture 24 Design for Testability (DFT): Partial-Scan & Scan Variations n Definition n Partial-scan architecture n Historical background n Cyclic and acyclic structures n Partial-scan by cycle-breaking  S-graph and MFVS problem  Test generation and test statistics  Partial vs. full scan  Partial-scan flip-flop n Random-access scan (RAS) n Scan-hold flip-flop (SHFF) n Summary

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 242 Partial-Scan Definition n A subset of flip-flops is scanned. n Objectives:  Minimize area overhead and scan sequence length, yet achieve required fault coverage  Exclude selected flip-flops from scan:  Improve performance  Allow limited scan design rule violations  Allow automation:  In scan flip-flop selection  In test generation  Shorter scan sequences

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 243 Partial-Scan Architecture FF SFF Combinational circuit PIPO CK1 CK2 SCANOUT SCANIN TC

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 244 History of Partial-Scan n Scan flip-flop selection from testability measures, Trischler et al., ITC-80; not too successful. n Use of combinational ATPG:  Agrawal et al., D&T, Apr. 88  Functional vectors for initial fault coverage  Scan flip-flops selected by ATPG  Gupta et al., IEEETC, Apr. 90  Balanced structure  Sometimes requires high scan percentage n Use of sequential ATPG:  Cheng and Agrawal, IEEETC, Apr. 90; Kunzmann and Wunderlich, JETTA, May 90  Create cycle-free structure for efficient ATPG

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 245 Difficulties in Seq. ATPG n Poor initializability. n Poor controllability/observability of state variables. n Gate count, number of flip-flops, and sequential depth do not explain the problem. n Cycles are mainly responsible for complexity. n An ATPG experiment: Circuit Number of Number of Sequential ATPG Fault gates flip-flops depth CPU s coverage TLC * 1, % Chip A 1, % * Maximum number of flip-flops on a PI to PO path

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 246 Benchmark Circuits Circuit PI PO FF Gates Structure Sequential depth Total faults Detected faults Potentially detected faults Untestable faults Abandoned faults Fault coverage (%) Fault efficiency (%) Max. sequence length Total test vectors Gentest CPU s (Sparc 2) s Cycle-free s Cycle-free s Cyclic s Cyclic

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 247 Cycle-Free Example F1 F2 F3 Level = 1 2 F1 F2 F3 Level = d seq = 3 s - graph Circuit All faults are testable. See Example 8.6.

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 248 Relevant Results n Theorem 8.1: A cycle-free circuit is always initializable. It is also initializable in the presence of any non-flip-flop fault. n Theorem 8.2: Any non-flip-flop fault in a cycle-free circuit can be detected by at most d seq + 1 vectors. n ATPG complexity: To determine that a fault is untestable in a cyclic circuit, an ATPG program using nine-valued logic may have to analyze 9 Nff time-frames, where Nff is the number of flip-flops in the circuit.

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 249 A Partial-Scan Method n Select a minimal set of flip-flops for scan to eliminate all cycles. n Alternatively, to keep the overhead low only long cycles may be eliminated. n In some circuits with a large number of self-loops, all cycles other than self-loops may be eliminated.

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2410 The MFVS Problem n For a directed graph find a set of vertices with smallest cardinality such that the deletion of this vertex-set makes the graph acyclic. n The minimum feedback vertex set (MFVS) problem is NP-complete; practical solutions use heuristics. n A secondary objective of minimizing the depth of acyclic graph is useful L= L=2 L=1 s-graph A 6-flip-flop circuit

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2411 Test Generation n Scan and non-scan flip-flops are controlled from separate clock PIs:  Normal mode – Both clocks active  Scan mode – Only scan clock active n Seq. ATPG model:  Scan flip-flops replaced by PI and PO  Seq. ATPG program used for test generation  Scan register test sequence, …, of length n sff + 4 applied in the scan mode  Each ATPG vector is preceded by a scan-in sequence to set scan flip-flop states  A scan-out sequence is added at the end of each vector sequence n Test length = (n ATPG + 2) n sff + n ATPG + 4 clocks

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2412 Partial Scan Example n Circuit: TLC n 355 gates n 21 flip-flops Scan Max. cycle Depth* ATPG Fault sim. Fault ATPG Test seq. flip-flops length CPU s CPU s cov. vectors length , % % 247 1, % 136 1, % 112 1, % 52 1,190 * Cyclic paths ignored

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2413 Test Length Statistics n Circuit: TLC Number of faults Number of faults Number of faults Without scan 9 scan flip-flops 10 scan flip-flops Test length Test length Test length

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2414 Partial vs. Full Scan: S5378 Original 2, % 4,603 35/ % 70.9% 5,533 s 414 Full-scan 2, % 4, / % 100.0% 5 s ,662 Number of combinational gates Number of non-scan flip-flops (10 gates each) Number of scan flip-flops (14 gates each) Gate overhead Number of faults PI/PO for ATPG Fault coverage Fault efficiency CPU time on SUN Ultra II 200MHz processor Number of ATPG vectors Scan sequence length Partial-scan 2, % 4,603 65/ % 99.5% 727 s 1,117 34,691

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2415 Flip-flop for Partial Scan n Normal scan flip-flop (SFF) with multiplexer of the LSSD flip-flop is used. n Scan flip-flops require a separate clock control:  Either use a separate clock pin  Or use an alternative design for a single clock pin Master latch Slave latch D SD TC CK MUX SFF (Scan flip-flop) Q TC CK Normal modeScan mode

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2416 Random-Access Scan (RAS) PO PI Combinational logic RAM n ff bits SCANOUT SCANIN CK TC ADDRESS ACK Address scan register log 2 n ff bits Address decoder SEL

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2417 RAS Flip-Flop (RAM Cell) Scan flip-flop (SFF) Q To comb. logic D SD From comb. logic SCANIN TC CK SEL SCANOUT

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2418 RAS Applications n Logic test:  Reduced test length  Reduced scan power n Delay test: Easy to generate single-input-change (SIC) delay tests. n Advantage: RAS may be suitable for certain architecture, e.g., where memory is implemented as a RAM block. n Disadvantages:  Not suitable for random logic architecture  High overhead – gates added to SFF, address decoder, address register, extra pins and routing

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2419 Scan-Hold Flip-Flop (SHFF) n The control input HOLD keeps the output steady at previous state of flip-flop. n Applications:  Reduce power dissipation during scan  Isolate asynchronous parts during scan test  Delay testing SFF D SD TC CK HOLD Q Q To SD of next SHFF

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2420 Boundary Scan (BS) IEEE Standard n Developed for testing chips on a printed circuit board (PCB). n A chip with BS can be accessed for test from the edge connector of PCB. n BS hardware added to chip:  Test Access port (TAP) added  Four test pins  A test controller FSM  A scan flip-flop added to each I/O pin. n Standard is also known as JTAG (Joint Test Action Group) standard. n Chapter 16

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2421 System Test Logic

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2422 Instruction Register Loading with JTAG

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2423 System View of Interconnect

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2424 Elementary Boundary Scan Cell

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2425 Serial Board / MCM Scan

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2426 Parallel Board / MCM Scan

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2427 Independent Path Board / MCM Scan

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2428 Tap Controller Signals n Test Access Port (TAP) includes these signals:  Test Clock Input (TCK) -- Clock for test logic n Can run at different rate from system clock  Test Mode Select (TMS) -- Switches system from functional to test mode  Test Data Input (TDI) -- Accepts serial test data and instructions -- used to shift in vectors or one of many test instructions  Test Data Output (TDO) -- Serially shifts out test results captured in boundary scan chain (or device ID or other internal registers)  Test Reset (TRST) -- Optional asynchronous TAP controller reset

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2429 Tap Controller State Diagram

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 2430 Summary n Partial-scan is a generalized scan method; scan can vary from 0 to 100%. n Elimination of long cycles can improve testability via sequential ATPG. n Elimination of all cycles and self-loops allows combinational ATPG. n Partial-scan has lower overheads (area and delay) and reduced test length. n Partial-scan allows limited violations of scan design rules, e.g., a flip-flop on a critical path may not be scanned.