DIRECTORY
Atom USING [GetPName],
BasicTime USING [Now],
CD,
CDAtomicObjects,
CDBasics,
CDDirectory USING [Fetch],
CDErrors USING [IncludeMessage, RemoveMessages],
CDInstances,
CDProperties,
CDRects,
CDSimpleRules USING [MaxWidth, MinDist, MinWidth, NotKnown],
CDSymbolicObjects,
Core USING [CellType, Properties, Wire],
CoreClasses USING [recordCellClass, RecordCellType, transistorCellClass, unspecifiedCellClass],
CoreGeometry,
CoreOps USING [CreateWires, CopyWire, GetCellTypeName, GetShortWireName, SetShortWireName],
CoreProperties,
FS USING [StreamOpen],
IO USING [card, char, Close, Error, ErrorCode, int, noWhereStream, Put1, PutF, PutF1, PutFR, PutFR1, PutRope, refAny, rope, STREAM, time],
RefTab USING [Create, EachPairAction, Fetch, Insert, Pairs, Ref, SeqIndex],
Rope USING [Cat, ROPE],
SoS,
SoSTNT USING [BlowTNT, InitTNT, InTNT, RememberTNT, SweepTNT, TNT],
ViewerIO USING [CreateViewerStreams],
ViewerTools USING [FindExistingViewer, Viewer];
SHARES CDRects ~
BEGIN
OPEN SoSTNT;
debug: BOOL ← FALSE; -- to start debugging enter: ← SoSImpl.Debug[]
occDebug: BOOL = FALSE; -- for occasional debugging
useTNT: BOOL = TRUE; -- for timing analysis only
persist: BOOL ← TRUE; -- depends on Sinix (try hard to flag CD design)
fast: BOOL ← TRUE; -- if FALSE then SoS is purely "object oriented"
break: SIGNAL = CODE; -- for debugging; related to property $SoSBreak
panic: SIGNAL = CODE; -- cannot communicate violations
coreMess: SIGNAL [reason: Rope.ROPE, torch: REF ANY] = CODE; -- clean up before issuing coreInconsistent
coreInconsistent: PUBLIC ERROR [reason: Rope.ROPE, torch: REF ANY] = CODE;
mLog: IO.STREAM; -- messages
eLog: IO.STREAM; -- error log
dLog:
IO.
STREAM ←
IO.noWhereStream;
-- debugging
Note: Output to noWhereStream passes all I/O code, and hence is very slow !
State: TYPE = SoS.State; -- REF StateRec;
StateRec: TYPE = SoS.StateRec;
Wire: TYPE = Core.Wire;
DRV: TYPE = SoS.DRV; -- REF DesignRuleViolation
DesignRuleViolation:
TYPE = SoS.DesignRuleViolation;
RECORD [count: INT ← 0, places: LIST OF ErrorRect]
ErrorRect:
TYPE = SoS.ErrorRect;
RECORD [r: CD.Rect, msg: Rope.ROPE]
SoS keys. For simplicity they are registered both with ChipNDale and Core and have the same name
checked:
ATOM = CoreProperties.RegisterProperty [$SoSWasHere];
Attached to CellTypes.
DRVkey:
PUBLIC
ATOM ← CoreProperties.RegisterProperty [$SoSError];
Error report may be processed by clients.
bbKey:
ATOM ← CoreProperties.RegisterProperty [$SoSbb];
Cache for the bounding box.
trace:
ATOM = CoreProperties.RegisterProperty [$SoSSeparationChecked];
Debugging only. Attached to ChipNDale objects processed.
SoS analysis procedures (one for each ChpiNDale object class and one for each Core cell class)
analysis: ATOM = CoreProperties.RegisterProperty [$SoSAnalysis];
cellHull: ATOM = CoreProperties.RegisterProperty [$SoSHull];
matToCell: ATOM = CoreProperties.RegisterProperty [$SoSmc];
cellToCell: ATOM = CoreProperties.RegisterProperty [$SoScc];
ChipNDale keys used by the Son of Spinifex
rectClass: ATOM = $Rect;
pinClass: ATOM = $PinOb0;
Core keys used by the Son of Spinifex
doNotAnalyse: ATOM = $DoNotDRC;
previousTechnology: CD.Technology ← NIL;
previousMaxSeparation: CD.Number ← 75 * 8;
specialLayers:
CD.Layer =
MAX [
CD.shadeLayer,
CD.errorLayer,
CD.backgroundLayer,
CD.outlineLayer,
CD.selectionLayer,
CD.commentLayer] + 1;
undefLayer, highLightShade, highLightError, pinRepresentation, outlineLayer, selectionLayer, commentLayer
Warning: CD.undefLayer could not be included in the list because of a minor bug in the compiler, but it should so once the bug is fixed.
errorFeedbackCutOff: CARDINAL = 50; -- after this number of errors, a | is no longer displayed in the ChipNDale Terminal viewer (if it may be displayed at all).
WireSet: TYPE = REF WireSetRec; -- the wires of a set of cells
WireSetRec: TYPE = RECORD [elt: SEQUENCE size: NAT OF Wire];
PropSet: TYPE = REF PropSetRec; -- the properties of a set of cells
PropSetRec: TYPE = RECORD [p: SEQUENCE size: NAT OF Core.Properties];
Actions on Core Objects
CopyCell:
PROC [original: Core.CellType]
RETURNS [copy: Core.CellType] ~
BEGIN
Used to create a shadow cell on which SoS operates. This allows to preserve the virginity of the cell we are handed over in the case of an abortion.
copy ← original -- << Yuck. Terrible hack. >> To be implemented
END; -- CopyCell
CheckCell:
TYPE = SoS.CheckCell;
PROC [self: Core.CellType, state: State, actual: Wire, loc: CD.Position, trans.orient: CD.Orientation];
CheckCoreCell: CheckCell ~
BEGIN
Send:
PROC ~
INLINE
BEGIN
check: REF CheckCell ← NARROW [CoreProperties.GetProp [self.properties, analysis]];
IF check = NIL THEN check ← NARROW [CoreProperties.GetProp [self.class.properties, analysis]];
IF check =
NIL
THEN
BEGIN
obj: CD.Object = GetObject [self, state];
IF obj = NIL THEN RETURN; -- Cell contains no rectangles
check ← NEW [CheckCell ← DoNotCheck];
MarkError [self, state, [obj.class.interestRect[obj], "Cell has no provisions to be checked"]]
END;
check^ [self, state, actual, loc, trans.orient]
END; -- Send
IF fast
THEN
SELECT self.class
FROM
CoreClasses.recordCellClass => CheckRecord [self, state, actual, loc, trans.orient];
CoreClasses.transistorCellClass => CheckTransistor [self, state, actual, loc, trans.orient];
CoreClasses.unspecifiedCellClass => NULL;
ENDCASE => Send []
ELSE Send []
END; -- CheckCoreCell
CheckRecord: CheckCell ~
BEGIN
[self: Core.CellType, state: State, actual: Wire, loc: CD.Position, trans.orient: CD.Orientation]
origin: CD.Position = [0, 0];
cellData: CoreClasses.RecordCellType;
bindingTable: RefTab.Ref;
boundInternal: Wire;
propagatedActuals: WireSet; -- one wire per subcell
savedProps: PropSet; -- holds properties during recursion
ownName: Rope.ROPE = CoreOps.GetCellTypeName [self];
IF (CoreProperties.GetProp [self.properties, doNotAnalyse]#NIL) OR (CoreProperties.GetProp[self.properties, checked]#NIL) THEN RETURN;
mLog.Put1 [IO.char ['.]];
IF debug THEN IO.PutF [stream: dLog,
format: "\nChecking cell %l%g%l .\n",
v1: IO.rope ["e"],
v2: IF ownName = NIL THEN IO.refAny [self] ELSE IO.rope [ownName],
v3: IO.rope ["E"]];
IF state.abort^ THEN ERROR ABORTED;
ClearErrors [self, state];
cellData ← NARROW [self.data, CoreClasses.RecordCellType];
To be able to compare wires by comparing refs, the bound internal is the actual wire with the properties of the internal wire. Note that in this way the properties of the internal wire are propagated up to the actual wire; hence the actual wire has to be restored when popping up.
savedProps ← NEW [PropSetRec[actual.size]];
FOR p:
NAT
IN [0 .. actual.size)
DO
savedProps[p] ← actual[p].properties; -- modified by BS on October 26, 1986 8:55:22 pm PST
ENDLOOP;
bindingTable ← CreateBindingTable [actual: actual, public: self.public];
boundInternal ← BindInternal [bindingTable, cellData.internal, state];
IF occDebug
THEN
BEGIN
dLog.PutF1 ["Binding and propagating: %g. Binding table:\n", IO.rope [ownName]];
PrintBinding [bindingTable];
dLog.PutF1 ["Bound internal of %g:\n", IO.rope [ownName]];
PrintWire [boundInternal]
END;
The propagated actuals must be determined here once for all, because new actual wires will differ from call to call.
propagatedActuals ← NEW [WireSetRec[cellData.size]];
FOR sub:
NAT
IN [0 .. cellData.size)
DO
propagatedActuals[sub] ← PropagateBinding [state, bindingTable, cellData.instances[sub].actual]
ENDLOOP;
FlushBindingTable [bindingTable];
The catechism states, that the recursion on the subcells has to take place at the end of the check among the internal of self and its subcells, in the procedure MaterialToCellSeparation. Nomen est omen, so I put the recursion step in here where it makes more sense to me. Furthermore the catechism states that the world is top-down, and that hence the recursion step is done at the end. Beside yielding a better program structure, this allows for more agressive (i.e. geometric) pruning.
FOR sub:
NAT
IN [0 .. cellData.size)
DO
cdInst: CD.Instance = CoreGeometry.GetTransf[state.attributes, cellData.instances[sub]];
IF (cdInst = NIL) THEN coreMess ["Core record cell has no geometry (1)", cellData];
CheckCoreCell [self: cellData.instances[sub].type,
state: state,
actual: propagatedActuals[sub],
loc: CDBasics.AddPoints [loc, cdInst.trans.off],
orient: CDBasics.ComposeOrient [trans.orient, cdInst.trans.orient]]
ENDLOOP;
Check the internal.
IF occDebug
THEN
BEGIN
dLog.PutF1 ["Verifying: %g\nbound internal:\n", IO.rope [ownName]];
PrintWire [boundInternal]
END;
Since in this case the error will go into the cell itself, we produce cell relative coordinates by appropriately setting loc1, loc2, orient1, and orient2.
FOR i:
NAT
IN [0 .. cellData.internal.size)
DO
FOR j:
NAT
IN [i .. cellData.internal.size)
DO
Although the separation rules do not have to hold for aequipotential pieces of material, we have to artificially check the geometry of each wire against itself in order to be able to verify the separation of cuts.
MaterialSeparation [state: state,
cell: self,
w1: boundInternal[i],
w2: boundInternal[j],
loc1: origin, loc2: origin,
orient1: original, orient2: original]
ENDLOOP;
WidthCheck [self, state, boundInternal[i]]
ENDLOOP;
Check the separation between the internal of self and its subcells.
FOR sub:
NAT
IN [0 .. cellData.size)
DO
cdInst: CD.Instance = CoreGeometry.GetTransf[state.attributes, cellData.instances[sub]];
IF (cdInst = NIL) THEN coreMess ["Core record cell has no geometry (2)", cellData];
FOR i:
NAT
IN [0 .. cellData.internal.size)
DO
MaterialToCellSeparation [state: state,
self: cellData.instances[sub].type,
actual: propagatedActuals[sub],
wire: cellData.internal[i],
father: self, -- for error marking
materialLoc: loc,
cellLoc: cdInst.trans.off,
materialOrient: trans.orient,
cellOrient: cdInst.orientation]
ENDLOOP
ENDLOOP;
Check the separation between the subcells of self.
IF useTNT THEN SweepTNT [state.nt];
FOR sub1:
NAT
IN [0 .. cellData.size)
DO
cdInst1: CD.Instance = CoreGeometry.GetTransf[state.attributes, cellData.instances[sub1]];
IF (cdInst1 = NIL) THEN coreMess ["Core record cell has no geometry (3)", cellData];
FOR sub2:
NAT
IN (sub1 .. cellData.size)
DO
cdInst2: CD.Instance = CoreGeometry.GetTransf[state.attributes, cellData.instances[sub2]];
IF (cdInst2 = NIL) THEN coreMess ["Core record cell has no geometry (4)", cellData];
IF useTNT AND (InTNT [state.nt, cdInst1, cdInst2, propagatedActuals[sub1], propagatedActuals[sub2]]) THEN LOOP;
CellToCellSeparation [state: state,
self: cellData.instances[sub1].type,
otherCell: cellData.instances[sub2].type,
selfActual: propagatedActuals[sub1],
otherActual: propagatedActuals[sub2],
father: self, -- for error marking
selfLoc: CDBasics.AddPoints [loc, cdInst1.trans.off],
otherLoc: CDBasics.AddPoints [loc, cdInst2.trans.off],
selfOrient: CDBasics.ComposeOrient [trans.orient, cdInst1.orientation],
otherOrient: CDBasics.ComposeOrient [trans.orient, cdInst2.orientation]];
IF useTNT THEN RememberTNT [state.nt, cdInst1, cdInst2, propagatedActuals[sub1], propagatedActuals[sub2]]
ENDLOOP
ENDLOOP;
Wires that were propagated down under recursion now contain all the geometry of the leaf cells. Here we restore the status quo ante.
FOR p:
NAT
IN [0 .. self.public.size)
DO
actual[p].properties ← savedProps[p]; -- BS on October 26, 1986 8:55:47 pm PST
ENDLOOP;
self.properties ← CoreProperties.PutProp [self.properties, checked, checked]
END; -- CheckRecord
CheckTransistor: CheckCell ~
BEGIN
[self: Core.CellType, state: State, actual: Wire, loc: CD.Position, trans.orient: CD.Orientation]
Transistors are atomic ChipNDale objects and are supposed to be correct by construction.
DoNotCheck [self, state, actual, loc, trans.orient]
END; -- CheckTransistor
DoNotCheck: CheckCell ~
BEGIN
[self: Core.CellType, state: State, actual: Wire, loc: CD.Position, trans.orient: CD.Orientation]
(self.class = CoreClasses.unspecifiedCellClass) OR (CoreProperties.GetProp [self.properties, doNotAnalyse]#NIL);
self.properties ← CoreProperties.PutProp [self.properties, checked, checked]
END; -- DoNotCheck
RegisterAnalysisProcs:
PROC ~
BEGIN
Called in the module initialisation part.
CoreClasses.recordCellClass.properties ← CoreProperties.PutProp [
on: CoreClasses.recordCellClass.properties,
prop: analysis,
value: NEW [CheckCell ← CheckRecord]];
CoreClasses.transistorCellClass.properties ← CoreProperties.PutProp [CoreClasses.transistorCellClass.properties, analysis, NEW [CheckCell ← CheckTransistor]];
CoreClasses.unspecifiedCellClass.properties ← CoreProperties.PutProp [CoreClasses.unspecifiedCellClass.properties, analysis, NEW [CheckCell ← DoNotCheck]];
END; -- RegisterAnalysisProcs
Separation and Width Check Procedures
MaterialToCellProc:
TYPE = SoS.MaterialToCellProc;
PROC [self: Core.CellType, state: State, actual, wire: Wire, father: Core.CellType, materialLoc, cellLoc: CD.Position, materialOrient, cellOrient: CD.Orientation];
CellToCellProc:
TYPE = SoS.CellToCellProc;
PROC [self: Core.CellType, state: State, otherCell: Core.CellType, selfActual, otherActual: Wire, father: Core.CellType, selfLoc, otherLoc: CD.Position, selfOrient, otherOrient: CD.Orientation];
WidthCheck:
PROC [c: Core.CellType, state: State, w: Wire] ~
BEGIN
The trans.off and orientation are needed place the error rectangle.
At the moment our simplicistic approach does not have any knowledge of the topology. Therefore we cannot really test this rule.
EachRect:
PROC [r:
CD.Rect, l:
CD.Layer] = {
min: CD.Number ← CDSimpleRules.MinWidth [l];
max: CD.Number ← CDSimpleRules.MaxWidth [l];
a: CD.Number ← MAX [(r.x2 - r.x1), (r.y2 - r.y1)];
b: CD.Number ← MIN [(r.x2 - r.x1), (r.y2 - r.y1)]; -- a and b are such that a > b
IF (a < min)
OR (b < min)
OR (a > max)
OR (b > max)
THEN
BEGIN
<< Total Hack. Yuk. >>
The following is a cochonnerie to avoid flagging large split contacts that may occur in CMOS-B designs. The heuristics is there because of two reasons: a) I cannot know from which contact class the cut is coming, b) I do not want to put in here an even worse cochonnerie by introducing a dependency of SoS on technologies by importing a specific technology.
splitA: CD.Number = 3 * min; splitB: CD.Number = min; -- yuk, spit
Note that I am using an atom because many users hide the technology from SoS. If the splits are flagged then the atom in ChipNDale may have changed.
IF (CD.LayerKey[l] = $cut) AND (a = splitA) AND (b = splitB) THEN NULL -- mumble
ELSE MarkError [c, state, [r, Rope.Cat ["Width violation on layer ", Atom.GetPName [CD.LayerKey [l]], " (wire ", CoreOps.GetShortWireName[w], ")"]]]
END
};
EnumerateGeometry[state, w, EachRect];
END; -- WidthCheck
IsCut:
PROC [layer:
CD.Layer]
RETURNS [
BOOL] ~
INLINE
BEGIN
key: ATOM = CD.LayerKey[layer];
Note that I am using atoms because many users hide the technology from SoS. If violations from cuts arenot flagged then the atom in ChipNDale may have changed.
RETURN [key = $cut OR key = $cut2]
END;
The arguments of this function look very strange to me: I would expect, instead of loc1, orient1 to have a CoreGeometry.Transformation (which is now a CD.Instance). But anyway this will have to be fixed for CD24. [BS at October 26, 1986 10:29:05 pm PST]
MaterialSeparation:
PROC [cell: Core.CellType, state: State, w1, w2: Wire, loc1, loc2:
CD.Position, orient1, orient2:
CD.Orientation] ~
BEGIN
If two unrelated rectangles of material intersect, an error is flagged.
The parameter cell selects the cell receiving possible error messages. It must be the father of the cell containing w1 and the cell containing w2.
EachRect1:
PROC [r1:
CD.Rect, l1:
CD.Layer] = {
EachRect2:
PROC [r2:
CD.Rect, l2:
CD.Layer] = {
r, s: CD.Rect;
sep: CD.Number;
IF state.abort^ THEN ERROR ABORTED;
The order of the next two statements is very important.
IF w1 = w2 AND NOT (IsCut[l1] AND IsCut[l2]) THEN RETURN;
sep ← CDSimpleRules.MinDist [l1, l2 ! CDSimpleRules.NotKnown => sep ← 0];
IF sep = 0 THEN RETURN;
r2 ← CDBasics.MapRect [
r2,
CDBasics.SizeOfRect[r2], -- This parameter looks wrong to me [BS]
orient2,
loc2];
IF w1 = w2 AND l1 = l2 AND r1 = r2 THEN RETURN;
r ← CDBasics.Extend [r1, sep / 2]; s ← CDBasics.Extend [r2, sep / 2];
IF ((r.x1<s.x2)
AND (s.x1<r.x2)
AND (r.y1<s.y2)
AND (s.y1<r.y2))
THEN
BEGIN
rect1: Rope.ROPE = Rope.Cat [Atom.GetPName [CD.LayerKey [l1]], " (wire ", CoreOps.GetShortWireName[w1], ")"];
rect2: Rope.ROPE = Rope.Cat [Atom.GetPName [CD.LayerKey [l2]], " (wire ", CoreOps.GetShortWireName[w2], ")"];
Probe 2: Set a break point after this line to see why a wrong violation is flagged.
MarkError [cell, state, [CDBasics.Intersection[r,s], Rope.Cat["Separation violation between ", rect1, " and ", rect2]]];
END;
};
r1 ← CDBasics.MapRect [itemInCell: r1,
cellSize: CDBasics.SizeOfRect[r1], -- This parameter looks wrong to me [BS]
cellInstOrient: orient1,
cellInstPos: loc1];
EnumerateGeometry[state, w2, EachRect2];
};
IF state.abort^ THEN ERROR ABORTED;
We cannot skip the verification in the w1 = w2. In fact, in Core and Sinix, cuts are represented as material rectangles in wires. So to SoS two cuts violating the separation rule will alway look as two aequipotential rectangles.
IF CoreGeometry.GetGeometry[state.attributes, w1] = NIL THEN RETURN; -- Skip wires without geometry
IF CoreGeometry.GetGeometry[state.attributes, w2] = NIL THEN RETURN; -- Skip wires without geometry
IF NOT CDBasics.Intersect [CDBasics.Extend[AtomicWireHull[w1, state], state.maxSeparation], AtomicWireHull[w2, state]] THEN RETURN; -- or whose geometry is too far apart.
EnumerateGeometry[state, w1, EachRect1];
END; -- MaterialSeparation
MaterialToCellSeparation: MaterialToCellProc ~
BEGIN
[self: Core.CellType, state: State, actual, wire: Wire, father: Core.CellType, materialLoc, cellLoc: CD.Position, materialOrient, cellOrient: CD.Orientation]
For convenience.
Send:
PROC ~
INLINE
BEGIN
check: REF MaterialToCellProc ← NARROW [CoreProperties.GetProp [self.properties, matToCell]];
IF check = NIL THEN check ← NARROW [CoreProperties.GetProp [self.class.properties, matToCell]];
IF check =
NIL
THEN
BEGIN
obj: CD.Object = GetObject [self, state];
IF obj = NIL THEN RETURN; -- Cell contains no rectangles
check ← NEW [MaterialToCellProc ← MaterialToUnspecifiedSeparation];
MarkError [self, state, [obj.class.interestRect[obj], "Cell has no provisions to be checked"]]
END;
check^ [self, state, actual, wire, father, materialLoc, cellLoc, materialOrient, cellOrient]
END; -- Send
IF fast
THEN
SELECT self.class
FROM
CoreClasses.recordCellClass => MaterialToRecordCellSeparation [self, state, actual, wire, father, materialLoc, cellLoc, materialOrient, cellOrient];
CoreClasses.transistorCellClass => MaterialToTransistorSeparation [self, state, actual, wire, father, materialLoc, cellLoc, materialOrient, cellOrient];
CoreClasses.unspecifiedCellClass => MaterialToUnspecifiedSeparation [self, state, actual, wire, father, materialLoc, cellLoc, materialOrient, cellOrient];
ENDCASE => Send []
ELSE Send []
END; -- MaterialToCellSeparation
MaterialToTransistorSeparation: MaterialToCellProc ~
BEGIN
[self: Core.CellType, state: State, actual, wire: Wire, father: Core.CellType, materialLoc, cellLoc: CD.Position, materialOrient, cellOrient: CD.Orientation]
wbb, tbb: CD.Rect; -- bounding boxes
tw: Wire;
Intersect:
PROC
RETURNS [
BOOL] ~
INLINE
BEGIN
RETURN [CDBasics.Intersect [CDBasics.Extend[tbb,state.maxSeparation], wbb]]
END; -- Intersect
IF state.abort^ THEN ERROR ABORTED;
IF (CoreProperties.GetProp [self.properties, doNotAnalyse] # NIL) THEN RETURN;
Find the bounding box of wire and check whether it has a non-empty intersection with the internal wire of the cell.
wbb ← AtomicWireHull [wire, state];
wbb ← CDBasics.MapRect [itemInCell: wbb,
cellSize: CDBasics.SizeOfRect [wbb],
cellInstOrient: materialOrient,
cellInstPos: materialLoc];
tbb ← TransistorHull [self, state];
tbb ← CDBasics.MapRect [itemInCell: tbb,
cellSize: CDBasics.SizeOfRect [tbb],
cellInstOrient: cellOrient,
cellInstPos: cellLoc];
IF (NOT Intersect[]) THEN RETURN;
tw ← BindTransistor [self.public, actual, state];
Check each element of the transistor wire of the cell against each element of wire.
FOR i:
NAT
IN [0 .. tw.size)
DO
MaterialSeparation [state: state,
cell: father,
w1: tw[i],
w2: wire,
loc1: cellLoc,
loc2: materialLoc,
orient1: cellOrient,
orient2: materialOrient]
ENDLOOP
END; -- MaterialToTransistorSeparation
MaterialToUnspecifiedSeparation: MaterialToCellProc ~
BEGIN
[self: Core.CellType, state: State, actual, wire: Wire, father: Core.CellType, materialLoc, cellLoc: CD.Position, materialOrient, cellOrient: CD.Orientation]
NULL
END; -- MaterialToUnspecifiedSeparation
MaterialToRecordCellSeparation: MaterialToCellProc ~
BEGIN
[self: Core.CellType, state: State, actual, wire: Wire, father: Core.CellType, materialLoc, cellLoc: CD.Position, materialOrient, cellOrient: CD.Orientation]
wbb, cbb: CD.Rect; -- bounding boxes
boundInternal: Wire;
propagatedActuals: WireSet; -- one wire per subcell
bindingTable: RefTab.Ref;
cellData: CoreClasses.RecordCellType ← NARROW [self.data];
Intersect:
PROC
RETURNS [
BOOL] ~
INLINE
BEGIN
RETURN [CDBasics.Intersect [CDBasics.Extend[cbb,state.maxSeparation], wbb]]
END; -- Intersect
IF state.abort^ THEN ERROR ABORTED;
IF (CoreProperties.GetProp [self.properties, doNotAnalyse] # NIL) OR (cellData.internal.size = 0) THEN RETURN;
Find the bounding box of wire and check whether it has a non-empty intersection with the internal wire of the cell.
wbb ← AtomicWireHull [wire, state];
wbb ← CDBasics.MapRect [itemInCell: wbb,
cellSize: CDBasics.SizeOfRect [wbb],
cellInstOrient: materialOrient,
cellInstPos: materialLoc];
cbb ← RecordCellHull [self, state];
cbb ← CDBasics.MapRect [itemInCell: cbb,
cellSize: CDBasics.SizeOfRect [cbb],
cellInstOrient: cellOrient,
cellInstPos: cellLoc];
IF (NOT Intersect[]) THEN RETURN;
Check each element of the internal wire of the cell against each element of wire.
bindingTable ← CreateBindingTable [actual: actual, public: self.public];
boundInternal ← BindInternal [bindingTable, cellData.internal, state];
FOR i:
NAT
IN [0 .. boundInternal.size)
DO
MaterialSeparation [state: state,
cell: father,
w1: boundInternal[i],
w2: wire,
loc1: cellLoc,
loc2: materialLoc,
orient1: cellOrient,
orient2: materialOrient]
ENDLOOP;
The propagated actuals must be determined here once for all, because new actual wires will differ from call to call.
propagatedActuals ← NEW [WireSetRec[cellData.size]];
FOR sub:
NAT
IN [0 .. cellData.size)
DO
propagatedActuals[sub] ← PropagateBinding [state, bindingTable, cellData.instances[sub].actual]
ENDLOOP;
FlushBindingTable [bindingTable];
Check intersections between subcells of cell and wire.
FOR sub:
NAT
IN [0 .. cellData.size)
DO
cdInst: CD.Instance = CoreGeometry.GetTransf[state.attributes, cellData.instances[sub]];
IF (cdInst = NIL) THEN coreMess ["Core record subcell has no geometry (6)", cellData];
MaterialToCellSeparation [self: cellData.instances[sub].type,
state: state,
actual: propagatedActuals[sub],
wire: wire,
father: self,
materialLoc: materialLoc,
cellLoc: CDBasics.AddPoints [cellLoc, cdInst.trans.off],
materialOrient: materialOrient,
cellOrient: CDBasics.ComposeOrient [cellOrient, cdInst.orientation]]
ENDLOOP
END; -- MaterialToRecordCellSeparation
CellToCellSeparation: CellToCellProc ~
BEGIN
[self: Core.CellType, state: State, otherCell: Core.CellType, selfActual, otherActual: Wire, father: Core.CellType, selfLoc, otherLoc: CD.Position, selfOrient, otherOrient: CD.Orientation]
For convenience.
Send:
PROC ~
INLINE
BEGIN
check: REF CellToCellProc ← NARROW [CoreProperties.GetProp [self.properties, cellToCell]];
IF check = NIL THEN check ← NARROW [CoreProperties.GetProp [self.class.properties, cellToCell]];
IF check =
NIL
THEN
BEGIN
obj: CD.Object = GetObject [self, state];
IF obj = NIL THEN RETURN; -- Cell contains no rectangles
check ← NEW [CellToCellProc ← UnspecifiedToAnyClassSeparation];
MarkError [self, state, [obj.class.interestRect[obj], "Cell has no provisions to be checked"]]
END;
check^ [self, state, otherCell, selfActual, otherActual, father, selfLoc, otherLoc, selfOrient, otherOrient]
END; -- Send
SELECT otherCell.class
FROM
CoreClasses.unspecifiedCellClass => RETURN;
CoreClasses.recordCellClass => NULL; -- default case
CoreClasses.transistorCellClass =>
-- nasty case
IF self.class = CoreClasses.transistorCellClass
THEN
BEGIN
IF fast
THEN
TransistorToTransistorSeparation [self, state, otherCell, selfActual, otherActual, father, selfLoc, otherLoc, selfOrient, otherOrient]
ELSE Send [];
RETURN
END
ELSE
BEGIN
-- swap
selfZ: Core.CellType = self;
selfActualZ: Wire = selfActual;
selfLocZ: CD.Position = selfLoc;
selfOrientZ: CD.Orientation = selfOrient;
self ← otherCell; otherCell ← selfZ;
selfActual ← otherActual; otherActual ← selfActualZ;
selfLoc ← otherLoc; otherLoc ← selfLocZ;
selfOrient ← otherOrient; otherOrient ← selfOrientZ
END;
ENDCASE => ERROR;
IF fast
THEN
SELECT self.class
FROM
CoreClasses.recordCellClass => RecordCellToRecordCellSeparation [self, state, otherCell, selfActual, otherActual, father, selfLoc, otherLoc, selfOrient, otherOrient];
CoreClasses.transistorCellClass => TransistorToRecordCellSeparation [self, state, otherCell, selfActual, otherActual, father, selfLoc, otherLoc, selfOrient, otherOrient];
CoreClasses.unspecifiedCellClass => UnspecifiedToAnyClassSeparation [self, state, otherCell, selfActual, otherActual, father, selfLoc, otherLoc, selfOrient, otherOrient];
ENDCASE => Send []
ELSE Send []
END; -- CellToCellSeparation
TransistorToRecordCellSeparation: CellToCellProc ~
BEGIN
[self: Core.CellType, state: State, otherCell: Core.CellType, selfActual, otherActual: Wire, father: Core.CellType, selfLoc, otherLoc: CD.Position, selfOrient, otherOrient: CD.Orientation]
cbb1, cbb2: CD.Rect; -- bounding boxes
othersCellData: CoreClasses.RecordCellType ← NARROW [otherCell.data];
othersBindingTable: RefTab.Ref;
tw: Wire;
othersBoundInternal: Wire;
ownName: Rope.ROPE = CoreOps.GetCellTypeName [self];
otherName: Rope.ROPE = CoreOps.GetCellTypeName [otherCell];
Intersect:
PROC
RETURNS [
BOOL] ~
INLINE
BEGIN
RETURN [CDBasics.Intersect [CDBasics.Extend[cbb1,state.maxSeparation], cbb2]]
END; -- Intersect
Preamble.
IF state.abort^ THEN ERROR ABORTED;
IF (CoreProperties.GetProp [self.properties, doNotAnalyse]#NIL) OR (CoreProperties.GetProp [otherCell.properties, doNotAnalyse]#NIL) THEN RETURN;
IF debug
THEN
BEGIN
IO.PutF [stream: dLog,
format: "Checking transistor %l%g%l vs. %g. ",
v1: IO.rope ["e"],
v2: IF ownName = NIL THEN IO.refAny [self] ELSE IO.rope [ownName],
v3: IO.rope ["E"],
v4: IF otherName = NIL THEN IO.refAny [otherCell] ELSE IO.rope [otherName]];
IO.PutF [stream: dLog,
format: "Rel. trans.orient: %g, dist: (%g, %g).\n",
v1: IO.int [CDBasics.DecomposeOrient [otherOrient, selfOrient]],
v2: IO.int [(otherLoc.x - selfLoc.x) / previousTechnology.lambda],
v3: IO.int [(otherLoc.y - selfLoc.y) / previousTechnology.lambda]]
END;
cbb1 ← RecordCellHull [self, state];
cbb1 ← CDBasics.MapRect [itemInCell: cbb1,
cellSize: CDBasics.SizeOfRect [cbb1],
cellInstOrient: selfOrient,
cellInstPos: selfLoc];
cbb2 ← RecordCellHull [otherCell, state];
cbb2 ← CDBasics.MapRect [itemInCell: cbb2,
cellSize: CDBasics.SizeOfRect [cbb2],
cellInstOrient: otherOrient,
cellInstPos: otherLoc];
IF (NOT Intersect[]) THEN RETURN;
Check the separation between the internal of transistor and cell2.
IF state.abort^ THEN ERROR ABORTED;
othersBindingTable ← CreateBindingTable [actual: otherActual, public: otherCell.public];
othersBoundInternal ← BindInternal [othersBindingTable, othersCellData.internal, state];
tw ← BindTransistor [self.public, selfActual, state];
FlushBindingTable [othersBindingTable];
FOR i:
NAT
IN [0 .. tw.size)
DO
FOR j:
NAT
IN [0 .. othersCellData.internal.size)
DO
MaterialSeparation [state: state,
cell: father, -- the cell getting the error flag --
w1: tw[i],
w2: othersBoundInternal[j],
loc1: selfLoc,
loc2: otherLoc,
orient1: selfOrient,
orient2: otherOrient]
ENDLOOP
ENDLOOP
END; -- TransistorToRecordCellSeparation
TransistorToTransistorSeparation: CellToCellProc ~
BEGIN
[self: Core.CellType, state: State, otherCell: Core.CellType, selfActual, otherActual: Wire, father: Core.CellType, selfLoc, otherLoc: CD.Position, selfOrient, otherOrient: CD.Orientation]
cbb1, cbb2: CD.Rect; -- bounding boxes
tw1, tw2: Wire;
ownName: Rope.ROPE = CoreOps.GetCellTypeName [self];
otherName: Rope.ROPE = CoreOps.GetCellTypeName [otherCell];
Intersect:
PROC
RETURNS [
BOOL] ~
INLINE
BEGIN
RETURN [CDBasics.Intersect [CDBasics.Extend[cbb1,state.maxSeparation], cbb2]]
END; -- Intersect
Preamble.
IF state.abort^ THEN ERROR ABORTED;
IF (CoreProperties.GetProp [self.properties, doNotAnalyse]#NIL) OR (CoreProperties.GetProp [otherCell.properties, doNotAnalyse]#NIL) THEN RETURN;
cbb1 ← RecordCellHull [self, state];
cbb1 ← CDBasics.MapRect [itemInCell: cbb1,
cellSize: CDBasics.SizeOfRect [cbb1],
cellInstOrient: selfOrient,
cellInstPos: selfLoc];
cbb2 ← RecordCellHull [otherCell, state];
cbb2 ← CDBasics.MapRect [itemInCell: cbb2,
cellSize: CDBasics.SizeOfRect [cbb2],
cellInstOrient: otherOrient,
cellInstPos: otherLoc];
IF (NOT Intersect[]) THEN RETURN;
Check the separation between the internal of cell1 and cell2.
IF state.abort^ THEN ERROR ABORTED;
tw1 ← BindTransistor [self.public, selfActual, state];
tw2 ← BindTransistor [otherCell.public, otherActual, state];
FOR i:
NAT
IN [0 .. tw1.size)
DO
FOR j:
NAT
IN [0 .. tw2.size)
DO
MaterialSeparation [state: state,
cell: father, -- the cell getting the error flag --
w1: tw1[i],
w2: tw2[j],
loc1: selfLoc,
loc2: otherLoc,
orient1: selfOrient,
orient2: otherOrient]
ENDLOOP
ENDLOOP
END; -- TransistorToTransistorSeparation
UnspecifiedToAnyClassSeparation: CellToCellProc ~
BEGIN
[self: Core.CellType, state: State, otherCell: Core.CellType, selfActual, otherActual: Wire, father: Core.CellType, selfLoc, otherLoc: CD.Position, selfOrient, otherOrient: CD.Orientation]
NULL
END; -- UnspecifiedToAnyClassSeparation
RecordCellToRecordCellSeparation: CellToCellProc ~
BEGIN
[self: Core.CellType, state: State, otherCell: Core.CellType, selfActual, otherActual: Wire, father: Core.CellType, selfLoc, otherLoc: CD.Position, selfOrient, otherOrient: CD.Orientation]
cbb1, cbb2: CD.Rect; -- bounding boxes
ownCellData: CoreClasses.RecordCellType ← NARROW [self.data];
othersCellData: CoreClasses.RecordCellType ← NARROW [otherCell.data];
ownBindingTable, othersBindingTable: RefTab.Ref;
ownBoundInternal, othersBoundInternal: Wire;
ownName: Rope.ROPE = CoreOps.GetCellTypeName [self];
otherName: Rope.ROPE = CoreOps.GetCellTypeName [otherCell];
Intersect:
PROC
RETURNS [
BOOL] ~
INLINE
BEGIN
RETURN [CDBasics.Intersect [CDBasics.Extend[cbb1,state.maxSeparation], cbb2]]
END; -- Intersect
Preamble.
IF state.abort^ THEN ERROR ABORTED;
IF (CoreProperties.GetProp [self.properties, doNotAnalyse]#NIL) OR (CoreProperties.GetProp [otherCell.properties, doNotAnalyse]#NIL) THEN RETURN;
IF debug
THEN
BEGIN
IO.PutF [stream: dLog,
format: "Checking cell %l%g%l vs. %g. ",
v1: IO.rope ["e"],
v2: IF ownName = NIL THEN IO.refAny [self] ELSE IO.rope [ownName],
v3: IO.rope ["E"],
v4: IF otherName = NIL THEN IO.refAny [otherCell] ELSE IO.rope [otherName]];
IO.PutF [stream: dLog,
format: "Rel. trans.orient: %g, dist: (%g, %g).\n",
v1: IO.int [CDBasics.DecomposeOrient [otherOrient, selfOrient]],
v2: IO.int [(otherLoc.x - selfLoc.x) / previousTechnology.lambda],
v3: IO.int [(otherLoc.y - selfLoc.y) / previousTechnology.lambda]]
END;
cbb1 ← RecordCellHull [self, state];
cbb1 ← CDBasics.MapRect [itemInCell: cbb1,
cellSize: CDBasics.SizeOfRect [cbb1],
cellInstOrient: selfOrient,
cellInstPos: selfLoc];
cbb2 ← RecordCellHull [otherCell, state];
cbb2 ← CDBasics.MapRect [itemInCell: cbb2,
cellSize: CDBasics.SizeOfRect [cbb2],
cellInstOrient: otherOrient,
cellInstPos: otherLoc];
IF (NOT Intersect[]) THEN RETURN;
Check the separation between the internal of cell1 and cell2.
IF state.abort^ THEN ERROR ABORTED;
ownBindingTable ← CreateBindingTable [actual: selfActual, public: self.public];
othersBindingTable ← CreateBindingTable [actual: otherActual, public: otherCell.public];
ownBoundInternal ← BindInternal [ownBindingTable, ownCellData.internal, state];
othersBoundInternal ← BindInternal [othersBindingTable, othersCellData.internal, state];
FlushBindingTable [ownBindingTable]; FlushBindingTable [othersBindingTable];
FOR i:
NAT
IN [0 .. ownCellData.internal.size)
DO
FOR j:
NAT
IN [0 .. othersCellData.internal.size)
DO
MaterialSeparation [state: state,
cell: father, -- the cell getting the error flag --
w1: ownBoundInternal[i],
w2: othersBoundInternal[j],
loc1: selfLoc,
loc2: otherLoc,
orient1: selfOrient,
orient2: otherOrient]
ENDLOOP
ENDLOOP
END; -- RecordCellToRecordCellSeparation
ComputeMaxSeparation:
PROC [technology:
CD.Technology]
RETURNS [maxSeparation:
CD.Number] ~
BEGIN
Initialises the separation table. This is where the technology comes in !
maxSeparation ← 0;
FOR s1:
CD.Layer
IN
CD.Layer
DO
IF
CD.LayerTechnology[s1] = technology
THEN
FOR s2:
CD.Layer
IN
CD.Layer
DO
IF
CD.LayerTechnology[s2] = technology
THEN
BEGIN
sep: CD.Number = CDSimpleRules.MinDist [s1, s2 ! CDSimpleRules.NotKnown => LOOP]; -- try to filter out inappropriate layers
maxSeparation ← MAX [maxSeparation, sep]
END
ENDLOOP
ENDLOOP
END; -- ComputeMaxSeparation
RegisterSeparationProcs:
PROC ~
BEGIN
Called in the module initialisation part.
CoreClasses.recordCellClass.properties ← CoreProperties.PutProp [
on: CoreClasses.recordCellClass.properties,
prop: matToCell,
value: NEW [MaterialToCellProc ← MaterialToRecordCellSeparation]];
CoreClasses.transistorCellClass.properties ← CoreProperties.PutProp [CoreClasses.transistorCellClass.properties, matToCell, NEW [MaterialToCellProc ← MaterialToTransistorSeparation]];
CoreClasses.unspecifiedCellClass.properties ← CoreProperties.PutProp [CoreClasses.unspecifiedCellClass.properties, matToCell, NEW [MaterialToCellProc ← MaterialToUnspecifiedSeparation]];
CoreClasses.recordCellClass.properties ← CoreProperties.PutProp [
on: CoreClasses.recordCellClass.properties,
prop: cellToCell,
value: NEW [CellToCellProc ← RecordCellToRecordCellSeparation]];
CoreClasses.transistorCellClass.properties ← CoreProperties.PutProp [CoreClasses.transistorCellClass.properties, cellToCell, NEW [CellToCellProc ← TransistorToRecordCellSeparation]];
CoreClasses.unspecifiedCellClass.properties ← CoreProperties.PutProp [CoreClasses.unspecifiedCellClass.properties, cellToCell, NEW [CellToCellProc ← UnspecifiedToAnyClassSeparation]];
END; -- RegisterSeparationProcs