DIRECTORYAlpsBool, CD, RefTab, Rope;AlpsTile: CEDAR DEFINITIONS = BEGINROPE: TYPE = Rope.ROPE;SequenceOfExistance: TYPE = RECORD [contents: SEQUENCE size: PosNb OF PACKED ARRAY HorTileType OF BOOL];Context: TYPE = REF ContextRec;ContextRec: TYPE = RECORD [design: CD.Design, 					-- used by TileArrayToGeometrycomputedCells: RefTab.Ref,			-- internally used by TileArrayToGeometrytable: AlpsBool.TableOfVariables,tileArray: TileArray,				-- Filled by TableAndPositionToTileArraycolumnsExistance: REF SequenceOfExistance,	-- Filled by TableAndPositionToTileArrayisLatched: BOOL _ FALSE,			-- Filled by TableAndPositionToTileArraydistanceBetweenGlue: INT _ 4, distanceBetweenContacts: INT _ 10,nbAuxVarEachGlue: INT _ 0, shared: BOOL _ FALSE,debug: BOOL _ FALSE];Tile: TYPE = REF TileRec;TileRec: TYPE = RECORD [special: BOOL _ FALSE,				-- when TRUE only name is validinput: BOOL _ FALSE,				-- when TRUE we are on LeftInput or RightInputroute: BOOL _ FALSE,				-- when TRUE we are on RightRouteleftSide: BOOL _ FALSE,			-- when TRUE the tile is leftinput (not right input). Necessary for Gnd transistors.throughTrans: BOOL _ FALSE,		-- when TRUE transistor according to high and lowgndTrans: BOOL _ FALSE,			-- when TRUE transistor according to high and lowcontact: BOOL _ FALSE,				-- when TRUE contact between poly and metal according to high and lowhigh: BOOL _ FALSE,				-- when TRUE one of the previous is refering to highlow: BOOL _ FALSE,					-- when TRUE one of the previous is refering to low (high and low may be both TRUE)contactPoly: BOOL _ FALSE,		-- when TRUE a contact between metal and poly according to spinnoUpPoly: BOOL _ FALSE,			-- when TRUE no poly upnoDownPoly: BOOL _ FALSE,		-- when TRUE no poly downnoLeftMetal: BOOL _ FALSE,		-- when TRUE it assumes connection on the right sidenoRightMetal: BOOL _ FALSE,		-- when TRUE it assumes connection on the left sidespin: BOOL _ TRUE,					-- when contactPoly, if TRUE (/FALSE) connects left (/right) poly to upper metalname: ROPE _ NIL,					-- name of the cell. leftPin, rightPin: BOOL _ TRUE	-- necessary for stretching];HorTileType: TYPE = {LeftInput, RightInput, RightRoute, VddGlue, GndGlue};TileArray: TYPE = REF TileArrayRec;TileArrayRec: TYPE = RECORD [contents: SEQUENCE lastPosNb: PosNb OF ARRAY HorTileType OF LIST OF Tile]; -- from left to right, from LeftVdd to Self, from bottom to topPosNb: TYPE = AlpsBool.VarNb;TILE: PUBLIC PROC [tileRec: TileRec] RETURNS [tile: Tile];EqualTile: PROC [tile1, tile2: Tile] RETURNS [sameTile: BOOL _ TRUE];EqualTileRec: PUBLIC PROC [tileRec1, tileRec2: TileRec] RETURNS [sameTileRec: BOOL _ TRUE];NilTile: PROC [horTileType: HorTileType] RETURNS [tile: Tile];TableAndPositionToTileArray: PUBLIC PROC [context: Context];END.  8  AlpsTile.mesaCreated by Bertrand Serlet, March 12, 1985 9:40:36 am PSTLast edited by serlet July 1, 1985 10:19:41 pm PDTTypes and data structuresFlags when input is TRUEFlags when route is TRUEField when special is TRUEFields always validProcsUses the context for affecting its field tileArray‌تè  ک ڑœ™J™9J™2—J™ J™ ڑدk	ک	Jڑœک—Jک •StartOfExpansion[]ڑœ
‌œ‌œکJک Jڑ‌کJک ™Jک Jڑذbkœ‌œ‌œکJک ڑدbœ‌œ‌œک$Jڑœ
‌œ‌œ‌œ‌œ‌œ‌œکD—Jک Jڑںœ‌œ‌œکڑœ‌œ‌œکJڑœ‌œدcک6Jڑœ )کFJڑœ!ک!Jڑœ (کAJڑœ‌œ %کSJڑœ‌œ‌œ (کCJڑœ‌œکJڑœ‌œک"Jڑœ‌œکJڑœ‌œ‌œکJڑœ‌œ‌کJڑœک—J™ Jڑںœ‌œ‌œ	کڑœ	‌œ‌œکJڑœ	‌œ‌œ ک9Jڑ	œ‌œ‌œ œ	 œ
کFJڑœ‌œ‌œ œ
ک9Jڑں™Jڑœ
‌œ‌œ TکnJڑœ‌œ‌œ 1کNJڑœ
‌œ‌œ 1کKJڑœ	‌œ‌œ Eک_Jڑœ‌œ‌œ 4کKJڑœ‌œ‌œ SکjJڑں™Jڑœ‌œ‌œ ?ک[Jڑœ
‌œ‌œ ک1Jڑœ‌œ‌œ ک4Jڑœ‌œ‌œ 4کPJڑœ‌œ‌œ 3کPJڑœ‌œ‌œ PکgJڑں™Jڑœ‌œ‌œ ک+Jڑں™Jڑœ‌œ‌œ ک:Jڑœک—Jک Jڑںœ‌œ9کJJک Jڑں	œ‌œ‌œک#ڑœ‌œ‌œکJڑœ
‌œ‌œ‌œ‌œ‌œ‌œ ?کٹ—Jک Jڑںœ‌œک—Jک ڑœ™Jک Jڑ‍œ‌œ‌œ‌œک:Jک Jڑ
دn	œ‌œ‌œ‌œ‌œکEJک Jڑ،œ‌œ‌œ‌œ‌œ‌œک[Jک Jڑ،œ‌œ‌œک>Jک Jڑœ2™2Jڑ،œ‌œ‌œک<Jک —Jڑ‌œک—Jک Jک Jک — …—    
ü    