DIRECTORYCD USING [Instance, InstanceList, Layer, Number, Object, Position, Rect, Transformation],CDProperties USING [PropList],RefTab USING [Ref],Rope USING [ROPE],SXQuadTree USING [QuadTreeRoot, RectDelta];SX: CEDAR DEFINITIONS = BEGINTranslateGeometry: PROCEDURE [cell: REF LogicalCell];AddBox: PROCEDURE [ cir: REF Circuit,spinifexLayer: SpinifexLayerIndex,dim: CD.Rect,trans: CD.Transformation _ [],interestBloat: SXQuadTree.RectDelta _ [0,0,0,0],value: REF ANY _ NIL]RETURNS [cirNode: REF CircuitNode _ NIL];AddRect: PROCEDURE [ cir: REF Circuit,lev: CD.Layer,dim: CD.Rect,trans: CD.Transformation _ [],value: REF CircuitNode _ NIL]RETURNS [cirNode: REF CircuitNode _ NIL];IllegalConstruct: ERROR [rect: CD.Rect, reason: Rope.ROPE];IllegalLayer: ERROR [rect: CD.Rect, lev: CD.Layer];CreateLinkage: PROCEDURE [ cir: REF Circuit, source: CD.Instance, length, width: CD.Number] RETURNS [REF NodeLinkage];LinkageAttach: PROCEDURE [link: REF NodeLinkage, attachType: ATOM, node: REF CircuitNode _ NIL];NormalizeCircuit: PROCEDURE [cir: REF Circuit];LookupNode: PROCEDURE [l: REF CircuitNode] RETURNS [REF CircuitNode];FindRootNode: PROCEDURE [	-- look at HighlightNode for usage	circuit: REF Circuit,	subcircuitNode: REF CircuitNode,	qualifier: LIST OF CD.Instance,	insertIfNotInCircuit: BOOLEAN _ FALSE]RETURNS [	node: REF CircuitNode,	rootQualifier: LIST OF CD.Instance];MergeNode: PROCEDURE [circuit: REF Circuit, to, from: REF CircuitNode];AdjustmentMode: TYPE = {relative, absolute};AdjustNode: PROCEDURE [node: REF CircuitNode, layer: SpinifexLayerIndex, area: INT, perim: INT, mode: AdjustmentMode _ relative];AnalysisState: TYPE = {notYetDone, useCircuit, reservedForFuture};LogicalCell: TYPE = RECORD [circuit: REF Circuit _ NIL,cellObj: CD.Object, -- bad circular ref, REMOVEanalysisState: AnalysisState _ notYetDone,rootOnInvocation: REF _ NIL,  -- must do special check for root cellserrorCount: INT _ 0,errorContext: Rope.ROPE _ NIL,  -- Place where errors have been put if not in this cell.privateForSX: REF _ NIL];  -- for future useCircuit: TYPE = RECORD [nodes: LIST OF REF CircuitNode _ NIL,linkages: LIST OF REF NodeLinkage _ NIL,linkageCount: RECORD [inSelf: INT _ 0, inChildren: INT _ 0],subcircuits: CD.InstanceList _ NIL,	-- copies; have instance namesmergeDirectory: RefTab.Ref _ NIL,	-- establishes a correspondence between a node in this cell and a node in a cell at the end of a chain of cell instantations. Key: Circuit node (of a subcircuit); val: MergeRecList.properties: CDProperties.PropList _ NIL,invocationKey: INT,	-- remove !!spinifexLayers: ARRAY SpinifexLayerIndex OF SXQuadTree.QuadTreeRoot];	-- build up on 1st step: translateCircuitNode: TYPE = RECORD [superceded: REF CircuitNode _ NIL,	-- NIL if analysis finisheddim: LIST OF AreaPerimRec _ NIL,loc: NodeLocation,properties: CDProperties.PropList _ NIL];NodeLocation: TYPE = RECORD [xy: CD.Position, layer: SpinifexLayerIndex];AreaPerimRec: TYPE = RECORD [layer: SpinifexLayerIndex, area, perim: INT];SignalName: TYPE = RECORD [depth: INTEGER _ 0,name: Rope.ROPE,alias: REF SignalName _ NIL,makePort: BOOL _ FALSE];	-- in a root cell it will be considered to be a portmaxConstraints: INTEGER = 16;ConstraintIndex: TYPE = [0..maxConstraints) _ ConstraintIndex.FIRST;spaceIndex: ConstraintIndex = 0;  -- space regions.nodeIndex: ConstraintIndex = 1;  -- node regions.excludeIndex: ConstraintIndex = 2;	-- region excluded by Opaque cell.violateIndex: ConstraintIndex = 3;	-- Opaque cell exclusion region violatedtechCIndexBase: ConstraintIndex = 4;  -- Technology dependent clients should start number their constraints in each layer from here.Constraint: PUBLIC TYPE = RECORD [	-- belongs to the technologyname: ATOM,index: ConstraintIndex,  -- index into the constrain arrayhasCorrespondingNode: BOOLEAN _ FALSE,	-- used where connectivity affects the rule and there is a corresponding layer which has the node associated with this regioncorrespondingNodeLayer: SpinifexLayerIndex _ SpinifexLayerIndex.FIRST,	-- way to attach node values to constraints by looking at other layers.specificCorrespondingNode: REF SX.CircuitNode _ NIL]; -- Specific node to which constraint is connected ConstraintPtr: TYPE = REF Constraint;ConstraintArray: TYPE = ARRAY ConstraintIndex OF ConstraintPtr _ ALL[NIL];ConstraintResolution: TYPE = ARRAY ConstraintIndex OF ConstraintArray;NodeLinkage: TYPE = RECORD [	-- transistorssource: CD.Instance,l, w: CD.Number,	-- length, widthnodes: LIST OF REF AttachedNode _ NIL];AttachedNode: TYPE = RECORD [attachmentType: ATOM,	-- e.g. $Gate, $Drain, $Sourcenode: REF CircuitNode];MergeRecList: TYPE = LIST OF MergeRec;MergeRec: TYPE = RECORD [applChain: LIST OF CD.Instance,	-- bottom up, one application per subcircuitbecomes: REF CircuitNode];		-- in the parent circuitConversionProc: TYPE = PROCEDURE [inst: CD.Instance, trans: CD.Transformation, cir: REF Circuit];BoxMapProc: TYPE = PROCEDURE [cir: REF Circuit, dim: CD.Rect, trans: CD.Transformation, node: REF CircuitNode] RETURNS [cirNode: REF CircuitNode _ NIL];maxSpinifexLayer: INTEGER = 8;SpinifexLayerIndex: TYPE = [0..maxSpinifexLayer);TechHandle: TYPE = RECORD [numSpinifexLayers: SpinifexLayerIndex,  -- Technology dependent (NMOS: 3, CMOS: 6).spinifexLayerNames: ARRAY SpinifexLayerIndex OF LayerNames,  -- For ThymelayerInterestBloat: ARRAY SpinifexLayerIndex OF INTEGER _ ALL[0],  -- (design number). Because bloat depends on material. These fields hold the maximum.rules: ARRAY SpinifexLayerIndex OF LIST OF REF GeometricRule _ ALL[NIL],constraintResolutions: ARRAY SpinifexLayerIndex OF REF ConstraintResolution _ ALL [NIL],cdLayerMapping: ARRAY CD.Layer OF LIST OF MapRec _ ALL[NIL],  -- Map from ChipNDale rectangles to quad-tree rectangles. A ChipNDale rectangle may map (in TranslateGeometry) to several spinifex layers, as a conductive region on one, and as contraints on other conductive regions on other spinifex layers.illegalLayer: ARRAY CD.Layer OF BOOLEAN _ ALL[TRUE],  -- To detect isolated curts that should only be used inside objects.combineNodeProperties: CombineNodePropertyProc _ NIL,  -- For technology dependent properties. For merging phase.cellPostProcess: CellPostProcessProc _ NIL  -- For technology dependent manipulation and checking.  (e.g. cmos n-well connects)];CombineNodePropertyProc: TYPE = PROCEDURE [circuit: REF Circuit, to, from: CDProperties.PropList, fromNesting: LIST OF CD.Instance] RETURNS [CDProperties.PropList];CellPostProcessProc: TYPE = PROCEDURE [cell: REF LogicalCell];LayerNames: TYPE = RECORD [layerId: ATOM _ NIL, thymeName: Rope.ROPE _ NIL];MapRec: TYPE = RECORD [spinifexLayer: SpinifexLayerIndex,bloatFactor: INTEGER,value: REF ANY _ NIL];GeometricRule: TYPE = RECORD [extent: INTEGER,message: Rope.ROPE _ NIL,okIfConnected: BOOLEAN _ FALSE,trigger1, trigger2: PACKED ARRAY ConstraintIndex OF BOOLEAN _ ALL [FALSE]];END.   ╚  SX.mesaSpinifex main definitions; Data structures.Copyright c 1984, 1985 by Xerox Corporation.  All rights reserved.Written by Shand, March 11, 1985 8:01:11 pm PSTLast Edited by: Jacobi, April 5, 1985 1:01:19 pm PSTLast edited by: Christian Jacobi, November 14, 1986 6:50:03 pm PSTBowers, September 4, 1985 5:43:44 pm PDTLast edited by: gbb March 21, 1986 5:02:53 pm PSTTranslates ChipNDale layers into Spinifex layers (e.g. only explicit contacts [which must be correct and hence are not checked] are allowed. Also a node number is assigned, which is used to identify the nodes.The translation is performed using the drawRect mechanism of ChipNDale. The ChipNDale design is translated into a quad-tree. It is not possible to use a tesselation because of overlaps.The quad-tree contains only cells already analysed. There are four types of rectangles: 1. constraints; 2. material; 3. extra constraint rectangles for transistors; 4. interlayer checks. Everithing that is not a rectangle is considered to be a child.AddBox adds a box to a particular analysis layer when fine control or asymetric interest bloating is required.  The box, of dimension dim is transform according to appl.Escape mechanism, i.e. used to get around AddRect.AddRect adds a Rectangle from a normal chipndale mask level, to each of the analysis layers which the techHandle dictates.  May raise ERROR IllegalLayer.node "from" will be superceded to by "to" 	Combines areas, perimeters, and properties A node is a conductive region. When nodes are merged as a result of an overlap or abutment of similar rectangles, the estimated capacitance to ground must be adjsted due to the change in perimeter and area of these regions when combined.Constraint may contain circular REF chains, however they are a small in number fixed at compile time by the tech. dependent client software.This table looked up when constraints overlap other constraints or nodes.The first Row (and Column) of the ARRAY (corresponding to spaceIndex) actually hold in each Column (Respectively Row) position, the Contraint having that index.NIL entries in the table are defined to mean this pair should map to node and should only arise in the Column (Respectively Row) corresponding to nodeIndex.Constraints contain unique (for each SpinifexLayer) small integers (ConstraintIndex) which are then used to access the trigger tables in GeometricRules, the integers are relevant only within a given SpinifexLayer.  Space regions map to spaceIndex and node regions map to nodeIndex.  The trigger tables must be hand generated by the tech dependent client and are therefore error prone.to: top level; from: deeper levelThere are 3 possiblities for value:NIL => A new the region represents conductive material on this layer and a new node is created.REF Constraint => region represents a constraint on other material in this layer.REF BoxMapProc => A procedural escape for more complex rectangle mapping.  (e.g. for mapping n-well)So how does checking work?  The four quads around a corner are mapped through trigger1 to TRUE/FALSE value for each quadrant.  The TRUE area represents 'stuff' and if it forms a convex or concave corner a check is made of size extent into the corresponding 'non-stuff' in the FALSE region.  To do a width check we map space to TRUE and the material being width checked to FALSE, thus an appropriate check is generated extending into the material.  The check fails if anything in the check region maps through trigger2 to TRUE.  If okIfConnected is TRUE then the violation is overidden if trigger1 and trigger2 circuit nodes and are the same.Edited on January 22, 1985 3:15:50 pm PST, by BerettaAdded some commentsEdited on January 30, 1985 8:19:08 pm PST, by JacobiAdded some commentsEdited on February 25, 1985 7:45:02 pm PST, by JacobiAdded stopFlag: REF BOOLEdited on March 4, 1985 3:27:07 pm PST, by ShandSpinifex DRC errors now reported through CDErrors module.changes to: LogicalCell Changed role for errorContext field in LogicalCell RECORD.Edited on March 7, 1985 12:52:32 pm PST, by Shandchanges to: CellPostProcessProc Added isRoot parameter., EnumerateGeometry Added defaulting to data parameterEdited on March 9, 1985 5:22:28 pm PST, by Beretta & ShandImproved encoding of the constraints. They now are an array and the conflicts are resolved looking up a table.changes to: Constraint: deleted fields for constraint resolution,ConstraintPtr: value put into the rectangles,ConstraintResolution: table looked up when constraints overlap other constraints or nodes,TechHandle: included constraintResolutions rather than having them referenced through the Constraint RECORD itself., LayerNames to include an id field as a debugging aid, nodeIndex & spaceIndex defined in terms of ConstraintIndex, rather than absolute INTs, techCIndexBase added to tell technology dependent clients where to start numbering fromEdited on March 10, 1985 3:33:11 pm PST, by ShandDeleted obsolete field attached from CircuitNode.  Added new field for specify the location of some point on a node (for Crystal and such programs).Deleted obsolete fields areaAdjustment, perimAdjustment from AttachedNode, and corresponding parameters from LinkageAttach.  Same effect may noe be obtained by Tech dep clients using AdjustNode.changes to: CircuitNode, NodeLocation, LinkageAttach, AttachedNodeEdited on March 11, 1985 8:01:11 pm PST, by Shandchanges to: SignalName added default initialization to depth field., QuadTreeRoot Deleted obsolete field unsortedBoxes, QuadTree added field defaulting., spaceIndex, nodeIndex, excludeIndex, violateIndex, techCIndexBaseEdited on March 27, 1985 5:13:38 pm PST, by Beretta & Jacobichanges to: spaceIndex, nodeIndex, excludeIndex, violateIndex, techCIndexBasePut in explicit constants.Edited on April 3, 1985 10:14:43 am PST, by Jacobichanges to: module renamed to SX.Edited on April 4, 1985 9:27:07 am PST, by Jacobichanges to: LogicalCell, Circuit.Edited on April 5, 1985 11:58:31 am PST, by Jacobichanges to: LogicalCell: include rootOnInvocation field.Edited on April 8, 1985 5:29:29 pm PST, by JacobiError message stuff removed.Edited on May 6, 1985 11:26:55 am PDT, by BerettaConverted to ChipNDale CD20Edited on June 4, 1985 3:41:34 pm PDT, by BerettaCreated a separate module for the Quad Tree data structureEdited on July 8, 1985 3:54:09 pm PDT, by BerettaAdded a field to permit the output of formal parameters (ports) on root cells.changes to: SignalName: it is set to true if there is a property Export with value $TRUELast edited by: gbb July 23, 1985 4:37:38 pm PDTAdded storage of length, width for transistors.changes to: CreateLinkage: new parameters, NodeLinkage: new fields.gbb August 7, 1985 10:48:11 am PDTAdded stuff for Corechanges to: TechInfo: new, TechRec: newЭ╩	Н  Ш ЩJЪЬ+Щ+JЪЬ
╧mЬ7ЩBIcode2Щ/JЩ4IcodeЩBLЩ(LЩ1ЧLШ Ъ╧k	Ш	JЪЮЬЮЬQШYJЪЬЮЬШJЪЬЮЬШJЪЬЮЬЮЬШLЪЬЮЬШ+JШ ЧIunitЪЫ└  ЬЮЬЮЬЮШЪ╧nЬЮ	ЬЮЬШ5LЪЬЖЩЖЧKЪЬЖ╧oЬбЬЩйMЪЬ2Щ2ЪаЬЮ	ЬЮЬ2ЮЬЮЬNЮЬЮЬЮЬШ╝LЪЮЬЮЬЮЬШ)ЧKЪЬЖЮЬ╧bЬЩЩЪаЬЮ	ЬЮЬЮЬЮЬЮЬЮЬЮЬШАLЪЮЬЮЬЮЬШ)ЧMЪвЬЮЬЮЬЮЬШ;IleunitЪвЬЮЬЮЬЮЬШ3KЪаЬЮ	ЬЮЬЮЬЮЬ	ЮЬЮЬШvKЪаЬЮ	ЬЮЬЮЬЮЬЮЬШ`KЪаЬЮ	ЬЮЬ
Ш/KХStartOfExpansionH -- [tile: CornerStitching.TilePtr, data: REF ANY] RETURNS [REF ANY] -- Ъ
а
ЬЮ	ЬЮЬЮЬЮЬШEKЪ аЬЮ	Ь╧c╨ceгЬ
ЮЬЮЬЮЬЮЬЮЬ"ЮЬЮЬЮЬ
ЮЬЮЬЮЬЮЬШЖЪа	ЬЮ	ЬЮЬЮЬШGJЪЬ+Щ+JЪЬ+Щ+ЧKЪЬ,Ш,MЪ
а
ЬЮ	ЬЮЬ/ЮЬ	ЮЬ#ШБKЪЬЮЬ/ШBLЪ ЬЮЬЮЬЮЬЮЬЮЬ	гЬ=ЮЬЮЬг(ЬЮЬЮЬЮЬг9ЬЮЬЮЬгШЇKЩэKЪ0Ь	ЮЬЮЬ
ЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬ
ЮЬЮЬЮЬЮЬгЬЮЬг╢Ь$ЮЬЮЬгЬЮЬЮЬг"ШЄKЪЬЮЬЮЬЮЬЮЬгЬЮЬЮЬЮЬ9ЮЬШ╣KЪЬЮЬЮЬЮЬ&ШIKЪЬЮЬЮЬ*ЮЬШJKЪЬЮЬЮЬ
ЮЬЮЬ	ЮЬЮЬЮЬЮЬг4ШлKЪЬМЩМMЪЬЮЬШLЪЬЮЬ)ЮЬШDLЪЬ"гШ3LЪЬ!гШ1LЪЬ#г"ШELЪЬ#г(ШKLЪЬ&г^ШДMЪ!ЬЮЬЮЬЮЬгЬЮЬг"ЬЮЬЮЬг~Ь@ЮЬгHвЬЮЬЮЬЮЬг╨bc.гШгLЪЬЮЬЮЬШ%MЪЬЮЬЮЬЮЬЮЬЮЬШJMЪЬH╧rЩILЪЬаЩаLЪЬТ╧e	ЬЩЬMЪЬЮЬЮЬЮЬШFKЪЬЮЬЮЬзЬ	ЮЬЮЬ	гЬЮЬЮЬЮЬЮЬШКKЪЬЮЬЮЬЮЬзЬЮЬШjKЪЬЮЬЮЬЮЬ
Ш&LЪЬ
ЮЬЮЬЮЬЮЬЮЬз)Ь
ЮЬзШЫKЪЬЮЬЮ	ЬЮЬЮЬЮЬ
ШaKЪЬЮЬЮ	ЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬШШKЪЬЮЬШLЪЬЮЬШ1LЪЬАЩАЪЬЮЬЮЬШLЪЬ+з(ШSLЪЬЮЬЮЬз	ШILЪ
ЬЮЬЮЬЮЬЮЬ	зRШШLЪЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬШHLЪЬЮЬЮЬЮЬЮЬЮЬШXLЪЬЮЬЮЬЮЬЮЬЮЬ
ЮЬЮЬгёШпLЪЬЮЬЮЬЮЬЮЬЮЬЮЬзAШzLЪЬ1ЮЬг:ШqLЪЬ'ЮЬгSШLШЧЪЬЮЬЮ	ЬЮЬ8ЮЬЮЬЮЬЮЬШдJЪЬ!Щ!ЧKЪЬЮЬЮ	ЬЮЬШ>KЪЬЮЬЮЬЮЬЮЬЮЬЮЬШLЪЬЮЬЮЬ3ЮЬ	ЮЬЮЬЮЬШgЪг#Щ#LЪЮЬЮЬWЩ_LЪЮЬNЩQLЪЮЬЮЬQЩdЧЧKЪЬБЩБKЪЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬШ╡KЪЮЬШЩ5JЩЧЩ4JЩЧЩ5JЩЧЩ0JЪЬ9Щ9JЪЬжЬ(зЬЮЬЩRЧЩ1JЪ	ЬжЬжЬжЬзЬ
ЩmЧЪЬ:Щ:JЪЬnЩnJЪЬж
Ь*жЬжЬжЬEжЬзЬ0з╨ekЬжЬ*жЬж
ЬжЬжЬIЩдЧЪЬ1Щ1JЪЬзЬзЬdЩФJЪЬзЬзЬзЬ$зЬ=з
ЬЩ┬JЪЬж6ЩBЧЪЬ1Щ1JЪ
Ьж
Ь!жЬжЬжЬжCЩ█ЧЪЬ<Щ<JЪЬжAЩMJЩЧЪЬ2Щ2JЪЬ!Щ!ЧЪЬ1Щ1JЪЬ!Щ!ЧЪЬ2Щ2JЪЬ8Щ8ЧЪЬ1Щ1JЪЬЩЧЩ1LЩЧЩ1JЪЬ:Щ:ЧЩ1JЩNJЪЬж
Ь+зЬзЩXЧЩ0LЪЬзЬЩ/LЪЬжЬжЬЩCЧЩ"LЩLЪЬжЬж	ЬЩ'ЧLЩ Ч ЕЧ    L  ?б  