<> <> <> <> <> <<>> DIRECTORY CD, CDBasics, CDCells, CDDirectory, CDProperties, CDRects, CDRoutingObjects, CDSymbolicObjects, CDTexts, CMosB, Core, CoreClasses, CoreGeometry, CoreGeometryBackdoor, CoreOps, CoreProperties, IO, PW, RefTab, Rope, Sinix, SinixOps, SinixRawCMosB, TerminalIO; SinixRawCMosBImpl: CEDAR PROGRAM IMPORTS CD, CDBasics, CDCells, CDDirectory, CDProperties, CDRects, CDRoutingObjects, CDSymbolicObjects, CDTexts, CMosB, CoreGeometry, CoreGeometryBackdoor, CoreClasses, CoreOps, CoreProperties, IO, PW, RefTab, Rope, Sinix, SinixOps, TerminalIO EXPORTS SinixRawCMosB SHARES CDCells, CDRects, CDSymbolicObjects, CDTexts = BEGIN <> CellType: TYPE = Core.CellType; Wire: TYPE = Core.Wire; Wires: TYPE = Core.Wires; Object: TYPE = CD.Object; Properties: TYPE = Core.Properties; ROPE: TYPE = Core.ROPE; <> standardMode: Sinix.Mode = SinixOps.GetExtractMode[CMosB.cmosB]; justKeepOne: BOOL _ FALSE; mode: PUBLIC Sinix.Mode _ NEW [Sinix.ModeRec _ [ extractProcProp: PW.RegisterProp[$RawCMosBExtractProc, TRUE], decoration: CoreGeometry.CreateDecoration["RawCMosB"], instanceEqualProc: InstanceEqual, objectEqualProc: ObjectEqual, nbOfLayers: standardMode.nbOfLayers, instanceLayer: standardMode.instanceLayer, touchProc: standardMode.touchProc, fusionByName: none, userData: UserData, nameProc: standardMode.nameProc ]]; <> ObjectEqual: PROC [obj: Object, cacheUserData: REF, userData: REF] RETURNS [cacheOK: BOOL] = { cacheData: REF INT = NARROW [cacheUserData]; data: REF INT = NARROW [userData]; RETURN [cacheData^>=data^]; }; InstanceEqual: PROC [obj: Object, cacheProperties: CD.PropList, cacheUserData: REF, properties: CD.PropList, userData: REF] RETURNS [cacheOK: BOOL] = { cacheOK _ Sinix.CompareProperties[obj, cacheProperties, cacheUserData, properties, userData] AND ObjectEqual[obj, cacheUserData, userData]; }; UserData: PROC [design: CD.Design] RETURNS [REF] = {RETURN [NEW [INT _ 0]]}; <> Mark: PROC [design: CD.Design] RETURNS [total, marked: INT _ 0] = { usage: RefTab.Ref = RefTab.Create[]; -- maps every cell to the containing cell. Objects are keys, and values are either $unique, or $many if several cell contain that object. CountEachUse: CDDirectory.EachObjectProc = { EachInst: CDCells.InstEnumerator = { value: REF = RefTab.Fetch[usage, inst.ob].val; IF NOT CDCells.IsCell[inst.ob] THEN RETURN; [] _ RefTab.Store[usage, inst.ob, IF value=NIL THEN $unique ELSE $many]; }; IF NOT CDCells.IsCell[me] THEN RETURN; total _ total + 1; [] _ CDCells.EnumerateInstances[me, EachInst]; }; MarkUniques: RefTab.EachPairAction = { IF val=$many THEN RETURN; marked _ marked + 1; CDProperties.PutProp[key, $RawFlatten, $RawFlatten]; }; [] _ CDDirectory.EnumerateDesign[design, CountEachUse]; [] _ RefTab.Pairs[usage, MarkUniques]; }; <> IsOverglass: PROC [obj: CD.Object] RETURNS [BOOL] = { RETURN [obj.class=CDRects.bareRectClass AND obj.layer=CMosB.ovg]; }; <> SpecialGetGeometry: PROC [wire: Wire] RETURNS [geometry: CoreGeometry.Instances _ NIL, ovg: BOOL _ FALSE] = { ConsEachGeom: CoreGeometry.EachInstanceProc = { SELECT TRUE FROM IsOverglass[instance.obj] => {ovg _ TRUE; geometry _ CONS [instance, geometry]}; geometry=NIL => geometry _ LIST [instance]; ENDCASE => IF NOT justKeepOne THEN geometry _ CONS [instance, geometry]; }; [] _ CoreGeometry.EnumerateGeometry[mode.decoration, wire, ConsEachGeom]; }; RawExtractCell: Sinix.ExtractProc = { flattenSomeChild: BOOL _ FALSE; rct: CoreClasses.RecordCellType; new, record: CellType; newInternals: Wires _ NIL; -- used only if flatten of a child necessary instances: LIST OF CoreClasses.CellInstance _ NIL; -- used only if flatten of a child necessary [result, props] _ Sinix.ExtractCell[obj, mode, properties, userData]; record _ NARROW [result]; rct _ NARROW [record.data]; IF rct.size=0 THEN CoreProperties.PutCellTypeProp[record, $RawFlatten, $Keep]; IF CDProperties.GetObjectProp[obj, $RawFlatten]=$RawFlatten THEN CoreProperties.PutCellTypeProp[record, $RawFlatten, $Smash]; FOR i: NAT IN [0 .. rct.size) DO IF CoreProperties.GetCellTypeProp[rct[i].type, $RawFlatten]#NIL THEN flattenSomeChild _ TRUE; ENDLOOP; IF NOT flattenSomeChild THEN RETURN; TerminalIO.PutF["In cell %g, flattening:", IO.rope[PW.Name[obj]]]; FOR i: NAT IN [0 .. rct.size) DO IF CoreProperties.GetCellTypeProp[rct[i].type, $RawFlatten]=NIL THEN instances _ CONS [rct[i], instances] ELSE { <> CreateWire: PROC [old: Wire] RETURNS [wire: Wire] = { geometry: CoreGeometry.Instances; ovg: BOOL; [geometry, ovg] _ SpecialGetGeometry[old]; geometry _ CoreGeometry.TransformList[trans, geometry]; wire _ CoreOps.CreateWire[]; CoreGeometry.PutGeometry[mode.decoration, wire, geometry]; newInternals _ CONS [wire, newInternals]; }; AddInTable: PROC [subInternal: Wire] = { IF RefTab.Fetch[intToInt, subInternal].val#NIL THEN RETURN; [] _ RefTab.Store[intToInt, subInternal, CreateWire[subInternal]]; }; CreateActual: PROC [oldAct: Wire] RETURNS [newAct: Wire] = { newAct _ NARROW [RefTab.Fetch[intToInt, oldAct].val]; IF newAct#NIL THEN RETURN; IF oldAct.size=0 THEN [] _ RefTab.Store[intToInt, oldAct, newAct _ CreateWire[oldAct]] ELSE { newAct _ CoreOps.CreateWires[size: oldAct.size]; FOR i: NAT IN [0 .. oldAct.size) DO newAct[i] _ CreateActual[oldAct[i]] ENDLOOP; }; }; DecorateBinding: RefTab.EachPairAction = { pub: Wire = NARROW [key]; act: Wire = NARROW [val]; CoreGeometry.AddGeometry[ mode.decoration, act, CoreGeometry.TransformList[trans, SpecialGetGeometry[pub].geometry] ]; -- Hack to save some space for now! }; name: ROPE = CoreOps.GetCellTypeName[rct[i].type]; trans: CoreGeometry.Transformation = CoreGeometry.GetTrans[mode.decoration, rct[i]]; subrct: CoreClasses.RecordCellType = NARROW [rct[i].type.data]; intToInt: RefTab.Ref _ CoreOps.CreateBindingTable[rct[i].type.public, rct[i].actual]; [] _ RefTab.Pairs[intToInt, DecorateBinding]; IF NOT Rope.Equal[PW.Name[CoreGeometry.GetObject[mode.decoration, rct[i].type]], name] THEN ERROR; TerminalIO.PutF[" %g[%g]", IO.rope[name], IO.int[subrct.size]]; CoreOps.VisitRootAtomics[subrct.internal, AddInTable]; FOR j: NAT IN [0 .. subrct.size) DO instance: CoreClasses.CellInstance _ CoreClasses.CreateInstance[actual: CreateActual[subrct[j].actual], type: subrct[j].type, props: subrct[j].properties]; CoreGeometry.PutTrans[mode.decoration, instance, CDBasics.ComposeTransform[itemInCell: CoreGeometry.GetTrans[mode.decoration, subrct[j]], cellInWorld: trans]]; instances _ CONS [instance, instances] ENDLOOP; <<-- We flush the Sinix cache for name. When we flush, we do not need to explicit the pins because there is no circularity>> IF CoreProperties.GetCellTypeProp[rct[i].type, $RawFlatten]=$Smash THEN Sinix.FlushCache[CoreGeometry.GetObject[mode.decoration, rct[i].type]]; }; ENDLOOP; IF instances=NIL AND newInternals=NIL AND record.public.size=1 AND rct.internal.size=1 THEN {result _ record.public[0]; RETURN}; -- optimization good for Big contacts! new _ CoreClasses.CreateRecordCell[ record.public, CoreOps.UnionWire[rct.internal, CoreOps.CreateWire[newInternals]], instances, NIL, record.properties, TRUE ]; CoreGeometry.PutObject[mode.decoration, new, CoreGeometry.GetObject[mode.decoration, record]]; <> <> <> TerminalIO.PutF[".\n"]; result _ new; }; <> Same: PROC [nameOrClass: REF] = { class: CD.ObjectClass; WITH nameOrClass SELECT FROM c: CD.ObjectClass => class _ c; r: ATOM => class _ CD.FetchObjectClass[r, CMosB.cmosB]; ENDCASE => ERROR; CDProperties.PutProp[class, mode.extractProcProp, CDProperties.GetProp[class, standardMode.extractProcProp]]; }; <> Sinix.RegisterExtractProc[$RawExtractCell, RawExtractCell]; <> CDProperties.PutProp[CDCells.pCellClass, mode.extractProcProp, $RawExtractCell]; Same[CDRoutingObjects.routingClass]; Same[PW.rotationClass]; <> Same[CDSymbolicObjects.pinClass]; Same[CDSymbolicObjects.segmentClass]; Same[CDSymbolicObjects.markClass]; <> Same[CDRects.bareRectClass]; Same[CDRects.wellRectClass]; <> Same[$C2SimpleCon]; Same[$C2WellSimpleCon]; Same[$C2LargeSimpleCon]; Same[$C2LargeWellSimpleCon]; Same[$C2DifShortCon]; Same[$C2DiffShortCon]; Same[$C2WellDifShortCon]; Same[$C2Via]; Same[$C2LargeVia]; <> Same[$C2Trans]; Same[$C2WellTrans]; <> Same[$C2LTrans]; Same[$C2LWellTrans]; <> Same[CDTexts.rigidTextClass]; Same[CDTexts.flipTextClass]; SinixOps.RegisterModeCommands[mode, CMosB.cmosB]; CoreGeometryBackdoor.RegisterDecorationIO[mode.decoration] END.