next up previous contents
Next: breaks Up: Description Previous: brknodes

bridges

This section lists the bridge faults extracted by Carafe. Each fault has an entry with the following format:

  brg_# node_lists
where brg_# is the name of the bridge fault and node_lists are lists of nodes that are bridged by the fault. Consider the fault which bridges the following nodes:
(Node1 Node2 Node3 Node4) (Node5 Node6)
where the two sets of parenthesis indicate two independent shorts in the same bridge fault. The .graph file would contain the following entry for this fault
brg_42 Node1 Node2 Node3 Node4 ; Node5 Node6


David Dahle Wed Jan 24 11:51:06 PST 1996