Unformatted text preview: The work in [Hamzaoglu 1999] extended this concept of dynamic implications a step further. Suppose the D-frontier for the current target fault consists of gates g 1 ²g 2 ²´ ´ ´ ²g n . By a similar analysis as the previous example shown in Figure 4.27, each gate g i ∈ D-frontier would have a set of necessary assignments, A i . Clearly, the necessary assignment for any single fault-effect may not be necessary for detecting the target fault. However, in order to propagate the fault effect to a primary output, at least one fault effect in the D-frontier must be sensitized to the output. Subse-quently, the intersection of all the necessary assignments for each of the gates in the D-frontier would be the set of required assignments for detection of the target fault....
View Full Document
- Spring '08
- Following, Naive set theory, The Current, The Target, The Gates