DIRECTORY CD, CDBasics, CDCells, CDDirectory, CDInstances, CoreName, CDOps, CDSymbolicObjects, CDProperties, CDViewer, Core, CoreLibrary, CoreBlock, CoreFrame, CoreProperties, HashTable, IO, PW, PWCore, PWPins, Rope, RopeList, ViewerClasses;CoreLibraryImpl: CEDAR PROGRAMIMPORTS CD, CDBasics, CDCells, CDDirectory, CDInstances, CDSymbolicObjects, CDProperties, CoreBlock, CoreName, CoreProperties, HashTable, IO, PW, PWCore, PWPins, Rope, RopeListEXPORTS CoreLibrary =BEGINSignal:			SIGNAL = CODE;ROPE:				TYPE = CoreLibrary.ROPE;Library:			TYPE = CoreLibrary.Library;LibraryRec:		TYPE = CoreLibrary.LibraryRec;RenamePinsProc:	TYPE = CoreLibrary.RenamePinsProc;designArchive: LIST OF CD.Design _ NIL;	-- prevent garbage collectionOpenLibrary: PUBLIC PROC[name: ROPE] RETURNS[lib: Library] = {lib _ NEW[LibraryRec _ [design:	PW.OpenDesign[name],table:		HashTable.Create[equal: HashTable.RopeEqual, hash: HashTable.HashRope] ] ];IF lib.design=NIL THEN Signal[];designArchive _ CONS[lib.design, designArchive]};Get: PUBLIC PROC[lib:				Library,name:				ROPE,removeNamed:	BOOL				_ TRUE,conds:				LIST OF ROPE	_ NIL]RETURNS[cell: Core.CellType] = {obj:			CD.Object;refName:		ROPE _ name;IF name.Length[]=0 THEN Signal[];IF conds#NIL THEN	{conds _ RopeList.Sort[conds, RopeList.Compare];refName _ refName.Cat[IF removeNamed THEN "-Remove" ELSE "-Keep"];FOR list: LIST OF ROPE _ conds, list.rest WHILE list#NIL DOrefName _ refName.Cat["-", (IF list.first=NIL THEN "NONE" ELSE list.first)] ENDLOOP };name		_ CoreName.RopeNm[name];refName	_ CoreName.RopeNm[refName];cell _ NARROW[HashTable.Fetch[lib.table, refName].value];IF cell#NIL THEN RETURN[cell];obj _ CDDirectory.Fetch[lib.design, name].object;IF obj=NIL THEN RETURN[NIL];IF conds#NIL THEN	obj _PW.Inst[obj, conds, removeNamed];cell _ ObjCell[obj, refName];Set[lib, refName, cell]};Set: PUBLIC PROC[lib:	Library,name:	ROPE,cell:	Core.CellType ] =  {old: Core.CellType;name _ CoreName.CellNm[cell, name].n;IF name.Length[]=0 THEN Signal[];old _ NARROW[HashTable.Fetch[lib.table, name].value];IF old#NIL AND old#cell THEN Signal[];[ ] _ HashTable.Store[lib.table, name, cell]};ObjCell: PUBLIC PROC[obj:				CD.Object,name:				ROPE,rename:			RenamePinsProc	_ NIL]RETURNS[cell: Core.CellType] = {PW.WriteF["\nDefine Core Cell: %g", IO.rope[name]];obj _ Flatten[obj, rename];	-- New independent objectcell _ PWCore.FromLayoutWithoutPublic[obj];IF name.Length[]=0 THEN Signal[];[ ] _ CoreName.CellNm[cell, name];CoreBlock.MarkSides[cell] };Flatten: PUBLIC PROC [cell: CD.Object, rename: RenamePinsProc_NIL]RETURNS [new: CD.Object] = {flat:		BOOL			_ FALSE;new		_ Crystallize[cell];PW.WriteF["\nFlatten cell: %g ", IO.rope[NARROW[new.specificRef, CD.CellPtr].name]];FOR pass: INT IN [0..10) WHILE NOT flat DOPW.WriteF["."];[new, flat] _ FlattenOneLevel[new, rename] ENDLOOP;PW.WriteF[" done\n"]};FlattenOneLevel: PUBLIC PROC [cell: CD.Object, rename: RenamePinsProc_NIL]RETURNS [new: CD.Object, flat: BOOL _ TRUE] = {IncludeInNew: PROC[child: CD.Instance] = {baby: CD.Instance;IF CDSymbolicObjects.IsPin[child.ob] AND rename#NIL THEN {name:	ROPE				_ CDSymbolicObjects.GetName[child];side:	CoreFrame.Side5	_ PWPins.GetSide[cell, child];SELECT side FROMleft, right	=> name _ rename[name, side, child.location.y-iBase.y];top, bottom	=> name _ rename[name, side, child.location.x-iBase.x];ENDCASE		=> RETURN;IF name=NIL THEN RETURN;CDSymbolicObjects.SetName[child, name]};baby _ CDCells.IncludeOb[design:		NIL, cell:			new,ob:			child.ob,position:		child.location,	-- iBase,orientation:	child.orientation, cellCSystem:	cdCoords,	-- interrestCoords,obCSystem:	cdCoords,	-- interrestCoords,mode:			dontPropagate ].newInst;CDProperties.CopyProps[child.properties, baby] };list0, list1: CD.InstanceList;iBase: CD.Position _ CDBasics.BaseOfRect[CD.InterestRect[cell]];IF NOT ISTYPE[cell.specificRef, CD.CellPtr] THEN ERROR;new _ CDCells.CreateEmptyCell[];CDCells.SetInterestRect[new, CD.InterestRect[cell]];list0 _ NARROW [cell.specificRef, CD.CellPtr].contents;FOR list0 _ list0, list0.rest WHILE list0 # NIL DOinst: CD.Instance _ NEW[CD.InstanceRep _ list0.first^];inst.ob _ Crystallize[inst.ob];IF NOT ISTYPE[inst.ob.specificRef, CD.CellPtr] THEN IncludeInNew[inst]ELSE {list1	_ NARROW [inst.ob.specificRef, CD.CellPtr].contents;list1	_ CDInstances.ComposedList[list1, inst.location, inst.ob.size, inst.orientation];FOR list1 _ list1, list1.rest WHILE list1 # NIL DOflat _ flat AND NOT inst.ob.class.inDirectory;IncludeInNew[list1.first]ENDLOOP };ENDLOOP;[ ] _ CDCells.RepositionCell[new, NIL] };hardLayout: PUBLIC ATOM _ CoreProperties.RegisterProperty[$CoreLibraryHardLayout];HardLayout: PUBLIC PROC [cell: Core.CellType] RETURNS [obj: CD.Object] = {IF cell=NIL THEN RETURN[NIL];obj _ NARROW[CoreProperties.GetCellTypeProp[cell, hardLayout]];IF obj=NIL THEN obj _ Crystallize[PWCore.Layout[cell]];CoreProperties.PutCellTypeProp[cell, hardLayout, obj]};Crystallize: PUBLIC PROC [cell: CD.Object] RETURNS [new: CD.Object] = {new _ cell;WHILE cell.class.inDirectory AND NOT ISTYPE[new.specificRef, CD.CellPtr] DOnew _ CDDirectory.Expand[new, NIL, NIL].new;IF new=NIL THEN Signal[]; ENDLOOP};FlattenAll: PROC [cell: CD.Object] RETURNS [new: CD.Object] = {cell _ Crystallize[cell];PW.WriteF["\nFlatten cell: %g ", IO.rope[NARROW[cell.specificRef, CD.CellPtr].name]];new _ FlattenAllLevels[cell]};FlattenAllLevels: PROC [cell: CD.Object]RETURNS [new: CD.Object] = {IncludeInNew: PROC[child: CD.Instance] = {baby: CD.Instance;baby _ CDCells.IncludeOb[design:		NIL, cell:			new,ob:			child.ob,position:		child.location,	-- iBase,orientation:	child.orientation, cellCSystem:	cdCoords,	-- interrestCoords,obCSystem:	cdCoords,	-- interrestCoords,mode:			dontPropagate ].newInst;CDProperties.CopyProps[child.properties, baby] };list0, list1: CD.InstanceList;iBase: CD.Position _ CDBasics.BaseOfRect[CD.InterestRect[cell]];IF NOT cell.class.inDirectory THEN RETURN[cell];cell _ Crystallize[cell];new _ CDCells.CreateEmptyCell[];CDCells.SetInterestRect[new, CD.InterestRect[cell]];list0 _ NARROW [cell.specificRef, CD.CellPtr].contents;FOR list0 _ list0, list0.rest WHILE list0 # NIL DOinst: CD.Instance _ NEW[CD.InstanceRep _ list0.first^];inst.ob _ FlattenAllLevels[inst.ob];IF NOT ISTYPE[inst.ob.specificRef, CD.CellPtr] THEN IncludeInNew[inst]ELSE {list1	_ NARROW [inst.ob.specificRef, CD.CellPtr].contents;list1	_ CDInstances.ComposedList[list1, inst.location, inst.ob.size, inst.orientation];FOR list1 _ list1, list1.rest WHILE list1 # NILDO IncludeInNew[list1.first] ENDLOOP };ENDLOOP;[ ] _ CDCells.RepositionCell[new, NIL] };END.  ‏  CoreLibraryImpl.mesaCopyright c 1985 by Xerox Corporation.  All rights reserved.Curry May 14, 1986 12:46:15 pm PDTSos.CheckDesignRules[cell, NIL, NIL, TRUE, $PWCoreLayout, $SinixCMosBInstance, $SinixCMosBWireGeometry];Test: PROC[design, name: ROPE] = {lib:		Library			_ OpenLibrary[design];cell:		Core.CellType	_ Get[lib, name];ref:		CD.Object			_ PW.Get[lib.design, name];obj:		CD.Object			_ PWCore.Layout[cell];iRect:		CD.Rect			_ CD.InterestRect[obj];viewer:	ViewerClasses.Viewer;CoreOps.PrintCellType[cell];IF ref=NIL OR obj=NIL THEN Signal[];CDOps.IncludeObjectI[lib.design, obj, [0, 0]];CDCleanUp.CleanUp[lib.design];viewer _ CDViewer.CreateViewer[lib.design];CDViewer.ShowAndScale[viewer, iRect];Signal[]};Test["IFUCore", "Junk"]; ‌ت	f  –"cedar" styleک ڑœ™Jڑœ<™<J™"—Jک Jڑدk	œ‌œ¯‌œ‌œ0کٌJک ڑدnœ‌œ‌کJڑ‌œ‌œ€‌œ‌œ ک°Jڑ‌œکJڑ‌کJک Jڑ‍œ‌œ‌œکJڑ‌œ‌œ‌œک!Jڑœ‌œک&Jڑœ‌œک+Jڑœ‌œک2Jک Jڑ
œ‌œ‌œ‌œ
‌œدcکEJک ڑ
‍œ‌œ‌œ‌œ‌œک>ڑœ‌œکJڑœ‌œکJڑœSکS—Jڑ‌œ‌œ‌œ
ک Jڑœ‌œک1—J•StartOfExpansion[]ک ڑ‍œ‌œ‌œکJڑœکJڑœ	‌œکJڑœ‌œ‌œکڑ	œ
‌œ‌œ‌œ‌œکJڑ‌œک —Jڑœ‌œکJڑœ
‌œکJڑ‌œ‌œ
ک!ڑ‌œ‌œ‌œکJڑœ/ک/Jڑœ‌œ‌œ‌œ
کBڑ‌œ‌œ‌œ‌œ‌œ‌œ‌ک;Jڑœ‌œ‌œ‌œ‌œ‌œکV——JڑœکJڑœ#ک#Jڑœ‌œ,ک9Jڑ‌œ‌œ‌œ‌œکJڑœ1ک1Jڑ
‌œ‌œ‌œ‌œ‌œکJڑ‌œ‌œ‌œ‌œک8JڑœکJڑœک—Jک ڑ‍œ‌œ‌œکJڑœکJڑœ‌œکڑœکJڑœکJڑœ%ک%Jڑ‌œ‌œ
ک!Jڑœ‌œ)ک5Jڑ‌œ‌œ‌œ
‌œ
ک&Jڑœ.ک.——Jک ڑ‍œ‌œ‌œکJڑœ‌œکJڑœ	‌œکڑœ‌œکJڑ‌œک —Jڑ‌œ"‌œک3Jڑœںک5Jڑœ+ک+Jڑ‌œ‌œ
ک!Jڑœ"ک"ڑœ™JڑœT™T—Jڑœک—Jک ڑ‍œ‌œ‌œ ‌œکBJڑ‌œ‌œکJڑœ‌œ‌œکJڑœکJڑ‌œ‌œ‌œ‌œکTڑ‌œ‌œ‌œ	‌œ‌œ‌ک*Jڑ‌œکJڑœ+‌œک3—Jڑ‌œک—Jک ڑ‍œ‌œ‌œ ‌œکJJڑ‌œ‌œ‌œ‌œک/ڑ‍œ‌œ‌œک*Jڑœ‌œ
کڑ‌œ#‌œ‌œ‌œک:Jڑœ‌œ'ک1Jڑœ4ک4ڑ‌œ‌کJڑœCکCJڑœCکCJڑ‌œ‌œک—Jڑ‌œ‌œ‌œ‌œکJڑœ(ک(—ڑœکJڑœ	‌œکJڑœکJڑœکJڑœں	ک$Jڑœ ک Jڑœںک*Jڑœںک(Jڑœ ک —Jڑœ1ک1—Jڑœ‌œکJڑœ‌œ ‌œک@Jڑ‌œ‌œ‌œ‌œ
‌œ‌œک7Jڑœ ک Jڑœ‌œک4Jڑœ‌œ‌œک7ڑ‌œ‌œ	‌œ‌ک2Jڑœ‌œ‌œ‌œک7Jڑœکڑ‌œ‌œ‌œ‌œ
ک/Jڑ‌œکڑ‌œکJڑœ‌œ‌œک:JڑœWکWڑ‌œ‌œ	‌œ‌ک2Jڑœ‌œ‌œک.JڑœکJڑ‌œک
———Jڑ‌œک—Jڑœ"‌œک)—Jک Jڑœ‌œ‌œ;کRJک ڑ
‍
œ‌œ‌œ‌œ‌œکJJڑ
‌œ‌œ‌œ‌œ‌œکJڑœ‌œ3ک?Jڑ‌œ‌œ‌œ(ک7Jڑœ7ک7—Jک ڑ
‍œ‌œ‌œ	‌œ‌œکGJڑœ
‌کڑ‌œ‌œ‌œ‌œ‌œ
‌کKJڑœ‌œ‌œک,Jڑ‌œ‌œ‌œ‌œک#——Jک ڑ
‍
œ‌œ‌œ	‌œ‌œک?JڑœکJڑ‌œ‌œ‌œ‌œکUJڑœک—Jک ڑ‍œ‌œ‌œک(Jڑ‌œ‌œکڑ‍œ‌œ‌œک*Jڑœ‌œ
کڑœکJڑœ	‌œکJڑœکJڑœکJڑœں	ک$Jڑœ ک Jڑœںک*Jڑœںک(Jڑœ ک —Jڑœ1ک1—Jڑœ‌œکJڑœ‌œ ‌œک@Jڑ‌œ‌œ‌œ‌œک0JڑœکJڑœ ک Jڑœ‌œک4Jڑœ‌œ‌œک7ڑ‌œ‌œ	‌œ‌ک2Jڑœ‌œ‌œ‌œک7Jڑœ$ک$ڑ‌œ‌œ‌œ‌œ
ک/Jڑ‌œکڑ‌œکJڑœ‌œ‌œک:JڑœWکWڑ‌œ‌œ	‌ک/Jڑ‌œ‌œک'———Jڑ‌œک—Jڑœ"‌œک)—Jک ڑœ"™"Jڑœ&™&J–[]ڑœ&™&Jڑœ-™-Jڑœ(™(Jڑœ)™)Jڑœ™Jڑœ™Jڑœ$™$Icodeڑœ.™.Kڑœ™Kڑœ+™+Kڑœ%™%Kڑœ
™
—J™ Jڑœ™J™ Jڑ‌œکJک —— …—    V  &؛  