Testability in EOCHL (and beyond…)

Slides:



Advertisements
Similar presentations
Z. Stamenković 1, M. Giles 2, and F. Russi 2 1 IHP GmbH, Frankfurt (Oder), GERMANY 2 Synopsys Inc., Mountain View, CA, USA 13th IEEE European Test Symposium,
Advertisements

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Design for Test.
V. Vaithianathan, AP/ECE
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 31/22alt1 Lecture 31 System Test (Lecture 22alt in the Alternative Sequence) n Definition n Functional.
Introduction to CMOS VLSI Design Lecture 17: Design for Testability David Harris Harvey Mudd College Spring 2004.
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.
CSE241 Formal Verification.1Cichy, UCSD ©2003 CSE241A VLSI Digital Circuits Winter 2003 Recitation 6: Formal Verification.
EE466: VLSI Design Lecture 17: Design for Testability
1 Presented by Yifat Kapach jtag course What is SCITT? Static Component Interconnection Test Technology Standard IEEE P1581.
Design for Testability
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 11 Lecture 1 Introduction n VLSI realization process n Verification and test n Ideal and real tests.
ECE Synthesis & Verification1 ECE 667 Spring 2011 Synthesis and Verification of Digital Systems Verification Introduction.
Copyright 2001, Agrawal & BushnellDay-2 PM Lecture 121 Design for Testability Theory and Practice Lecture 12: System Diagnosis n Definition n Functional.
Spring 07, Jan 25 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2007 VLSI System DFT Vishwani D. Agrawal James J. Danaher.
IC-SOC STEAC: An SOC Test Integration Platform Cheng-Wen Wu.
Copyright 2001, Agrawal & BushnellDay-1 AM-1 Lecture 11 Testing Analog & Digital Products Dr. Vishwani D. Agrawal James J. Danaher Professor of Electrical.
BIST vs. ATPG.
1 EE 587 SoC Design & Test Partha Pande School of EECS Washington State University
Design Tools, Flows and Library Aspects during the FE-I4 Implementation on Silicon Vladimir Zivkovic National Institute for Subatomic Physics Amsterdam,
VerificationTechniques for Macro Blocks (IP) Overview Inspection as Verification Adversarial Testing Testbench Design Timing Verification.
공과대학 > IT 공학부 Embedded Processor Design Chapter 8: Test EMBEDDED SYSTEM DESIGN 공과대학 > IT 공학부 Embedded Processor Design Presenter: Yvette E. Gelogo Professor:
EE 447/EE547 1 VLSI DESIGN Lecture 10 Design for Testability.
Introduction to CMOS VLSI Design Test. CMOS VLSI DesignTestSlide 2 Outline  Testing –Logic Verification –Silicon Debug –Manufacturing Test  Fault Models.
Mugil Vannan H ST Microelectronics India Pvt. Ltd, Noida
ASIC/FPGA design flow. FPGA Design Flow Detailed (RTL) Design Detailed (RTL) Design Ideas (Specifications) Design Ideas (Specifications) Device Programming.
Testing of integrated circuits and design for testability J. Christiansen CERN - EP/MIC
Chonnam national university VLSI Lab 8.4 Block Integration for Hard Macros The process of integrating the subblocks into the macro.
THE TESTING APPROACH FOR FPGA LOGIC CELLS E. Bareiša, V. Jusas, K. Motiejūnas, R. Šeinauskas Kaunas University of Technology LITHUANIA EWDTW'04.
Logic BIST Logic BIST.
1 System-on-Chip (SoC) Testing An Introduction and Overview of IEEE 1500 Standard Testability Method for Embedded Core-based ICs.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
DFT Compiler Synopsys Customer Education Services
An Overview of Hardware Design Methodology Ian Mitchelle De Vera.
The Design for Test Architecture in Digital Section of the ATLAS FE-I4 Chip Vladimir Zivkovic National Institute for Subatomic Physics (NIKHEF) Amsterdam,
Final Exam Review. Homework Notes Pay attention to significant digits Should not have more significant digits in answer than in problem Example: HW1 #1.1.
ASIC/FPGA design flow. Design Flow Detailed Design Detailed Design Ideas Design Ideas Device Programming Device Programming Timing Simulation Timing Simulation.
Lecture 5: Design for Testability. CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability2 Outline  Testing –Logic Verification –Silicon.
Introduction to the FPGA and Labs
CHAPTER 16 SEQUENTIAL CIRCUIT DESIGN
ASIC Design Methodology
Hayri Uğur UYANIK Very Large Scale Integration II - VLSI II
VLSI Testing Lecture 5: Logic Simulation
VLSI Testing Lecture 14: System Diagnosis
VLSI Testing Lecture 5: Logic Simulation
SoCKs Flow: Here, There, and Back Again
Hardware Testing and Designing for Testability
Vishwani D. Agrawal Department of ECE, Auburn University
Testing And Testable Design of Digital Systems
COUPING WITH THE INTERCONNECT
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)
Lecture 12: Design for Testability
VLSI Testing Lecture 15: System Diagnosis
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
Timing Analysis 11/21/2018.
Test Iwan Sonjaya,MT 2014年 01 月 22 日 © Springer, 2010
Pattern Compression for Multiple Fault Models
Lecture 12: Design for Testability
Design for Testability
Lecture 12: Design for Testability
VLSI Testing Lecture 8: Sequential ATPG
CPE/EE 422/522 Advanced Logic Design L17
HIGH LEVEL SYNTHESIS.
CS 153 Logic Design Lab Professor Ian G. Harris
Lecture 26 Logic BIST Architectures
Test Data Compression for Scan-Based Testing
Instructor: Michael Greenbaum
Presentation transcript:

Testability in EOCHL (and beyond…) Vladimir Zivkovic National Institute for Subatomic Physics (Nikhef), Amsterdam, The Netherlands FEI4_A review, 2-3rd November 2009 CERN, Geneve

Outline Introduction DfT Architecture DfT Flow Back-end Test Development Future Work

Functional vs Structural Testing Functional testing verifies that a circuit fulfils the desired spec. Functional testing not feasible for exhaustive tests. Example: 32-bit adder requires 265 ≈ 3.7*1019 test vectors Structural test focuses rather on the circuit structure and can cover manufacturing defects that otherwise may not have been detected by functional testing. Power or ground shorts Open interconnect on the die (caused by dust particles) Short circuited source or drain on the transistor, (caused by metal spike through) Functional testing verifies that your circuit performs as it is designed to perform. For example, assume that your design is an adder circuit. Functional testing verifies that your circuit performs the addition function and computes the correct results over the range of values tested. However, exhaustive testing of all possible input combinations grows exponentially as the number of inputs increases. To maintain a reasonable test time, you need to focus functional test patterns on the general function and corner cases. Manufacturing testing verifies that your circuit does not have manufacturing defects by focusing on circuit structure rather than functional behavior. Manufacturing defects include problems such as Power or ground shorts Open interconnect on the die caused by dust particles Short-circuited source or drain on the transistor, caused by metal spike-through Manufacturing defects might remain undetected by functional testing yet cause undesirable behavior during circuit operation. To provide the highest-quality products, development teams must prevent devices with manufacturing defects from reaching customers. Manufacturing testing enables development teams to screen devices for manufacturing defects. Typically, development teams perform both functional and manufacturing testing of devices.

Scan Chain DfT Principle   Scan Chain DfT Principle

Outline Introduction DfT Architecture DfT Flow Back-end Test Development Future Work

Digital Testing Framework 0110 1000 1011 0001 : comparators fail flags Device Under Test (DUT) stimuli 0001 0111 1010 : response Stimulus and response calculated by Automatic Test Pattern Generator (ATPG) based on fault models Computed on the whole device or on parts of the design, so-called embedded IP’s (cores) Access to embedded terminals of the IP through design for test (DfT) is necessary Digital testing is real time pass/fail testing. As can be seen from the figure, patterns of ‘0’ and ‘1’ are applied to the DUT. Since a digital circuit is deterministic, which means it has a complete definable set of input-output states, it can be tested by comparing the resulting patterns against a pre-computed compare patterns, cycle by cycle. If any bit fails, the complete device fails.

Generic Test Access Architecture wrapper 3. Core Test Wrapper IP IP source sink 1. Test Pattern Source and Sink TAM 2. Test Access Mechanism (TAM) TestRail [ Zorian, Marinissen, Dey - ITC’98 ] IP = {EOCHL, CMD, DOB, EODCL}

Wrapper Isolation Overview Mandatory Wrapper cells providing function access and test controllability + observability at IP’s data terminals bypass bypass IP TestRail inputs TestRail outputs TestRail access to wrapper cells (‘surround chains’) and IP flip flops (‘scan chains’) Wrapper Control Block function inputs function outputs Optional Bypass register for all TestRail chains Wrapper Control Block + anti-skew element

How does this reflect to our situation? Insert wrappers around EOCHL, CMD and other blocks with scan chains (DOB, EODHL) Primary TRO_cmd[0:2] TRI_eochl[0:2] IC LEVEL Wrapper Control Block Wrapper CMD EOCHL scan chain 0 (1700 FFs) scan chain 1 (400 FFs) CMD scan chain 0 (3000 FFs) scan chain 1 (600 FFs) Wrapper Control Block Wrapper EOCHL Top level Test Control TRO_eochl[0:2] TRI_cmd[0:2] Inputs from other digital blocks, e.g. EODCL, CFGMEM Outputs to other digital blocks, e.g. EODCL, CFGMEM Inputs from other digital blocks, e.g. EODCL, CFGMEM

Wrapper + Top Level Control Blocks will be scan-tested independently, i.e. in isolation of each other Top-level test control (scan enable, test mode selection) have to be implemented for each block Courtesy of M. Garcia-Sciveres *

Wrapper Isolation Cells Provide the application of the test stimuli at the embedded IP inputs as well as the observability at the embedded IP outputs

Wrapper Cells in the Nutshell Input isolation Output isolation Note: Only the combinatorial inputs require isolation

Outline Introduction DfT Architecture DfT Flow Back-end Test Development Future Work

Two-pass Synthesis or mapped flow

Synopsys DfT Compiler Listings Library Control Script (.tcl) Test Constraints (.tcl) Library Synopsys DfT Compiler Netlist (.v) Synopsys Internal databasel STIL/CTL test protocol Scannable Netlist (.v) Listings

DfT Procedures in the nutshell PROC_dft_insert_init Global setup for dft insertion PROC_read_design Reads netlists and libraries and builds the design PROC_create_protocol_for_test Invokes the test constraints and builds the test protocols PROC_insert_scan Insert scan chains (preview_dft and insert_dft) PROC_handoff_design Write result to verilog, db, and test model (STIL/CTL) files

Scan Chain reports for the EOCHL 1 scan chain, length= 2927 Standard DfT signals: si, so, se Clocked with an additional test clock (tck) –clock gating with functional clocks performed at the top level of the IP Additional DfT signal tm (to enable the test clock)

ATPG flow A plan is to use Synopsys TetraMax ATPG tool This flow has to be executed at the design level containing EOCHL, CMD and wrapper isolation

Test Patterns The TetraMax ATPG is expected to generate the following: Continuity test patterns To check the scan chain structures themsleves, typically 11101000 sequence is shifted through Scan chain patterns for stuck-at faults Optionally: IDDQ patterns Transition/Path delay fault patterns Bridge patterns

Outline Introduction DfT Architecture DfT Flow Back-end Test Development Future Work

Test Assembly Process The main purpose is to: Assemble the test patterns of the IP(s) in the IC Convert these patterns into the real test vectors Generate the test bench for the simulation with both stimuli and response Include the timing and wave information

Back-End Test Development Flow DfT Abstractions Test patterns test lib waveform generation functional test Test Assembly tester specific vectors test bench Simulator netlist behavior models

Test Setup DUT Wafer Test ATE, Test Setup Lab Setup

Future Work concerning the test development flow with scan chains Create the Wrapper around CMD and EOCHL blocks Run the ATPG at this level Back-end test development Link to lab setup Link to tester vectors running at tester platform (Verigy? Teradyne? Or … ?) Mixed-Signal Test