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


This section lists the transistor gate bridge/break faults extracted by Carafe. Each fault has two entries with the following format:

  bb_# brk edge1 ; ... ; edgeN
  bb_# brg trans_# ... trans_#
where bb_# is the name of the fault, edgeN is an edge defined in the brknodes section that isbbroken by the fault, and trans_# is a transistor listed in the netlist section whose diffusion terminals are shorted by the fault.

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