ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS Design for Testability (DFT) - 2.

Slides:



Advertisements
Similar presentations
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 23/19alt1 Lecture 23 Design for Testability (DFT): Full-Scan (Lecture 19alt in the Alternative Sequence)
Advertisements

V. Vaithianathan, AP/ECE
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.
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.
Leonardo da Vinci ALLEGRO © J. M. Martins Ferreira - University of Porto (FEUP / DEEC)1 Scan design techniques J. M. Martins Ferreira FEUP / DEEC - Rua.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES Sequential circuit ATPG.
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 Chapter Design For Testability The Scan-Path Technique The testing problems with sequential circuit can be overcome by two properties: 1.The.
Dec 21, Design for Testability Virendra Singh Indian Institute of Science Bangalore {computer, ieee}.org IEP on Digital System.
Nov. 21, 2006ATS'06 1 Spectral RTL Test Generation for Gate-Level Stuck-at Faults Nitin Yogi and Vishwani D. Agrawal Auburn University, Department of ECE,
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.
Nitin Yogi and Vishwani D. Agrawal Auburn University Auburn, AL 36849
Dynamic Scan Clock Control In BIST Circuits Priyadharshini Shanmugasundaram Vishwani D. Agrawal
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.
ELEN 468 Lecture 241 ELEN 468 Advanced Logic Design Lecture 24 Design for Testability.
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.
Oct. 5, 2001Agrawal, Kim and Saluja1 Partial Scan Design With Guaranteed Combinational ATPG Vishwani D. Agrawal Agere Systems Processor Architectures and.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 241 Lecture 24 Design for Testability (DFT): Partial-Scan & Scan Variations n Definition n Partial-scan.
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.
ELEN 468 Lecture 251 ELEN 468 Advanced Logic Design Lecture 25 Built-in Self Test.
Design for Testability
1 Sequential Circuits Registers and Counters. 2 Master Slave Flip Flops.
Design for Testability
TOPIC : Design of Scan Storage Cells UNIT 4 : Design for testability Module 4.3 Scan Architectures and Testing.
Digital Testing: Scan-Path Design
March 8, 2006Spectral RTL ATPG1 High-Level Spectral ATPG for Gate-level Circuits Nitin Yogi and Vishwani D. Agrawal Auburn University Department of ECE.
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.
CSE477 L28 DFT.1Irwin&Vijay, PSU, 2003 CSE477 VLSI Digital Circuits Fall 2003 Lecture 28: Design for Test Mary Jane Irwin ( )
Logic BIST Logic BIST.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
 Counters are sequential circuits which "count" through a specific state sequence. They can count up, count down, or count through other fixed sequences.
Computer Organization & Programming Chapter 5 Synchronous Components.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
Copyright 2001, Agrawal & BushnellLecture 6: Sequential ATPG1 VLSI Testing Lecture 6: Sequential ATPG n Problem of sequential circuit ATPG n Time-frame.
TOPIC : Controllability and Observability
Digital Logic Design Basics Combinational Circuits Sequential Circuits Pu-Jen Cheng Adapted from the slides prepared by S. Dandamudi for the book, Fundamentals.
November 25Asian Test Symposium 2008, Nov 24-27, Sapporo, Japan1 Sequential Circuit BIST Synthesis using Spectrum and Noise from ATPG Patterns Nitin Yogi.
VLSI Testing Lecture 6: Fault Simulation
VLSI Testing Lecture 14: Built-In Self-Test
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES
Lecture 23 Design for Testability (DFT): Full-Scan (chapter14)
Definition Partial-scan architecture Historical background
Lecture 13 Sequential Circuit ATPG Time-Frame Expansion
Lecture 10 Sequential Circuit ATPG Time-Frame Expansion
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
ELEC-7250 VLSI Testing Scan Design Implementation on ISCAS ’89 Benchmark Circuits – s1423 and s1512 Completed by: Jonathan Harris.
VLSI Testing Lecture 8: Sequential ATPG
Pre-Computed Asynchronous Scan Invited Talk
Testing in the Fourth Dimension
Design for Testability
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:

ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS Design for Testability (DFT) - 2

9/20/20152 Overview: Partial-Scan & Scan Variations Definition Partial-scan architecture Scan flip-flop selection methods Cyclic and acyclic structures Partial-scan by cycle-breaking Scan variations Scan-hold flip-flop (SHFF) Summary

9/20/20153 Partial-Scan Definition A subset of flip-flops is scanned. 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

9/20/20154 Partial-Scan Architecture FF SFF Combinational circuit PIPO CK1 CK2 SCANOUT SCANIN TC

9/20/20155 Scan Flip-Flop Selection Methods Testability measure based –Use of SCOAP: limited success. Structure based: –Cycle breaking –Balanced structure Sometimes requires high scan percentage ATPG based: –Use of combinational and sequential TG

9/20/20156 Cycle Breaking Difficulties in ATPG S-graph and MFVS problem Test generation and test statistics Partial vs. full scan Partial-scan flip-flop

9/20/20157 Difficulties in Seq. ATPG Poor initializability. Poor controllability/observability of state variables. Gate count, number of flip-flops, and sequential depth do not explain the problem. Cycles are mainly responsible for complexity. 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

9/20/20158 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 s Cycle-free s Cycle-free s Cyclic s Cyclic

9/20/20159 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.

9/20/ Relevant Results Theorem 8.1: A cycle-free circuit is always initializable. It is also initializable in the presence of any non-flip-flop fault. Theorem 8.2: Any non-flip-flop fault in a cycle- free circuit can be detected by at most d seq + 1 vectors. 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.

9/20/ A Partial-Scan Method Select a minimal set of flip-flops for scan to eliminate all cycles. Alternatively, to keep the overhead low only long cycles may be eliminated. In some circuits with a large number of self-loops, all cycles other than self-loops may be eliminated.

9/20/ The MFVS Problem For a directed graph find a set of vertices with smallest cardinality such that the deletion of this vertex-set makes the graph acyclic. The minimum feedback vertex set (MFVS) problem is NP- complete; practical solutions use heuristics. A secondary objective of minimizing the depth of acyclic graph is useful L= L=2 L=1 s-graph A 6-flip-flop circuit

9/20/ Test Generation Scan and non-scan flip-flops are controlled from separate clock PIs: Normal mode – Both clocks active Scan mode – Only scan clock active 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 Test length = (n ATPG + 2) n sff + n ATPG + 4 clocks

9/20/ Partial Scan Example Circuit: TLC 355 gates 21 flip-flops Scan Max. cycle Depth* Fault ATPG Test seq. flip-flops length cov. vectors length % % 247 1, % 136 1, % 112 1, % 52 1,190 * Cyclic paths ignored

9/20/ Partial vs. Full Scan: S5378 Original 2, % 4,603 35/ % 70.9% 414 Full-scan 2, % 4, / % 100.0% ,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 Number of ATPG vectors Scan sequence length Partial-scan 2, % 4,603 65/ % 99.5% 1,117 34,691

9/20/ Flip-flop for Partial Scan Normal scan flip-flop (SFF) with multiplexer of the LSSD flip- flop is used. 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

9/20/ Scan Variations Integrated and Isolated scan methods –Scan path: NEC 1968 –Serial scan: 1973 –LSSD: IBM 1977 –Scan set: Univac 1977 –RAS: Fujitsu/Amdahl 1980

9/20/ Scan Set PO PI Logic And Flip-flops SCANOUT SCANIN CK TC

9/20/ Scan Set Applications Advantages –Potentially useable in delay testing. –Concurrent testing: can sample the system state while the system is running Used in microrollback Disadvantages –Higher overhead due to routing difficulties

9/20/ 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

9/20/ RAS Flip-Flop (RAM Cell) Scan flip-flop (SFF) Q To comb. logic D SD From comb. logic SCANIN TC CK SEL SCANOUT

9/20/ RAS Applications Logic test: reduced test length. Delay test: Easy to generate single-input-change (SIC) delay tests. Advantage: RAS may be suitable for certain architecture, e.g., where memory is implemented as a RAM block. Disadvantages: Not suitable for random logic architecture High overhead – gates added to SFF, address decoder, address register, extra pins and routing – BUT these are addressed by Dong Baik in his Ph.D. work (ITC 2005).

9/20/201523

9/20/ Scan-Hold Flip-Flop (SHFF) The control input HOLD keeps the output steady at previous state of flip-flop. 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

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