Detecting Errors Using Multi-Cycle Invariance Information Nuno Alves, Jennifer Dworak, and R. Iris Bahar Division of Engineering Brown University Providence,

Slides:



Advertisements
Similar presentations
Using Implications for Online Error Detection Nuno Alves, Jennifer Dworak, and R. Iris Bahar Division of Engineering Brown University Providence, RI
Advertisements

1 A Random Access Scan Architecture to Reduce Hardware Overhead Anand S. Mudlapur Vishwani D. Agrawal Adit D. Singh Department of Electrical and Computer.
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 Analyzing Reconvergent Fanouts in Gate Delay Fault Simulation Dept. of ECE, Auburn University Auburn, AL Hillary Grimes & Vishwani D. Agrawal.
Reap What You Sow: Spare Cells for Post-Silicon Metal Fix Kai-hui Chang, Igor L. Markov and Valeria Bertacco ISPD’08, Pages
LEONARDO INSIGHT II / TAP-MM ASTEP - Basic Test Concepts © J. M. Martins Ferreira - University of Porto (FEUP / DEEC)1 Basic test concepts J. M. Martins.
NATW 2008 Using Implications for Online Error Detection Nuno Alves, Jennifer Dworak, R. Iris Bahar Division of Engineering Brown University Providence,
Scalable Test Pattern Generator Design Method for BIST Petr Fišer, Hana Kubátová Czech Technical University in Prague Faculty of Electrical Engineering.
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,
Aiman El-Maleh, Ali Alsuwaiyan King Fahd University of Petroleum & Minerals, Dept. of Computer Eng., Saudi Arabia Aiman El-Maleh, Ali Alsuwaiyan King Fahd.
An Efficient Test Relaxation Technique for Synchronous Sequential Circuits Aiman El-Maleh and Khaled Al-Utaibi King Fahd University of Petroleum & Minerals.
Diagnostic Test Generation and Fault Simulation Algorithms for Transition Faults Yu Zhang Vishwani D. Agrawal Auburn University, Auburn, Alabama
A Diagnostic Test Generation System Yu Zhang Vishwani D. Agrawal Auburn University, Auburn, Alabama USA Nov. 3rdITC
May 11, 2006High-Level Spectral ATPG1 High-Level Test Generation for Gate-level Fault Coverage Nitin Yogi and Vishwani D. Agrawal Auburn University Department.
Logic Simulation 4 Outline –Fault Simulation –Fault Models –Parallel Fault Simulation –Concurrent Fault Simulation Goal –Understand fault simulation problem.
5/1/2006VTS'061 Upper Bounding Fault Coverage by Structural Analysis and Signal Monitoring Vishwani D. Agrawal Auburn University, Dept. of ECE, Auburn,
Dec. 19, 2005ATS05: Agrawal and Doshi1 Concurrent Test Generation Auburn University, Department of Electrical and Computer Engineering Auburn, AL 36849,
Practically Realizing Random Access Scan By Anand Mudlapur ECE Dept. Auburn University.
4/25/2006 ELEC7250: Hill 1 Brad Hill ELEC 7250 Logic Simulator.
4/20/2006ELEC7250: Alexander 1 LOGIC SIMULATION AND FAULT DIAGNOSIS BY JINS DAVIS ALEXANDER ELEC 7250 PRESENTATION.
ECE Synthesis & Verification1 ECE 667 Spring 2011 Synthesis and Verification of Digital Systems Verification Introduction.
TH EDA NTHU-CS VLSI/CAD LAB 1 Re-synthesis for Reliability Design Shih-Chieh Chang Department of Computer Science National Tsing Hua University.
5/7/2007VTS'071 Delay Test Quality Evaluation Using Bounded Gate Delays Soumitra Bose Intel Corporation, Design Technology, Folsom, CA Vishwani D.
1 Oct 24-26, 2006 ITC'06 Fault Coverage Estimation for Non-Random Functional Input Sequences Soumitra Bose Intel Corporation, Design Technology, Folsom,
10/25/2007 ITC-07 Paper Delay Fault Simulation with Bounded Gate Delay Model Soumitra Bose Design Technology, Intel Corp. Folsom, CA Hillary.
1 Reconvergent Fanout Analysis of Bounded Gate Delay Faults Dept. of ECE, Auburn University Auburn, AL Master’s Defense Hillary Grimes Thesis Advisor:
Logic Design Outline –Logic Design –Schematic Capture –Logic Simulation –Logic Synthesis –Technology Mapping –Logic Verification Goal –Understand logic.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 101 Lecture 10 Combinational ATPG and Logic Redundancy n Redundancy identification n Redundancy removal.
Class Design Project - Test Generation 1 Class Design Project Test Generation Hillary Grimes III ELEC Project Presentation April 26, 2007.
Project Report I RIPE: A Rapid Implication- based Power Estimator Sunil Motaparti, Gaurav Bhatia.
Project Report II RIPE: A Rapid Implication- based Power Estimator Sunil Motaparti, Gaurav Bhatia.
Logic simulator and fault diagnosis Fan Wang Dept. of Electrical & Computer Engineering Auburn University ELEC7250 Term Project Spring 06’
黃錫瑜 Shi-Yu Huang National Tsing-Hua University, Taiwan Speeding Up Byzantine Fault Diagnosis Using Symbolic Simulation.
Petros OikonomakosBashir M. Al-Hashimi Mark Zwolinski Versatile High-Level Synthesis of Self-Checking Datapaths Using an On-line Testability Metric Electronics.
Dynamic Test Set Selection Using Implication-Based On-Chip Diagnosis Nuno Alves, Yiwen Shi, Nicholas Imbriglia, and Iris Bahar Brown University Jennifer.
DELAY INSERTION METHOD IN CLOCK SKEW SCHEDULING BARIS TASKIN and IVAN S. KOURTEV ISPD 2005 High Performance Integrated Circuit Design Lab. Department of.
Unit II Test Generation
Testimise projekteerimine: Labor 2 BIST Optimization
March 8, 2006Spectral RTL ATPG1 High-Level Spectral ATPG for Gate-level Circuits Nitin Yogi and Vishwani D. Agrawal Auburn University Department of ECE.
DYNAMIC TEST SET SELECTION USING IMPLICATION-BASED ON-CHIP DIAGNOSIS Nicholas Imbriglia, Nuno Alves, Elif Alpaslan, Jennifer Dworak Brown University NATW.
TELSIKS 2005 Concurrent error detection in FSMs using transition checking technique G. Lj. Djordjevic, T. R. Stankovic and M. K. Stojcev Department of.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES Logic Modeling.
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.
Pseudo-Random Pattern Generator Design for Column ‑ Matching BIST Petr Fišer Czech Technical University Dept. of Computer Science and Engineering.
SiLab presentation on Reliable Computing Combinational Logic Soft Error Analysis and Protection Ali Ahmadi May 2008.
European Test Symposium, May 28, 2008 Nuno Alves, Jennifer Dworak, and R. Iris Bahar Division of Engineering Brown University Providence, RI Kundan.
1 Compacting Test Vector Sets via Strategic Use of Implications Kundan Nepal Electrical Engineering Bucknell University Lewisburg, PA Nuno Alves, Jennifer.
Jun Seomun, Insup Shin, Youngsoo Shin Dept. of Electrical Engineering, KAIST DAC’ 10.
On the Relation between SAT and BDDs for Equivalence Checking Sherief Reda Rolf Drechsler Alex Orailoglu Computer Science & Engineering Dept. University.
In-Place Decomposition for Robustness in FPGA Ju-Yueh Lee, Zhe Feng, and Lei He Electrical Engineering Dept., UCLA Presented by Ju-Yueh Lee Address comments.
VLSI Test Symposium, 2011 Nuno Alves, Yiwen Shi, and R. Iris Bahar School of Engineering, Brown University, Providence, RI Jennifer Dworak Department of.
Manufacture Testing of Digital Circuits
A Novel, Highly SEU Tolerant Digital Circuit Design Approach By: Rajesh Garg Sunil P. Khatri Department of Electrical and Computer Engineering, Texas A&M.
ELEC 7950 – VLSI Design and Test Seminar
On the Relation Between Simulation-based and SAT-based Diagnosis CMPE 58Q Giray Kömürcü Boğaziçi University.
Speaker: Nansen Huang VLSI Design and Test Seminar (ELEC ) March 9, 2016 Simulation-Based Equivalence Checking.
MAPLD 2005/213Kakarla & Katkoori Partial Evaluation Based Redundancy for SEU Mitigation in Combinational Circuits MAPLD 2005 Sujana Kakarla Srinivas Katkoori.
MAPLD 2005 BOF-L Mitigation Methods for
VLSI Testing Lecture 7: Combinational ATPG
Lecture 10 Sequential Circuit ATPG Time-Frame Expansion
Sequential circuits and Digital System Reliability
Automatic Test Generation for Combinational Circuits
Fault Models, Fault Simulation and Test Generation
VLSI Testing Lecture 7: Combinational ATPG
Resolution Proofs for Combinational Equivalence
Aiman H. El-Maleh Sadiq M. Sait Syed Z. Shazli
Automatic Test Pattern Generation
ELEC Digital Logic Circuits Fall 2015 Logic Testing (Chapter 12)
Improved Design Debugging using Maximum Satisfiability
A Random Access Scan Architecture to Reduce Hardware Overhead
Presentation transcript:

Detecting Errors Using Multi-Cycle Invariance Information Nuno Alves, Jennifer Dworak, and R. Iris Bahar Division of Engineering Brown University Providence, RI Kundan Nepal Electrical Engineering Dept. Bucknell University Lewisburg, PA Design, Automation, and Test in Europe, April 20-24, 2009

Motivation Errors in ICs are increasing –Particle strikes, temperature, power, noise, process variations, test escapes, etc. Previously, we have proposed using logic implications for online error detection during a single clock cycle What happens if we consider implications across time cycles?

Outline Introduction & Background Logic Implications for Error Detection Multi-Cycle Implications Experimental Results Conclusions

Outline Introduction & Background Logic Implications for Error Detection Multi-Cycle Implications Experimental Results Conclusions

Other Work Triple Modular Redundancy Logic Duplication Re-Execution in Multiple Threads Codes (Parity, Berger, Bose Lin, etc.) High Level Fault Assertions Fault Masking Checking the Outputs Against a Subset of the Truth Table

Our Approach Find natural expected relationships and check for their violation. Water should be blue…. Not brown… In circuits, expected relationships at the gate level consist of logic implications.

Outline Introduction & Background Logic Implications for Error Detection Multi-Cycle Implications Experimental Results Conclusions

Implications Naturally Occur in Circuits n1 n2 n3 n4 n5 n6 n7 n n5 = 1 → n8 = 0

Implication Violations Can Be Used to Detect Errors ERROR n1 n2 n3 n4 n5 n6 n7 n8 n5=1 n8=0 Appropriate checker logic can detect multiple errors with a single implication.

Implication Violations Can Be Used to Detect Errors ERROR n1 n2 n3 n4 n5 n6 n7 n8 n5=1 n8=0 Appropriate checker logic can detect multiple errors with a single implication. sa1

So….what’s the problem?

We have too many implications! How do we efficiently find them and which ones should we use?

Implication Algorithm Gate-level implications can be found automatically …without functional knowledge of the circuit.

What determines which faults an implication may cover?

Potential Spatial Fault Coverage Each implication can only cover a limited area of the circuit…. P Q Direct Path P=0 → Q=0 Faults along the path may be detected P Q P Q P=1 → Q=1 Faults along reconverging paths may be detected Reconvergent Fanout P Q Divergent Fanout P Q Q=0 → P=0 Faults along paths to common ancestors may be detected

Implications cannot cover any sites downstream of both implication points!

Limitations of Single-Cycle Implications Implications may not exist to cover faults far downstream—e.g. close to: –Flip-flops –Primary Outputs It is possible for no useful implications to exist in a single cycle Optimal timing of capture is difficult Many of these issues are alleviated if we consider multi-cycle implications

Outline Introduction & Background Logic Implications for Error Detection Multi-Cycle Implications Experimental Results Conclusions

Multi-Cycle Implications Sequential Circuit Containing No Non-Trivial Implications in Combinational Logic Time Frame Expansion Logic Value in First Clock Cycle Implies a Value at a Different Site in the Second Clock Cycle B 1 = 0 → F 2 = 0

Multi-Cycle Checker Hardware B 1 = 0 → F 2 = 0 Checker hardware requires state to be held between first and second cycle….

Spatial Coverage of Multi-Cycle Implications Good spatial coverage can be achieved near flip-flops Logical distance may increase between implication sites Delays captured at flip-flops in cycle t can be detected without complex timing P Q Cycle tCycle t + 1 Advantages:

Outline Introduction & Background Logic Implications for Error Detection Multi-Cycle Implications Experimental Results Conclusions

Experimental Setup ISCAS ’89 benchmark circuits Zchaff SAT solver to validate implications Three sets of implications per circuit –First cycle Both implication sites in cycle 1 Obtained with single cycle analysis & unrestricted inputs –Second cycle Both implication sites in cycle 2 Obtained with time frame expansion –Cross cycle One site per cycle Obtained with time frame expansion

So, how many implications exist?

What is the distance between implication sites?

How do the different implication classes compare for error detection (if we use all possible implications)?

Developing a Compressed Implication Set

What if we further tradeoff error coverage for reduced area overhead?

Outline Introduction & Background Logic Implications for Error Detection Multi-Cycle Implications Experimental Results Conclusions

Conclusions Implications can be used to effectively detect many errors at runtime –Without requiring functional knowledge of the circuit –Allowing tradeoffs to be made between error coverage and overhead Cross-cycle implications cover faults that cannot be covered by single cycle implications Even though they have larger overhead, cross cycle implications are often an “optimal” choice When optimizing for low area overhead, more than 85% of the implications may be cross cycle

For Inquiring Minds

Implication Algorithm Gate-level implications can be found automatically …without functional knowledge of the circuit. Run Good Circuit Simulation with Random Vectors and Monitor Site Values… A,B A,C A,D A=0 → C = 0

Implication Algorithm Gate-level implications can be found automatically …without functional knowledge of the circuit. Using a SAT solver (such as Zchaff)

Implication Algorithm Gate-level implications can be found automatically …without functional knowledge of the circuit. n1 n2 n3 n4 n5 n6 n7 n8 n9 n10 n11 n12 n13 n10 = 0 → n13 = 0 n4 = 1 → n8 = 0

Implication Algorithm Gate-level implications can be found automatically …without functional knowledge of the circuit. Of all the patterns that will allow a fault to produce an error at an output, how many will each implication detect?

Implication Algorithm Gate-level implications can be found automatically …without functional knowledge of the circuit.