1. Introduction - Laboratory for Reliable Computing

1. Introduction - Laboratory for Reliable Computing 1. Introduction - Laboratory for Reliable Computing

larc.ee.nthu.edu.tw
from larc.ee.nthu.edu.tw More from this publisher
11.07.2015 Views

Logic Fault Modeling: Stuck-at Faultabc c stuck-at 0; c s-a-0; c s/0, or c/0a b c c(a/0) c(a/1) c(b/0) c(b/1) c(c/0) c(c/1)0 00 11 01 1000100000101• Single (line) stuck-at fault: line has a constant value (0/1)• Multiple stuck fault: several single stuck-at faults occur atthe same time− For a circuit with k lines, there are 2k single stuck faults, and 3 k -1multiple stuck faults0000001100001111m01intro7.02 Cheng-Wen Wu, NTHU 18

Test• A test for a fault f in circuit C is an inputcombination for which the output(s) of C isdifferent when f is present than when it isnot− A.k.a. test pattern, test vector, or experiment− A test x detects fault f iff C(x)⊕C f(x)=1• A test set for a class of faults F is a set oftests T such that for any fault f∈F, thereexists t∈T such that t detects fm01intro7.02 Cheng-Wen Wu, NTHU 19

Logic Fault Modeling: Stuck-at Faultabc c stuck-at 0; c s-a-0; c s/0, or c/0a b c c(a/0) c(a/1) c(b/0) c(b/1) c(c/0) c(c/1)0 00 11 01 1000100000101• Single (line) stuck-at fault: line has a constant value (0/1)• Multiple stuck fault: several single stuck-at faults occur atthe same time− For a circuit with k lines, there are 2k single stuck faults, and 3 k -1multiple stuck faults0000001100001111m01intro7.02 Cheng-Wen Wu, NTHU 18

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!