Unformatted text preview: S ) cannot propagate to the gate output, represented by the µ j ∈ I − S L j term and the set difference operation, because these faults prevent the gate output from being changed. Applying Equation 3.2 to the NOR gate G 4 in Figure 3.28, one has L K = ´L J − L H µ ∪ ±K/ 1 ² ; the faults in L H are taken out of L J because flipping H does not change the value of output K . Although deductive fault simulation is efficient in that it processes all faults at the same time, it has several limitations. The first problem is that unknown values are not easily handled. For each unknown value, both cases must be considered ( i³e³ , when the unknown is a controlling or noncontrolling value). The logic rea-soning becomes even more complicated if more than one unknown appears. See...
View Full Document
- Spring '08
- Gate, Input/output, Cybernetics, Lj