DIRECTORY
CD USING [InstanceList, InterestRect, Layer, Number, Position, Rect],
CDAtomicObjects USING [AtomicObsPtr, DrawList],
CDBasics USING [empty, Extend, highposition, minposition, NonEmpty, RectAt, ToRect],
CDOrient USING [MapPoint],
CDProperties USING [GetInstanceProp],
CDSimpleRules USING [MinDist, MinWidth],
CMosB USING [bur, cmosB, cut, cut2, lambda, met, met2, ndif, nwell, nwellCont, pdif, pol, pwell, pwellCont, wellSurround, wndif, wpdif],
IO USING [atom, char, int, Put, PutF, PutFR, PutRope, rope],
PropertyLists USING [GetProp, PutProp],
Rope USING [Cat, ROPE],
SX USING [AddBox, AddRect, AdjustNode, AttachedNode, BoxMapProc, CellPostProcessProc, Circuit, CircuitNode, CombineNodePropertyProc, Constraint, ConstraintArray, ConstraintIndex, ConstraintResolution, ConversionProc, CreateLinkage, FindRootNode, GeometricRule, IllegalConstruct, LinkageAttach, LookupNode, nodeIndex, NodeLinkage, spaceIndex, SpinifexLayerIndex, techCIndexBase, TechHandle, violateIndex],
SXAccess USING [invocation, sxTech],
SXAccessInternal USING [PutError],
SXAtoms USING [crystalAttr],
SXOutput USING [LinkageHousekeeper, LinkagePrintProc],
SXOutputPrivate USING [GetANaming, NameTransType, Naming, PrintNaming, PrintRoseInstantiationTransformation, UnNameTransType],
SXTechnology USING [ESWGrow, GetCircuitFromCDObject, NESGrow, PerDrawRectProc, RegisterSpinifexObjectProcs, RegisterTechnologyHandle, ResolutionTable, SetUpResolution, WNEGrow, WNGrow],
TerminalIO USING [WriteRope];
SXCMosBImpl: CEDAR PROGRAM
IMPORTS CD, CDBasics, CDOrient, CDProperties, CDSimpleRules, CMosB, IO, PropertyLists, Rope, SX, SXAccess, SXAccessInternal, SXAtoms, SXOutputPrivate, SXTechnology, TerminalIO
~ BEGIN
l: CD.Number ~ CMosB.lambda;
Nodes: TYPE = LIST OF REF SX.CircuitNode;
ConstraintArray: TYPE ~ SX.ConstraintArray;
CIndex: TYPE ~ SX.ConstraintIndex;
Constraint: TYPE ~ SX.Constraint;
ndifSpacing: CD.Number = CDSimpleRules.MinDist [CMosB.ndif, CMosB.ndif];	-- (3| l)
ndifWidth: CD.Number = CDSimpleRules.MinWidth [CMosB.ndif];
ndifUncSubtrContSpacing: CD.Number = CDSimpleRules.MinDist [CMosB.ndif, CMosB.pwellCont];
ndifInnWell: CD.Number = 0 * l;
ndifpSubstrCont: CD.Number = CDSimpleRules.MinDist [CMosB.ndif, CMosB.pwellCont];
pdifSpacing: CD.Number = CDSimpleRules.MinDist [CMosB.pdif, CMosB.pdif];	-- (3| l)
pdifWidth: CD.Number = CDSimpleRules.MinWidth [CMosB.pdif];
pdifUncnWellSpacing: CD.Number = CDSimpleRules.MinDist [CMosB.pdif, CMosB.nwellCont];
pdifnWellCont: CD.Number = 0 * l;
polSpacing: CD.Number = CDSimpleRules.MinDist [CMosB.pol, CMosB.pol];
polWidth: CD.Number = CDSimpleRules.MinWidth [CMosB.pol];
polUncDifSpacing: CD.Number = CDSimpleRules.MinDist [CMosB.pol, CMosB.ndif];
polDiffUncPolySpacing: CD.Number = CDSimpleRules.MinDist [CMosB.ndif, CMosB.pol];
polOverDiff: CD.Number = 0 * l;
metSeparation: CD.Number = CDSimpleRules.MinDist [CMosB.met, CMosB.met];
metWidth: CD.Number = CDSimpleRules.MinWidth [CMosB.met];
metCutCutSpacing: CD.Number = CDSimpleRules.MinDist [CMosB.cut, CMosB.cut];
metViaViaSpacing: CD.Number = CDSimpleRules.MinDist [CMosB.cut2, CMosB.cut2];
metCutViaSpacing: CD.Number = CDSimpleRules.MinDist [CMosB.cut, CMosB.cut2];
met2Separation: CD.Number = CDSimpleRules.MinDist [CMosB.met2, CMosB.met2];
met2Width: CD.Number = CDSimpleRules.MinWidth [CMosB.met2];
difSep: CD.Number = ndifSpacing / 2;	-- (3| l / 2)
wellSep: CD.Number = CDSimpleRules.MinDist [CMosB.nwell, CMosB.nwell];	-- (10 l)
wellWidth: CD.Number = CDSimpleRules.MinWidth [CMosB.nwell];		-- (12 l)
nDifToWell: CD.Number = CDSimpleRules.MinDist [CMosB.ndif, CMosB.nwell];	-- (5 l)
pDifToWell: CD.Number = CDSimpleRules.MinDist [CMosB.pdif, CMosB.pwell];	-- (5 l)
nDifTopDif: CD.Number = CDSimpleRules.MinDist [CMosB.ndif, CMosB.pdif];	-- (10 l)
pdifUncSubtrContSpacing: CD.Number = CDSimpleRules.MinDist [CMosB.pdif, CMosB.nwellCont];	-- (3| l)
nDifToSubtrCont: CD.Number = CDSimpleRules.MinDist [CMosB.ndif, CMosB.nwellCont];	-- (9 l)
pDifToSubtrCont: CD.Number = CDSimpleRules.MinDist [CMosB.pdif, CMosB.pwellCont];	-- (9 l)
nDifLayerSep: CD.Number = MAX [difSep, nDifToWell - difSep];
extensionLength: CD.Number = 3 * l;	-- source/drain extension [rule 6.3.18]
difToPolExtSep: CD.Number = 0;	-- polSpacing - extensionLength;
ndifSpinifex: SX.SpinifexLayerIndex ~ SX.SpinifexLayerIndex.FIRST;
pdifSpinifex: SX.SpinifexLayerIndex ~ ndifSpinifex.SUCC;
polSpinifex: SX.SpinifexLayerIndex ~ pdifSpinifex.SUCC;
metSpinifex: SX.SpinifexLayerIndex ~ polSpinifex.SUCC;
m2Spinifex: SX.SpinifexLayerIndex ~ metSpinifex.SUCC;
wellSpinifex: SX.SpinifexLayerIndex ~ m2Spinifex.SUCC;
ndCnstr: REF ConstraintArray _ NEW [ConstraintArray];
ndCh: CIndex ~ SX.techCIndexBase;	-- n-Diffusion channel
ndInWel: CIndex ~ ndCh.SUCC;	-- n-Diffusion in n-Well
ndWel: CIndex ~ ndInWel.SUCC;	-- Exclude n-Diffusion by n-Well
ndCnt: CIndex ~ ndWel.SUCC;	-- n-Diffusion contact here.
ndPWct: CIndex ~ ndCnt.SUCC;	-- p-Diffusion contact here.
ndPdErr: CIndex ~ ndPWct.SUCC;	-- n-Diffusion & p-Diffusion together => Error.
pdCnstr: REF ConstraintArray _ NEW [ConstraintArray];
pdCh: CIndex ~ SX.techCIndexBase;	-- p-Diffusion channel
pdNdErr: CIndex ~ pdCh.SUCC;	-- p-Diffusion & n-Diffusion together => Error.
pdCnt: CIndex ~ pdNdErr.SUCC;	-- p-Diffusion contact here.
pdNWct: CIndex ~ pdCnt.SUCC;	-- n-Diffusion contact here.
polCnstr: REF ConstraintArray _ NEW [ConstraintArray];
pExnD: CIndex ~ SX.techCIndexBase;	-- Poly not allowed here because of n-Diffusion.
pExpD: CIndex ~ pExnD.SUCC;	-- Poly not allowed here because of p-Diffusion.
pExNdCon: CIndex ~ pExpD.SUCC;	-- Poly not allowed here because of n-Diffusion Contact.
pExPdCon: CIndex ~ pExNdCon.SUCC;	-- Poly not allowed here because of p-Diffusion Contact.
pChE: CIndex ~ pExPdCon.SUCC;	-- Close to Xstr Gate, (Channel Edge).
pDxorP: CIndex ~ pChE.SUCC;	-- Diffusion XOR Poly allowed here.
pDandP: CIndex ~ pDxorP.SUCC;	-- Diffusion AND Poly may appear together here.
pDErr: CIndex ~ pDandP.SUCC;	-- Poly and Diffusion found together => Error.
metCnstr: REF ConstraintArray _ NEW [ConstraintArray];
mCut: CIndex ~ SX.techCIndexBase;	-- Cut from Metal to dif or pol (bloated).
mVia: CIndex ~ mCut.SUCC;	-- Via from Metal to Metal2 (bloated).
mVC: CIndex ~ mVia.SUCC; 	-- Via and Cut seperated by less than 2 lambda.
InitRules: PROCEDURE [cMosHandle: REF SX.TechHandle] ~ {
Rule: TYPE ~ SX.GeometricRule;
TrigMap: TYPE ~ PACKED ARRAY CIndex OF BOOLEAN _ ALL [FALSE];
spaceRuleTrig, widthRuleTrig, nDifWidRuleTrig, polOverDifTrig1, polDifSepTrig1, polDifSepTrig2, nDifSpaceTrig1A, nDifSpaceTrig1B, nDifSpaceTrig2, pDifSpaceTrig1A, pDifSpaceTrig1B, pDifSpaceTrig2A, pDifSpaceTrig2B, pDifWidTrig, polSpaceTrig, polWidTrig, nDifSepNWellTrig1, nDifSepNWellTrig2, nDifInWellDifTrig1, nDifAndPDifTrig1, pDifAndNDifTrig1, alwaysErrorTrig2, nDifChannelTrig, metViaViaTrig, metCutViaTrig, metCutCutTrig, metSpTrig, metWTrig: TrigMap; -- ALL[FALSE]
detectOpaqueViolation: REF Rule;
spaceRuleTrig[SX.nodeIndex] _ TRUE;
widthRuleTrig _ ALL[TRUE];
widthRuleTrig[SX.nodeIndex] _ FALSE;
nDifSpaceTrig1A[SX.nodeIndex] _ TRUE;
nDifSpaceTrig1A[ndCh] _ TRUE;
nDifSpaceTrig1A[ndCnt] _ TRUE;
nDifSpaceTrig1B[ndPWct] _ TRUE;
nDifSpaceTrig2[SX.nodeIndex] _ TRUE;
nDifSpaceTrig2[ndCh] _ FALSE;	-- there is no diff at channels
nDifSpaceTrig2[ndCnt] _ TRUE;
nDifSpaceTrig2[ndPWct] _ TRUE;
nDifChannelTrig[ndCh] _ TRUE;
nDifWidRuleTrig _ ALL[TRUE];
nDifWidRuleTrig[SX.nodeIndex] _ FALSE;
nDifWidRuleTrig[ndCnt] _ FALSE;
pDifSpaceTrig1A[SX.nodeIndex] _ TRUE;
pDifSpaceTrig1A[pdCh] _ TRUE;
pDifSpaceTrig1A[pdCnt] _ TRUE;
pDifSpaceTrig2A[SX.nodeIndex] _ TRUE;
pDifSpaceTrig2A[pdCh] _ FALSE;	-- there is no diff at channels
pDifSpaceTrig2A[pdCnt] _ TRUE;
pDifSpaceTrig2A[pdNWct] _ TRUE;
pDifSpaceTrig1B[pdNWct] _ TRUE;
pDifSpaceTrig2B[SX.nodeIndex] _ TRUE;
pDifSpaceTrig2B[pdCnt] _ TRUE;
pDifWidTrig  _ ALL[TRUE];
pDifWidTrig[SX.nodeIndex] _ FALSE;
pDifWidTrig[pdCnt] _ FALSE;
nDifSepNWellTrig1[SX.nodeIndex] _ TRUE;
nDifSepNWellTrig2[ndWel] _ TRUE;
polSpaceTrig[SX.nodeIndex] _ TRUE;
polSpaceTrig[pDandP] _ TRUE;
polWidTrig _ ALL[TRUE];
polWidTrig[SX.nodeIndex] _ FALSE;
polWidTrig[pDandP] _ FALSE;
polWidTrig[pDErr] _ FALSE;
polDifSepTrig1 [SX.nodeIndex] _ TRUE;
polDifSepTrig1 [pDandP] _ TRUE;
polDifSepTrig2 [pExnD] _ TRUE;
polDifSepTrig2 [pExpD] _ TRUE;
polDifSepTrig2 [pExNdCon] _ TRUE;
polDifSepTrig2 [pExPdCon] _ TRUE;
metSpTrig [SX.nodeIndex] _ TRUE;
metSpTrig [mCut] _ TRUE;
metSpTrig [mVia] _ TRUE;
metSpTrig [mVC] _ TRUE;
metWTrig _ ALL [TRUE];
metWTrig [SX.nodeIndex] _ FALSE;
metWTrig [mCut] _ FALSE;
metWTrig [mVia] _ FALSE;
metWTrig [mVC] _ FALSE;
polOverDifTrig1 [pDErr] _ TRUE;
nDifInWellDifTrig1 [ndInWel] _ TRUE;
nDifAndPDifTrig1 [ndPdErr] _ TRUE;
pDifAndNDifTrig1 [pdNdErr] _ TRUE;
metCutCutTrig [mCut] _ TRUE;
metCutViaTrig [mVC] _ TRUE;
metCutViaTrig [mVia] _ TRUE;
metViaViaTrig [mVia]  _ TRUE;
alwaysErrorTrig2 _ ALL[TRUE];
detectOpaqueViolation _ NEW[ Rule _ [ extent~ l, message~ "Opaque cell boundary violated", trigger1~ ALL[TRUE], trigger2~ ALL[TRUE]]];
detectOpaqueViolation.trigger1[SX.violateIndex] _ FALSE;
cMosHandle.rules [ndifSpinifex] _ LIST[
NEW [Rule _ [message~ "n-Diffusion spacing", extent~ ndifSpacing, okIfConnected~ TRUE, trigger1~ nDifSpaceTrig1A, trigger2~ nDifSpaceTrig2]],
NEW [Rule _ [message~ "n-Diffusion/unconnected p-substrate-contact spacing", extent~ ndifUncSubtrContSpacing, okIfConnected~ TRUE, trigger1~ nDifSpaceTrig1B, trigger2~ nDifSpaceTrig2]],
NEW [Rule _ [message~ "n-Diffusion width", extent~ ndifWidth, trigger1~ nDifWidRuleTrig, trigger2~ nDifWidRuleTrig]],
NEW [Rule _ [message~ "n-Diffusion/n-Well spacing", extent~ nDifToWell, trigger1~ nDifSepNWellTrig1, trigger2~ nDifSepNWellTrig2]],
NEW [Rule _ [message~ "n-Well/n-Diffusion spacing", extent~ nDifToWell, trigger1~ nDifSepNWellTrig2, trigger2~ nDifSepNWellTrig1]],
NEW [Rule _ [message~ "n-Diffusion in n-Well", extent~ ndifInnWell, trigger1~ nDifInWellDifTrig1, trigger2~ alwaysErrorTrig2]],
NEW [Rule _ [message~ "n-Diffusion and p-substrate-contact", extent~ ndifpSubstrCont, trigger1~ nDifAndPDifTrig1, trigger2~ alwaysErrorTrig2]],
detectOpaqueViolation
];
cMosHandle.rules [pdifSpinifex] _ LIST [
NEW [Rule _ [message~ "p-Diffusion spacing", extent~ pdifSpacing, okIfConnected~ TRUE, trigger1~ pDifSpaceTrig1A, trigger2~ pDifSpaceTrig2A]],
NEW [Rule _ [message~ "p-Diffusion/unconnected n-Well-contact spacing", extent~ pdifUncnWellSpacing, okIfConnected~ TRUE, trigger1~ pDifSpaceTrig1B, trigger2~ pDifSpaceTrig2B]],
NEW [Rule _ [message~ "p-Diffusion width", extent~ pdifWidth, trigger1~ pDifWidTrig, trigger2~ pDifWidTrig]],
NEW [Rule _ [message~ "p-Diffusion and n-Well-contact", extent~ pdifnWellCont, trigger1~ pDifAndNDifTrig1, trigger2~ alwaysErrorTrig2]],
detectOpaqueViolation
];
cMosHandle.rules [polSpinifex] _ LIST [
NEW [Rule _ [message~ "Poly spacing", extent~ polSpacing, okIfConnected~ TRUE, trigger1~ polSpaceTrig, trigger2~ polSpaceTrig]],
NEW [Rule _ [message~ "Poly width", extent~ polWidth, trigger1~ polWidTrig, trigger2~ polWidTrig]],
NEW [Rule _ [message~ "Poly/unconnected Diffusion spacing", extent~ polUncDifSpacing, okIfConnected~ TRUE,  trigger1~ polDifSepTrig1, trigger2~ polDifSepTrig2]],
NEW [Rule _ [message~ "Diffusion/unconnected Poly spacing", extent~ polDiffUncPolySpacing, okIfConnected~ TRUE,  trigger1~ polDifSepTrig2, trigger2~ polDifSepTrig1]],
NEW [Rule _ [message~ "Poly over Diffusion", extent~ polOverDiff, trigger1~ polOverDifTrig1, trigger2~ alwaysErrorTrig2]],
detectOpaqueViolation
];
cMosHandle.rules [metSpinifex] _ LIST [
NEW [Rule _ [message~ "Metal spacing", extent~ metSeparation, okIfConnected~ TRUE, trigger1~ metSpTrig, trigger2~ metSpTrig]],
NEW [Rule _ [message~ "Metal width", extent~ metWidth, trigger1~ metWTrig, trigger2~ metWTrig]],
NEW [Rule _ [message~ "Cut to Cut spacing", extent~ metCutCutSpacing, trigger1~ metCutCutTrig, trigger2~ metCutCutTrig]],
NEW [Rule _ [message~ "Via to Via spacing", extent~ metViaViaSpacing, trigger1~  metViaViaTrig, trigger2~ metViaViaTrig]],
NEW [Rule _ [message~ "Cut to Via spacing", extent~ metCutViaSpacing, trigger1~  metCutCutTrig, trigger2~ metCutViaTrig]],
detectOpaqueViolation
];
cMosHandle.rules [m2Spinifex] _ LIST[
NEW [Rule _ [message~ "Metal 2 spacing", extent~ met2Separation, okIfConnected~ TRUE, trigger1~ spaceRuleTrig, trigger2~ spaceRuleTrig]],
NEW [Rule _ [message~ "Metal 2 width", extent~ met2Width, trigger1~ widthRuleTrig, trigger2~ widthRuleTrig]],
detectOpaqueViolation
];
cMosHandle.rules [wellSpinifex] _ LIST[
NEW [Rule _ [message~ "Well spacing", extent~ wellSep, okIfConnected~ TRUE, trigger1~ spaceRuleTrig, trigger2~ spaceRuleTrig]],
NEW [Rule _ [message~ "Well width", extent~ wellWidth, trigger1~ widthRuleTrig, trigger2~ widthRuleTrig]],
detectOpaqueViolation
];
};
MapMaterial: SXTechnology.PerDrawRectProc ~ {
cir: REF SX.Circuit ~ NARROW [data, REF SX.Circuit];
SELECT l FROM
CMosB.ndif, CMosB.pdif => RETURN [diffusion];
CMosB.pol => RETURN [polysilicon];
CMosB.nwell => {
wellNode: REF SX.CircuitNode _ cir.AddRect [lev~ CMosB.nwell, dim~ r];
wellNode.properties _ PropertyLists.PutProp [wellNode.properties, wellNode, wellNode];
RETURN [nothing];
};
ENDCASE => RETURN [nothing];
};	-- MapMaterial
ConvTransistor: PUBLIC SX.ConversionProc =
BEGIN
transistor: REF SX.NodeLinkage;
gateNode, sourceNode, drainNode, wellNode: REF SX.CircuitNode;
tClass: ATOM = inst.ob.class.objectType;
isNType: BOOL = (inst.ob.layer = CMosB.ndif);
isNWell: BOOL;
difSXLayer: SX.SpinifexLayerIndex;
difChannel, exclPol: REF SX.Constraint;
sep: CD.Number = CDSimpleRules.MinDist [CMosB.ndif, CMosB.pol];
extSep: CD.Number = difToPolExtSep;
rect, wellRect: CD.Rect;
polList, difList, chList, difListSouth: LIST OF CD.Rect _ NIL;
length, width, extL, extW: CD.Number;
gateA, gateP, sourceA, sourceP, drainA, drainP: INT; -- ignore perimeter leading into channel
errorRect: CD.Rect = CD.InterestRect [inst.ob];
IF isNType THEN
{difSXLayer _ ndifSpinifex; difChannel _ ndCnstr[ndCh]; exclPol _ polCnstr[pExnD]}
ELSE
{difSXLayer _ pdifSpinifex; difChannel _ pdCnstr[pdCh]; exclPol _ polCnstr[pExpD]};
wellRect _ CDBasics.empty;
IF ISTYPE [inst.ob.specificRef, CDAtomicObjects.AtomicObsPtr] THEN
FOR geom: CDAtomicObjects.DrawList _ NARROW [inst.ob.specificRef, CDAtomicObjects.AtomicObsPtr].rList, geom.rest WHILE geom # NIL DO
SELECT geom.first.lev FROM
CMosB.pol => polList _ CONS [geom.first.r, polList];
CMosB.ndif, CMosB.pdif => difList _ CONS [geom.first.r, difList];
CMosB.nwell, CMosB.pwell => {wellRect _ geom.first.r; isNWell _ (geom.first.lev = CMosB.nwell)};
ENDCASE => ERROR SX.IllegalConstruct [geom.first.r, "Unknown transistor geometry"];
ENDLOOP
ELSE ERROR SX.IllegalConstruct [errorRect, "Replace this old Chipmonk transistor"];
SELECT tClass FROM
$C2Trans, $C2WellTrans =>	-- straight transistors
BEGIN
difRect, polRect, chRect, difExtRectNorth, difExtRectSouth: CD.Rect;
difRect _ difList.first; polRect _ polList.first;
chRect _ [difRect.x1, polRect.y1, difRect.x2, polRect.y2];
difExtRectNorth _ difExtRectSouth _ difRect;
difExtRectNorth.y1 _ polRect.y2; difExtRectSouth. y2 _ polRect.y1;
length _ polRect.y2 - polRect.y1; width _ difRect.x2 - difRect.x1;
extL _ polRect.y1 - difRect.y1; extW _ difRect.x1 - polRect.x1;
gateA _ (width + 2*extW) * length;  gateP _ (width + 2*extW + length) * 2;
sourceA _ drainA _ extL * width;  sourceP _ drainP _ 2 * extL + width;
IF (extL < extensionLength) THEN
ERROR SX.IllegalConstruct [errorRect, "Extension length too small"];
gateNode _ SX.AddRect [cir: cir, lev: CMosB.pol, dim: polRect, inst: inst, pos: pos, orient: orient];
IF extL > sep THEN	-- Add rectangles for poly exclusion over extensions
BEGIN
rect _ difExtRectNorth;
rect.y1 _ difExtRectNorth.y1 + sep;	rect.y2 _ difExtRectNorth.y1 + polSpacing;
[] _ SX.AddBox [cir, polSpinifex, rect, inst, pos, orient, SXTechnology.WNEGrow [extSep], exclPol];
rect _ difExtRectSouth;
rect.y2 _ difExtRectSouth.y2 - sep;	rect.y1 _ difExtRectSouth.y2 - polSpacing;
[] _ SX.AddBox [cir, polSpinifex, rect, inst, pos, orient, SXTechnology.ESWGrow [extSep], exclPol];
END;
rect _ difExtRectNorth; rect.y2 _ rect.y1 + sep;
[] _ SX.AddBox [cir: cir, spinifexLayer: polSpinifex, dim: rect, inst: inst, pos: pos, orient: orient, value: polCnstr[pChE]];
rect _ difExtRectSouth; rect.y1 _ rect.y2 - sep;
[] _ SX.AddBox [cir: cir, spinifexLayer: polSpinifex, dim: rect, inst: inst, pos: pos, orient: orient, value: polCnstr[pChE]];
[] _ SX.AddBox [cir: cir, spinifexLayer: difSXLayer,
dim: chRect, inst: inst, pos: pos, orient: orient,
interestBloat: [dx1: (CDSimpleRules.MinDist[CMosB.ndif, CMosB.ndif]/2), dy1: 0, dx2: (CDSimpleRules.MinDist[CMosB.ndif, CMosB.ndif]/2), dy2: 0],
value: difChannel];
sourceNode _ SX.AddBox[cir: cir, spinifexLayer: difSXLayer,
dim: difExtRectNorth, inst: inst, pos: pos, orient: orient,
interestBloat: SXTechnology.WNEGrow[(CDSimpleRules.MinDist[CMosB.ndif, CMosB.ndif]/2)]];
drainNode _ SX.AddBox[cir: cir, spinifexLayer: difSXLayer,
dim: difExtRectSouth, inst: inst, pos: pos, orient: orient,
interestBloat: SXTechnology.ESWGrow[(CDSimpleRules.MinDist[CMosB.ndif, CMosB.ndif]/2)]];
IF tClass = $C2WellTrans THEN
BEGIN
l: CD.Layer = IF isNWell THEN CMosB.nwell ELSE CMosB.pwell;
IF NOT CDBasics.NonEmpty[wellRect] THEN ERROR SX.IllegalConstruct [errorRect, "Well transistor must have a well"];
wellNode _ SX.AddRect [cir: cir, lev: l, dim: wellRect, inst: inst, pos: pos, orient: orient];
wellNode.properties _ PropertyLists.PutProp [propList: wellNode.properties, prop: wellNode, val: wellNode];
END;
END;	-- case $CTrans
$C2LTrans, $C2LWellTrans =>	-- angle transistors
BEGIN
diffNE: CD.Position _ CDBasics.minposition;
diffSW, polSW: CD.Position _ CDBasics.highposition;
polHor, polVert: CD.Rect;
IF ((polList.first.y2-polList.first.y1) < (polList.rest.first.y2-polList.rest.first.y1)) THEN
{polHor _ polList.first; polVert _ polList.rest.first}
ELSE {polHor _ polList.rest.first; polVert _ polList.first};
FOR diff: LIST OF CD.Rect _ difList, diff.rest WHILE diff # NIL DO
IF (diff.first.x1 <= diffSW.x) AND (diff.first.y1 <= diffSW.y) THEN
diffSW _ [diff.first.x1, diff.first.y1];
IF (diff.first.x2 >= diffNE.x) AND (diff.first.y2 >= diffNE.y) THEN
diffNE _ [diff.first.x2, diff.first.y2];
ENDLOOP;
polSW _ [polHor.x1, polHor.y1];
extW _ diffSW.x - polSW.x;
extL _ polSW.y - diffSW.y;
length _ polHor.y2 - polHor.y1;
width _ ((polHor.x2 - polHor.x1) - extW) + ((polVert.y2 - polVert.y1) - extW) - (length*3/2);
gateA _ ((width+length/2) + 2*extW) * length;
gateP _ ((polHor.x2 - polHor.x1) + (polVert.y2 - polVert.y1)) * 2;
sourceA _ ((diffNE.x - diffSW.x)  + (diffNE.y - diffSW.y - extL)) * extL;
sourceP _ 2 * extL + (diffNE.x - diffSW.x)  + (diffNE.y - diffSW.y);
drainP _ diffNE.x + diffNE.y - diffSW.x - diffSW.y - 2 * (extL + length);
drainA _ drainP * extL;
IF (extL < extensionLength) THEN
ERROR SX.IllegalConstruct [errorRect, "Extension length too small"];
gateNode _ SX.AddRect [cir: cir, lev: CMosB.pol, dim: polHor, inst: inst, pos: pos, orient: orient];
[] _ SX.AddRect [cir: cir, lev: CMosB.pol, dim: polVert, inst: inst, pos: pos, orient: orient, value: gateNode];
IF extL > sep THEN BEGIN  -- Add rectangles for poly exclusion over extensions
d1: CD.Number _ extL + length + sep;
d2: CD.Number _ extL + polSpacing;
rect _ [x1: diffSW.x, y1: diffSW.y+d1, x2: diffNE.x-d1, y2: diffSW.y+length+d2];
[] _ SX.AddBox [cir, polSpinifex, rect, inst, pos, orient, SXTechnology.WNGrow [extSep], exclPol];
rect _ [x1: diffNE.x-length-d2, y1: diffSW.y+d1, x2: diffNE.x-d1, y2: diffNE.y];
[] _ SX.AddBox [cir, polSpinifex, rect, inst, pos, orient, SXTechnology.WNGrow [extSep], exclPol];
d1 _ extL - sep;	d2 _ extL - polSpacing;
rect _ [x1: diffSW.x, y1: diffSW.y+d2, x2: diffNE.x-d2, y2: diffSW.y+d1];
[] _ SX.AddBox [cir, polSpinifex, rect, inst, pos, orient, SXTechnology.ESWGrow [extSep], exclPol];
rect _ [x1: diffNE.x-d1, y1: diffSW.y, x2: diffNE.x-d2, y2: diffNE.y];
[] _ SX.AddBox [cir, polSpinifex, rect, inst, pos, orient, SXTechnology.NESGrow [extSep], exclPol]
END;	-- poly excl
BEGIN
d: CD.Number _ extL + length + sep;
rect _ [x1: diffSW.x, y1: diffSW.y+extL+length, x2: diffNE.x-extL-length, y2: diffSW.y+d];
[] _ SX.AddBox [cir: cir, spinifexLayer: polSpinifex, dim: rect, inst: inst, pos: pos, orient: orient, value: polCnstr[pChE]];	-- North
rect _ [x1: diffNE.x-d, y1: diffSW.y+extL+length, x2: diffNE.x-extL-length, y2: diffNE.y];
[] _ SX.AddBox [cir: cir, spinifexLayer: polSpinifex, dim: rect, inst: inst, pos: pos, orient: orient, value: polCnstr[pChE]];	-- West
d _ extL - sep;
rect _ [x1: diffSW.x, y1: diffSW.y+d, x2: diffNE.x-d, y2: diffSW.y+extL];
[] _ SX.AddBox [cir: cir, spinifexLayer: polSpinifex, dim: rect, inst: inst, pos: pos, orient: orient, value: polCnstr[pChE]];	-- South
rect _ [x1: diffNE.x-extL, y1: diffSW.y+d, x2: diffNE.x-d, y2: diffNE.y];
[] _ SX.AddBox [cir: cir, spinifexLayer: polSpinifex, dim: rect, inst: inst, pos: pos, orient: orient, value: polCnstr[pChE]]	-- East
END;	-- ch lead-in
rect _ polHor; rect.x1 _ rect.x1 + extW;
[] _ SX.AddBox [cir: cir, spinifexLayer: difSXLayer,
dim: rect, inst: inst, pos: pos, orient: orient,
interestBloat: [dx1: (CDSimpleRules.MinDist[CMosB.ndif, CMosB.ndif]/2), dy1: 0, dx2: 0, dy2: 0],
value: difChannel];
rect _ polVert; rect.y2 _ rect.y2 - extW;
[] _ SX.AddBox [cir: cir, spinifexLayer: difSXLayer,
dim: rect, inst: inst, pos: pos, orient: orient,
interestBloat: [dx1: 0, dy1: 0, dx2: 0, dy2: (CDSimpleRules.MinDist[CMosB.ndif, CMosB.ndif]/2)],
value: difChannel];
rect _ [x1: diffSW.x, y1: diffSW.y+extL+length, x2: diffNE.x-extL-length, y2: diffSW.y+2*extL+length];
sourceNode _ SX.AddBox [cir: cir, spinifexLayer: difSXLayer,
dim: rect, inst: inst, pos: pos, orient: orient,
interestBloat: SXTechnology.WNGrow[(CDSimpleRules.MinDist[CMosB.ndif, CMosB.ndif]/2)]];
IF difList.rest # NIL THEN	-- supposed source is concave
BEGIN
rect _ [x1: diffNE.x-length-2*extL, y1: rect.y1, x2: rect.x2, y2: diffNE.y];
[] _ SX.AddBox [cir: cir, spinifexLayer: difSXLayer,
dim: rect, inst: inst, pos: pos, orient: orient,
interestBloat: SXTechnology.WNGrow[(CDSimpleRules.MinDist[CMosB.ndif, CMosB.ndif]/2)],
value: sourceNode]
END;
rect _ [x1: diffSW.x, y1: diffSW.y, x2: diffNE.x, y2: diffSW.x+extL];
drainNode _ SX.AddBox[cir: cir, spinifexLayer: difSXLayer,
dim: rect, inst: inst, pos: pos, orient: orient,
interestBloat: SXTechnology.ESWGrow[(CDSimpleRules.MinDist[CMosB.ndif, CMosB.ndif]/2)]];
rect _ [x1: diffNE.x-extL, y1: rect.y2, x2: diffNE.x, y2: diffNE.y];
[] _ SX.AddBox[cir: cir, spinifexLayer: difSXLayer,
dim: rect, inst: inst, pos: pos, orient: orient,
interestBloat: SXTechnology.NESGrow[(CDSimpleRules.MinDist[CMosB.ndif, CMosB.ndif]/2)],
value: drainNode];
IF tClass = $C2LWellTrans THEN
BEGIN
l: CD.Layer = IF isNWell THEN CMosB.nwell ELSE CMosB.pwell;
IF NOT CDBasics.NonEmpty[wellRect] THEN ERROR SX.IllegalConstruct [errorRect, "Well transistor must have a well"];
wellNode _ SX.AddRect [cir: cir, lev: l, dim: wellRect, inst: inst, pos: pos, orient: orient];
wellNode.properties _ PropertyLists.PutProp [propList: wellNode.properties, prop: wellNode, val: wellNode];
END;
END;	-- case $C2LTrans, $C2LWellTrans
$CLWellTrans => ERROR SX.IllegalConstruct [errorRect, "Antique transistor class $CLWellTrans is illegal"];
ENDCASE => ERROR SX.IllegalConstruct [errorRect, "Unknown or antique transistor class"];
transistor _ SX.CreateLinkage [cir, inst, length, width];
SX.AdjustNode [node: gateNode, layer: polSpinifex, area: gateA, perim: gateP, mode: absolute];
SX.AdjustNode [sourceNode, difSXLayer, sourceA, sourceP, absolute];
SX.AdjustNode [drainNode, difSXLayer, drainA, drainP, absolute];
SX.LinkageAttach [link: transistor, attachType: $Gate, node: gateNode];
SX.LinkageAttach [link: transistor, attachType: $Source, node: sourceNode];
SX.LinkageAttach [link: transistor, attachType: $Drain, node: drainNode]
END;	-- ConvTransistor
RoseTransistor: PUBLIC SXOutput.LinkagePrintProc ~ {
PrintAttachment: PROCEDURE  [key: ATOM, portName: Rope.ROPE] ~ {
cellStream.Put [IO.rope[" (\""], IO.rope[portName], IO.rope["\" "]];
FOR attachments: LIST OF REF SX.AttachedNode _ linkage.nodes, attachments.rest WHILE attachments # NIL DO
IF attachments.first.attachmentType = key THEN {
PrintNode[cellStream, attachments.first.node];
cellStream.PutRope[")"];
RETURN
}
ENDLOOP;
cellStream.PutRope ["\"?\")"];
};	-- PrintAttachment
naming: SXOutputPrivate.Naming _ SXOutputPrivate.GetANaming [linkage.source];
cellStream.PutRope["(CI "];
SXOutputPrivate.PrintNaming[
cellStream,
naming,
Rope.Cat[" \"", SXOutputPrivate.NameTransType[
desWDir: desWDir,
obj: linkage.source.ob,
dfStream: dfStream,
type: SELECT linkage.source.ob.layer FROM
CMosB.ndif, CMosB.wndif => $n,
CMosB.pdif, CMosB.wpdif => $p,
ENDCASE => $funny,
mode: $E,
length: linkage.l,
width: linkage.w], "\""]
];
SXOutputPrivate.PrintRoseInstantiationTransformation[cellStream, linkage.source];
cellStream.PutRope [" (CIC"];
PrintAttachment [$Gate, "gate"];
PrintAttachment [$Source, "ch1"];
PrintAttachment [$Drain, "ch2"];
cellStream.PutRope ["))"]
};	-- RoseTransistor
ThymeTransistor: PUBLIC SXOutput.LinkagePrintProc ~ {
PrintAttachment: PROCEDURE  [key: ATOM] ~ {
FOR attachments: LIST OF REF SX.AttachedNode _ linkage.nodes, attachments.rest WHILE attachments # NIL DO
IF attachments.first.attachmentType = key THEN {
PrintNode[cellStream, attachments.first.node];
RETURN
}
ENDLOOP;
cellStream.Put [IO.char['?]];
};	-- PrintAttachment
defaultL: INTEGER = 2*l;
propertyValue: REF;
cellStream.Put [IO.rope[name], IO.rope[": "]];
cellStream.PutRope [SELECT linkage.source.ob.layer FROM
CMosB.ndif, CMosB.wndif => "ETran[",
CMosB.pdif, CMosB.wpdif => "CTran[",
ENDCASE => "FunnyTran["
];
PrintAttachment [$Gate];
cellStream.Put [IO.char[',]];
PrintAttachment [$Source];
cellStream.Put [IO.char[',]];
PrintAttachment [$Drain];
cellStream.Put [IO.char['|]];
cellStream.PutF[" W_N*%g", IO.int[linkage.w/l]];
IF linkage.l # defaultL THEN cellStream.PutF[", L_%g", IO.int[linkage.l/l]];
propertyValue _ CDProperties.GetInstanceProp [from: linkage.source, prop: SXAtoms.crystalAttr];
WITH propertyValue SELECT FROM
crystalHack: Rope.ROPE => IO.Put [stream: cellStream, v1: IO.rope["; "], v2: IO.rope[crystalHack]];
ENDCASE => IF propertyValue # NIL THEN TerminalIO.WriteRope [" $Crystal property must be a rope./n"];
cellStream.PutRope ["];"]
};	-- ThymeTransistor
wellConnection: ATOM ~ $SXCMosBWellConnection;
wellNode: ATOM ~ $SXCMosBNWellNode;
maxContSize: CD.Number ~ 5 * l;
splitContWidth: CD.Number ~ 2 * l;
splitContHeight: CD.Number ~ 6 * l;
ConvertPDifRect: PUBLIC SX.ConversionProc = BEGIN
wellNode: REF SX.CircuitNode;
nWellBox: CD.Rect _ CDBasics.RectAt[pos~[0,0], size~inst.ob.size];
pDifBox: CD.Rect _ CDBasics.Extend[nWellBox, -CMosB.wellSurround];
IF ~CDBasics.NonEmpty[pDifBox] THEN
BEGIN
TerminalIO.WriteRope [" this cell contains a w-pDif object whose pDif rectangle is empty\n"];
ERROR
END;
[] _ cir.AddRect [lev~CMosB.pdif, dim~pDifBox, inst~inst, pos~ pos, orient~ orient];
wellNode _ cir.AddRect [lev~CMosB.nwell, dim~nWellBox, inst~inst, pos~ pos, orient~ orient];
wellNode.properties _ PropertyLists.PutProp [wellNode.properties, wellNode, wellNode];
END;	-- ConvertPDifRect
ConvertContact: PUBLIC SX.ConversionProc = BEGIN
Size: PROC [r: CD.Rect] RETURNS [s: CD.Position] ~ INLINE BEGIN
s.x _ (r.x2 - r.x1);	s.y _ (r.y2 - r.y1)
END;	-- Size
classKey: ATOM = inst.ob.class.objectType;
r: CD.Rect = CD.InterestRect [inst.ob];
node: REF SX.CircuitNode _ NIL;
size: CD.Position;
sizeExceeded: BOOL _ FALSE;
SELECT classKey FROM
$C2SimpleCon, $C2WellSimpleCon, $C2LargeSimpleCon, $C2LargeWellSimpleCon, $C2DifShortCon, $C2WellDifShortCon, $C2Via, $C2LargeVia =>
FOR geom: CDAtomicObjects.DrawList _ NARROW [inst.ob.specificRef, CDAtomicObjects.AtomicObsPtr].rList, geom.rest WHILE geom # NIL DO
SELECT geom.first.lev FROM
CMosB.ndif, CMosB.pdif => {
node _ SX.AddRect[cir: cir, lev: geom.first.lev, dim: geom.first.r, inst: inst, pos: pos, orient: orient, value: node];
[] _ SX.AddBox[cir: cir, spinifexLayer: polSpinifex, dim: geom.first.r, inst: inst, pos: pos, orient: orient, value: polCnstr[(IF geom.first.lev = CMosB.ndif THEN pExNdCon ELSE pExPdCon)]];
};
CMosB.nwell, CMosB.pwell => {
bridge: REF SX.CircuitNode _ IF (classKey=$C2WellDifShortCon) THEN node ELSE NIL;
wellNode: REF SX.CircuitNode _ SX.AddRect [cir: cir, lev: geom.first.lev, dim: geom.first.r, inst: inst, pos:  pos, orient:  orient, value: bridge];
wellNode.properties _ PropertyLists.PutProp [wellNode.properties, wellNode, wellNode];
};
CMosB.nwellCont, CMosB.pwellCont => {
node _ SX.AddRect[cir: cir, lev: geom.first.lev, dim: geom.first.r, inst: inst, pos: pos, orient: orient, value: node];
[] _ SX.AddBox[cir: cir, spinifexLayer: polSpinifex, dim: geom.first.r, inst: inst, pos: pos, orient: orient, value: polCnstr[(IF geom.first.lev = CMosB.nwellCont THEN pExNdCon ELSE pExPdCon)]];
};
CMosB.met, CMosB.met2, CMosB.pol =>
node _ SX.AddRect[cir: cir, lev: geom.first.lev, dim: geom.first.r, inst: inst, pos: pos, orient: orient, value: node];
CMosB.cut => {	-- all but vias
[] _ SX.AddBox[cir: cir, spinifexLayer: metSpinifex, dim: geom.first.r, inst: inst, pos: pos, orient: orient, value: metCnstr[mCut]];
size _ Size [geom.first.r];
SELECT classKey FROM
$C2DifShortCon, $C2WellDifShortCon =>
sizeExceeded _ sizeExceeded OR ((MIN[size.x, size.y]#splitContWidth) OR (MAX[size.x, size.y]#splitContHeight));
ENDCASE => sizeExceeded _ sizeExceeded OR (size.x>maxContSize OR size.y>maxContSize)};
CMosB.cut2 => {	-- vias
[] _ SX.AddBox[cir: cir, spinifexLayer: metSpinifex, dim: geom.first.r, inst: inst, pos: pos, orient: orient, value: metCnstr[mVia]];
size _ Size [geom.first.r];
sizeExceeded _ sizeExceeded OR (size.x>maxContSize OR size.y>maxContSize)};
ENDCASE => ERROR SX.IllegalConstruct [geom.first.r, "Unknown simple contact geometry"];
ENDLOOP
ENDCASE => SX.IllegalConstruct [r, "Unknown CMos-B contact type"];
IF sizeExceeded THEN SX.IllegalConstruct [r, "Maximum contact size exceeded"]
END;	-- ConvertContact
PointRect: PROC [p: CD.Position] RETURNS [r: CD.Rect] = BEGIN
r _ CDBasics.Extend [CDBasics.ToRect[p, p], l] 
END;	-- PointRect
CopyWellConnections: PUBLIC SX.CombineNodePropertyProc ~ BEGIN
fromConnections: Nodes
_ NARROW [PropertyLists.GetProp [propList: from, prop: wellConnection]];
toConnections: Nodes
_ NARROW [PropertyLists.GetProp [propList: to, prop: wellConnection]];
FOR fl: Nodes _ fromConnections, fl.rest WHILE fl # NIL DO
fromNode: REF SX.CircuitNode;
IF fromNesting = NIL THEN fromNode _ fl.first
ELSE	-- Side effect !!!  May add fl.first to subcircuits ports.
fromNode _ SX.FindRootNode [circuit: circuit,
subcircuitNode: fl.first,
qualifier: fromNesting,
insertIfNotInCircuit: TRUE].node;
FOR tl: Nodes _ toConnections, tl.rest WHILE tl # NIL DO
IF SX.LookupNode [l: fromNode] = SX.LookupNode [l: tl.first] THEN EXIT;
REPEAT FINISHED =>
toConnections _ CONS [fromNode, toConnections]
ENDLOOP
ENDLOOP;
IF toConnections # NIL THEN
to _ PropertyLists.PutProp [propList: to, prop: wellConnection, val: toConnections];
IF (PropertyLists.GetProp [propList: from, prop: wellNode] # NIL)
AND (PropertyLists.GetProp [propList: to, prop: wellNode] = NIL) THEN
to _ PropertyLists.PutProp [propList: to, prop: wellNode, val: wellNode];
RETURN [to]
END;	-- CopyWellConnections
CheckWellConnections: PUBLIC SX.CellPostProcessProc = BEGIN
isRoot: BOOL _ (cell.rootOnInvocation = SXAccess.invocation);
hasNode, hasConnection, hasRoot: BOOL;
wellConnects: Nodes;
FOR scl: CD.InstanceList _ cell.circuit.subcircuits, scl.rest WHILE scl # NIL DO
subcir: REF SX.Circuit ~ SXTechnology.GetCircuitFromCDObject [cdOb: scl.first.ob];
FOR nl: Nodes _ subcir.nodes, nl.rest WHILE nl # NIL DO
hasNode _ (PropertyLists.GetProp
[propList: nl.first.properties, prop: wellNode] # NIL);
hasConnection _ (PropertyLists.GetProp
[propList: nl.first.properties, prop: wellConnection] # NIL);
IF hasNode AND ~ hasConnection THEN {
hasRoot _ (SX.FindRootNode [circuit: cell.circuit, subcircuitNode: nl.first, qualifier: LIST[scl.first]].rootQualifier # NIL);
IF hasRoot THEN {
eLoc: CD.Position = CDOrient.MapPoint [pointInCell: nl.first.loc.xy,
cellSize: scl.first.ob.size,
cellInstOrient: scl.first.orientation,
cellInstPos: scl.first.location];
SXAccessInternal.PutError [ob: cell.cellObj,
r: PointRect[eLoc],
message: "floating n-well in subcell"];
}
}	-- if has unconnected node
ENDLOOP	-- for all nodes
ENDLOOP;	-- for all cells
FOR nl: Nodes _ cell.circuit.nodes, nl.rest WHILE nl # NIL DO
hasNode _ (PropertyLists.GetProp[propList: nl.first.properties, prop: wellNode] # NIL);
IF hasNode THEN {
wellConnects _ NARROW [PropertyLists.GetProp [propList: nl.first.properties, prop: wellConnection]];
FOR wl: Nodes _ wellConnects, wl.rest WHILE wl # NIL DO
wl.first _ SX.LookupNode [l: wl.first];
FOR restOfWl: Nodes _ wl, restOfWl.rest WHILE restOfWl.rest # NIL DO
IF wl.first = SX.LookupNode [l: restOfWl.rest.first] THEN
restOfWl.rest _ restOfWl.rest.rest  -- Drop this list element.
ENDLOOP
ENDLOOP;	-- clean up
IF (wellConnects = NIL AND isRoot) THEN {
eLoc: CD.Position = nl.first.loc.xy;
SXAccessInternal.PutError [ob: cell.cellObj,
r: PointRect[eLoc],
message: "floating n-well in root cell of analysis"];
}
ELSE IF wellConnects # NIL AND wellConnects.rest # NIL THEN {
eLoc: CD.Position = nl.first.loc.xy;
SXAccessInternal.PutError [ob: cell.cellObj,
r: PointRect[eLoc],
message: "n-well connected to multiple nodes"];
FOR wc: Nodes _ wellConnects, wc.rest WHILE wc # NIL DO
eLoc: CD.Position = wc.first.loc.xy;
SXAccessInternal.PutError [ob: cell.cellObj,
r: PointRect[eLoc],
message: IO.PutFR ["node on %g connects to multiply connected n-Well",
IO.atom[SXAccess.sxTech.spinifexLayerNames[wc.first.loc.layer].layerId]]];
ENDLOOP;
}
}	-- has nWell node
ENDLOOP	-- for all nodes
END;	-- CheckWellConnections
AttachNWellContact: PUBLIC SX.BoxMapProc = BEGIN
wellCon: REF SX.CircuitNode _ SX.AddBox [cir: cir,
spinifexLayer: wellSpinifex,
dim: dim, inst: inst, pos: pos, orient: orient,
interestBloat: [l, l, l, l]];
IF node = NIL THEN ERROR;
wellCon.properties _ PropertyLists.PutProp [propList: wellCon.properties,
prop: wellConnection,
val: NARROW[LIST[node], Nodes]]
END;	-- AttachNWellContact
Init: PROCEDURE ~ {
cMosHandle: REF SX.TechHandle;
ndifResolution: REF SX.ConstraintResolution;
pdifResolution: REF SX.ConstraintResolution;
polyResolution: REF SX.ConstraintResolution;
metalResolution: REF SX.ConstraintResolution;
ndCnstr[ndCh] _ NEW [Constraint _  [$NDifChannel, ndCh, TRUE, polSpinifex]];
ndCnstr[ndInWel] _ NEW [Constraint _  [$NDifInWellError, ndInWel]];
ndCnstr[ndWel] _ NEW [Constraint _  [$ExcludeNDifByWell, ndWel]];
ndCnstr[ndCnt] _ NEW [Constraint _  [$ContactNDif, ndCnt, TRUE, ndifSpinifex]];
ndCnstr[ndPWct] _ NEW [Constraint _  [$ExcludeNDifByPWellCont, ndPWct, TRUE, pdifSpinifex]];
ndCnstr[ndPdErr] _ NEW [Constraint _  [$NDifAndPDifError, ndPdErr]];
pdCnstr[pdCh] _ NEW [Constraint _  [$PDifChannel, pdCh, TRUE, pdifSpinifex]];
pdCnstr[pdNdErr] _ NEW [Constraint _  [$PDifAndNDifError, pdNdErr]];
pdCnstr[pdCnt] _ NEW [Constraint _  [$ContactPDif, pdCnt, TRUE, pdifSpinifex]];
pdCnstr[pdNWct] _ NEW [Constraint _  [$ExcludePDifByNWellCont, pdNWct, TRUE, ndifSpinifex]];
polCnstr[pExnD] _ NEW [Constraint _  [$PolExcludeByNDif, pExnD, TRUE, ndifSpinifex]];
polCnstr[pExpD] _ NEW [Constraint _  [$PolExcludeByPDif, pExpD, TRUE, pdifSpinifex]];
polCnstr[pExNdCon] _ NEW [Constraint _  [$PolExcludeByNDifContact, pExNdCon, TRUE, ndifSpinifex]];
polCnstr[pExPdCon] _ NEW [Constraint _  [$PolExcludeByPDifContact, pExPdCon, TRUE, pdifSpinifex]];
polCnstr[pChE] _ NEW [Constraint _  [$PolChannelEdge, pChE]];
polCnstr[pDxorP] _ NEW [Constraint _  [$PolXorDif, pDxorP]];
polCnstr[pDandP] _ NEW [Constraint _  [$polAndDif, pDandP, TRUE, polSpinifex]];
polCnstr[pDErr] _ NEW [Constraint _  [$PolDifError, pDErr]];
metCnstr[mCut] _ NEW [Constraint _  [$MetCut, mCut, TRUE, metSpinifex]];
metCnstr[mVia] _ NEW [Constraint _  [$MetVia, mVia, TRUE, metSpinifex]];
metCnstr[mVC] _ NEW [Constraint _  [$MetViaAndCutError, mVC, TRUE, metSpinifex]];
{
nd: SX.ConstraintIndex ~ SX.nodeIndex;
sp: SX.ConstraintIndex ~ SX.spaceIndex;
ndifResTab: SXTechnology.ResolutionTable ~ [
[	sp,			nd,			ndCh,		ndInWel,	ndWel,		ndCnt,		ndPWct,	ndPdErr,	,,,,,,,],
[	nd,			nd,			ndCh,		ndInWel,	ndInWel,	ndCnt,		ndPdErr,	ndPdErr,	,,,,,,,],
[	ndCh,		ndCh,		ndCh,		ndInWel,	ndInWel,	ndCh,		ndCh,		ndPdErr,	,,,,,,,],
[	ndInWel,	ndInWel,	ndInWel,	ndInWel,	ndInWel,	ndCnt,		ndPdErr,	ndPdErr,	,,,,,,,],
[	ndWel,		ndInWel,	ndInWel,	ndInWel,	ndWel,		ndCnt,		ndPWct,	ndPdErr,	,,,,,,,],
[	ndCnt,		ndCnt,		ndCh,		ndCnt,		ndCnt,		ndCnt,		ndPdErr,	ndPdErr,	,,,,,,,],
[	ndPWct,	ndPdErr,	ndCh,		ndPdErr,	ndPWct,	ndPdErr,	ndPWct,	ndPdErr,	,,,,,,,],
[	ndPdErr,	ndPdErr,	ndPdErr,	ndPdErr,	ndPdErr,	ndPdErr,	ndPdErr,	ndPdErr,	,,,,,,,],
,,,,,,,
];
pdifResTab: SXTechnology.ResolutionTable ~ [
[	sp,			nd,			pdCh,		pdNdErr,	pdCnt,		pdNWct,	,,,,,,,,,],
[	nd,			nd,			pdCh,		pdNdErr,	pdCnt,		pdNdErr,	,,,,,,,,,],
[	pdCh,		pdCh,		pdCh,		pdNdErr,	pdCh,		pdCh,		,,,,,,,,,],
[	pdNdErr,	pdNdErr,	pdNdErr,	pdNdErr,	pdNdErr,	pdNdErr,	,,,,,,,,,],
[	pdCnt,		pdCnt,		pdCh,		pdNdErr,	pdCnt,		pdNdErr,	,,,,,,,,,],
[	pdNWct,	pdNdErr,	pdCh,		pdNdErr,	pdNdErr,	pdNWct,	,,,,,,,,,],
,,,,,,,,,
];
polyResTab: SXTechnology.ResolutionTable ~ [
[	sp,			nd,			pExnD,		pExpD,		pExNdCon,	pExPdCon,	pChE,		pDxorP,	pDandP,	pDErr,		,,,,,],
[	nd,			nd,			pDErr,		pDErr,		pDErr,		pDErr,		pDErr,		nd,			pDandP,	pDErr,		,,,,,],
[	pExnD,		pDErr,		pExnD,		pExpD,		pExNdCon,	pExPdCon,	pChE,		pChE,		pDandP,	pDErr,		,,,,,],
[	pExpD,		pDErr,		pExpD,		pExpD,		pExPdCon,	pExPdCon,	pChE,		pChE,		pDandP,	pDErr,		,,,,,],
[	pExNdCon,	pDErr,		pExNdCon,	pExPdCon,	pExNdCon,	pExPdCon,	pExNdCon,	pChE,		pDandP,	pDErr,		,,,,,],
[	pExPdCon,	pDErr,		pExPdCon,	pExPdCon,	pExPdCon,	pExPdCon,	pExPdCon,	pChE,		pDandP,	pDErr,		,,,,,],
[	pChE,		pDErr,		pChE,		pChE,		pExNdCon,	pExPdCon,	pChE,		pChE,		pDandP,	pDErr,		,,,,,],
[	pDxorP,	nd,			pChE,		pChE,		pChE,		pChE,		pChE,		pDxorP,	pDandP,	pDErr,		,,,,,],
[	pDandP,	pDandP,	pDandP,	pDandP,	pDandP,	pDandP,	pDandP,	pDandP,	pDandP,	pDandP,	,,,,,],
[	pDErr,		pDErr,		pDErr,		pDErr,		pDErr,		pDErr,		pDErr,		pDErr,		pDandP,	pDErr,		,,,,,],
,,,,,
];
metalResTab: SXTechnology.ResolutionTable ~ [
[	sp,		nd,		mCut,	mVia,	mVC,	,,,,,,,,,,],
[	nd,		nd,		mCut,	mVia,	mVC,	,,,,,,,,,,],
[	mCut,	mCut,	mCut,	mVC,	mVC,	,,,,,,,,,,],
[	mVia,	mVia,	mVC,	mVia,	mVC,	,,,,,,,,,,],
[	mVC,	mVC,	mVC,	mVC,	mVC,	,,,,,,,,,,],
,,,,,,,,,,
];
ndifResolution _ SXTechnology.SetUpResolution [ndCnstr, ndifResTab];
pdifResolution _ SXTechnology.SetUpResolution [pdCnstr, pdifResTab];
polyResolution _ SXTechnology.SetUpResolution [polCnstr, polyResTab];
metalResolution _ SXTechnology.SetUpResolution [metCnstr, metalResTab];
};
cMosHandle _ NEW [SX.TechHandle _ [
numSpinifexLayers~ 6,
layerInterestBloat~ [nDifLayerSep, (ndifSpacing/2), (polSpacing/2), (metSeparation/2), (met2Separation/2), (wellSep/2),,],
combineNodeProperties~ CopyWellConnections,
cellPostProcess~ CheckWellConnections]
];
cMosHandle.illegalLayer[CMosB.nwellCont] _ FALSE;
cMosHandle.illegalLayer[CMosB.pwellCont] _ FALSE;
cMosHandle.illegalLayer[CMosB.ndif] _ FALSE;
cMosHandle.illegalLayer[CMosB.pdif] _ FALSE;
cMosHandle.illegalLayer[CMosB.nwell] _ FALSE;
cMosHandle.illegalLayer[CMosB.pol] _ FALSE;
cMosHandle.illegalLayer[CMosB.met] _ FALSE;
cMosHandle.illegalLayer[CMosB.met2] _ FALSE;
cMosHandle.cdLayerMapping[CMosB.nwellCont] _ LIST [[ndifSpinifex, (ndifSpacing/2)], [wellSpinifex, l, NEW [SX.BoxMapProc _ AttachNWellContact]], [pdifSpinifex, (pdifSpacing/2), pdCnstr[pdNWct]], [ndifSpinifex, (ndifSpacing/2), ndCnstr[ndCnt]], [polSpinifex, difToPolExtSep, polCnstr[pExnD]]];
cMosHandle.cdLayerMapping[CMosB.pwellCont] _ LIST [[pdifSpinifex, (pdifSpacing/2)], [ndifSpinifex, (ndifSpacing/2), ndCnstr[ndPWct]], [pdifSpinifex, (pdifSpinifex/2), pdCnstr[pdCnt]], [polSpinifex, difToPolExtSep, polCnstr[pExpD]]];
cMosHandle.cdLayerMapping[CMosB.ndif] _ LIST [[ndifSpinifex, (ndifSpacing/2)], [polSpinifex, polUncDifSpacing, polCnstr[pExnD]]];
cMosHandle.cdLayerMapping[CMosB.pdif] _ LIST [[pdifSpinifex, (pdifSpacing/2)], [polSpinifex, polUncDifSpacing, polCnstr[pExpD]]];
cMosHandle.cdLayerMapping[CMosB.nwell] _ LIST [[ndifSpinifex, nDifToWell-(ndifSpacing/2), ndCnstr[ndWel]], [wellSpinifex, (wellSep/2)]];
cMosHandle.cdLayerMapping[CMosB.pol] _ LIST [[polSpinifex, (polSpacing/2)]];
cMosHandle.cdLayerMapping[CMosB.met] _ LIST [[metSpinifex, (metSeparation/2)]];
cMosHandle.cdLayerMapping[CMosB.met2] _ LIST [[m2Spinifex, (met2Separation/2)]];
BEGIN
conInfl: CD.Number ~ l;	-- Influence distance of contacts.
cMosHandle.cdLayerMapping[CMosB.cut] _ LIST [[ndifSpinifex, conInfl, $Opaque], [pdifSpinifex, conInfl, $Opaque], [polSpinifex, conInfl, $Opaque], [metSpinifex, conInfl, $Opaque]];
cMosHandle.cdLayerMapping[CMosB.cut2] _ LIST [[metSpinifex, conInfl, $Opaque], [m2Spinifex, conInfl, $Opaque]];
cMosHandle.cdLayerMapping[CMosB.bur] _ LIST [[ndifSpinifex, (met2Separation/2), $Opaque], [polSpinifex, conInfl, $Opaque]];
END;
cMosHandle.spinifexLayerNames[ndifSpinifex].layerId _ $nDiffusion;
cMosHandle.spinifexLayerNames[pdifSpinifex].layerId _ $pDiffusion;
cMosHandle.spinifexLayerNames[polSpinifex].layerId _ $Poly;
cMosHandle.spinifexLayerNames[metSpinifex].layerId _ $Metal;
cMosHandle.spinifexLayerNames[m2Spinifex].layerId _ $Metal2;
cMosHandle.spinifexLayerNames[wellSpinifex].layerId _ $NWell;
cMosHandle.spinifexLayerNames[ndifSpinifex].thymeName _ "nD";
cMosHandle.spinifexLayerNames[pdifSpinifex].thymeName _ "pD";
cMosHandle.spinifexLayerNames[polSpinifex].thymeName _ "P";
cMosHandle.spinifexLayerNames[metSpinifex].thymeName _ "M";
cMosHandle.spinifexLayerNames[m2Spinifex].thymeName _ "M2";
cMosHandle.constraintResolutions[ndifSpinifex] _ ndifResolution;
cMosHandle.constraintResolutions[pdifSpinifex] _ pdifResolution;
cMosHandle.constraintResolutions[polSpinifex] _ polyResolution;
cMosHandle.constraintResolutions[metSpinifex] _ metalResolution;
InitRules [cMosHandle];
SXTechnology.RegisterTechnologyHandle[cdTech~ CMosB.cmosB, technologyHandle~ cMosHandle];
SXTechnology.RegisterSpinifexObjectProcs [cdTech~ CMosB.cmosB, objectType~ $C2Trans, conv~ ConvTransistor, thyme~ ThymeTransistor, rose~ RoseTransistor, fini~ SXOutputPrivate.UnNameTransType];
SXTechnology.RegisterSpinifexObjectProcs [cdTech~ CMosB.cmosB, objectType~ $C2WellTrans, conv~ ConvTransistor, thyme~ ThymeTransistor, rose~ RoseTransistor, fini~ SXOutputPrivate.UnNameTransType];
SXTechnology.RegisterSpinifexObjectProcs [cdTech~ CMosB.cmosB, objectType~ $C2LTrans, conv~ ConvTransistor, thyme~ ThymeTransistor, rose~ RoseTransistor, fini~ SXOutputPrivate.UnNameTransType];
SXTechnology.RegisterSpinifexObjectProcs [cdTech~ CMosB.cmosB, objectType~ $C2LWellTrans, conv~ ConvTransistor, thyme~ ThymeTransistor, rose~ RoseTransistor, fini~ SXOutputPrivate.UnNameTransType];
SXTechnology.RegisterSpinifexObjectProcs [cdTech~ CMosB.cmosB, objectType~ $CLWellTrans, conv~ ConvTransistor, thyme~ ThymeTransistor, rose~ RoseTransistor, fini~ SXOutputPrivate.UnNameTransType];
SXTechnology.RegisterSpinifexObjectProcs [cdTech~ CMosB.cmosB, objectType~ $C2PDifRect, conv~ ConvertPDifRect];
SXTechnology.RegisterSpinifexObjectProcs [cdTech~ CMosB.cmosB, objectType~ $C2NDifRect, conv~ ConvertPDifRect];
SXTechnology.RegisterSpinifexObjectProcs [cdTech~ CMosB.cmosB, objectType~ $C2SimpleCon, conv~ ConvertContact];
SXTechnology.RegisterSpinifexObjectProcs [cdTech~ CMosB.cmosB, objectType~ $C2WellSimpleCon, conv~ ConvertContact];
SXTechnology.RegisterSpinifexObjectProcs [cdTech~ CMosB.cmosB, objectType~ $C2LargeSimpleCon, conv~ ConvertContact];
SXTechnology.RegisterSpinifexObjectProcs [cdTech~ CMosB.cmosB, objectType~ $C2LargeWellSimpleCon, conv~ ConvertContact];
SXTechnology.RegisterSpinifexObjectProcs [cdTech~ CMosB.cmosB, objectType~ $C2DifShortCon, conv~ ConvertContact];
SXTechnology.RegisterSpinifexObjectProcs [cdTech~ CMosB.cmosB, objectType~ $C2WellDifShortCon, conv~ ConvertContact];
SXTechnology.RegisterSpinifexObjectProcs [cdTech~ CMosB.cmosB, objectType~ $C2Via, conv~ ConvertContact];
SXTechnology.RegisterSpinifexObjectProcs [cdTech~ CMosB.cmosB, objectType~ $C2LargeVia, conv~ ConvertContact];
};
Init [];
TerminalIO.WriteRope ["cMos technology parameters Loaded\n"];
END.
.:SXCMosBImpl.mesa
Copyright c 1984, 1986 by Xerox Corporation.  All rights reserved.
Written by gbb, November 25, 1985 6:36:23 pm PST
Last edited by: gbb October 24, 1986 11:41:35 am PDT
Basic definitions and rules
ndif summary
N f P: 	MinDist [ndif, pdif] / l => 10
N f N:	MinDist [ndif, ndif] / l => 3|
P f P:		MinDist [pdif, pdif] / l => 3|
N f N-well:	MinDist [ndif, nwell] / l => 5
P f P-well:	MinDist [pdif, pwell] / l => 5
N f P-well-contact:	MinDist [ndif, pwellCont] / l => 3|	[rule 6.3.3]
P f N-well-contact:	MinDist [pdif, nwellCont] / l => 3|	[rule 6.3.3]
N f N-well-contact:	MinDist [ndif, nwellCont] / l => 9
P f P-well-contact:	MinDist [pdif, pwellCont] / l => 9
N-well f P-well-contact:	MinDist [nwell, pwellCont] / l => 4	[rule 6.3.9]
P-well f N-well-contact:	MinDist [pwell, nwellCont] / l => 4	[rule 6.3.9]
N-well-contact f P-well-contact: MinDist [nwellCont, pwellCont] / l => 8	[rule 6.3.6]
ndif layer
n-Diffusion/unconnected p-substrate-contact spacing (3| l)
n-Diffusion in n-Well (0 l)
n-Diffusion and p-substrate-contact (3| l)
pdif layer
p-Diffusion/unconnected n-Well-contact spacing (3| l)
p-Diffusion and n-Well-contact
pol layer
Poly/unconnected Diffusion spacing (1 l)
Diffusion/unconnected Poly spacing (1 l)
Poly over Diffusion
met layer
Cut to Cut spacing (3 l)
Via to Via spacing  (4 l)
Cut to Via spacing (2 l)
met2 layer
Some of these numbers are half of the actual minimum distances we are checking for:
this constant used to be zero and was used to control the separation between transistor gates, the separation of well and substrate contacts to unrelated diffusion.  Grow terms are packed and may not be negative. Therefore unmade change.
Layer indices
Constraints
n-Diffusion constraints.
ndBur: CIndex ~ ndCh.SUCC;	-- Buried window here.
ndInWel: CIndex ~ ndBur.SUCC;	-- n-Diffusion in n-Well
p-Diffusion constraints
Poly constraints
pDExcl: CIndex ~ pChE.SUCC;	-- No n-Diffusion permitted here due to buried contact.
pBur: CIndex ~ pDExcl.SUCC;	-- Buried window here.
pBurErr: CIndex ~ pBur.SUCC;	-- Buried Error, diffusion emerges from wrong side.
Metal constraints
Rule Initialisation
Geometric rule triggers.
Corners are defined by union of dif and gate
nDifWidRuleTrig[ndCh] _ FALSE;
Corners are defined by union of dif and gate
Metal
Purely local errors are not handled in a natural manner by my scheme, so for every corner we find in polCnstr[pDErr] we generate an error if there is anything on any layer nearby, of course there is always something so we get our error.
The geometric rules.
We set violateIndex = FALSE, ALL else TRUE so that corner checks face inward, which should result in more logically pleasing error reports.
The above two rules are no longer applied to channels.
Transistors
[r: CD.Rect, l: CD.Layer, data: REF ANY] RETURNS [TransistorMaterial]
New transistor conversion procedure for ChipNDale 2.1
PROCEDURE [inst: CD.Instance, pos: CD.Position, orient: CD.Orientation, cir: REF Circuit]
Determine diffusion layer and channel constraint
Get the geometry. Streching information has already been procesed by ChipNDale.
Process the geometry according to the transistor class. The ChipNDale transistors are fully supported for p substrate.
Process poly layer
Process channel lead-in
Fill channel gap. NOTE: The DRC of channels is affected by the change made to CMosSpinifexInitImpl on April 2, 1985.
Add rectangles for diff width spacing and connection
Process well.
Process poly layer
North:
West:
South:
East:
Process channel lead-in
Fill channel gap. NOTE: The DRC of channels is affected by the change made to CMosSpinifexInitImpl on April 2, 1985.
Add rectangles for diff width spacing and connection
Process well.
Adjust area and perimeter values
[desWDir: ROPE, dfStream, cellStream: IO.STREAM, linkage: REF NodeLinkage, name: Rope.ROPE, PrintNode: NodePrintProc]
[desWDir: ROPE, dfStream, cellStream: IO.STREAM, linkage: REF NodeLinkage, name: Rope.ROPE, PrintNode: NodePrintProc]
defaultW: INTEGER = 4*lambda;
The following is a quick hack to allow John Ousterhout to test Crystal. In a later stage, SX.AttachedNode shall receive an additional field for this info. At the moment it is not clear yet, how the user interface should be like.
Contacts
[appl: CD.Instance, pos: CD.Position, orient: CD.Orientation, cir: REF SX.Circuit]
[appl: CD.Instance, pos: CD.Position, orient: CD.Orientation, cir: REF SX.Circuit]
[circuit: REF Circuit, to, from: PropertyLists.PropList, fromNesting: LIST OF CD.Instance] RETURNS [PropertyLists.PropList]
PROC [cell: REF SX.LogicalCell]
Process Subcells.
Potential floating well in subcircuit, is it merged to some node in this cell?
The well node of the subcircuit is not merged into this circuit, so it may be floating => VIOLATION
Process the cell.  In context of this cell floating n-well is only an error if this is a root cell for this particular invocation of Spinifex.
Clean up list of well connections to eliminate REFs to superceded nodes.
n-well unconnect in root cell => VIOLATION
n-well connect multiple times => VIOLATION
PROC [cir: REF Circuit, dim: CD.Rect, appl: CD.Instance, pos: CD.Position, orient: CD.Orientation, node: REF CircuitNode] RETURNS [cirNode: REF CircuitNode _ NIL] 
Initialisation
Construction of the Layer Constraints.
Constraint: PUBLIC TYPE ~ RECORD [
name: ATOM,
index: ConstraintIndex,  -- index into the constraint array
hasCorrespondingNode: BOOLEAN _ FALSE,	-- used where connectivity affects the rule and there is a corresponding layer which has the node associated with this region.
correspondingNodeLayer: SpinifexLayerIndex _ SpinifexLayerIndex.FIRST	-- way to attach node values to constraints by looking at other layers.
];
ndCnstr[ndBur] _ NEW [Constraint _  [$BuriedNDifPol, ndBur]];
polCnstr[pBur] _ NEW [Constraint _  [$PolBuried, pBur]];
polCnstr[pDExcl] _ NEW [Constraint _  [$PolExcludeNDif, pDExcl]];
polCnstr[pBurErr] _ NEW [Constraint _  [$PolBuriedNDifError, pBurErr]];
metCnstr[mVC] _ NEW [Constraint _  [$MetViaAndCutError, mVC]];
Constraint priority: sp < ndBur < nd < ndCnt < ndCh < ndWel < ndInWel < ndPWct < ndPdErr.
ndifResTab: SXTechnology.ResolutionTable ~ [
Constraint priority: sp < ndBur < nd < ndCnt < ndCh < ndWel < ndInWel < ndPWct < ndPdErr.
[	sp,			nd,			ndCh,		ndBur,		ndInWel,	ndWel,		ndCnt,		ndPWct,	ndPdErr,	,,,,,,],
[	nd,			nd,			ndCh,		nd,			ndInWel,	ndInWel,	ndCnt,		ndPdErr,	ndPdErr,	,,,,,,],
[	ndCh,		ndCh,		ndCh,		ndCh,		ndInWel,	ndInWel,	ndCh,		ndPdErr,	ndPdErr,	,,,,,,],
[	ndBur,		nd,			ndCh,		ndBur,		ndInWel,	ndWel,		ndCnt,		ndPWct,	ndPdErr,	,,,,,,],
[	ndInWel,	ndInWel,	ndInWel,	ndInWel,	ndInWel,	ndInWel,	ndCnt,		ndPdErr,	ndPdErr,	,,,,,,],
[	ndWel,		ndInWel,	ndInWel,	ndWel,		ndInWel,	ndWel,		ndCnt,		ndPWct,	ndPdErr,	,,,,,,],
[	ndCnt,		ndCnt,		ndCh,		ndCnt,		ndCnt,		ndCnt,		ndCnt,		ndPdErr,	ndPdErr,	,,,,,,],
[	ndPWct,	ndPdErr,	ndPdErr,	ndPWct,	ndPdErr,	ndPWct,	ndPdErr,	ndPWct,	ndPdErr,	,,,,,,],
[	ndPdErr,	ndPdErr,	ndPdErr,	ndPdErr,	ndPdErr,	ndPdErr,	ndPdErr,	ndPdErr,	ndPdErr,	,,,,,,],
,,,,,,
];
Constraint priority: sp < nd < pdCnt < pdCh < pdNWct < pdNdErr
Constraint priority: sp < pDxorP < pExnD < pExpD < pChE < pExNdCon < pExPdCon < pDExcl < pBur < nd < pBurErr < pDErr < pDandP
polyResTab: SXTechnology.ResolutionTable ~ [
Constraint priority: sp < pDxorP < pExnD < pExpD < pChE < pExNdCon < pExPdCon < pDExcl < pBur < nd < pBurErr < pDErr < pDandP
[	sp,			nd,			pExnD,		pExpD,		pExNdCon,	pExPdCon,	pChE,		pDExcl,	pBur,		pBurErr,	pDxorP,	pDandP,	pDErr,		,,],
[	nd,			nd,			pDErr,		pDErr,		pDErr,		pDErr,		pDErr,		nd,			nd,			pDErr,		nd,			pDandP,	pDErr,		,,],
[	pExnD,		pDErr,		pExnD,		pExpD,		pExNdCon,	pExPdCon,	pChE,		pBurErr,	pBur,		pBurErr,	pChE,		pDandP,	pDErr,		,,],
[	pExpD,		pDErr,		pExpD,		pExpD,		pExPdCon,	pExPdCon,	pChE,		pBurErr,	pBur,		pBurErr,	pChE,		pDandP,	pDErr,		,,],
[	pExNdCon,	pDErr,		pExNdCon,	pExPdCon,	pExNdCon,	pExPdCon,	pExNdCon,	pBurErr,	pBur,		pBurErr,	pChE,		pDandP,	pDErr,		,,],
[	pExPdCon,	pDErr,		pExPdCon,	pExPdCon,	pExPdCon,	pExPdCon,	pExPdCon,	pBurErr,	pBur,		pBurErr,	pChE,		pDandP,	pDErr,		,,],
[	pChE,		pDErr,		pChE,		pChE,		pExNdCon,	pExPdCon,	pChE,		pBurErr,	pBur,		pBurErr,	pChE,		pDandP,	pDErr,		,,],
[	pDExcl,	nd,			pBurErr,	pBurErr,	pBurErr,	pBurErr,	pBurErr,	pDExcl,	pBur,		pBurErr,	pDExcl,	pDandP,	pDErr,		,,],
[	pBur,		nd,			pBur,		pBur,		pBur,		pBur,		pBur,		pBur,		pBur,		pBur,		pBur,		pDandP,	pDErr,		,,],
[	pBurErr,	pDErr,		pBurErr,	pBurErr,	pBurErr,	pBurErr,	pBurErr,	pBurErr,	pBur,		pBurErr,	pBurErr,	pDandP,	pDErr,		,,],
[	pDxorP,	nd,			pChE,		pChE,		pChE,		pChE,		pChE,		pDExcl,	pBur,		pBurErr,	pDxorP,	pDandP,	pDErr,		,,],
[	pDandP,	pDandP,	pDandP,	pDandP,	pDandP,	pDandP,	pDandP,	pDandP,	pDandP,	pDandP,	pDandP,	pDandP,	pDandP,	,,],
[	pDErr,		pDErr,		pDErr,		pDErr,		pDErr,		pDErr,		pDErr,		pDErr,		pDErr,		pDErr,		pDErr,		pDandP,	pDErr,		,,],
,,
];
Constraint priority: sp < nd < mCut < mVia < mVC
Basic cMosHandle & cdLayerMappings.
cMosHandle _ NEW[SX.TechHandle _ [
numSpinifexLayers~ 6,
layerInterestBloat~ [nDifLayerSep, (ndifSpacing/2), (polSpacing/2), (metSeparation/2), (met2Separation/2), l,,],
combineNodeProperties~ CopyWellConnections,
cellPostProcess~ CheckWellConnections]
];
Order Important for well plugging, node is created in first mapping, and used in second.
cMosHandle.cdLayerMapping[CMosB.nwell] _ LIST [[ndifSpinifex, nDifToWell-(ndifSpacing/2), ndCnstr[ndWel]], [wellSpinifex, l]];  -- INTERIM
Translations for Opaque Cells.
Using value $Opaque ensures we get an error if these are ever used as normal cdLayerMappings.
Spinifex Layer Identification.
Thyme stray capacitance layer names.
Set Constraint Resolutions for each layer into the TechHandle.
The geometric rules.
Technology handle is attached to the ChipNDale technology.
Technology specific objects.
Main
gbb January 14, 1986 2:56:00 pm PST
Fixed some rules.
gbb February 10, 1986 1:17:39 pm PST
Fixed bug in the verification of cuts.
gbb March 11, 1986 1:33:49 pm PST
The contact class C2WellDifShortCon was only partially implemented
changes to: ConvertContact: added as a valid contact, Init: added registration
gbb March 15, 1986 1:03:26 pm PST
Tracked change in design rules
changes to: metCutViaSpacing: changed from 3l to 2l.
gbb March 17, 1986 6:50:46 pm PST
Made better use of CDSimpleRules.
changes to: ndifSpacing, ndifUncSubtrContSpacing, ndifInnWell, ndifpSubstrCont, pdifUncnWellSpacing, pdifnWellCont, polUncDifSpacing, polDiffUncPolySpacing, polOverDiff, metCutCutSpacing, metViaViaSpacing, metCutViaSpacing, difSep, nDifToWell.
gbb March 19, 1986 11:29:42 am PST
Improved rules for diffusion
changes to: ndifSpacing, ndifUncSubtrContSpacing, ndifpSubstrCont, pdifSpacing, pdifUncnWellSpacing, difSep, nDifToWell, pDifToWell, nDifTopDif, pdifUncSubtrContSpacing, nDifToSubtrCont, pDifToSubtrCont, ndifSpinifex, InitRules
gbb June 2, 1986 2:24:48 pm PDT
Bug fix in split contacts.
changes to: ConvertContact: the well of split contacts no longer is a separate node.
gbb June 10, 1986 6:41:58 pm PDT
Tracked change of atom for p angle transistors and added a case for old classes
changes to: ConvTransistor: fixed atoms and made new case for old classes, Init: registers with ChipNDale both the new and some old classes in oreder to provide clearer error messages.
gbb October 13, 1986 6:20:26 pm PDT
Tried to fix the separation between gates and between well and substrate contacts to unrelated diffusion.
changes to: extensionLength: new, difToPolExtSep: used to be 0
gbb October 23, 1986 1:01:40 pm PDT
Changed the way constraints are computed in order to allow local exceptions to rules.
changes to: ConvTransistor
gbb October 24, 1986 11:38:05 am PDT
Allowed well/substrate contacts to be closer to diffusion than the rules requires, if it is across a gate.
changes to: Init: constraint resolution ndPWct + ndCh = ndCh (was ndPdErr).  Idem for p-diff
�Ê.ö˜
codeš
œ™Kšœ
Ïm
œ7™BK™0K™4—
code2š
Ïk	˜	Kšžœ
žœ=˜EKšœžœ˜/Kšœ	žœF˜TKšœ	žœ˜Kšœ
žœ˜%Kšœžœ˜(Kšœžœ}˜ˆ
Kšžœ
žœ4˜<Kšœžœ˜'Kšœžœžœ˜Kšžœ
žœŒ˜”Kšœ	žœ˜$Kšœžœ˜"Kšœžœ˜Kšœ	žœ(˜6Kšœžœi˜~Kšœ
žœ§
˜¹
Kšœžœ
˜—LšÐblœžœ
ž˜Lšžœ
žœ:žœžœP˜¯
Lšœž˜
head™IunitšÏgžœ˜Nšœžœžœ
žœ
žœ
žœ
˜)Kšœžœžœ˜+Kšœžœžœ˜"K•StartOfExpansion, -- [appl: CD.ApplicationPtr, cir: REF ] -- šœžœžœ˜!™Kšœ�
œ 
œ™&Kšœ�
œ 
œÐcm
™%Kšœ�
œ 
œ¡
™&Kšœ�
œ! 
œ™*Kšœ�
œ! 
œ™*Kšœ�
œ- 
œ¡
œ
™DKšœ�
œ- 
œ¡
œ
™DKšœ�
œ- 
œ™6Kšœ�
œ- 
œ™6Kšœ�
œ. 
œ™IKšœ�
œ. 
œ™IKšœ�
œ2 
œ™U—Mš
œ
™
Kšœ
žœ:Ïc¡
¢
Ðeg
¢
˜RKšœžœ.˜;šœžœ=Ïl
˜YKšœ6¡
œ
 
œ
™:—šœ
žœ 
œ
˜Kšœ 
œ
™—šœžœ>˜QKšœ%¢
¡
œ
 
œ
™*—M™
Kšœ
žœ:¢¡
¢
£
¢
˜RKšœžœ.˜;šœžœ>˜UKšœ1¡
œ
 
œ
™5—šœžœ 
œ
˜!Kš
œ™—M™	Kšœžœ7˜EKšœ
žœ-˜9šœžœ8˜LKšœ& 
œ
™(—šœžœ8˜QKšœ& 
œ
™(—šœ
žœ 
œ
˜Kš
œ™—M™	Kšœžœ7˜HKšœ
žœ-˜9šœžœ7˜KKšœ 
œ
™—šœžœ9˜MKšœ 
œ
™—šœžœ8˜LKšœ 
œ
™—M™
Kšœžœ9˜KKšœžœ.˜;MšœÏbœ5™SKšœžœ¢¡
¢
Ðcg
¢˜2Kšœ	žœ<¢¦
¢
˜PKšœžœ5¢¦
¢
˜GKšœžœ;¢¦
¢
˜QKšœžœ;¢¦
¢
˜QKšœžœ:¢¦
¢
˜QKšœžœ?¢¡
¢
¦
¢
˜cKšœžœ?¢œ
¢
¦
¢
˜ZKšœžœ?¢œ
¢
¦
¢
˜ZKšœžœ
žœ˜<Lšœžœ 
œ¢'˜Kšœžœ
¢ ˜?Kš
¢í
™í
—M™
Nšœžœžœžœ
˜BKšœžœ#žœ
˜8Kšœ
žœ#žœ
˜7Kšœ
žœ"žœ
˜6Kšœžœ"žœ
˜5Kšœžœ!žœ
˜6—š
œ™Mš
œ™šœ	žœžœ˜5Nšœžœ¢˜8Kšœžœ¢™1Kšœžœ¢˜5Kšœžœ¢™6Kšœžœ¢ ˜>Kšœžœ¢˜8Kšœžœ¢˜9Kšœžœ¢/˜N—Mš
œ™šœ	žœžœ˜5Nšœžœ¢˜8Kšœžœ¢/˜LKšœžœ¢˜:Kšœžœ¢˜9—Mš
œ™šœ
žœžœ˜6Nšœžœ¢0˜SKšœžœ¢0˜LKšœžœ¢8˜WKšœžœ¢8˜ZKšœžœ¢&˜DKšœžœ¢7™SKšœžœ¢™2Kšœžœ¢3™PKšœžœ¢#˜?Kšœžœ¢/˜MKšœžœ¢.˜K—Mš
œ™šœ
žœžœ˜6Nšœžœ¢*˜LKšœžœ¢&˜@Kšœžœ¢/˜I——™šÏn	œž	œžœ
žœ˜8Nšœžœžœ˜Nšœ	žœžœ
žœžœ
žœžœžœ˜=NšœÌžœ
žœ
˜ÖNšœžœ˜ š
œ™Nšœžœžœ
˜#Kšœžœ
žœ˜Kšœžœžœ
˜$š
œ,™,Kšœžœžœ
˜%Kšœžœ
˜Kšœžœ
˜Kšœžœ
˜Kšœžœžœ
˜$Kšœžœ¢˜=Kšœžœ
˜Kšœžœ
˜Kšœžœ
˜Kšœžœ
žœ˜Kšœžœžœ
˜&Kšœžœ
˜Kšœžœ
™—š
œ,™,Kšœžœžœ
˜%Kšœžœ
˜Kšœžœ
˜Kšœžœžœ
˜%Kšœžœ¢˜>Kšœžœ
˜Kšœžœ
˜Kšœžœ
˜Kšœžœžœ
˜%Kšœžœ
˜Kšœžœ
žœ˜Kšœžœžœ
˜"Kšœžœ
˜Nšœžœžœ
˜'Kšœžœ
˜ Nšœ
žœžœ
˜"Kšœžœ
˜Kšœ
žœ
žœ˜Kšœžœžœ
˜!Kšœžœ
˜Kšœžœ
˜Kšœžœžœ
˜%Kšœžœ
˜Kšœžœ
˜Kšœžœ
˜Kšœžœ
˜!Kšœžœ
˜!—™Kšœžœžœ
˜ Kšœžœ
˜Kšœžœ
˜Kšœžœ
˜Kšœžœžœ˜Kšœ
žœžœ
˜ Kšœžœ
˜Kšœžœ
˜Kšœžœ
˜—š
ϓ
™ì
Kšœžœ
˜Kšœžœ
˜$Kšœžœ
˜"Kšœžœ
˜"Kšœžœ
˜Kšœžœ
˜Kšœžœ
˜Kšœžœ
˜Kšœžœ
žœ˜——š
œ™Kšœžœ 
œ¥œ
žœ
žœ
žœ
žœ˜†
Kš
œ‹
™‹
Kšœ2žœ
˜8šœ¤œžœ
˜'K–M[key: 
REF ANY, technology: 
CD.Technology _ NIL, default: 
REF ANY _ NIL]šžœ¥œ'žœ8˜�
–M[key: 
REF ANY, technology: 
CD.Technology _ NIL, default: 
REF ANY _ NIL]šžœ¥3œ3žœ8˜¹
K™6—Kšžœ¥œM˜uKšžœ¥œR˜ƒ
Kšžœ¥œR˜ƒ
Kšžœ¥œS˜Kšžœ¥#œU˜�
Kš
œ˜Kš
œ˜—šœ¤œžœ˜(K–M[key: 
REF ANY, technology: 
CD.Technology _ NIL, default: 
REF ANY _ NIL]šžœ¥œ'žœ9˜Ž
K–M[key: 
REF ANY, technology: 
CD.Technology _ NIL, default: 
REF ANY _ NIL]šžœ¥.œ/žœ9˜±
Kšžœ¥œE˜mKšžœ¥œS˜ˆ
Kš
œ˜Kš
œ˜—šœ¤œžœ˜'Kšžœ¥œ&žœ3˜€
Kšžœ¥
œB˜cKšžœ¥"œ,žœ8˜¡
Kšžœ¥"œ1žœ8˜¦
Kšžœ¥œP˜zKš
œ˜Kš
œ˜—šœ¤œžœ˜'Kšžœ¥
œ)žœ-˜~Kšžœ¥œ>˜`Kšžœ¥œP˜yKšžœ¥œQ˜zKšžœ¥œQ˜zKš
œ˜Kš
œ˜—šœ¤
œžœ
˜%Kšžœ¥œ*žœ5˜‰
Kšžœ¥
œI˜mKš
œ˜Kš
œ˜—šœ¤œžœ
˜'Kšžœ¥œ#žœ5˜Kšžœ¥
œI˜jKš
œ˜Kš
œ˜——K˜——™š¥œ"˜-Kšœžœ
žœžœ
žœžœ™EKšœžœžœžœ
˜4šžœž˜
Kšœžœ
˜-Kšœ
žœ˜"š
œ˜Kšœ
žœ9˜FKš
œV˜VKšžœ˜K˜—Kšžœžœ˜—Kšœ¢˜—š¥œžœ
žœ˜*™5Jš
ž	œžœžœžœžœ	™Y—Jš
ž˜Kšœžœ
žœ
˜Kšœ+žœ
žœ
˜>Kšœžœ˜(Kšœ	žœ ˜-Kšœ	žœ
˜Kšœžœ˜"Kšœžœ
žœ˜'Kšœžœ8˜?Kšœžœ˜#Kšœžœ˜Kš	œ(žœ
žœ
žœžœ
˜>Kšœžœ˜%Kšœ0žœ¢(˜]Kšœžœžœ˜/N™0šžœž˜Kš
œR˜R—š
ž˜Kš
œS˜S—N™OKš
œ˜šžœ
žœ5ž˜Bš	žœ"žœFžœžœ
ž˜„
šžœž˜Kšœžœ˜4Kšœ$žœ˜AKš
œ`˜`Kšžœžœ
žœ@˜S—Jš
ž˜——Jšžœ
žœ
žœF˜SNš
œv™všžœž˜šœ¢˜1Kš
ž˜Kšœ<žœ˜DKš
œ1˜1Kš
œ:˜:Kš
œ,˜,Kš
œB˜BKš
œB˜BKš
œ?˜?Icode1š
œJ˜JOš
œF˜Fšžœž˜ Kšžœ
žœ<˜D—N™KšœžœX˜ešžœžœ
¢4˜GKš
ž˜Kš
œ˜Kš
œN˜NKšœžœ\˜cKš
œ˜Kš
œN˜NKšœžœ\˜cKšžœ
˜—N™Kš
œ0˜0Kšœžœw˜~Kš
œ0˜0Kšœžœw˜~Kš
œt™tKš
œŒ˜ŒN™4Kš
œÐ
˜Ð
Kš
œÏ
˜Ï
N™
šžœž˜Kš
ž˜Kš	œžœ	žœ	žœ
žœ
˜;Kš
žœ
žœžœ
žœ
žœB˜rKšœžœQ˜^Kš
œk˜kKšžœ
˜—Kšžœ¢˜—šœ¢˜0Kš
ž˜Kšœžœ!˜+Kšœžœ"˜3Kšœžœ˜KšžœVžœ7˜”
Kšžœ8˜<š
žœžœ
žœ
žœžœžœ
ž˜Bšžœžœž˜CKš
œ(˜(—šžœžœž˜CKš
œ(˜(—Jšžœ
˜—Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ]˜]Kš
œ-˜-Oš
œB˜BOš
œI˜IOš
œD˜DOš
œI˜IOš
œ˜šžœž˜ Kšžœ
žœ<˜D—N™KšœžœW˜dKšœžœi˜pšžœžœ
žœ¢4˜NKšœžœ˜$Kšœžœ˜"š
œ™Kš
œP˜PKšœžœ[˜b—š
œ™Kš
œP˜PKšœžœ[˜b—Kš
œ(˜(š
œ™Kš
œI˜IKšœžœ\˜c—š
œ™Kš
œF˜FKšœžœ[˜b—Kšžœ¢˜—N™š
ž˜Kšœžœ˜#Kš
œZ˜ZKšœžœx¢˜‡
Kš
œZ˜ZKšœžœx¢˜†
Kš
œ˜Kš
œI˜IKšœžœx¢˜‡
Kš
œI˜IKšœžœw¢˜…
—Kšžœ¢
˜Kš
œt™tKš
œ(˜(Kš
œÚ
˜Ú
Kš
œ)˜)Kš
œÚ
˜Ú
N™4Kš
œf˜fKš
ρ
˜Å
šžœžœ
žœ¢˜8Kš
ž˜Kš
œL˜LKš
œÏ
˜Ï
Kšžœ
˜—Kš
œE˜EKš
π
˜Ä
Kš
œD˜DKš
œÏ
˜Ï
N™
šžœž˜Kš
ž˜Kš	œžœ	žœ	žœ
žœ
˜;Kš
žœ
žœžœ
žœ
žœB˜rKšœžœQ˜^Kš
œk˜kKšžœ
˜—Kšžœ¢ ˜%—Nšœžœ
žœR˜jNšžœžœ
žœE˜X—Nš
œ9˜9K™ Kšžœ\˜^KšžœA˜CKšžœ>˜@KšžœE˜GKšžœI˜KKšžœF˜HJšžœ¢˜—š¥œžœ˜4Kšœ
žœžœ
žœžœžœ™uš§œž	œžœžœ˜@Kšœžœžœžœ˜Dš
žœžœ
žœ
žœ3žœžœ
ž˜išžœ(žœ˜0Kš
œ.˜.Kš
œ˜Kš
ž˜K˜
—Kšžœ
˜—Kš
œ˜Kšœ¢˜—Nš
œM˜MNš
œ˜š
œ˜Kš
œ˜Kš
œ˜š
œ.˜.Kš
œ˜Kš
œ˜K˜šœžœž˜)Kš
œ˜Kš
œ˜Kšžœ˜—Kš
œ	˜	Kš
œ˜Kš
œ˜—Kš
œ˜—Kš
œQ˜QKš
œ˜Kš
œ ˜ K˜!K˜ Kš
œ˜Kšœ¢˜—š¥œžœ˜5Kšœ
žœžœ
žœžœžœ™uš§œž	œžœ˜+š
žœžœ
žœ
žœ3žœžœ
ž˜išžœ(žœ˜0Kš
œ.˜.Kš
ž˜K˜
—Kšžœ
˜—Kšœžœ˜Kšœ¢˜—Kšœ
žœ™Kšœ
žœ 
œ
˜Kšœžœ
˜Nšœžœ
žœ
˜.šœžœž˜7Kš
œ$˜$Kš
œ$˜$Kšžœ˜K˜—Kš
œ˜Kšœžœ˜K˜Kšœžœ˜K˜Kšœžœ˜Kšœžœ 
œ˜0Kšžœžœžœ 
œ˜LN™ä
Kš
œ_˜_šžœžœ
ž˜Kš	œžœžœžœžœ˜cKšžœžœžœ
žœ?˜e—Nš
œ˜Kšœ¢˜——™Kšœžœ˜.Kšœ
žœ˜#Lšœ
žœ 
œ
˜Kšœžœ 
œ
˜"Kšœžœ 
œ
˜#š¥œžœž˜1Kš
žR™RKšœ
žœ˜Kšœ
žœ6˜BKšœ	žœ7˜Bšžœž˜#Kš
ž˜Kš
œ]˜]Kš
ž˜Kšžœ
˜—Nš
œT˜TKš
œ\˜\Kš
œV˜VKšžœ¢˜—š¥œžœ
žœž˜0Kš
žR™Rš
§œžœžœžœžœ
žœ
ž˜?Kš
œ(˜(Kšžœ¢˜—Nšœ
žœ˜*Kšœžœžœ˜'Kšœžœ
žœžœ
˜Kšœžœ
˜Kšœžœžœ
˜šžœ
ž˜š
œ„
˜„
š	žœ"žœFžœžœ
ž˜„
šžœž˜š
œ˜Kšœžœn˜wKš	œžœxžœžœ
žœ
˜½
K˜—š
œ˜Kš
œžœ
žœžœžœžœ
žœ
˜QKšœ
žœ
žœžœs˜”
Kš
œV˜VK˜—š
œ%˜%Kšœžœn˜wKš	œžœxžœ"žœ
žœ
˜Â
K˜—š
œ#˜#Kšœžœn˜w—šœ¢˜Kšœžœ~˜…
Kš
œ˜šžœ
ž˜˜%Kš	œžœžœ!žœžœ#˜o—Kšžœ žœžœ˜V——šœ¢˜Kšœžœ~˜…
Kš
œ˜Kšœžœžœ˜K—Kšžœžœ
žœD˜W—Kš
ž˜—Kšžœžœ5˜BKšžœžœ
žœ6˜M——Kšžœ¢˜—š§	œžœžœžœžœ	ž˜=Kšœ, 
œ˜/Kšžœ¢˜—šÐbnœžœ
žœž˜>Kšœ
žœ9žœ
žœ
žœžœ™{Kšœžœ@˜_Kšœžœ>˜[šžœ&žœžœ
ž˜:Kšœ
žœ
žœ
˜Kšžœžœ
žœ˜-šžœ
¢:˜?K–’
[circuit: 
REF SX.Circuit, subcircuitNode: 
REF SX.CircuitNode, qualifier: 
LIST OF CD.ApplicationPtr, insertIfNotInCircuit: 
BOOLEAN _ FALSE]šœžœižœ˜�
—šžœ$žœžœ
ž˜8Kš
žœ
žœžœžœ
žœ
˜Gšžœ
žœ˜Kšœžœ˜.—Kš
ž˜—Kšžœ
˜—šžœžœ
ž˜Kš
œT˜T—š	žœ;žœžœ9žœž˜‡
Kš
œI˜I—Kšžœ˜Kšžœ¢˜—š¥œžœ
žœž˜;Kšžœžœ
žœ
™Kšœžœ1˜=Kšœ!žœ
˜&Kš
œ˜N™š	žœžœ3žœžœ
ž˜PKšœžœ
žœD˜Ršžœ#žœžœ
ž˜7KšœSžœ˜XKšœ_žœ˜dšžœ	žœžœ˜%K™NK–¬
[circuit: 
REF SpinifexCircuit.Circuit, subcircuitNode: 
REF SpinifexCircuit.CircuitNode, qualifier: 
LIST OF CD.ApplicationPtr, insertIfNotInCircuit: 
BOOLEAN _ FALSE]šœžœKžœžœ˜~šžœ	žœ˜K™cK–†
[pointInCell: 
CD.Position, cellSize: 
CD.Position, cellInstOrient: 
CD.Orientation, cellInstPos: 
CD.Position _ [x: 
0, y: 
0]]šœžœ¢
˜ª
Kš
œh˜hK˜
—Kšœ¢˜—Kšžœ
¢˜—Kšžœ¢˜—Nš
œŽ
™Ž
šžœ)žœžœ
ž˜=KšœRžœ˜Wšžœ	žœ˜KšœžœN˜dK™Hšžœ#žœžœ
ž˜7Kšœžœ˜'šžœ%žœžœ
ž˜Dšžœžœ%ž˜9Kšœ$¢˜>—Kš
ž˜—Kšžœ¢˜—šžœžœ
žœ	žœ˜)K™*Kšœžœ˜$Kš
œv˜vKš
œ
˜
—šžœ
žœžœ
žœžœ
žœ˜=K™*Kšœžœ˜$Kš
œp˜pšžœ#žœžœ
ž˜7Kšœžœ˜$KšœHžœ;žœH˜Ò
Kšžœ
˜—K˜
—Kšœ¢˜—Kšžœ
¢˜—Kšžœ¢˜—š¥œžœ
žœž˜0Kšžœžœžœ
žœžœžœžœžœžœžœ™£
Kšœ	žœ
žœžœp 
œ 
œ 
œ 
œ˜�
Kšžœžœ
žœ
žœ
˜Kšœežœ
žœ˜Kšžœ¢˜——™š§œž	œ˜NšŸ
œžœ
žœ˜Nšœžœ
žœ˜,Kšœžœ
žœ˜,Kšœžœ
žœ˜,Kšœžœ
žœ˜-š
œ&™&šœžœ
žœžœ™"Kšœžœ
™Kšœ¢"™;Kšœžœžœ¢{™¥
Kšœ@žœ¢D™�
K™—Nšœžœ%žœ˜LKšœžœ)™=Kšœžœ-˜CKšœžœ-˜AKšœžœ&žœ˜OKšœžœ2žœ˜\Kšœžœ.˜DNšœžœ%žœ˜MKšœžœ.˜DKšœžœ&žœ˜OKšœžœ2žœ˜\Nšœžœ+žœ˜UKšœžœ+žœ˜UKšœžœ5žœ˜bKšœžœ5žœ˜bKšœžœ)˜=Kšœžœ&˜<Kšœžœ%žœ˜OKšœžœ'˜<Kšœžœ$™8Kšœžœ+™AKšœžœ0™GNšœžœ žœ˜HKšœžœ žœ˜HKšœžœ+™>Kšœžœ*žœ˜QN˜
Kšœžœžœ˜&Kšœžœžœ˜'–14 in lineLengthš
œ,˜,Idefault–14 in lineLengthšœÐosD™YP–14 in lineLengthš
©H˜HP–14 in lineLengthš
©J˜JP–14 in lineLengthš©0Ñbos©˜IP–14 in lineLengthš
©R˜RP–14 in lineLengthš
©O˜OP–14 in lineLengthš
©L˜LP–14 in lineLengthš©ª©7˜NP–14 in lineLengthš
©S˜SP–14 in lineLengthš©œ˜P–14 in lineLength˜—–14 in lineLengthš
œ,™,P–14 in lineLengthšœ©D™YP–14 in lineLengthš
©O™OP–14 in lineLengthš
©O™OP–14 in lineLengthš
©Q™QP–14 in lineLengthš
©Q™QP–14 in lineLengthš
©Z™ZP–14 in lineLengthš
©V™VP–14 in lineLengthš
©S™SP–14 in lineLengthš
©W™WP–14 in lineLengthš
©[™[P–14 in lineLengthš©œ™P–14 in lineLength™—š
œ,˜,Pšœ©)™>Pš
©9˜9Pš
©:˜:Pš©'ª©˜9Pš
©C˜CPš
©>˜>Pš©ª©(˜?J˜	K˜—–14 in lineLengthš
œ,˜,P–14 in lineLengthšœ©h™}P–14 in lineLengthš
©X˜XP–14 in lineLengthš
©S˜SP–14 in lineLengthš
©[˜[P–14 in lineLengthš
©[˜[P–14 in lineLengthš
©d˜dP–14 in lineLengthš
©d˜dP–14 in lineLengthš
©X˜XP–14 in lineLengthš
©R˜RP–14 in lineLengthš
©Y˜YP–14 in lineLengthš
©Y˜YP–14 in lineLengthš
œ˜K–14 in lineLengthš
œ˜—–14 in lineLengthš
œ,™,P–14 in lineLengthšœ©h™}P–14 in lineLengthš
©m™mP–14 in lineLengthš
©d™dP–14 in lineLengthš
©q™qP–14 in lineLengthš
©q™qP–14 in lineLengthš
©z™zP–14 in lineLengthš
©z™zP–14 in lineLengthš
©n™nP–14 in lineLengthš
©q™qP–14 in lineLengthš
©b™bP–14 in lineLengthš
©v™vP–14 in lineLengthš
©g™gP–14 in lineLengthš
©n™nP–14 in lineLengthš
©n™nP–14 in lineLengthš
œ™K–14 in lineLengthš
œ™—š
œ-˜-Pšœ©™0Pš
©)˜)Pš
©)˜)Pš
©*˜*Pš
©*˜*Pš
©'˜'P˜
K˜—Nš
œD˜DKš
œD˜DKš
œE˜EKš
œG˜GK˜—š
œ#™#Nš	œ
žœžœ‘
 
œ	 
œZ˜ŠNšœ
žœ
žœ‘
 
œZ™ÿ
Kšœ¥	œžœ
˜1Kšœ¥	œžœ
˜1Kšœ¥œžœ
˜,Kšœ¥œžœ
˜,Kšœ¥œžœ
˜-Kšœ¥œžœ
˜+Kšœ¥œžœ
˜+Kšœ¥œžœ
˜,šœ ¥	œžœ2 
œžœžœ·
˜¤Kš
œX™X—Kšœ ¥	œžœ·
˜è
Kšœ ¥œžœU˜�
Kšœ ¥œžœU˜�
Kš	œ ¥œžœM 
œ	 
œ˜ˆ
Kš	œ ¥œžœM 
œ¢Ñacl™Š
Kšœ ¥œžœ!˜LKšœ ¥œžœ$˜OKšœ ¥œžœ$˜PK™š
ž˜Kšœ	žœ
 
œ¢"˜:Kš
œ]™]Kšœ ¥œžœˆ
˜³
Kšœ ¥œžœC˜oKšœ ¥œžœP˜{Kšžœ
˜——š
œ™Nš
œB˜BKš
œB˜BKš
œ;˜;Kš
œ<˜<Kš
œ<˜<Kš
œ=˜=—š
œ$™$Nš
œ=˜=Kš
œ=˜=Kš
œ;˜;Kš
œ;˜;Kš
œ;˜;—š
œ>™>Nš
œ@˜@Kš
œ@˜@Kš
œ?˜?Kš
œ@˜@—š
œ™Nš
œ˜—š
œ:™:N–<[propList: 
Atom.PropList, prop: 
REF ANY, val: 
REF ANY]š
œY˜Y—š
œ™Nš
œÀ
˜À
Kš
π
˜Ä
Kš
œÁ
˜Á
Kš
ρ
˜Å
Kš
π
˜Ä
Nš
œo˜oKš
œo˜oNš
œo˜oKš
œs˜sKš
œt˜tKš
œx˜xKš
œq˜qKš
œu˜uKš
œi˜iKš
œn˜n—K˜——™N˜K˜=—Nšžœ
˜™#K™—™$K™&—™!Kš
œB™BKšœÏrœ¬œ™N—™!K™Kšœ¬œ 
œ 
œ
™4—™!Kš
œ!™!Kšœ¬æ
œ
™ó
—™"K™Kšœ¬×
™ã
—™K™Kšœ¬œ:™T—™ K™OKšœ¬œ/¬œi™¸
—™#Kšœ6¢2œ
™iKšœ¬œ¬œ™>—™#K™UKšœ¬™—™$K™jKšœ¬œÏeœ­œ­œ­œ™\——…—­
6