Madhusudan V. Atre

Learn More
Nodes in a dominance graph represent faults of a circuit. A directed edge from node fi to node fj means that fault fj dominates fi. The equivalence of faults fi and fj is indicated by the presence of simultaneous edges fi ! fj and fj ! fi. When local dominance and equivalence relations are included in this graph, its transitive closure provides the(More)
  • 1