<> <> <> <> <> DIRECTORY CD, CDAtomicObjects, CDBasics, CDOps, CDStretchyBackdoor, CMosB, Rope; CMosBObsImpl: CEDAR PROGRAM IMPORTS CD, CDAtomicObjects, CDBasics, CDOps, CDStretchyBackdoor, CMosB, Rope = BEGIN lambda: CD.Number = CMosB.lambda; wellSurround: CD.Number = CMosB.wellSurround; <<-- straight transistors -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- >> MatchTrans: PROC [me: CD.Object, r: CD.Rect, layer: CD.Layer, prim: BOOL, horz: BOOL] RETURNS [BOOL] = { <<--poly, dif, welldif, via>> <<-- Don't care about different diffusions and such>> RETURN [layer=me.layer OR layer=CMosB.pol] }; wellTransClass: CD.ObjectClass; transClass: CD.ObjectClass; FillTransistor: PROC [ob: CD.Object] RETURNS [mustFail: BOOL_FALSE] = { dExt: CD.Number = 3*lambda; pExt: CD.Number = 2*lambda; dif: CD.Layer; inr: CD.Rect _ ob.bbox; inr.x2 _ MAX[inr.x2, 2*lambda+2*pExt]; inr.y2 _ MAX[inr.y2, 2*lambda+2*dExt]; IF ob.layer=CMosB.wpdif OR ob.layer=CMosB.wndif THEN { ob.class _ wellTransClass; IF ob.layer=CMosB.wpdif THEN dif _ CMosB.pdif ELSE dif _ CMosB.ndif; CDAtomicObjects.Incorporate[ob: ob, r: [x1: inr.x1-wellSurround+pExt, x2: inr.x2+wellSurround-pExt, y1: inr.y1-wellSurround, y2: inr.y2+wellSurround], layer: (IF dif=CMosB.pdif THEN CMosB.nwell ELSE CMosB.pwell), inside: FALSE ]; } ELSE { IF ob.layer=CMosB.pdif THEN dif _ CMosB.pdif ELSE dif _ CMosB.ndif; }; CDAtomicObjects.Incorporate[ob: ob, r: [x1: inr.x1+pExt, x2: inr.x2-pExt, y1: inr.y1, y2: inr.y2], layer: dif ]; CDAtomicObjects.Incorporate[ob: ob, r: [x1: inr.x1, x2: inr.x2, y1: inr.y1+dExt, y2: inr.y2-dExt], layer: CMosB.pol ]; }; DescribeT: CD.DescribeProc = { dExt: CD.Number = 3*lambda; pExt: CD.Number = 2*lambda; sz: CD.Position = CD.InterestSize[ob]; RETURN [ Rope.Cat[ "transistor ", CDOps.LayerRope[ob.layer], Rope.Cat[" [", CDOps.LambdaRope[sz.x-2*pExt, lambda], CDOps.LambdaRope[sz.y-2*dExt, lambda], "]"] ] ] }; <<>> <<-- L transistors -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- >> lTransClass: CD.ObjectClass; wellLTransClass: CD.ObjectClass; oldBadWellLTransClass: CD.ObjectClass; OldBadFillLTransistor: PROC [ob: CD.Object] RETURNS [mustFail: BOOL_FALSE] = { ob.class _ lTransClass; RETURN [FillLTransistor[ob]] }; FillLTransistor: PROC [ob: CD.Object] RETURNS [mustFail: BOOL_FALSE] = { pExt: CD.Number = 2*lambda; --poly extends gate dExt: CD.Number = 3*lambda; --diffusion extends gate dW: CD.Number = 2*lambda; --witdth of diffusion in gate (not width of gate) pW: CD.Number = 2*lambda; --witdth of poly in gate (not width of gate) minSz: CD.Number = pExt+2*dExt+dW; dif: CD.Layer; inr: CD.Rect _ ob.bbox; inr.x2 _ MAX[inr.x2, minSz]; inr.y2 _ MAX[inr.y2, minSz]; ob.bbox _ inr; IF ob.layer=CMosB.wpdif OR ob.layer=CMosB.wndif THEN { wR: CD.Rect; ob.class _ wellLTransClass; IF ob.layer=CMosB.wpdif THEN dif _ CMosB.pdif ELSE dif _ CMosB.ndif; <<--horizontal piece of nwell>> CDAtomicObjects.Incorporate[ob: ob, r: [x1: inr.x1-wellSurround+pExt, x2: inr.x2+wellSurround, y1: inr.y1-wellSurround , y2: inr.y1+wellSurround+dW+2*dExt], layer: (IF dif=CMosB.pdif THEN CMosB.nwell ELSE CMosB.pwell), inside: FALSE ]; <<--vertical piece of nwell if ~empty>> wR _ [x1: inr.x2-(dW+2*dExt)-wellSurround, x2: inr.x2+wellSurround, y1: inr.y1+wellSurround+dW+2*dExt, y2: inr.y2+wellSurround-pExt]; IF CDBasics.NonEmpty[wR] THEN CDAtomicObjects.Incorporate[ob: ob, r: wR, layer: (IF dif=CMosB.pdif THEN CMosB.nwell ELSE CMosB.pwell), inside: FALSE ]; } ELSE { IF ob.layer=CMosB.pdif THEN dif _ CMosB.pdif ELSE dif _ CMosB.ndif; }; <<--horizontal piece of diff>> CDAtomicObjects.Incorporate[ob: ob, r: [x1: inr.x1+pExt, x2: inr.x2, y1: inr.y1, y2: 2*dExt+dW], layer: dif ]; <<--vertical piece of diff>> IF 2*dExt+dW < inr.y2-pExt THEN CDAtomicObjects.Incorporate[ob: ob, r: [x1: inr.x2-2*dExt-dW, x2: inr.x2, y1: 2*dExt+dW, y2: inr.y2-pExt ], layer: dif ]; CDAtomicObjects.Incorporate[ob: ob, r: [x1: inr.x1, x2: inr.x2-dExt, y1: dExt, y2: dExt+pW], layer: CMosB.pol ]; CDAtomicObjects.Incorporate[ob: ob, r: [x1: inr.x2-pW-dExt, x2: inr.x2-dExt, y1: inr.y1+pW+dExt, y2: inr.y2], layer: CMosB.pol ]; }; <<>> <<-- simple contacts -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- >> simpleContactClass: CD.ObjectClass; wellSimpleContactClass: CD.ObjectClass; largeContactClass: CD.ObjectClass; wellLargeContactClass: CD.ObjectClass; FillSimpleCon: PROC [ob: CD.Object] RETURNS [mustFail: BOOL_FALSE] = { rimW: CD.Number ~ lambda; -- therefore NOT large dif: CD.Layer; inr: CD.Rect _ [0, 0, 2*lambda+2*rimW, 2*lambda+2*rimW]; IF ob.layer=CMosB.wpdif OR ob.layer=CMosB.wndif THEN { ob.class _ wellSimpleContactClass; dif _ (IF ob.layer=CMosB.wpdif THEN CMosB.pdif ELSE CMosB.ndif); CDAtomicObjects.Incorporate[ob: ob, r: CDBasics.Extend[inr, wellSurround], layer: (IF dif=CMosB.pdif THEN CMosB.nwell ELSE CMosB.pwell), inside: FALSE ]; } ELSE { dif _ ob.layer }; CDAtomicObjects.Incorporate[ob: ob, r: inr, layer: dif]; CDAtomicObjects.Incorporate[ob: ob, r: inr, layer: CMosB.met]; CDAtomicObjects.Incorporate[ob: ob, r: CDBasics.Extend[inr, -rimW], layer: CMosB.cut]; }; FillLargeSimpleCon: PROC [ob: CD.Object] RETURNS [mustFail: BOOL_FALSE] = { rimW: CD.Number = 2*lambda; -- therefore large dif: CD.Layer; inr: CD.Rect _ ob.bbox; inr.x2 _ MAX[inr.x2, 2*lambda+2*rimW]; inr.y2 _ MAX[inr.y2, 2*lambda+2*rimW]; IF ob.layer=CMosB.wpdif OR ob.layer=CMosB.wndif THEN { ob.class _ wellLargeContactClass; dif _ (IF ob.layer=CMosB.wpdif THEN CMosB.pdif ELSE CMosB.ndif); CDAtomicObjects.Incorporate[ob: ob, r: CDBasics.Extend[inr, wellSurround], layer: (IF dif=CMosB.pdif THEN CMosB.nwell ELSE CMosB.pwell), inside: FALSE ]; } ELSE { dif _ ob.layer }; CDAtomicObjects.Incorporate[ob: ob, r: inr, layer: dif]; CDAtomicObjects.Incorporate[ob: ob, r: inr, layer: CMosB.met]; CDAtomicObjects.Incorporate[ob: ob, r: CDBasics.Extend[inr, -rimW], layer: CMosB.cut]; }; DescribeC: CD.DescribeProc = { RETURN [Rope.Cat["contact ", CDOps.LayerRope[ob.layer]]] }; DescribeLargeC: CD.DescribeProc = { RETURN [Rope.Cat["large contact ", CDOps.LayerRope[ob.layer]]] }; <<-- DifShort -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- >> wellDifShortContactClass: CD.ObjectClass; FillDifShortCon: PROC [ob: CD.Object] RETURNS [mustFail: BOOL_FALSE] = { dif: CD.Layer; inr: CD.Rect; innerW: CD.Number = 4*lambda; innerH: CD.Number = 8*lambda; h: CD.Number = innerH/2; inr _ [x1: 0, y1: 0, x2: innerW, y2: innerH]; IF ob.layer=CMosB.wpdif OR ob.layer=CMosB.wndif THEN { ob.class _ wellDifShortContactClass; IF ob.layer=CMosB.wpdif THEN dif _ CMosB.pdif ELSE dif _ CMosB.ndif; CDAtomicObjects.Incorporate[ob: ob, r: [-wellSurround, -wellSurround, innerW+wellSurround, innerH+wellSurround-h], layer: (IF dif=CMosB.pdif THEN CMosB.nwell ELSE CMosB.pwell), inside: FALSE ]; } ELSE { IF ob.layer=CMosB.pdif THEN dif _ CMosB.pdif ELSE dif _ CMosB.ndif; }; CDAtomicObjects.Incorporate[ob: ob, r: inr, layer: CMosB.met]; CDAtomicObjects.Incorporate[ob: ob, r: [x1: inr.x1, x2: inr.x2, y1: inr.y1, y2: inr.y1+h], layer: dif ]; CDAtomicObjects.Incorporate[ob: ob, r: [x1: inr.x1, x2: inr.x2, y1: inr.y1+h, y2: inr.y2], layer: (IF dif=CMosB.pdif THEN CMosB.nwellCont ELSE CMosB.pwellCont) ]; CDAtomicObjects.Incorporate[ob: ob, r: CDBasics.Extend[inr, -lambda], layer: CMosB.cut]; }; <<--via -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- >> FillVia: PROC [ob: CD.Object] RETURNS [mustFail: BOOL_FALSE] = { viaRimWidth: CD.Number = lambda; cut2min: CD.Number = 2*lambda; ob.bbox _ [0, 0, cut2min+2*viaRimWidth, cut2min+2*viaRimWidth]; ob.layer _ CMosB.met2; CDAtomicObjects.Incorporate[ob: ob, r: ob.bbox, layer: CMosB.met2]; CDAtomicObjects.Incorporate[ob: ob, r: ob.bbox, layer: CMosB.met]; CDAtomicObjects.Incorporate[ob: ob, r: [x1: viaRimWidth, x2: cut2min+viaRimWidth, y1: viaRimWidth, y2: cut2min+viaRimWidth], layer: CMosB.cut2 ]; }; FillLargeVia: PROC [ob: CD.Object] RETURNS [mustFail: BOOL_FALSE] = { viaRimWidth: CD.Number = 2*lambda; cut2min: CD.Number = 2*lambda; ob.bbox.x2 _ MAX[ob.bbox.x2, cut2min+2*viaRimWidth]; ob.bbox.y2 _ MAX[ob.bbox.y2, cut2min+2*viaRimWidth]; ob.layer _ CMosB.met2; CDAtomicObjects.Incorporate[ob: ob, r: ob.bbox, layer: CMosB.met2]; CDAtomicObjects.Incorporate[ob: ob, r: ob.bbox, layer: CMosB.met]; CDAtomicObjects.Incorporate[ob: ob, r: [x1: viaRimWidth, x2: ob.bbox.x2-viaRimWidth, y1: viaRimWidth, y2: ob.bbox.y2-viaRimWidth], layer: CMosB.cut2 ]; }; <<-- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- >> MatchSimpleCon: PROC [me: CD.Object, r: CD.Rect, layer: CD.Layer, prim: BOOL, horz: BOOL] RETURNS [BOOL] = { <<--poly, dif, welldif, via>> <<-- Don't care about different diffusions and such>> RETURN [layer=me.layer OR layer=CMosB.met] }; Init: PROC [] = { Register: PROC [key: ATOM, creator: CDAtomicObjects.FillObjectProc, desc: Rope.ROPE, match: CDStretchyBackdoor.MatchProc_NIL] RETURNS [p: CD.ObjectClass] = { p _ CDAtomicObjects.RegisterAtomicObClass[key, creator, desc, CMosB.cmosB]; IF p=NIL THEN ERROR; IF match=NIL THEN match _ MatchSimpleCon; CDStretchyBackdoor.InstallMatchProc[p, match]; }; <<>> <<--transistors>> transClass _ Register[$C2Trans, FillTransistor, "transistor", MatchTrans]; transClass.describe _ DescribeT; wellTransClass _ Register[$C2WellTrans, FillTransistor, "transistor", MatchTrans]; wellTransClass.describe _ DescribeT; lTransClass _ Register[$C2LTrans, FillLTransistor, "L-transistor", MatchTrans]; oldBadWellLTransClass _ Register[$CLWellTrans, OldBadFillLTransistor, "L-transistor", MatchTrans]; wellLTransClass _ Register[$C2LWellTrans, FillLTransistor, "L-transistor", MatchTrans]; <<--contacts>> simpleContactClass _ Register[$C2SimpleCon, FillSimpleCon, "contact"]; simpleContactClass.describe _ DescribeC; wellSimpleContactClass _ Register[$C2WellSimpleCon, FillSimpleCon, "contact"]; wellSimpleContactClass.describe _ DescribeC; largeContactClass _ Register[$C2LargeSimpleCon, FillLargeSimpleCon, "large contact"]; largeContactClass.describe _ DescribeLargeC; wellLargeContactClass _ Register[$C2LargeWellSimpleCon, FillLargeSimpleCon, "large contact"]; wellLargeContactClass.describe _ DescribeLargeC; [] _ Register[$C2DifShortCon, FillDifShortCon, "dif short contact"]; wellDifShortContactClass _ Register[$C2WellDifShortCon, FillDifShortCon, "dif short contact"]; [] _ Register[$C2Via, FillVia, "via"]; [] _ Register[$C2LargeVia, FillLargeVia, "large via"]; }; Init[]; END.