1 testing of combinational logic circuits digital logic circuit testing definitions typical digital...

39
1 TESTING OF COMBINATIONAL LOGIC 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

Upload: maude-pope

Post on 13-Jan-2016

250 views

Category:

Documents


1 download

TRANSCRIPT

Page 1: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

1

TESTING OF COMBINATIONAL LOGIC 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

Page 2: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

2

TESTING OF COMBINATIONAL LOGIC CIRCUITS

DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS

Page 3: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

3

TESTING OF COMBINATIONAL LOGIC CIRCUITS

DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS (CONTINUES)

Page 4: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

4

TESTING OF COMBINATIONAL LOGIC CIRCUITS

DIGITAL LOGIC CIRCUIT TESTING TYPICAL DIGITAL CIRCUIT TEST SETUP

Page 5: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

5

TESTING OF COMBINATIONAL LOGIC CIRCUITS

DIGITAL LOGIC CIRCUIT TESTING TYPICAL DIGITAL CIRCUIT TEST SETUP

Page 6: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

6

TESTING OF COMBINATIONAL LOGIC CIRCUITS

FAULT MODELS

Page 7: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

7

TESTING OF COMBINATIONAL LOGIC CIRCUITS

FAULT MODELS

Page 8: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

8

TESTING OF COMBINATIONAL LOGIC CIRCUITS

FAULT MODELS (CONTINUES) Example: Consider the following circuit which has a

stuck-at-zero at wire 3 ,

Page 9: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

9

TESTING OF COMBINATIONAL LOGIC CIRCUITS

FAULT MODELS (CONTINUES)

Page 10: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

10

TESTING OF COMBINATIONAL LOGIC CIRCUITS

COMBINATIONAL LOGIC CIRCUITS: TEST GENERATION: DEFINITIONS

Page 11: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

11

TESTING OF COMBINATIONAL LOGIC CIRCUITS

COMBINATIONAL LOGIC CIRCUITS: TEST GENERATION: DEFINITIONS

Page 12: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

12

TESTING OF COMBINATIONAL LOGIC CIRCUITS

COMBINATIONAL LOGIC CIRCUITS TEST GENERATION: EXCLUSIVE-OR METHOD

Page 13: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

13

TESTING OF COMBINATIONAL LOGIC CIRCUITS

Example : Find the fault table for all stuck-at faults of the following circuit (circuit 1)STEP 1 1

2

3

45

f = x1 x2 + x3

X1X2

x3

Testx1x2x3

f f1/0 f1/1 f2/0 f2/1 f3/0 f3/1 f4/0 f4/1 f5/0 f5/1

0 0 0 0 0 0 0 0 0 1 0 1 0 1

0 0 1 1 1 0 1 1 0 1 1 1 0 1

0 1 0 0 0 1 0 0 0 1 0 1 0 1

0 1 1 1 1 1 1 1 0 1 1 1 0 1

1 0 0 0 0 0 0 1 0 1 0 1 0 1

1 0 1 1 1 1 1 1 0 1 1 1 0 1

1 1 0 1 0 1 0 1 1 1 0 1 0 1

1 1 1 1 1 1 1 1 1 1 1 1 0 1

x3 x2+x3 x3 x1+x3 x1x2 1 x3 1 0 1

Page 14: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

14

TESTING OF COMBINATIONAL LOGIC CIRCUITS

COMBINATIONAL LOGIC CIRCUITS TEST GENERATION: EXCLUSIVE-OR METHOD Example continues (STEP 2)

Page 15: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

15

TESTING OF COMBINATIONAL LOGIC CIRCUITS

COMBINATIONAL LOGIC CIRCUITS TEST GENERATION: EXCLUSIVE-OR METHOD

Page 16: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

16

TESTING OF COMBINATIONAL LOGIC CIRCUITS

COMBINATIONAL LOGIC CIRCUITS TEST GENERATION: PATH-SENSITIZING METHOD

Page 17: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

17

TESTING OF COMBINATIONAL LOGIC CIRCUITS

COMBINATIONAL LOGIC CIRCUITS TEST GENERATION: PATH-SENSITIZING METHOD

PATH-SESITIZING IN POPULAR GATES

Page 18: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

18

TESTING OF COMBINATIONAL LOGIC CIRCUITS

COMBINATIONAL LOGIC CIRCUITS TEST GENERATION: PATH-SENSITIZING METHOD

PATH-SESITIZING IN POPULAR GATES

Page 19: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

19

TESTING OF COMBINATIONAL LOGIC CIRCUITS

TEST GENERATION: PATH-SENSITIZING METHOD PATH-SESITIZING IN A NETWORK

Page 20: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

20

TESTING OF COMBINATIONAL LOGIC CIRCUITS

TEST GENERATION: PATH-SENSITIZING METHOD PATH-SESITIZING IN A NETWORK

Page 21: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

21

TESTING OF COMBINATIONAL LOGIC CIRCUITS

TEST GENERATION: PATH-SENSITIZING METHOD PATH-SESITIZING IN A NETWORK

Page 22: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

22

TESTING OF COMBINATIONAL LOGIC CIRCUITS

TEST GENERATION: PATH-SENSITIZING METHOD PATH-SESITIZING IN A NETWORK

Page 23: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

23

TESTING OF COMBINATIONAL LOGIC CIRCUITS

TEST GENERATION - PATH-SENSITIZING METHOD: A NETWORK WITH FAN-OUT

Page 24: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

24

TESTING OF COMBINATIONAL LOGIC CIRCUITS

TEST GENERATION - PATH-SENSITIZING METHOD: A NETWORK WITH FAN-OUT

Page 25: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

25

TESTING OF COMBINATIONAL LOGIC CIRCUITS

TEST GENERATION - PATH-SENSITIZING METHOD: A NETWORK WITH FAN-OUT: ANOTHER EXAMPLE

Page 26: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

26

TESTING OF COMBINATIONAL LOGIC CIRCUITS

TEST GENERATION - PATH-SENSITIZING METHOD: A NETWORK WITH FAN-OUT: ANOTHER EXAMPLE

Page 27: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

27

TESTING OF COMBINATIONAL LOGIC CIRCUITS

TEST GENERATION: PATH-SENSITIZING METHOD COUNTER-EXAMPLE TO SINGLE-PATH

SENSITIZING

Page 28: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

28

TESTING OF COMBINATIONAL LOGIC CIRCUITS

TEST GENERATION: PATH-SENSITIZING METHOD COUNTER-EXAMPLE TO SINGLE-PATH

SENSITIZING

Page 29: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

29

TESTING OF COMBINATIONAL LOGIC CIRCUITS

UNTESTABLE FAULTS

Page 30: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

30

TESTING OF COMBINATIONAL LOGIC CIRCUITS

UNTESTABLE FAULTS (CONTINUES)

Page 31: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

31

TESTING OF COMBINATIONAL LOGIC CIRCUITS

MULTIPLE OUTPUT NETWORKS

Page 32: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

32

TESTING OF COMBINATIONAL LOGIC CIRCUITS

FAULT DETECTION TEST SETS (FDTS)

Page 33: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

33

TESTING OF COMBINATIONAL LOGIC CIRCUITS

FAULT DETECTION TEST SETS (FDTS) FAULT TABLE REDUCTION – CHECK POINTS

Page 34: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

34

TESTING OF COMBINATIONAL LOGIC CIRCUITS

FAULT DETECTION TEST SETS (FDTS) FAULT TABLE REDUCTION – CHECK POINTS

Page 35: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

35

TESTING OF COMBINATIONAL LOGIC CIRCUITS

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

FAN-OUT STEM REFERS TO THE WIRE PRECEDING THE FAN-OUT POINT.

FAN-OUT BRANCHES REFERS TO THE WIRES BEYOND THE FAN-OUT POINT.

EXAMPLE FOLLOWS

Page 36: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

36

TESTING OF COMBINATIONAL LOGIC CIRCUITS

FAULT DETECTION TEST SETS (FDTS) FAULT TABLE REDUCTION – CHECK

POINTS EXAMPLE: FOR THE FOLLOWING CIRCUIT,

THE CHECK POINTS ARE 1, 3, 4 AND 5

Page 37: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

37

TESTING OF COMBINATIONAL LOGIC CIRCUITS

EXAMPLE (CONTINUES):

Page 38: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

38

TESTING OF COMBINATIONAL LOGIC CIRCUITS

FAULT DETECTION TEST SETS (FDTS) MINIMUM FDTS

Page 39: 1 TESTING OF COMBINATIONAL LOGIC CIRCUITS DIGITAL LOGIC CIRCUIT TESTING DEFINITIONS TYPICAL DIGITAL CIRCUIT TEST SETUP FAULT MODELS COMBINATIONAL LOGIC

39

TESTING OF COMBINATIONAL LOGIC CIRCUITS

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.

THE MINIMAL FDTS IS {P6,P2,P3,P5} = {110,010,011,101}

FOR LARGE FAULT TABLES, THE USE OF PROCEDURES FORSELECTING A NEAR MINIMAL IS MORE PRACTICAL.