DIRECTORYIO,FS,SymTab,Atom,Rope,ReadConnection,TerminalIO,CD,CDIO,CDPins,CDDirectory,CDInterestRects,IP,IPBasicOps, IPTypeDict,IPToolBox,IPChipRose;IPChipRoseImpl: CEDAR PROGRAM IMPORTS IO, FS, SymTab, Atom, Rope, TerminalIO, CDIO, CDPins, CDDirectory, CDInterestRects, ReadConnection, IP, IPBasicOps, IPToolBox, IPTypeDictEXPORTS IPChipRose = BEGIN OPEN RC: ReadConnection, BO: IPBasicOps, TD: IPTypeDict, TB: IPToolBox, IPChipRose;NameConflict: PUBLIC ERROR [name: Rope.ROPE, in: Which] = CODE;UnDeclared: PUBLIC ERROR[name: Rope.ROPE, in: Which] = CODE;CreateFrom: PUBLIC PROC[roseFile, chipFile, typFile, initFile: Rope.ROPE _ NIL, chipBeforeTyp, debug: BOOL] RETURNS [Ref] ={r: Ref _ NEW[Rep _ [nets: SymTab.Create[], ports: SymTab.Create[], instances: SymTab.Create[], types: SymTab.Create[]]];cdDesign: CD.Design _ IF chipFile = NIL THEN NIL ELSE CDIO.ReadDesign[chipFile];ipTypDict: TD.Ref _ IF typFile = NIL THEN NIL ELSE TD.Create[typFile]; headerProc: ReadConnection.EnumHeaderProc = {IF Rope.Equal[key, "CellTypeName"] THEN r.cellTypeName _ val1}; --headerProc--portsProc: ReadConnection.EnumPortsProc = {WHILE portList # NIL DOIF ~ r.ports.Insert[portList.first.portName, NEW[PortRec _ [portList.first.ecName, NIL, portList.first.portDir]]]  THEN ERROR IP.Error[doubleRegistration, portList.first.portName]; portList _ portList.restENDLOOP;};--portsProc--netProc: ReadConnection.EnumNetsProc= {IF ~ r.nets.Insert[netName, NEW[NetRec _ [generation]]] THEN ERROR IP.Error[doubleRegistration, netName];};--netProc--portNetProc: ReadConnection.EnumPortNetsProc= {found: BOOL;val: REF;port: REF PortRec;[found, val] _ r.ports.Fetch[portName];IF ~ found THEN ERROR IP.Error[missingRegistration, portName];port _ NARROW[val];port.net _ netName;};--portNet--instanceProc: ReadConnection.EnumCompsProc = {pinNets: LIST OF PinNetRec _ NIL;instType: REF TypeRec;WHILE pinNetList # NIL DOpN: RC.pinNet _ pinNetList.first;pinNets _ CONS[PinNetRec[pN.pinName, pN.netName], pinNets];pinNetList _ pinNetList.rest;ENDLOOP;IF ~ r.instances.Insert[instName, NEW[InstanceRec _ [typeName, pinNets]]] THEN ERROR IP.Error[doubleRegistration, instName];BEGINfound: BOOL _ FALSE;val: REF;cdObj: CD.ObPtr;ipType: REF TD.TypeEntryRep;[found, val] _ r.types.Fetch[typeName];IF found THEN {instType _ NARROW[val];instType.instances _ CONS[instName, instType.instances];RETURN 	--Done}; --endIFIF chipBeforeTyp THEN {IF cdDesign # NIL THEN [found, cdObj]_ CDDirectory.Fetch[cdDesign, typeName];IF found THEN {CDPins.CleanUpPins[cdDesign, cdObj];instType _ FromCDType[cdObj, instName];GOTO insert;}; --endIFIF ipTypDict # NIL THEN [found, ipType] _ ipTypDict.LookUp[typeName];IF found THEN {instType _ FromIPType[ipType, instName];GOTO insert;}; --endIF}ELSE {IF ipTypDict # NIL THEN [found, ipType] _ ipTypDict.LookUp[typeName];IF found THEN {instType _ FromIPType[ipType, instName];GOTO insert;}; --endIFIF cdDesign #NIL THEN [found, cdObj] _ CDDirectory.Fetch[cdDesign, typeName];IF found THEN {CDPins.CleanUpPins[cdDesign, cdObj];instType _ FromCDType[cdObj, instName];GOTO insert;}; --endIF}; --endIFTerminalIO.WriteRope[Rope.Cat[typeName, " is undefined\n"]]EXITSinsert => [] _ r.types.Insert[typeName, instType];END;};--instanceProc--IF debug THEN {eachTypAction: IPTypeDict.EachTypeEntryAction ={[] _ r.types.Insert[type, FromIPType[entry]]}; --eachTypActioneachCDObjAction: CDDirectory.EachEntryAction ={CDPins.CleanUpPins[cdDesign, ob];[] _ r.types.Insert[name, FromCDType[ob]]}; --eachCDObjActionIF chipBeforeTyp THEN {IF cdDesign # NIL THEN [] _ CDDirectory.Enumerate[cdDesign, eachCDObjAction];IF ipTypDict # NIL THEN [] _ IPTypeDict.TypeEntries[ipTypDict, eachTypAction];}ELSE {IF ipTypDict # NIL THEN [] _ IPTypeDict.TypeEntries[ipTypDict, eachTypAction];IF cdDesign # NIL THEN [] _ CDDirectory.Enumerate[cdDesign, eachCDObjAction];}; --endIF}; --endIFRC.ReadConct[roseFile, headerProc, portsProc, netProc, portNetProc, instanceProc];IF initFile # NIL THEN {stream: IO.STREAM _ FS.StreamOpen[initFile];DOENABLE IO.EndOfStream => EXIT;token: ATOM _ TB.GetIdAtom[stream];SELECT token FROM$initialPlacement => GetInitialPlacement[r.instances, stream]ENDCASE => {TerminalIO.WriteRope[Rope.Cat["Unknown Token: ", Atom.GetPName[token]]];TB.RemoveBlock[stream];TerminalIO.WriteRope["\n\t Associated block is ignored"];};ENDLOOP;}; --endIFRETURN [r]}; --CreateFrom--Fetch: PUBLIC PROC[r: Ref, name: Rope.ROPE, what: Which] RETURNS [val: REF] ={found: BOOL;whatTable: SymTab.Ref _ SELECT what FROM net => r.nets, port => r.ports, type => r.types, instance => r.instances, ENDCASE => ERROR;[found, val] _ whatTable.Fetch[name];IF found THEN RETURN [val]ELSE ERROR IP.Error[missingRegistration, name];}; --Fetch--Nets: PUBLIC PROC[r: Ref, action: EachNetAction] ={netProc: SymTab.EachPairAction = {RETURN [action[key, NARROW[val]]]}; --netProc--[] _ r.nets.Pairs[netProc];}; --Nets--Ports: PUBLIC PROC[r: Ref, action: EachPortAction] ={portProc: SymTab.EachPairAction = {RETURN [action[key, NARROW[val]]]}; --portProc--[] _ r.ports.Pairs[portProc];}; --Ports--Types: PUBLIC PROC [r: Ref, action: EachTypeAction] ={typeProc: SymTab.EachPairAction = {RETURN [action[key, NARROW[val]]]}; --typeProc--[] _ r.types.Pairs[typeProc];}; --Types--Instances: PUBLIC PROC[r: Ref, action: EachInstanceAction] ={instanceProc: SymTab.EachPairAction = {RETURN [action[key, NARROW[val]]]}; --instanceProc--[] _ r.instances.Pairs[instanceProc];}; --Instances--FromCDType: PROC[cdObj: CD.ObPtr, firstInst: Rope.ROPE _ NIL] RETURNS [REF TypeRec] ={shape: REF ShapeRep;pins: LIST OF REF IP.PinRep _ TB.IPPinsFromCDPins[CDPins.GetPins[cdObj]];cdRect: CD.DesignRect _ CDInterestRects.GetInterestRect[cdObj].r;origin: IP.IntVector _ [cdRect.x1, cdRect.y1];width: NAT _ cdRect.x2 - cdRect.x1;height: NAT _ cdRect.y2 - cdRect.y1;instances: LIST OF Rope.ROPE _ IF firstInst = NIL THEN NIL ELSE LIST[firstInst];shape _ NEW[ShapeRep _ [BO.NuNatVector [width, height]]]; RETURN [NEW[TypeRec _ [origin, instances, pins, shape]]]}; --FromCDType--FromIPType: PROC [ipType: REF TD.TypeEntryRep, firstInst: Rope.ROPE _ NIL] RETURNS [REF TypeRec] = {instances: LIST OF Rope.ROPE _ IF firstInst = NIL THEN NIL ELSE LIST[firstInst];RETURN [NEW[TypeRec _[ipType.origin, instances, ipType.pins, ipType.shape, ipType.shapeFn, ipType.restriction]]]}; --FromIPTypeGetInitialPlacement: PROC[instances: SymTab.Ref, stream: IO.STREAM] ={found: BOOL;val: REF;TB.EnterBlock[stream];UNTIL TB.ExitBlock[stream] DOinstName: Rope.ROPE _ TB.GetIdRope[stream];[found, val] _ instances.Fetch[instName];IF found THEN {TB.EnterBlock[stream];UNTIL TB.ExitBlock[stream] DOtoken: ATOM _ TB.GetIdAtom[stream];SELECT token FROM$origin => NARROW[val, REF InstanceRec].origin _ TB.GetIntVector[stream];$orient => NARROW[val, REF InstanceRec].orient _ stream.GetInt;ENDCASE => {TerminalIO.WriteRope[Rope.Cat["Unknown token: ", Atom.GetPName[token], ". associated value ignored"]];[] _ stream.GetRefAny;};ENDLOOP;}ELSE {TerminalIO.WriteRope[Rope.Cat[instName, " _ Unknown instance. Block is ignored\n"]];TB.RemoveBlock[stream]};ENDLOOP;}; --GetInitialPlacementEND.  ▄  --File: IPChipRoseImpl.mesaLast Edited by: CSChow, January 22, 1985 5:41:21 pm PST-- NB: This can only be used once (see FromIPType)-- otherwise there may be confusions in the -- TD.TypeEntryRep.shape and TD.TypeEntryRep.pins --These are procedures to build up entries in symTabs of r----(1) This is simply to get the name of the assembly, other headers are ignored--(2)--(3)--(4)--(5)--(A) Read in all type definitions into r.types if debug = TRUE-- NB: precedence specified by chipBeforeTyp--(B)  Read Connections: (i) roseFile (ii) chipFile and/or typeFile--(C) Read initFile, that is the initial placement of components--Now only determine width and height of cdObj. Dimension of corners may come later Э╩п  Ш JЩJЩ7JЩ Ъ╧k	Ш	JЪЭЬШJЪЭЬШJЪЬШJШJЪЬШJЪЬШJШJЪЭЬШJЪЭЬШJЪЬШJЪЬШJЪЬШJЪЭЬШJЪЬШJЪЬШJЪЬ
Ш
JЪЬШJШ ЧЪЬЭЬЭЬШJЪ
ЭЬЭЬЭЬ"ЭЬ8ЭЬ#ШСJЪЭЬЭЬЭЬЭЬЭЬЭЬЭЬШnJШ IcodeЪ	ЬЭЬЭЬЭЬЭЬШ?JЪ	ЬЭЬЭЬЭЬЭЬШ<KШ KШ Ъ╧n
ЬЭЬЭЬ-ЭЬЭЬЭЬЭЬ	Ш|KЪЬ	ЭЬlШxKЪЬ
ЭЬ
ЭЬЭЬЭЬЭЬШPKШ ЪЬЭЬЭЬЭЬЭЬЭЬЭЬЭЬШGKЪЬ2Щ2KЪЬ,Щ,KЪЬ2Щ2ЧKШ KЩ<KЩ KХStartOfExpansion7 -- [key: ROPE, val1: ROPE _ NIL, val2: ROPE _ NIL] -- ЩOЪЬ-Ш-KЪЭЬ!ЭЬ╧cЬШNKШ ЧKЦ1 -- [portList: LIST OF ReadConnection.portEc] -- ЩЪЬ+Ш+ЪЭЬЭЬЭШKЪЭЬ+ЭЬ#ЭЬЭЬЭЬЭЬ5Ш╡KШKЪЭЬШЧKЪЬЯЬШЧKЦ> -- [netName: ROPE, generation: ReadConnection.Generation] -- Ш KЩЪЬ'Ш'ЪЭЬЭЬШ8KЪЭЬЭЬЭЬ$Ш1ЧKЪЬЯ	ЬШЧKЦ' -- [portName: ROPE, netName: ROPE] -- Ш KЩЪЬ/Ш/KЪЬЭЬШKЪЬЭЬШ	KЪЬЭЬ	ШKЪЬ'Ш'KЪЭЬ	ЭЬЭЬ)Ш>KЪЬЭЬШKЪЬШKЪЬЯ	ЬШЧKЦS -- [instName: ROPE, typeName: ROPE, pinNetList: LIST OF ReadConnection.pinNet] -- Ш KЩЪЬ.Ш.KЪЬ	ЭЬЭЬЭЬШ!KЪЬ
ЭЬ	ШЪЭЬЭЬЭШKЪЬЭЬШ!KЪЬ
ЭЬ-Ш;KЪЬШKЪЭЬШЧЪЭЬ ЭЬ%ШJKЪЭЬЭЬ(Ш2ЧKШ ЪЭШKЪЬЭЬШKЪЬЭЬШ	KЪЬЭЬШKЪЬЭЬЭЬШKШ KЪЬ'Ш'ЪЭЬЭЬШKЪЬЭЬШKЪЬЭЬШ8KЪЭЬЯШKЪЬЯШ
ЧKШ ЪЭЬШЪЭЬШKЪЭЬЭЬЭЬ7ШMЪЭЬЭЬШKЪЬ$Ш$KЪЬ'Ш'KЪЭЬШKЪЬЯШ
ЧKШ KЪЭЬЭЬ.ШEЪЭЬЭЬШKЪЬ(Ш(KЪЭЬШKЪЬЯШ
ЧKЪЬШЧЪЭЬШKШ KЪЭЬЭЬ.ШEЪЭЬЭЬШKЪЬ(Ш(KЪЭЬШKЪЬЯШ
ЧKШ KЪЭЬЭЬ8ШMЪЭЬЭЬШKЪЬ$Ш$KЪЬ'Ш'KЪЭЬШKЪЬЯШ
ЧKШ KЪЬЯШ
ЧЧKШ;ЪЭШKЪЬ2Ш2ЧKЪЭЬШKШ ЧKЪЬЯЬШЧKШ KЪЯ?Щ?KЪЬ,Щ,ЪЭЬЭЬШЪЬ0Ш0KЪЬ,Ш,KЪЬЯШЧЪЬ/Ш/KЪЬ!Ш!KЪЬ)Ш)KЪЬЯШЧЪЭЬШЪЭЬШKЪЭЬЭЬ7ШMKЪЭЬЭЬ7ШNKЪЬШЧЪЭЬШKЪЭЬЭЬ7ШNKЪЭЬЭЬ7ШMKЪЬЯШ
ЧЧKЪЬЯШ
ЧKШ KЩCЪЭЬPШRKШ ЧKШ KЩ@ЪЭЬЭЬЭЬШKЪЬЭЬЭЬЭЬШ,ЪЭШKЪЭЬЭЬЭЬШKЪЬЭЬЭЬШ#ЪЭЬЭШKЪЬ=Ш=ЪЭЬШKЪЬHШHKЪЭЬШKЪЬ9Ш9KЪЬШЧЧKШ KЪЭЬШЧKЪЬЯШ
ЧKШ KЪЭЬШ
KЪЬЯШЧKШ ЪЮЬЭЬЭЬЭЬЭЬЭЬШNKЪЬЭЬШЪЬЭЬЭЬШ)KЪЬШKЪЬШKЪЬШKЪЬШKЪЭЬЭЬШЧKЪЬ%Ш%ЪЭЬШ	KЪЭЬЭЬШKЪЭЬЭЬ%Ш/ЧKЪЬЯЬШЧKШ ЪЮЬЭЬЭЬ"Ш3ЪЬ"Ш"KЪЭЬЭЬ
ЯШ/ЧKЪЬШKЪЬЯЬШЧЪЮЬЭЬЭЬ#Ш5ЪЬ#Ш#JЪЭЬЭЬ
ЯШ0ЧKЪЬШJЪЬЯЬШЧЪЮЬЭЬЭЬ$Ш6ЪЬ#Ш#KЪЭЬЭЬ
ЯШ0ЧKЪЬШJЪЬЯЬШЧЪЮ	ЬЭЬЭЬ'Ш=ЪЬ'Ш'KЪЭЬЭЬ
ЯШ4ЧKЪЬ%Ш%KЪЬЯЬШЧKШ ЪЮ
ЬЭЬЭЬЭЬЭЬЭЬЭЬШVKЪЬЭЬ
ШKЪЬЭЬЭЬЭЬЭЬ
ЭЬ)ШIKЪЬЭЬ7ШAKЪЬЭЬ$Ш.KЪЬЭЬШ#KЪЬЭЬШ$KЦ[]Ъ
ЬЭЬЭЬЭ
Ь	ЭЬЭШPKЩ KЪЯSЩSKЪЬЭЬЭЬ Ш:KЪЭЬЭЬ-Ш8KЪЬЯЬШЧKШ ЪЮ
ЬЭЬ
ЭЬЭЬЭЬЭЬЭЬЭЬШdKЪ
ЬЭЬЭЬЭ
Ь	ЭЬЭШPKЪЭЬЭЬeШpKЪЬЯШЧKШ ЪЮЬЭЬ ЭЬЭЬШFKЪЬЭЬШKЪЬЭЬШ	KШ KЪЭЬШЪЭЬЭЬЭШKЪЬЭЬЭЬШ+KЪЬ)Ш)ЪЭЬШ	ЪЭЬШKЪЭЬШЪЭЬЭШKЪЬЭЬЭЬШ#ЪЭЬЭШKЪЬЭЬЭЬЭЬШIKЪЬЭЬЭЬ%Ш?ЪЭЬШKЪЬfШfKШKЪЬШЧЧKЪЭШЧKЪЬШЧЪЭЬШKЪЬTШTKЪЭЬШKЪЬШЧЧKЪЭЬШЧKШ KЪЬЯШЧKЪЭЬШJШ ЧЧ ЕЧ    в  +-  