Lecture 23 Design for Testability (DFT): Full-Scan (chapter14)

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

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.
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.
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.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 71 Lecture 7 Fault Simulation n Problem and motivation n Fault simulation algorithms n Serial n Parallel.
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.
Copyright 2001, Agrawal & BushnellDay-1 AM Lecture 11 Design for Testability Theory and Practice January 15 – 17, 2005 Vishwani D. Agrawal James J. Danaher.
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
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.
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
Copyright 2005, Agrawal & BushnellVLSI Test: Lecture 20alt1 Lecture 20alt DFT: Partial, Random-Access & Boundary Scan n Definition n Partial-scan architecture.
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.
Copyright 2001, Agrawal & BushnellDay-1 AM-1 Lecture 11 Testing Analog & Digital Products Dr. Vishwani D. Agrawal James J. Danaher Professor of Electrical.
Design for Testability
Digital Testing: Scan-Path Design
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.
August VLSI Testing and Verification Shmuel Wimer Bar Ilan University, School of Engineering.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
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.
Ch.5 Logic Design Standard Cell Design TAIST ICTES Program VLSI Design Methodology Hiroaki Kunieda Tokyo Institute of Technology 1.
Power Problems in VLSI Circuit Testing Keynote Talk Vishwani D. Agrawal James J. Danaher Professor Electrical and Computer Engineering Auburn University,
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 14: System Diagnosis
VLSI Testing Lecture 5: Logic Simulation
Hardware Testing and Designing for Testability
VLSI Testing Lecture 4: Testability Analysis
Vishwani D. Agrawal Department of ECE, Auburn University
Testing And Testable Design of Digital Systems
VLSI Testing Lecture 6: Fault Simulation
Algorithms and representations Structural vs. functional test
VLSI Testing Lecture 14: Built-In Self-Test
Lecture 7 Fault Simulation
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES
Definition Partial-scan architecture Historical background
Lecture 13 Sequential Circuit ATPG Time-Frame Expansion
Lecture 12: Design for Testability
VLSI Testing Lecture 6: Fault Simulation
VLSI Testing Lecture 15: System Diagnosis
Lecture 10 Sequential Circuit ATPG Time-Frame Expansion
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
Timing Analysis 11/21/2018.
Lecture 12: Design for Testability
Lecture 12: Design for Testability
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
Sungho Kang Yonsei University
Testing in the Fourth Dimension
Design for Testability
VLSI Testing Lecture 9: Delay Test
VLSI Testing Lecture 7: Delay Test
VLSI Testing Lecture 4: Testability Analysis
Lecture 26 Logic BIST Architectures
Manufacturing Testing
VLSI Testing Lecture 13: DFT and Scan
Test Data Compression for Scan-Based Testing
Lecture 13 Sequential Circuit ATPG Time-Frame Expansion
A Random Access Scan Architecture to Reduce Hardware Overhead
Presentation transcript:

Lecture 23 Design for Testability (DFT): Full-Scan (chapter14) Definition Ad-hoc methods Scan design Design rules Scan register Scan flip-flops Scan test sequences Overheads Scan design system Summary Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Definition Design for testability (DFT) refers to those design techniques that make test generation and test application cost-effective. DFT methods for digital circuits: Ad-hoc methods Structured methods: Scan Partial Scan Built-in self-test (BIST) Boundary scan DFT method for mixed-signal circuits: Analog test bus Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Ad-Hoc DFT Methods Good design practices learnt through experience are used as guidelines: Avoid asynchronous (unclocked) feedback. Make flip-flops initializable. Avoid redundant gates. Avoid large fanin gates. Provide test control for difficult-to-control signals. Avoid gated clocks. Consider ATE requirements (tristates, etc.) Design reviews conducted by experts or design auditing tools. Disadvantages of ad-hoc DFT methods: Experts and tools not always available. Test generation is often manual with no guarantee of high fault coverage. Design iterations may be necessary. Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Observation Point Insertion Control Point Insertion TM=0 Normal operation TM=1 CONTROL OPERATION Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Scan Design Circuit is designed using pre-specified design rules. Test structure (hardware) is added to the verified design: Add a test control (TC) primary input. Replace flip-flops by scan flip-flops (SFF) and connect to form one or more shift registers in the test mode. Make input/output of each scan shift register controllable/observable from PI/PO. Use combinational ATPG to obtain tests for all testable faults in the combinational logic. Add shift register tests and convert ATPG tests into scan sequences for use in manufacturing test. Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Scan Design Rules Use only clocked D-type of flip-flops for all state variables. At least one PI pin must be available for test; more pins, if available, can be used. All clocks must be controlled from PIs. Clocks must not feed data inputs of flip-flops. Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Correcing a Rule Violation All clocks must be controlled from PIs. Q* = DC + CQ Comb. logic D1 Q Q* = D1D2Ck + (D2Ck )’Q = D1D2Ck + D2’Q +Ck’Q FF Comb. logic D2 CK Comb. logic Q D1 Comb. logic D2 FF CK Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Fixing BUS Conection Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Scan Flip-Flop (SFF) D Master latch Slave latch TC Q MUX Q SD CK Logic overhead MUX Q SD CK D flip-flop Master open CK Slave open t Normal mode, D selected Scan mode, SD selected TC t Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Level-Sensitive Scan-Design Flip-Flop (LSSD-SFF) Master latch Slave latch D Q MCK Q SCK D flip-flop MCK SD Normal mode TCK Logic overhead SCK t MCK TCK Scan mode TCK SCK SCK t t Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Adding Scan Structure PI PO SFF SCANOUT Combinational logic SFF SFF TC or TCK Not shown: CK or MCK/SCK feed all SFFs. SCANIN Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Comb. Test Vectors I1 I2 O1 O2 PI PO Combinational logic SCANIN TC SCANOUT S1 S2 N1 N2 Next state Present state Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Comb. Test Vectors I1 I2 Don’t care or random bits PI SCANIN S1 S2 TC 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 O1 O2 PO SCANOUT N1 N2 Sequence length = (nsff + 1) ncomb + nsff + 4 + nsff clock periods = (ncomb + 2) nsff + ncomb + 4 clock perod ncomb = number of combinational vectors nsff = number of scan flip-flops Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Testing Scan Register Scan register must be tested prior to application of scan test sequences. A shift sequence 00110011 . . . of length nsff+4 in scan mode (TC=0) produces 0 0, 0 1, 1 1 and 1 0 transitions in all flip-flops and observes the result at SCANOUToutput. Total scan test length: (ncomb + 2) nsff + 4 + ncomb clock periods. Example: 2,000 scan flip-flops, 500 comb. vectors, total scan test length ~ 106 clocks. Multiple scan registers reduce test length. Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

A modulo-3 circuit with scan design and test generation ( Exm.14.1) ATPG Program produces 12 Test vectors for Combinational part , with 4 inputs C,R,P1,P2 and Three outputs ,Z, Q1, Q2 Scan Circuit : test sequence = (12+2)2+4+12 =44 Fault simulation shows: all faults are detected including 6 undetectable faults in original circuit and Those in multiplexers A modulo-3 circuit with scan design and test generation ( Exm.14.1) Non –Scan circuit [ 72] has 42 Faults ;34 test vectors detect 36 out of 42 Faults R =1 Q1Q2 = 00 Normal INPUTS R and C OUTPUT C=1 , R=0 00 01 10 00 Z 0 0 1 0 C=R=0 Q1+ = Q1 , Q2+ =Q2 Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Multiple Scan Registers Scan flip-flops can be distributed among any number of shift registers, each having a separate scanin and scanout pin. Test sequence length is determined by the longest scan shift register. Just one test control (TC) pin is essential. PI/SCANIN PO/ SCANOUT Combinational logic M U X SFF SFF SFF TC CK Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Scan Overheads IO pins: One pin necessary. Area overhead: Gate overhead = [4 nsff/(ng)] x 100%, where ng = comb. gates; nff = flip-flops; Example – ng = 100k gates, nff = 2k flip-flops, overhead = 8%. More accurate estimate must consider scan wiring and layout area. Performance overhead: Multiplexer delay added in combinational path; approx. two gate-delays. Flip-flop output loading due to one additional fan-out; approx. 5-6%. Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Hierarchical Scan Scan flip-flops are chained within subnetworks before chaining subnetworks. Advantages: Automatic scan insertion in netlist Circuit hierarchy preserved – helps in debugging and design changes Disadvantage: Non-optimum chip layout. Scanin Scanout SFF1 SFF4 SFF1 SFF3 Scanin Scanout SFF2 SFF3 SFF4 SFF2 Hierarchical netlist Flat layout Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Optimum Scan Layout X’ X SFF cell IO pad SCANIN Flip- flop cell Y Y’ TC SCAN OUT Routing channels Active areas: XY and X’Y’ Interconnects Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Scan Area Overhead Linear dimensions of active area: X = (C + S) / r X’ = (C + S + aS) / r Y’ = Y + ry = Y + Y(1--b) / T Area overhead X’Y’--XY = -------------- x 100% XY 1--b = [(1+as)(1+ -------) – 1] x 100% T = (as + ------- ) x 100% y = track dimension, wire width+separation C = total comb. cell width S = total non-scan FF cell width s = fractional FF cell area = S/(C+S) a = SFF cell width fractional increase r = number of cell rows or routing channels b = routing fraction in active area T = cell height in track dimension y Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Example: Scan Layout 2,000-gate CMOS chip Fractional area under flip-flop cells, s = 0.478 Scan flip-flop (SFF) cell width increase, a = 0.25 Routing area fraction, b = 0.471 Cell height in routing tracks, T = 10 Calculated overhead = 17.24% Actual measured data: Scan implementation Area overhead Normalized clock rate ______________________________________________________________________ None 0.0 1.00 Hierarchical 16.93% 0.87 Optimum layout 11.90% 0.91 Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

ATPG Example: S5378 Original 2,781 179 0.0% 4,603 35/49 70.0% 70.9% 0.0% 4,603 35/49 70.0% 70.9% 5,533 s 414 Full-scan 2,781 179 15.66% 4,603 214/228 99.1% 100.0% 5 s 585 105,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 Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Design and verification Automated Scan Design Behavior, RTL, and logic Design and verification Rule violations Scan design rule audits Gate-level netlist Combinational ATPG Scan hardware insertion Combinational vectors Scan netlist Scan sequence and test program generation Chip layout: Scan- chain optimization, timing verification Scan chain order Design and test data for manufacturing Test program Mask data Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Timing and Power Small delays in scan path and clock skew can cause race condition. Large delays in scan path require slower scan clock. Dynamic multiplexers: Skew between Ck and TC signals can cause momentary shorting of D and SD inputs. Random signal activity in combinational circuit during scan can cause excessive power dissipation. Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23

Summary Scan is the most popular DFT technique: Advantages: Rule-based design Automated DFT hardware insertion Combinational ATPG Advantages: Design automation High fault coverage; helpful in diagnosis Hierarchical – scan-testable modules are easily combined into large scan-testable systems Moderate area (~10%) and speed (~5%) overheads Disadvantages: Large test data volume and long test time Basically a slow speed (DC) test Copyright 2001, Agrawal & Bushnell VLSI Test: Lecture 23