Testing of Combinational Circuits
Testing of Combinational Circuits
DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC CIRCUITS TEST GENERATION EXCLUSIVE-OR METHOD PATH-SENSITIZING METHOD PATH-SESITIZING IN POPULAR GATES PATH-SESITIZING IN A NETWORK A NETWORK WITH FAN-OUT COUNTER-EXAMPLE TO SINGLE-PATH SENSITIZING UNTESTABLE FAULTS MULTIPLE OUTPUT NETWORKS FAULT DETECTION TEST SETS (FDTS) FAULT TABLE REDUCTION CHECK POINTS MINIMUM FDTS ____________________________________________________________________
ECSE-323/Department of Electrical and Computer Engineering/McGill University/ Prof. Marin. Adapted from Digital Logic Circuit Analysis & Design, by Nelson, Nagle, Carroll, Irwin, Prentice-Hall,1995, Chapter 12, pages 739 to 757
FAULT MODELS
FAULT MODELS
FAULT MODELS (CONTINUES) Example: Consider the following circuit which has a stuck-atzero at wire 3 ,
10
11
12
1 4
f = x1 x2 + x3
f
0 1 0 1 0 1 1 1
f1/0
0 1 0 1 0 1 0 1 x3
f1/1
0 0 1 1 0 1 1 1 x2+x3
f2/0
0 1 0 1 0 1 0 1 x3
f2/1
0 1 0 1 1 1 1 1 x1+x3
f3/0
0 0 0 0 0 0 1 1 x1x2
f3/1
1 1 1 1 1 1 1 1 1
f4/0
0 1 0 1 0 1 0 1 x3
f4/1
1 1 1 1 1 1 1 1 1
f5/0
0 0 0 0 0 0 0 0 0
f5/1
1 1 1 1 1 1 1 1 1
13
COMBINATIONAL LOGIC CIRCUITS TEST GENERATION: EXCLUSIVE-OR METHOD Example continues (STEP 2)
14
15
16
COMBINATIONAL LOGIC CIRCUITS TEST GENERATION: PATH-SENSITIZING METHOD PATH-SESITIZING IN POPULAR GATES
17
COMBINATIONAL LOGIC CIRCUITS TEST GENERATION: PATH-SENSITIZING METHOD PATH-SESITIZING IN POPULAR GATES
18
19
20
21
22
23
24
25
26
27
28
UNTESTABLE FAULTS
29
30
31
32
FAULT DETECTION TEST SETS (FDTS) FAULT TABLE REDUCTION CHECK POINTS
33
FAULT DETECTION TEST SETS (FDTS) FAULT TABLE REDUCTION CHECK POINTS
34
FAULT DETECTION TEST SETS (FDTS) FAULT TABLE REDUCTION CHECK POINTS CHECK POINTS ARE: ALL INPUT WIRES THAT ARE NOT FAN-OUT STEMS ALL WIRES THAT ARE FAN-OUT BRANCHES OUTPUTS TO XOR GATES
35
FAULT DETECTION TEST SETS (FDTS) FAULT TABLE REDUCTION CHECK POINTS EXAMPLE: FOR THE FOLLOWING CIRCUIT, THE CHECK POINTS ARE 1, 3, 4 AND 5
36
EXAMPLE (CONTINUES):
37
38
FAULT DETECTION TEST SETS (FDTS): MINIMUM FDTS: APPLYING THE PROCEDURE TO THE TABLE ON SLIDE 37 YIEDLS {010,011,101,110} AS A MINIMUM TEST SET. THE PETRICK FUNCTION, P, CAN BE USED TO REDUCE THE TABLE: LABELLING THE TESTS ON THE TABLE P0,P1,P2,P3,P4,P5,P6,P7 P = (P6)(P2)(P3)(P2)(P6)(P4+P5)(P3)(P1+P5) P = P6 P2 P3 (P4+P5)(P1+P5) = P6 P2 P3 (P4 P1+P5) P = P6P2P3P4P1 + P6P2P3P5.