Madhusudan V. Atre

Learn More
A fault f j is said to dominate another fault f i if all tests for f i detect f j. When two faults dominate each other, they are c alled e quivalent. Dominance and equivalence r elations among faults around a B o olean gate are c alled structural" and are used for fault collapsing in large circuits. Some fault equivalences , that cannot be determined by the(More)
Nodes in a dominance graph represent faults of a circuit. A directed edge from node f i to node f j means that fault f j dominates f i. The equivalence of faults f i and f j is indicated by the presence of simultaneous edges f i ! f j and f j ! f i. When local dominance and equivalence relations are included in this graph, its transitive closure provides(More)
  • 1