<> <> <> <> <> <> <> <> <> <> DIRECTORY Core, CoreFlat, HashTable, IO, Rope; Globals: CEDAR DEFINITIONS = BEGIN Node: TYPE = REF NodeRec; NodeRec: TYPE = RECORD [ <> flatWire: CoreFlat.FlatWire, <> cap, res: REAL, <> hiTime, loTime: REAL, <> firstPointer: Pointer, <> always0, <> always1, <> input, <> output, <

> bus, <> inPath, <> precharged, <> dynamic, <> watched, <> ratioError: <> BOOLEAN ]; Pointer: TYPE = REF PointerRec; PointerRec: TYPE = RECORD [ fet: Fet, next: Pointer ]; Fet: TYPE = REF FetRec; FetRec: TYPE = RECORD [ source, drain, gate: Node, <> area, aspect, x, y: REAL, <> type: INTEGER, <> flowFromSource, flowFromDrain, forcedOn, forcedOff, on0, on1, onAlways, noSourceInfo, noDrainInfo: BOOLEAN, <> <> <> <> <> <> <> <> firstFlow: FlowPtr <> ]; <> FlowCtl: TYPE = REF FlowRec; FlowRec: TYPE = RECORD [ name: Rope.ROPE, entered, left: Node, <> inOnly, outOnly, ignore, off: BOOLEAN <> <> <> <> <> ]; FlowPtr: TYPE = REF FlowPtrRec; FlowPtrRec: TYPE = RECORD [ flow: FlowCtl, <> next: FlowPtr, <> source, drain: BOOLEAN <> ]; <> pieceLimit: INT = 8; Stage: TYPE = REF StageRec; StageRec: TYPE = RECORD [ piece1Size, piece2Size: INT, <> time: REAL, <> edgeSpeed: REAL, <> rise: BOOLEAN, <> prev: Stage, <> piece1Fet, piece2Fet: ARRAY[0..pieceLimit) OF Fet, piece1Node, piece2Node: ARRAY[0..pieceLimit) OF Node <> ]; <> Arg: TYPE = REF ArgRec; ArgRec: TYPE = RECORD [ rope: Rope.ROPE, next: Arg ]; <> CmdProc: TYPE = PROC[args: Arg, globalVars: GlobalVars]; <> GlobalVars: TYPE = REF GlobalVarsRec; GlobalVarsRec: TYPE = RECORD[ rootCell: Core.CellType, VddNode, GroundNode: Node, nodeTable: HashTable.Table ]; RunCrystal: PROC [globalVars: GlobalVars]; <> StdOut: IO.STREAM; DupsOK: BOOLEAN; -- FALSE means avoid duplications in output. Stop: REF BOOLEAN; -- TRUE means user buttoned STOP! button. END.