L i a b l eh kC o m p u t i n gL a b o r a t o r y Trace-Based Post-Silicon Validation for VLSI Circuits Xiao Liu Department of Computer Science and Engineering.

Slides:



Advertisements
Similar presentations
Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Design for Test.
Advertisements

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 261 Lecture 26 Logic BIST Architectures n Motivation n Built-in Logic Block Observer (BILBO) n Test.
Post-silicon Timing Diagnosis Made Simple using Formal Technology Daher Kaiss, Jonathan Kalechstain Formal Engines and Technologies Team Core CAD Technologies.
Presenter : Shih-Tung Huang 2015/4/30 EICE team Automated Data Analysis Solutions to Silicon Debug Yu-Shen Yang Dept. of ECE University of Toronto Toronto,
June 6, Using Negative Edge Triggered FFs to Reduce Glitching Power in FPGA Circuits Tomasz S. Czajkowski and Stephen D. Brown Department of Electrical.
Reap What You Sow: Spare Cells for Post-Silicon Metal Fix Kai-hui Chang, Igor L. Markov and Valeria Bertacco ISPD’08, Pages
Presenter : Ching-Hua Huang 2014/4/14 A Configurable Bus-Tracer for Error Reproduction in Post-Silicon Validation Shing-Yu Chen ; Ming-Yi Hsiao ; Wen-Ben.
Reporter:PCLee With a significant increase in the design complexity of cores and associated communication among them, post-silicon validation.
Hyunbean Yi, Sungju Park, and Sandip Kundu, Fellow, IEEE IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS-I : REGULAR PAPERS, VOL. 57, NO. 7, JULY 2010 Reporter:
Feng-Xiang Huang A Low-Cost SOC Debug Platform Based on On-Chip Test Architectures.
Modern VLSI Design 2e: Chapter 4 Copyright  1998 Prentice Hall PTR Topics n Switch networks. n Combinational testing.
Presenter : Shao-Jay Hou. Today’s complex integrated circuit designs increasingly rely on post-silicon validation to eliminate bugs that escape from pre-silicon.
1 HW/SW Partitioning Embedded Systems Design. 2 Hardware/Software Codesign “Exploration of the system design space formed by combinations of hardware.
Presenter: Shao-Jay Hou. Embedded logic analysis has emerged as a powerful technique for identifying functional bugs during post- silicon validation,
TH EDA NTHU-CS VLSI/CAD LAB 1 Re-synthesis for Reliability Design Shih-Chieh Chang Department of Computer Science National Tsing Hua University.
Output Hazard-Free Transition Tests for Silicon Calibrated Scan Based Delay Testing Adit D. Singh Gefu Xu Auburn University.
1 Multi-Core Debug Platform for NoC-Based Systems Shan Tang and Qiang Xu EDA&Testing Laboratory.
Testing of Logic Circuits. 2 Outline  Testing –Logic Verification –Silicon Debug –Manufacturing Test  Fault Models  Observability and Controllability.
Laboratory of Reliable Computing Department of Electrical Engineering National Tsing Hua University Hsinchu, Taiwan Delay Defect Characteristics and Testing.
BIST vs. ATPG.
Feng-Xiang Huang A Design-for-Debug (DfD) for NoC-based SoC Debugging via NoC Hyunbean Yi 1, Sungju Park 2, and Sandip Kundu 1 1 Department of Electrical.
L i a b l eh kC o m p u t i n gL a b o r a t o r y On Effective and Efficient In-Field TSV Repair for Stacked 3D ICs Presenter: Li Jiang Li Jiang †, Fangming.
Copyright 2001, Agrawal & BushnellLecture 1 Introduction1 VLSI Testing Dr. Vishwani D. Agrawal James J. Danaher Professor of Electrical and Computer Engineering.
Introduction to CMOS VLSI Design Test. CMOS VLSI DesignTestSlide 2 Outline  Testing –Logic Verification –Silicon Debug –Manufacturing Test  Fault Models.
Reporter: PCLee. Assertions in silicon help post-silicon debug by providing observability of internal properties within a system which are.
A holistic Pre-to-Post solution for Post-Si validation of SoC’s Yael Abarbanel Eli Singerman
Presenter: Hong-Wei Zhuang On-Chip SOC Test Platform Design Based on IEEE 1500 Standard Very Large Scale Integration (VLSI) Systems, IEEE Transactions.
Cluster Reliability Project ISIS Vanderbilt University.
Presenter : Ching-Hua Huang 2013/9/16 Visibility Enhancement for Silicon Debug Cited count : 62 Yu-Chin Hsu; Furshing Tsai; Wells Jong; Ying-Tsai Chang.
Modern VLSI Design 4e: Chapter 4 Copyright  2008 Wayne Wolf Topics n Switch networks. n Combinational testing.
Presenter : Ching-Hua Huang 2013/7/15 A Unified Methodology for Pre-Silicon Verification and Post-Silicon Validation Citation : 15 Adir, A., Copty, S.
A New Method For Developing IBIS-AMI Models
SiLab presentation on Reliable Computing Combinational Logic Soft Error Analysis and Protection Ali Ahmadi May 2008.
Reporter: PCLee. Although assertions are a great tool for aiding debugging in the design and implementation verification stages, their use.
Reporter :PCLee The decisions on when to acquire debug data during post-silicon validation are determined by trigger events that are programmed.
Presenter: PCLee Post-silicon validation is used to identify design errors in silicon. Its main limitation is real-time observability of the.
Presenter: PCLee. Semiconductor manufacturers aim at delivering high-quality new devices within shorter times in order to gain market shares.
1. Visibility Enhancement for Silicon Debug Yu-Chin Hsu, Furshing (Kevin) Tsai, Wells Jong, Ying-Tsai Chang.
Presenter: Hong-Wei Zhuang X-Tracer: A Reconfigurable X- Tolerant Trace Compressor for Silicon Debug Feng Yuan Dept. of Comput. Sci. & Eng., Chinese Univ.
Robust Low Power VLSI ECE 7502 S2015 Minimum Supply Voltage and Very- Low-Voltage Testing ECE 7502 Class Discussion Elena Weinberg Thursday, April 16,
Test and Test Equipment Joshua Lottich CMPE /23/05.
An Unobtrusive Debugging Methodology for Actel AX and RTAX-S FPGAs Jonathan Alexander Applications Consulting Manager Actel Corporation MAPLD 2004.
Building Dependable Distributed Systems Chapter 1 Wenbing Zhao Department of Electrical and Computer Engineering Cleveland State University
Presenter : Cheng-Ta Wu David Lin1, Ted Hong1, Farzan Fallah1, Nagib Hakim3, Subhasish Mitra1, 2 1 Department of EE and 2 Department of CS Stanford University,
Dynamic software reconfiguration using control supervisors Ugo Buy 13 June 2005.
1 Compacting Test Vector Sets via Strategic Use of Implications Kundan Nepal Electrical Engineering Bucknell University Lewisburg, PA Nuno Alves, Jennifer.
Feng-Xiang Huang Test Symposium(ETS), th IEEE European Ko, Ho Fai; Nicolici, Nicola; Department of Electrical and Computer Engineering,
Functional Verification of Dynamically Reconfigurable Systems Mr. Lingkan (George) Gong, Dr. Oliver Diessel The University of New South Wales, Australia.
L i a b l eh kC o m p u t i n gL a b o r a t o r y Test Economics for Homogeneous Manycore Systems Lin Huang† and Qiang Xu†‡ †CUhk REliable computing laboratory.
Testability of Analogue Macrocells Embedded in System-on-Chip Workshop on the Testing of High Resolution Mixed Signal Interfaces Held in conjunction with.
This material exempt per Department of Commerce license exception TSU Xilinx On-Chip Debug.
Min Li and Azadeh Davoodi
1 IAF0620, 5.0 AP, Exam Jaan Raik ICT-524, , Digital systems verification.
Software Quality Assurance and Testing Fazal Rehman Shamil.
L i a b l eh kC o m p u t i n gL a b o r a t o r y Modeling TSV Open Defects in 3D-Stacked DRAM Li Jiang †, Liu Yuxi †, Lian Duan ‡, Yuan Xie ‡, and Qiang.
Data Mining Techniques Applied in Advanced Manufacturing PRESENT BY WEI SUN.
CUHK Test and Fault-Tolerance for Timing Error Presenter: Feng Yuan.
Lecture 5: Design for Testability. CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability2 Outline  Testing –Logic Verification –Silicon.
MAPLD 2005/213Kakarla & Katkoori Partial Evaluation Based Redundancy for SEU Mitigation in Combinational Circuits MAPLD 2005 Sujana Kakarla Srinivas Katkoori.
Latency and Communication Challenges in Automated Manufacturing
Cristian Ferent and Alex Doboli
COUPING WITH THE INTERCONNECT
Lecture 12: Design for Testability
Jason Cong, David Zhigang Pan & Prasanna V. Srinivas
Lecture 12: Design for Testability
Design for Testability
Lecture 12: Design for Testability
Lecture 26 Logic BIST Architectures
Jason Cong, David Zhigang Pan & Prasanna V. Srinivas
Presentation transcript:

l i a b l eh kC o m p u t i n gL a b o r a t o r y Trace-Based Post-Silicon Validation for VLSI Circuits Xiao Liu Department of Computer Science and Engineering The Chinese University of Hong Kong

Silicon Debug: Bottleneck in Prototype-to- Volume Time Pre-silicon verification cannot ensure the design correctness Smaller design margins – increasing chance of performance failures Un-modeled defects – higher tester escapes Higher design complexity – more time and vectors to validate Acknowledgment: Yu-Chin Hsu, Furshing (Kevin) Tsai, Wells Jong, Ying- Tsai Chang, Novas Test/DebugDesign Silicon Prototype ConceptVolume 7 to 8 months Decreasing 6 to 7 months Increasing! Data Quest (2002, 2004) report

Post-Silicon Validation Problem Post-silicon validation is expensive One respin: millions of $ Economic impact of delayed ramp to production: tens of millions $ Post-silicon validation is challenging Very limited observability Scan is not enough Industry silicon spins or above 0% 10% 20% 30% 40% 50% ASSPASIC source: Numetrics Management Systems, Inc.

Trace-Based Post-Silicon Validation Pro Observe the system’s behavior in real-time Exercise functionality and timing not verified pre-silicon Detect problem difficult to reproduce on tester Con Low coverage Hardware overhead Debug Configuration Data Analysis, Diagnosis Design-for-Debug Insertion Data dump Acknowledgment: Yu-Chin Hsu, Furshing (Kevin) Tsai, Wells Jong, Ying- Tsai Chang, Novas How to conduct signal tracing effectively with low-cost hardware?

Trace-Based Post-Silicon Validation Infrastructure [DATE-09, ATS-10, DATE-11] [ATS-08, DAC-09]

Tracing Solutions for Debugging Design Error Design errors violate the pre-defined specification Signal selection for visibility enhancement [DATE-09] Challenge: Logic values are not known during signal selection Solution: Traced signal AXXXXX BXXXXX C0110X DXXXXX EXXXXX A11XXX B00XXX C0110X DX1001 EX10XX Visibility estimation metricTrace signal selection Guide Our solution achieves higher visibility

Tracing Solutions for Debugging Design Error Design errors violate the pre-defined specification Multiplexed tracing [DATE-11] Trigger point Trace buffer size Current solution: “static” tracing Time Trigger point Trace buffer size Time Proposed solution: “multiplexed” tracing Trace those FFs with propagated evidences facilitates to detect this error Our solution provides higher design error detection capability

Tracing Solution for Debugging Electrical Error Electrical errors lead to reduced frequency of the circuits Sensitive to electrical environment Coupling noise, Power supply noise, Driving strength, … Extremely difficult to eliminate during pre-silicon verification and manufacturing test Challenge: Difficult to localize in post-silicon validation Solution: in-situ tracing Selectively trace signals that monitors potential errors on speedpaths Our solution can detect error At its root-cause site On error occurrence cycle Without “golden vectors”

Low-Cost Trace Data Transfer Fabric Design Challenge: High flexibility v.s. Low cost Solution: Interconnection fabric design [DAC-09] Signal classification Design optimization Challenge: High Bandwidth v.s. Low cost Solution: Reusing test access mechanism [ATS-08] Challenge: Systematical tracing v.s. Low cost Solution: Flexible interconnection fabric design Non-correlated signals Correlated signals Our solution minimizes hardware cost Our solution reduces routing cost Our solution enables systematical tracing

Thank you for your attention !

Backup Slides Trace signal selection for visibility enhancement   Multiplexed tracing for detecting design error   Interconnection fabric design   Signal tracing for debugging electrical error  

Experimental Results of Signal Selection for Visibility Enhancement 

Experimental Results of Multiplexed Tracing 

DfD Cost Comparison of s38417 

Speedpath-Related Electrical Errors Model Trace those FFs that make the above node values visible facilitates to detect this error Required visible node values: a_in2(0), b_in1(0), c_out(0) 

Detection Quality Evaluation: Signal Selection for Non-Zero Visibility CircuitTotal Signal # Relevant Signal # Selected Signal # Detected Pro. Event # Occurred Pro. Event # Detection Quality Time (s) s %45.5 s %125.3 DMA %150.3 usb %77.4 des %668.3 