CUHK Test and Fault-Tolerance for Timing Error Presenter: Feng Yuan.

Slides:



Advertisements
Similar presentations
IC TESTING.
Advertisements

Automatic Test Generation and Logic Optimization.
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.
Ispd-2007 Repeater Insertion for Concurrent Setup and Hold Time Violations with Power-Delay Trade-Off Salim Chowdhury John Lillis Sun Microsystems University.
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.
Xing Wei, Wai-Chung Tang, Yu-Liang Wu Department of Computer Science and Engineering The Chinese University of HongKong
NCHUCS1 Scan Chain Reorder Sying-Jyan Wang Department of Computer Science National Chung-Hsing University.
Improving Placement under the Constant Delay Model Kolja Sulimma 1, Ingmar Neumann 1, Lukas Van Ginneken 2, Wolfgang Kunz 1 1 EE and IT Department University.
CSE241 Formal Verification.1Cichy, UCSD ©2003 CSE241A VLSI Digital Circuits Winter 2003 Recitation 6: Formal Verification.
Synchronous Digital Design Methodology and Guidelines
Copyright 2001, Agrawal & BushnellDay-1 AM-3 Lecture 31 Testing Analog & Digital Products Lecture 3: Fault Modeling n Why model faults? n Some real defects.
Lecture 20 Delay Test (Lecture 17alt in the Alternative Sequence)
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.
Dynamic Scan Clock Control In BIST Circuits Priyadharshini Shanmugasundaram Vishwani D. Agrawal
Externally Tested Scan Circuit with Built-In Activity Monitor and Adaptive Test Clock 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.
Output Hazard-Free Transition Tests for Silicon Calibrated Scan Based Delay Testing Adit D. Singh Gefu Xu Auburn University.
Lecture 5 Fault Modeling
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 51 Lecture 5 Fault Modeling n Why model faults? n Some real defects in VLSI and PCB n Common fault.
1 Introduction VLSI Testing. 2 Overview First digital products (mid 1940's) Complexity:low MTTF:hours Cost:high Present day products (mid 1980's) Complexity:high.
Vishwani D. Agrawal James J. Danaher Professor
An Efficient Test Data Reduction Technique Through Dynamic Pattern Mixing Across Multiple Fault Models 2011 VLSI Test Symposium S. Alampally 1, R. T. Venkatesh.
Chung-Kuan Cheng†, Andrew B. Kahng†‡,
January 16, '02Agrawal: Delay testing1 Delay Testing of Digital Circuits Vishwani D. Agrawal Agere Systems, Murray Hill, NJ USA
Laboratory of Reliable Computing Department of Electrical Engineering National Tsing Hua University Hsinchu, Taiwan Delay Defect Characteristics and Testing.
Jieyi Long and Seda Ogrenci Memik Dept. of EECS, Northwestern Univ. Jieyi Long and Seda Ogrenci Memik Dept. of EECS, Northwestern Univ. Automated Design.
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.
Statistical Critical Path Selection for Timing Validation Kai Yang, Kwang-Ting Cheng, and Li-C Wang Department of Electrical and Computer Engineering University.
03/30/031 ECE 551: Digital System Design & Synthesis Lecture Set 9 9.1: Constraints and Timing 9.2: Optimization (In separate file)
On Timing- Independent False Path Identification Feng Yuan, Qiang Xu Cuhk Reliable Computing Lab, The Chinese University of Hong Kong ICCAD 2010.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES Fault Modeling.
ENGG 6090 Topic Review1 How to reduce the power dissipation? Switching Activity Switched Capacitance Voltage Scaling.
A New Methodology for Reduced Cost of Resilience Andrew B. Kahng, Seokhyeong Kang and Jiajia Li UC San Diego VLSI CAD Laboratory.
Capturing Crosstalk-Induced Waveform for Accurate Static Timing Analysis Masanori Hashimoto, Yuji Yamada, Hidetoshi Onodera Kyoto University.
EE415 VLSI Design DYNAMIC LOGIC [Adapted from Rabaey’s Digital Integrated Circuits, ©2002, J. Rabaey et al.]
ASIC/FPGA design flow. FPGA Design Flow Detailed (RTL) Design Detailed (RTL) Design Ideas (Specifications) Design Ideas (Specifications) Device Programming.
CSE477 L28 DFT.1Irwin&Vijay, PSU, 2003 CSE477 VLSI Digital Circuits Fall 2003 Lecture 28: Design for Test Mary Jane Irwin ( )
SiLab presentation on Reliable Computing Combinational Logic Soft Error Analysis and Protection Ali Ahmadi May 2008.
A Power Grid Analysis and Verification Tool Based on a Statistical Prediction Engine M.K. Tsiampas, D. Bountas, P. Merakos, N.E. Evmorfopoulos, S. Bantas.
Low Power – High Speed MCML Circuits (II)
A Robust Pulse-triggered Flip-Flop and Enhanced Scan Cell Design
EEE2243 Digital System Design Chapter 7: Advanced Design Considerations by Muhazam Mustapha, extracted from Intel Training Slides, April 2012.
Digital System Clocking: High-Performance and Low-Power Aspects Vojin G. Oklobdzija, Vladimir M. Stojanovic, Dejan M. Markovic, Nikola M. Nedovic Wiley-Interscience.
© Chandu Visweswariah, 2004New Challenges in IC Design1 New Challenges in IC Design … with a focus on variability … SBCCI 2004 Panel Discussion Chandu.
1 Compacting Test Vector Sets via Strategic Use of Implications Kundan Nepal Electrical Engineering Bucknell University Lewisburg, PA Nuno Alves, Jennifer.
Skewed Flip-Flop Transformation for Minimizing Leakage in Sequential Circuits Jun Seomun, Jaehyun Kim, Youngsoo Shin Dept. of Electrical Engineering, KAIST,
1 Note on Testing for Hardware Components. 2 Steps in successful hardware design (basic “process”): 1.Understand the requirements (“product’) 2.Write.
ACCESS IC LAB Graduate Institute of Electronics Engineering, NTU Under-Graduate Project Improving Timing, Area, and Power Speaker: 黃乃珊 Adviser: Prof.
Outline Introduction: BTI Aging and AVS Signoff Problem
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
Embedded Embedded at-speed test at-speed test.
Qiang XU CUhk REliable computing laboratory (CURE)
EE434 ASIC & Digital Systems Partha Pande School of EECS Washington State University
Detecting Errors Using Multi-Cycle Invariance Information Nuno Alves, Jennifer Dworak, and R. Iris Bahar Division of Engineering Brown University Providence,
Functional Test of Small-Delay Faults using SAT and Craig Interpolation Presenter: Chien-Yen Kuo.
Patricia Gonzalez Divya Akella VLSI Class Project.
Manufacture Testing of Digital Circuits
Jan. 26, 2001VLSI Test: Bushnell-Agrawal/Lecture 51 Lecture 5 Fault Modeling n Why model faults? n Some real defects in VLSI and PCB n Common fault models.
Digital System Clocking: High-Performance and Low-Power Aspects Vojin G. Oklobdzija, Vladimir M. Stojanovic, Dejan M. Markovic, Nikola M. Nedovic Wiley-Interscience.
04/21/20031 ECE 551: Digital System Design & Synthesis Lecture Set : Functional & Timing Verification 10.2: Faults & Testing.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 51 Lecture 5 Fault Modeling n Why model faults? n Some real defects in VLSI and PCB n Common fault.
Yuxi Liu The Chinese University of Hong Kong Circuit Timing Problem Driven Optimization.
Unified Adaptivity Optimization of Clock and Logic Signals Shiyan Hu and Jiang Hu Dept of Electrical and Computer Engineering Texas A&M University.
On Reliable Modular Testing with Vulnerable Test Access Mechanisms Lin Huang, Feng Yuan and Qiang Xu.
Supervised Learning Based Model for Predicting Variability-Induced Timing Errors Xun Jiao, Abbas Rahimi, Balakrishnan Narayanaswamy, Hamed Fatemi, Jose.
Timing Analysis 11/21/2018.
FPGA Glitch Power Analysis and Reduction
VLSI Testing Lecture 7: Delay Test
Synchronous Digital Design Methodology and Guidelines
Synchronous Digital Design Methodology and Guidelines
Presentation transcript:

CUHK Test and Fault-Tolerance for Timing Error Presenter: Feng Yuan

Timing is Almost “Everything” in IC Design Speed binning Better than worst case design FF D CLK Q FF CLK CLK D Timing Guardband D Setup Time Delay Probability --accurate delay testing --online timing error masking mechanism

CUHK PSEUDO-FUNCTIONAL TESTING FOR SMALL DELAY DEFECTS CONSIDERING POWER SUPPLY NOISE EFFECTS

The Challenge with Delay Testing o Causes for timing uncertainty o Static process variation o Dynamic supply voltage and temperature variation o Aging effect o Difficulties to apply delay o Small delay defects (SDD) o power supply noise (PSN) 1% supply voltage change cause 4% gate delay change in 90nm 0.9-V technology More severe with technology scaling Essential to be considered Dynamic supply voltage and temperature variation

PSN-Aware Delay Testing Method o To guarantee the worst-case scenario o Method to maximize PSN o To reduce test escape o Introduce test yield loss o To avoid undesired test yield loss o Low power testing techniques to reduce PSN o Lead to test escape At-speed scan patterns 20% slower than any functional patterns in a recent study!!! Observation: ICs in structural test mode behaves more differently from functional mode

An Example of Functional Un-testable Scan Testable Delay Fault Transition on targeted path can be activated by structural test pattern This transition can be only activated by non-functional pattern Functional Constraint

New Weapon: Pseudo-Functional Testing o To resolve the discrepancy o Generate functional-like test patterns o Functional constraint identification methods o SAT-based method o Mining+SAT strategy o Implication-based technique o Structural analysis in [Yuan, DAC’09] Identify near-complete constraints They do not consider PSN effects in delay testing  under testing How to exercise worst-case timing in functional mode during delay testing?

Layout-Aware Pseudo-Functional Delay Test Pattern Generation Flow Pseudo-functional SDD cube generation 1.Sensitize long paths 2.Avoid to involve illegal states PSN effect maximization 1.Identify relevant transitions 2.Activate them as many as possible 3.Avoid to involve illegal states

TW Comparison for 6 Paths of des Yield loss Test escape Better performance

CUHK INTIMEFIX: A LOW-COST AND SCALABLE TECHNIQUE FOR IN-SITU TIMING ERROR MASKING IN LOGIC CIRCUITS

Equivalent Circuit Construction with Approximate Logic o Definition of Approximate logic G is 1-approximation of F, if G => F (i.e., G=1 implies F=1) G is 0-approximation of F, if G => F Example: G=a+b is the 1-approximation of F=a+b+acb This circuit has following properties It is logically-equivalent with the original circuit F 1.1. Worst case delay is dominated by G0 and G1, when they are working 2.2.

Basic Idea All circuit’s inputs Approximated inputs Timing critical inputs

Masking Timing Error with Approximate Logic Launched value Essential side-input value

Overall Flow Timing information & netlist Identifying Critical Flip-Flop Extracting Primary Critical Segment Merging Primary Critical Segment Inserting Approximate Logic Multiple critical paths can be processed concurrently FF To reduce the hardware cost

Experimental Result Original standard deviation: 0.39 Our standard deviation: 0.19

CUHK QUESTION TIME Presenter: Feng Yuan