DIRECTORYAtom USING [PropList],CD USING [Layer, ApplicationPtr, ApplicationList, Rect, DesignPosition, Orientation, ObPtr],CDOrient USING [original],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,appl: CD.ApplicationPtr _ NIL,pos: CD.DesignPosition _ [0,0],orient: CD.Orientation _ CDOrient.original,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,appl: CD.ApplicationPtr _ NIL,pos: CD.DesignPosition _ [0,0],orient: CD.Orientation _ CDOrient.original,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.ApplicationPtr] 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.ApplicationPtr,	insertIfNotInCircuit: BOOLEAN _ FALSE	]RETURNS [	node: REF CircuitNode,	rootQualifier: LIST OF CD.ApplicationPtr];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.ObPtr, --bad circular ref, REMOVEanalysisState: AnalysisState _ notYetDone,rootOnInvocation: REF _ NIL, --must do special check for root cellslastInvocation: REF _ NIL, 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.ApplicationList _ 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: Atom.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: Atom.PropList _ NIL	-- Cedar];NodeLocation: TYPE = RECORD [xy: CD.DesignPosition,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.];ConstraintPtr: TYPE = REF Constraint;ConstraintArray: TYPE = ARRAY ConstraintIndex OF ConstraintPtr _ ALL[NIL];ConstraintResolution: TYPE = ARRAY ConstraintIndex OF ConstraintArray;NodeLinkage: TYPE = RECORD [	-- transistorssource: CD.ApplicationPtr,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.ApplicationPtr,	-- bottom up, one application per subcircuitbecomes: REF CircuitNode	-- in the parent circuit];ConversionProc: TYPE = PROCEDURE [appl: CD.ApplicationPtr, pos: CD.DesignPosition, orient: CD.Orientation, cir: REF Circuit];BoxMapProc: TYPE = PROCEDURE [cir: REF Circuit, dim: CD.Rect, appl: CD.ApplicationPtr, pos: CD.DesignPosition, orient: CD.Orientation, 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: Atom.PropList, fromNesting: LIST OF CD.ApplicationPtr] RETURNS [Atom.PropList];CellPostProcessProc: TYPE = PROCEDURE [cell: REF LogicalCell];LayerNames: TYPE = RECORD [layerId: ATOM _ NIL,thymeName: Rope.ROPE _ NIL];MapRec: TYPE = RECORD [spinifexLayer: SpinifexLayerIndex,bloatFactor: INTEGER,	-- Interest Bloat.	short design numbervalue: REF ANY _ NIL	-- There are 3 possiblities.];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: Beretta, July 8, 1985 3:57:06 pm PDT--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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 Э╩
╒  Ш ЩJЪЬ+Щ+JЪЬ
╧mЬ7ЩBJЩ JЩ/JЩ4JЩ4ЧIcodeШ Ъ╧k	Ш	JЪЬЮЬШJЪЮЬЮЬTШ\JЪЬ	ЮЬШJЪЬЮЬШJЪЬЮЬЮЬШKЪЬЮЬШ+JШ ЧIunitЪ╤aboЬЮЬЮЬШLЪЮШЪ╧nЬЮ	ЬЮЬШ5KЪЬИЩИЧLЪЬЙ╧oЬбЬЩмLЪЬ5Щ5ЪаЬЮ	ЬЮЬ2ЮЬЮЬЮЬЮЬ!ЮЬZЮЬЮЬЮЬШИKЪЮЬЮЬЮЬШ)ЧLЪЬЙЮЬ╧bЬЩЬЪаЬЮ	ЬЮЬЮЬЮЬЮЬЮЬЮЬ!ЮЬ)ЮЬЮЬШ╠KЪЮЬЮЬЮЬШ)ЧLЪвЬЮЬЮЬЮЬШ;LЪвЬЮЬЮЬЮЬШ3LЪаЬЮ	ЬЮЬЮЬЮЬЮЬШbLЪаЬЮ	ЬЮЬЮЬЮЬЮЬШ`LЪаЬЮ	ЬЮЬ
Ш/LХStartOfExpansionH -- [tile: CornerStitching.TilePtr, data: REF ANY] RETURNS [REF ANY] -- Ъ
а
ЬЮ	ЬЮЬЮЬЮЬШELЪ!аЬЮ	Ь╧c╨ceгЬ
ЮЬЮЬЮЬЮЬЮЬ(ЮЬЮгЬЮЬ
ЮЬЮЬЮЬЮЬШФJШ Ъа	ЬЮ	ЬЮЬЮЬШGJЪЬ-Щ-JЪЬ.Щ.ЧLЪЬ,Ш,LЪ
а
ЬЮ	ЬЮЬ/ЮЬ	ЮЬ#ШБJШ JЪЬЮЬ/ШBJШ ЪЬЮЬЮЬШKЪЬ	ЮЬЮЬШKЪЬ	ЮЬгШ-KЪЬ*Ш*JЪЬЮЬЮЬг&ШCJЪЬЮЬЮЬШKЪЬЮЬШKЪЬЮЬЮЬг9ШXJЪЬЮЬЮЬгШ(KШЧLЩяЪЬ	ЮЬЮЬШKЪ	ЬЮЬЮЬЮЬЮЬШ%KЪ	Ь
ЮЬЮЬЮЬЮЬШ(KЪЬЮЬ
ЮЬЮЬШ<KЪЬЮЬЮЬ╧eШEKЪЬЮЬе▓Ш╫KЪЬЮЬШ KЪЬЮЬШKЪЬЮЬЮЬеШfKЪЬШЧJШ ЪЬЮЬЮЬШKЪЬЮЬЮЬеШ>KЪЬЮЬЮЬЮЬШ KШKЪЬЮЬеШ(KШЧKШ ЪЬЮЬЮЬШKЪЬЮЬШKЪЬШKШЧKШ ЪЬЮЬЮЬШKЪЬШKЪЬЮШKШЧKШ ЪЬЮЬЮЬШKЪЬЮЬШKЪЬЮЬШKЪЬЮЬЮШKЪЬ
ЮЬЮЬг4ШKKШЧJШ LЪЬПЩПLЪЬЮЬШKЪЬЮЬ)ЮЬШDKЪЬ"гШ3KЪЬ!гШ1KЪЬ#г"ШEKЪЬ#г(ШKKЪЬ&г^ШДЪЬЮЬЮЬЮЬеШ?KЪЬЮЬШKЪЬг!Ш:KЪЬЮЬЮЬе{ШеKЪЬ@ЮЬеDШНKШЧLЪЬЮЬЮЬШ%LЪЬЮЬЮЬЮЬЮЬЮЬШJLЪЬK╧rЩLKЪЬгЩгKЪЬХе	ЬЩЯLЪЬЮЬЮЬЮЬШFЪЬЮЬЮЬеШ+KЪЬЮЬШKЪЬЮЬЮЬЮЬЮШ%KШЧЪЬЮЬЮЬШKЪЬЮЬеШ4KЪЬЮЬШKШЧLЪЬЮЬЮЬЮЬ
Ш&ЪЬ
ЮЬЮЬШKЪЬЮЬЮЬЮЬе)ШRKЪЬ	ЮЬеШ1KШЧLЪЬЮЬЮ	ЬЮЬЮЬЮЬЮЬ
Ш}LЪЬЮЬЮ	ЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬШ╟LЪЬЮЬШKЪЬЮЬШ1KЩ KЪЬГЩГKШ ЪЬЮЬЮЬШKЪЬ+е(ШSKЪЬЮЬЮЬе	ШIKЪ
ЬЮЬЮЬЮЬЮЬ	еRШШKЪЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬШHKЪЬЮЬЮЬЮЬЮЬЮЬШXKЪЬЮЬЮЬЮЬЮЬЮЬ
ЮЬЮЬгёШпKЪЬЮЬЮЬЮЬЮЬЮЬЮЬеAШzKЪЬ1ЮЬг:ШqKЪЬ'ЮЬгSШKШЧЪЬЮЬЮ	ЬЮЬ0ЮЬЮЬЮЬЮЬШЪJЪЬ$Щ$ЧLЪЬЮЬЮ	ЬЮЬШ>ЪЬЮЬЮЬШKЪЬ	ЮЬЮЬШKЪЬЮЬЮШKШЧЪЬЮЬЮЬШKЪЬ"Ш"KЪЬЮЬг&Ш<ЪЬЮЬЮЬЮЬгШ1KЪЮЬЮЬWЩ_KЪЮЬNЩQKЪЮЬЮЬQЩdЧJШЧLЪЬДЩДЪЬЮЬЮЬШKЪЬЮЬШKЪЬЮЬЮЬШKЪЬЮЬЮЬШKЪЬЮЬЮЬЮЬЮЬЮЬЮЬШHKШЧ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ЪЬЩЧЩ1KЩЧЩ1JЪЬ:Щ:ЧЩ1JЩNJЪЬж
Ь+еЬеЩXЧJЩ Ч ЕЧ    ,  @a  