SoS.mesa    Agewmetrhtos
Copyright © 1985, 1986 by Xerox Corporation. All rights reserved.
Giordano Bruno Beretta, October 17, 1985 4:37:14 pm PDT
gbb June 9, 1986 6:07:51 pm PDT
SoS is the Son of Spinifex. It is a hierarchical design rule checker that monkeys around in a Core design and tries to find all the ChipNDale geometry in order to check as many design rules as it possibly can.
Gli uomini vollero piuttosto le tenebre che la luce (Giovanni, III, 19.)
DIRECTORY
CD USING [Design, Instance, Layer, Number, Orientation, Position, Rect, Technology, undefLayer],
CDBasics USING [empty],
Core USING [CellType, Wire],
Rope USING [ROPE],
SoSTNT USING [TNT];
SoS: CEDAR DEFINITIONS
~ BEGIN
DRC
CheckDesignRules: PUBLIC PROC [cell: Core.CellType, design: CD.Design ← NIL, technology: CD.Technology ← NIL, abortFlag: REF BOOL ← NIL, verbose: BOOL ← FALSE, cdObjKey, cdInstKey, cdInstListKey: ATOM];
cell and its subcells are verified, except the cells with property $DoNotDRC <> NIL. Design rule violations are flagged in the Core cell using the property DRV (Design Rule Violation) with key DRVkey = $SoSError. The property DRV is put only on cells having at least one violation.
If a design is specified and the ChipNDale cell containing the violation can be accessed, an error rectangle is inserted at the proper location. If verbose is set and the error cannot be flagged in the ChipNDale design, a warning is written in the typescript viewer.
Only one of the parameters design and technology may be defaulted.
The keys to retrieve the geometry from the Core objects are passed as parameters due to their frequent change.
- cdObjKey is used to attach the error rectangle in the ChipNDale design. cdObjKey can be any value if ChipNDale flagging is not needed.
- cdInstKey is the key to retrieve location and orientation of subcells; it is mandatory and error coreInconsistent will be raised if it proves to be wrong.
- cdInstListKey is the key to retrieve the geometry of the wires; it is mandatory and nothing will be verified if it is wrong.
The abortFlag is tested periodically. If it is TRUE SoS aborts.
coreInconsistent: ERROR;
Access to violations
DRV: TYPE = REF DesignRuleViolation;
DRVkey: ATOM;
DesignRuleViolation: TYPE = RECORD [count: INT ← 0, places: LIST OF ErrorRect];
ErrorRect: TYPE = RECORD [r: CD.Rect, msg: Rope.ROPE];
Types for writing own DRC procedures
State: TYPE = REF StateRec;
StateRec: TYPE = RECORD [design: CD.Design,
abort: REF BOOL,
nt: SoSTNT.TNT,   -- neighbourhood table
maxSeparation: CD.Number ← 200, -- a large number
cut1, cut2: CD.Layer,  -- not ok if connected (exceptions)
globalErrorCount: CARDINAL,
verbose: BOOL,
wireCreationCount: CARDINAL ← 1, -- for debugging
cdObjKey: ATOM,   -- key of ChipNDale object
cdInstKey: ATOM,   -- key of ChipNDale instance
cdInstListKey: ATOM];  -- key of list of ChipNDale instances
FindGeometry: TYPE = PROC [self: CD.Instance] RETURNS [r: CD.Rect ← CDBasics.empty, l: CD.Layer ← CD.undefLayer];
Input: a ChipNDale instance as delivered by Sinix. Output: a rectangle to intersect.
Attached as property $SoSAnalysis to ChipNDale classes.
CellHullProc: TYPE = PROC [self: Core.CellType, state: State] RETURNS [h: CD.Rect ← CDBasics.empty];
Computes the bounding box of a cell.
Attached as property $SoSHull to Core classes and/or objects.
CheckCell: TYPE = PROC [self: Core.CellType, state: State, actual: Core.Wire, loc: CD.Position, orient: CD.Orientation];
Design rule checks a Core cell.
Must remove existing error information and check the intenal geometry. It has to perform both the binding and the propagation of the binding, making sure the Core data structure is not altered.
Attached as property $SoSAnalysis to Core classes and/or objects.
MaterialToCellProc: TYPE = PROC [self: Core.CellType, state: State, actual, wire: Core.Wire, father: Core.CellType, materialLoc, cellLoc: CD.Position, materialOrient, cellOrient: CD.Orientation];
Checks a rectangle of material against all rectangles of material in a cell. It has to perform both the binding and the propagation of the binding, making sure the Core data structure is not altered.
Attached as property $SoSmc to Core classes and/or objects.
CellToCellProc: TYPE = PROC [self: Core.CellType, state: State, otherCell: Core.CellType, selfActual, otherActual: Core.Wire, father: Core.CellType, selfLoc, otherLoc: CD.Position, selfOrient, otherOrient: CD.Orientation];
Checks all rectangles of material in a cell against those in another cell. It has to perform both the binding and the propagation of the binding, making sure the Core data structure is not altered.
Attached as property $SoScc to Core classes and/or objects.
END.