VLSI TESTING 2011 Chapter 2-1 VLSI T ESTING 積體電路測試 1 期中考範圍 PING-LIANG LAI 賴秉樑.

Slides:



Advertisements
Similar presentations
Based on text by S. Mourad "Priciples of Electronic Systems" Digital Testing: Design Representation and Fault Detection
Advertisements

ECE 3110: Introduction to Digital Systems Chapter 6 Combinational Logic Design Practices XOR, Parity Circuits, Comparators.
Fault Equivalence Number of fault sites in a Boolean gate circuit is = #PI + #gates + # (fanout branches) Fault equivalence: Two faults f1.
CMP238: Projeto e Teste de Sistemas VLSI Marcelo Lubaszewski Aula 2 - Teste PPGC - UFRGS 2005/I.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 13/12alt1 Lecture 13 Sequential Circuit ATPG Time-Frame Expansion (Lecture 12alt in the Alternative.
Chapter 08 Designing High-Speed CMOS Logic Networks
Chapter 09 Advanced Techniques in CMOS Logic Circuits
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.
Logic Simulation 4 Outline –Fault Simulation –Fault Models –Parallel Fault Simulation –Concurrent Fault Simulation Goal –Understand fault simulation problem.
Modern VLSI Design 2e: Chapter 4 Copyright  1998 Prentice Hall PTR Topics n Switch networks. n Combinational testing.
Dominance Fault Collapsing - Alok Doshi ELEC 7250 Spring 2004.
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.
Physical States for Bits. Black Box Representations.
Introduction to VLSI Circuits and Systems, NCUT 2007 Chapter 12 Arithmetic Circuits in CMOS VLSI Introduction to VLSI Circuits and Systems 積體電路概論 賴秉樑 Dept.
: Where is the Marble? ★☆☆☆☆ 題組: VOLUME CIV 題號: Q Where is the Marble? 解題者:劉淑惠 解題日期: 2006 年 6 月 11 日 題意:有許多上面有號碼的彈珠,將彈珠上面的 號碼由小到大排列,找出某個號碼的第一顆彈珠.
: Construct the wall maze ★★★★★ 題組: Problem Set Archive with Online Judge 題號: 11050: Construct the wall maze 解題者:宋柏儀 解題日期: 2007 年 6 月 12 日.
Field-Effect Transistors 1.Understand MOSFET operation. 2. Understand the basic operation of CMOS logic gates. 3. Make use of p-fet and n-fet for logic.
ELEN 468 Lecture 231 ELEN 468 Advanced Logic Design Lecture 23 Testing.
In a not gate, if the input is on(1) the output is off (0) and vice versa.
5/24/2016 Based on text by S. Mourad "Priciples of Electronic Systems" Digital Testing: Defects, Failures and Faults.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES Fault Modeling.
Spencer/Ghausi, Introduction to Electronic Circuit Design, 1e, ©2003, Pearson Education, Inc. Chapter 14, slide 1 Introduction to Electronic Circuit Design.
Transistors and Logic Circuits. Transistor control voltage in voltage out control high allows current to flow -- switch is closed (on) control low stops.
Registers(暫存器)與Counters(計數器):
Modern VLSI Design 4e: Chapter 4 Copyright  2008 Wayne Wolf Topics n Switch networks. n Combinational testing.
Chapter 07 Electronic Analysis of CMOS Logic Gates
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.
Unit I Testing and Fault Modelling
Sneha.  Gates Gates  Characteristics of gates Characteristics of gates  Basic Gates Basic Gates  AND Gate AND Gate  OR gate OR gate  NOT gate NOT.
1 EE 587 SoC Design & Test Partha Pande School of EECS Washington State University
EE210 Digital Electronics Class Lecture 9 April 08, 2009.
Page 1EL/CCUT T.-C. Huang Mar TCH CCUT Introduction to IC Test Tsung-Chu Huang ( 黃宗柱 ) Department of Electronic Eng. Chong Chou Institute of Tech.
Logic Gates. The Inverter The inverter (NOT circuit) performs the operation called inversion or complementation. Standard logic symbols: 1 1 input output.
Fault Models, Fault Simulation and Test Generation Vishwani D. Agrawal Department of ECE, Auburn University Auburn, AL 36849, USA
Dominance Fault Collapsing 1 VLSI TESTING PROJECT Dominance Fault Collapsing Anandshankar Mudlapur Arun Balaji Kannan Muthu Balaji Ramkumar Muthu Balan.
Instructor:Po-Yu Kuo 教師:郭柏佑
EE434 ASIC & Digital Systems Partha Pande School of EECS Washington State University
Copyright 2001, Agrawal & BushnellLecture 6: Sequential ATPG1 VLSI Testing Lecture 6: Sequential ATPG n Problem of sequential circuit ATPG n Time-frame.
An introduction to Fault Detection in Logic Circuits By Dr. Amin Danial Asham.
Instructor : Po-Yu Kuo 教師:郭柏佑 Ch. 3 Digital Logic Structures EL 1009 計算機概論 ( 電子一 B) Introduction to Computer Science.
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.
Solid-State Devices & Circuits
TOPIC : Introduction to Faults UNIT 2: Modeling and Simulation Module 1 : Logical faults due to physical faults.
Chapter 3 Digital Logic Structures
TOPIC : Fault detection and fault redundancy UNIT 2 : Fault modeling Module 2.3 Fault redundancy and Fault collapsing.
VLSI Testing Class Fault Modeling 李昆忠 Kuen-Jong Lee Dept. of Electrical Engineering National Cheng-Kung University Tainan, Taiwan.
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.
ELEC 7950 – VLSI Design and Test Seminar
Instructor:Po-Yu Kuo 教師:郭柏佑
Transistors and Logic Circuits
Dominance Fault Collapsing
Logic Gates.
Logic Gates Benchmark Companies Inc PO Box Aurora CO
Algorithms and representations Structural vs. functional test
Lecture 13 Sequential Circuit ATPG Time-Frame Expansion
ELEC Digital Logic Circuits Fall 2014 Logic Testing (Chapter 12)
Fundamentals of Computer Science Part i2
Lecture 5 Fault Modeling
Logic Gates.
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
Instructor:Po-Yu Kuo 教師:郭柏佑
Logic Gates.
Gates Type AND denoted by X.Y OR denoted by X + Y NOR denoted by X + Y
Logic Gates.
Topics Switch networks. Combinational testing..
VLSI Testing Lecture 3: Fault Modeling
ELEC Digital Logic Circuits Fall 2015 Logic Testing (Chapter 12)
Lecture 13 Sequential Circuit ATPG Time-Frame Expansion
Presentation transcript:

VLSI TESTING 2011 Chapter 2-1 VLSI T ESTING 積體電路測試 1 期中考範圍 PING-LIANG LAI 賴秉樑

VLSI TESTING 2011 Chapter 2-2 P ING- L IANG L AI 共考 4 題,每題 25 分

VLSI TESTING 2011 Chapter 2-3 P ING- L IANG L AI 第一題 給定一組合電路,求出 Fault Collapsing 後的 Fault list 。

VLSI TESTING 2011 Chapter 2-4 P ING- L IANG L AI Fault Equivalence Rule AND gate: all s-a-0 faults are equivalent OR gate: all s-a-1 faults are equivalent NAND gate: all the input s-a-0 faults and the output s-a-1 faults are equivalent NOR gate: all input s-a-1 faults and the output s-a-0 faults are equivalent Inverter: input s-a-1and output s-a-0 are equivalent input s-a-0 and output s-a-1 are equivalent n+2 instead of 2n+2 faults need to be considered for an n-input gate. SA0 SA1 SA0 SA1 SA0 SA1 SA0 SA1 SA0 SA1 SA0 SA1 SA0

VLSI TESTING 2011 Chapter 2-5 P ING- L IANG L AI Fault Collapsing Summary Given F1 and F2 with T1 and T2 Equivalence – F1 is equivalent to F2 if T1 = T2 – Any test detecting F1, detects F2 and vice versa Dominance – F1 dominates F2 if T2  T1 – A test detecting F2 detects also F1 – The relation is not symmetric Input s Fault-freeFaulty Response ABC (Response)A/0B/0C/0A/1B/1C/ A B C Example: NAND2 Fault equivalence: {A/0, B/0, C/1} Fault dominance: A/1 → C/0, B/1 → C/0 Fault collapsing: {A/0, A/1, B/1}

VLSI TESTING 2011 Chapter 2-6 P ING- L IANG L AI An Example of Fault Collapsing A step of collapsing – {A/0, B/0, H/0} – {C/1, D/1, F/1} – {G/0, E/0, V/0} – {H/1, V/1, Z/1} – {F/0, G/1} – {F/1, G/0} – A/1 → H/1, thus A/1 can represent H/1 and all its equivalent faults in class 4 – C/0 → F/0, thus C/0 can represent F/0 and all its equivalent faults in class 5 – G/1 → V/1, thus G/1 can represent V/1 and all its equivalent faults in class 4 – H/0 → Z/0, thus H/0 belongs to equivalence class 1 – B/1 → H/1 – D/0 → F/0 – E/1 → V/1 – V/0 → Z/0 – {A/0, C/1, G/0, A/1, C/0, G/1, B/1, D/0, E/1} → Final set of fault under test A B V D C F E G Z H

VLSI TESTING 2011 Chapter 2-7 P ING- L IANG L AI 第二題 找出 Transistor Stuck-open 或 Stuck-short 的測試向量。

VLSI TESTING 2011 Chapter 2-8 P ING- L IANG L AI Transistor Faults (1/4) MOS transistor is considered as an ideal switch and two types of faults are modeled: – Stuck-open: a single transistor is permanently stuck in the open state – Stuck-short: a single transistor is permanently shorted irrespective of it's gate voltage Detection of a stuck-open fault requires a two vector sequence Transistor stuck-open fault A B C PMOS stuck-open fault Vector 1: test for A SA0 (initialization vector) Vector 2: test for A SA1 1 (Z) 0 Good circuit states Faulty circuit states

VLSI TESTING 2011 Chapter 2-9 P ING- L IANG L AI Transistor Faults (2/4) Detection of a stuck-short fault requires the measurement of quiescent current (IDDQ) Transistor stuck-short fault 1 0 A B C PMOS stuck-short fault Vector 2: test for A SA0 1 (X) Good circuit output Faulty circuit output I DDQ path in faulty circuit

VLSI TESTING 2011 Chapter 2-10 P ING- L IANG L AI 第三題 給定一組合電路, TM 。

VLSI TESTING 2011 Chapter 2-11 P ING- L IANG L AI An Example of Combinational Circuit (1/3)

VLSI TESTING 2011 Chapter 2-12 P ING- L IANG L AI First, calculate the TM for the nodes on the second level, F, H, and G 1.CC1(F)=CC1(A)+CC1(B)+CC1(C)+1=4 2.CC0(F)=min{CC0(A), CC0(B), CC0(C)}+1=2 3.CC1(H)=min{CC0(A), CC0(B)}+1=2 4.CC0(H)=CC1(A)+CC1(B)+1=3 5.CC1(G)=CC0(C)+1=2 6.CC0(G)=CC1(C)+1=2 These TM values are then used in calculating the primary output controllability 7.CC1(Y)=min{CC1(F), CC1(H)}+1=3 8.CC0(Y)=CC0(F)+CC0(H)+1=6 9.CC1(Z)=min{CC0(H), CC0(G)}+1=3 10.CC0(Z)=CC1(H)+CC1(G)+1=5 An Example of Combinational Circuit (2/3)

VLSI TESTING 2011 Chapter 2-13 P ING- L IANG L AI The observability of a node indicates the effort needed to observe the logic value on the node at a primary output For second level, 11.CO Y (F)=CO(Y)+CCO(H)+1=5 12.CO Z (G)=CO(Z)+CC1(H)+1=4 13.CO Y (H)=CO(Y)+CC0(F)+1=4 14.CO Z (H)=CO(Z)+CC1(G)+1=5 For primary inputs, 15.CO Z (C)=CO Z (G)+1=[CO(Z)+CC1(H)+1]+1 =5 (line C) 16.CO Y (C)=CO Y (F)+CC1(A)+CC1(B)+1 =[CO(Y)+CC0(H)+1]+CC1(A)+CC1(B)+1=8 (line C) 17.CO YH (A)=CO Y (H)+CC1(B)+1=6 18.CO Z (A)=CO Z (H)+CC1(G)+1=8 CC1(F)=4 CC0(F)=2 CC1(H)=2 CC0(H)=3 CC1(G)=2 CC0(G)=2 CC1(Y)=3 CC0(Y)=6 CC1(Z)=3 CC0(Z)=5 An Example of Combinational Circuit (3/3)

VLSI TESTING 2011 Chapter 2-14 P ING- L IANG L AI 第四題 給定一循序電路,劃出 Scan DFT 的設計電路。

VLSI TESTING 2011 Chapter 2-15 P ING- L IANG L AI Example: Scan for Binary Counters 3-bits Counter using DFF - State table Present StateNext StateF/F Inputs ABC+A+B+CDADA DBDB DCDC As function of F(A,B,C) D A =A ⊕ BC D B =B ⊕ C D C =C’

VLSI TESTING 2011 Chapter 2-16 P ING- L IANG L AI Scan DFT for Binary Counters (1/2) 3-bits Binary Counters C B A 1 CLK D A =A ⊕ BC D B =B ⊕ C D C =C’ Next State and Output Combinational Logic CUT DCDC DBDB DADA

VLSI TESTING 2011 Chapter 2-17 P ING- L IANG L AI C B A/SO IN/SI CLK SE Scan DFT for Binary Counters (2/2)

VLSI TESTING 2011 Chapter 2-18 P ING- L IANG L AI QCQC 0100HH01111 QBQB ×011HHH0111 QAQA ××00LLHH001 CLK SE V 1 :PIV 2 :PI SSHCHHC V 1 :SI (PPI) V 2 :SI (PPI) C (PO) observation S: Shift operation C: Capture operation H: Hold cycle SO (PPO) observation