~ BEGIN
UNITS
ps: TYPE = REAL; -- picosecond (1e-12 s)
mVolt: TYPE = REAL; -- millivolt (1e-3 V)
pF: TYPE = REAL; -- picofarad (1e-12 F)
ohm: TYPE = REAL; -- W
Circuit: TYPE = REF CircuitRec; -- global handle
CircuitRec:
TYPE =
RECORD [
rootCell: Core.CellType,
nodeTable: HashTable.Table,
agenda: Schedule.Agenda ← NIL,
library: Library ← NIL,
info: Info
];
Info: TYPE = REF InfoRec;
InfoRec:
TYPE =
RECORD [
totalNodes: INT ← 0,
capNodes: INT ← 0,
totalFets: ARRAY TranType OF INT ← ALL[0],
nbOfSimulations: INT ← 0
];
TranType: TYPE = CoreClasses.TransistorType;
Node: TYPE = REF NodeRec; -- others call them wires
NodeRec:
TYPE =
RECORD [
flatWire: CoreFlat.FlatWire,
history: Schedule.History, --Last notables events around
cap: REAL, --Intrinsic capacitance.
fetList: FetList, --list of fets connnecting to this node.
setList: SetList, --list of sets connnecting their inputs to this node.
input, --node forced to a fixed value by outside world.
watched, --means the value of the node is used by the outside world
done: BOOLEAN ← FALSE,
index: CARDINAL
];
Fet: TYPE = REF FetRec;
FetRec:
TYPE =
RECORD [
gate, ch1, ch2: Node, --Nodes connecting to transistor.
rOnInv: REAL, --Inverse of equivalent resistance when the fet is on
type: CoreClasses.TransistorType, --Type of transistor
switch, --TRUE means that the fet is turn on
done: BOOLEAN ← FALSE --multi purpose flag
];
Set: TYPE = REF SetRec; --two fets are in the same set iff there is a path between them
SetRec:
TYPE =
RECORD [
--following sources and drains
lFets: FetList ← NIL,
lNodes: NodeList ← NIL, --nodes connecting the fets of the set
inList: NodeList ← NIL, --other nodes connected to the gates of the fets (set inputs)
fixedV: NodeList ← NIL, --nodes fixed by the outside world (like Vdd and Gnd)
type: SetType ← NIL,
done: BOOLEAN ← FALSE --multi purpose flag
];
SetType: TYPE = REF SetTypeRec; -- some figures allowing easy recognition of simple structures
SetTypeRec:
TYPE =
RECORD [
nFets: ARRAY CoreClasses.TransistorType OF CARDINAL ← ALL[0],
nVddTran,
nGndTran,
nNodes,
nInput: CARDINAL ← 0,
solve: SolveProc ← NIL
];
SolveProc: TYPE = PROC[set: Set, t: ps, circuit: Circuit] RETURNS [nextTime: ps];
NodeList: TYPE = LIST OF Node;
FetList: TYPE = LIST OF Fet;
SetList: TYPE = LIST OF Set;
Library: TYPE = LIST OF LibraryElem ← NIL; -- the sets accessed by SetType.
LibraryElem: TYPE = REF LibraryElemRec;
LibraryElemRec:
TYPE =
RECORD [
type: SetType,
nElem: CARDINAL ← 0,
setList: SetList ← NIL
];
TypeTable: ARRAY CoreClasses.TransistorType OF TType; -- for physical constants
TType: TYPE = REF TTypeRec;
TTypeRec:
TYPE =
RECORD [
name: Rope.ROPE,
cPerArea, cPerWidth: REAL, -- now part of WriteCapa
rOn: REAL
];
StdOut: IO.STREAM;
CircuitSimulate:
PROC[circuit: Circuit, from: ps ← 0.0]
RETURNS [t: ps];
Build the initial calendar of events and simulate until a steady state is reached.
PrintFet:
PROC [fet: Fet, circuit: Circuit];
Prints the type, size, switch and ports of the fet.
PrintNode:
PROC [node: Node, circuit: Circuit];
Prints the name and list of HistoryPts on StdOut
PrintFetList: PROC [fetList: FetList, circuit: Circuit];
PrintNodeList: PUBLIC PROC [nodeList: NodeList, circuit: Circuit];
EditNodeHistory:
PROC [node: Node, t: ps, v: mVolt];
The basic way to specify the stimuli. The events must be edited in time order, a modification of the middle of the history deletes the end of the history from this time.
EditNodeInputBool:
PROC [node: Node, forcedInput:
BOOLEAN];
Specifies the fact that a node is or is not a voltage source. Vdd and Gnd are inputs.
NodeFromRope:
PUBLIC
PROC [id: Rope.
ROPE, circuit: Circuit]
RETURNS [node: Node]
;
Finds the node with the specified (ROPE) name.
RopeFromNode:
PUBLIC PROC [node: Node, circuit: Circuit]
RETURNS [id: Rope.
ROPE];
gives the rope name of the node.
SetNode:
PROC [node: Node, val, input:
BOOLEAN ←
TRUE, t: ps ← 0.0];
edits the value of the node for t.
GetNode:
PROC [node: Node]
RETURNS [val:
BOOLEAN];
gives the last value of the node
SettledValuesOfNode:
PROC [node: Node]
RETURNS [t: ps, v: mVolt];
gives the last value of the node
KillFetList: PUBLIC PROC [fetList: FetList];
KillNodeList: PUBLIC PROC [nodeList: NodeList];
KillSetList: PUBLIC PROC [setList: SetList, killSets: BOOLEAN ← TRUE];
KillCircuit:
PUBLIC
PROC [circuit: Circuit];
4 procs to improve GC use. If killSets then KillSetList will kill the LIST and each set of the List, else it will kill only the LIST;
MaxFreqEvaluate:
PROC [circuit: Circuit, clkList: NodeList, from: ps ← 0.0]
RETURNS [worst: ps ← 0.0, setList: SetList];
finds the longest path in the circuit. May be...
MaxCapa:
PUBLIC
PROC [circuit: Circuit, n:
NAT ← 1]
RETURNS [fatest:
REAL, fatNodes: NodeList]
;
computes and print the laziest nodes. Print on StdOut the tup and tdown of the n slowest ones.
LastTime:
PROC [circuit: Circuit, n:
NAT ← 1]
RETURNS [veryLastTime: ps, slowNodes: NodeList];
gives you the n last nodes to settle for the circuit.
Watch:
PROC [watchList: NodeList];
The watched nodes never forget, but their history management is slow.
SetTime:
PROC [t: ps, circuit: Circuit];
Cuts all histories at t.
DrawNodeList:
PROC [nodeList: NodeList, circuit: Circuit]
RETURNS[plot: PlotGraph.Plot];
Builds the oscilloscope that display this list of Nodes.
AddNodeToPlot:
PUBLIC
PROC [node: Node, plot: PlotGraph.Plot, r: Rope.
ROPE ←
NIL];
Appends a graph showing node to plot, using r as a name if specified.
InputData:
PROC [ct: Core.CellType, layout:
BOOLEAN ←
TRUE]
RETURNS [circuit: Circuit];
Builds the handle of Mint data from the Core structures.
BuildNodeList:
PROC [name: Rope.
ROPE, oldList: NodeList, circuit: Circuit]
RETURNS [newList: NodeList];
Adds a Node to a list of Nodes from its name, without creating a new Node if the Node is not found in the circuit.
PrepareSets:
PROC [circuit: Circuit, fixedVList: NodeList];
Cuts the Mint flat circuit into sets and store them by type in the circuit library.
CheckLibrary:
PROC [circuit: Circuit];
Verify the static connectivity: isolated nodes, nodes that cannot be driven, node not reachable from Vdd or Gnd.
OutputResults:
PROC [circuit: Circuit];
Print the statistics on the number and types of sets created by PrepareSets.