DIRECTORY
Atom USING [GetPName],
BasicTime USING [Now],
CD USING [backgroundLayer, commentLayer, Design, errorLayer, FetchObjectClass, Instance, InstanceList, Layer, LayerKey, LayerTechnology, Number, Object, Orientation, original, outlineLayer, Position, Rect, selectionLayer, shadeLayer, Technology, undefLayer],
CDBasics USING [AddPoints, empty, Extend, Intersect, Intersection, SizeOfRect],
CDDirectory USING [Fetch],
CDErrors USING [IncludeMessage, RemoveMessages],
CDOrient USING [ComposeOrient, DecomposeOrient, MapRect, original],
CDProperties USING [GetProp, PutProp, PutObjectProp, RegisterProperty],
CDSimpleRules USING [MaxWidth, MinDist, MinWidth, NotKnown],
Core USING [CellType, Properties, Wire],
CoreClasses USING [recordCellClass, RecordCellType, transistorCellClass, unspecifiedCellClass],
CoreGeometry,
CoreOps USING [CreateWires, CopyWire, GetCellTypeName, GetShortWireName, SetShortWireName],
CoreProperties USING [CopyProps, GetProp, propCompare, propCopy, PropDoCopy, PropIntCompare, propPrint, PropPrintProc, Props, PutProp, RegisterProperty, StoreProperties],
FinchSmarts USING [CurrentFinchState, FinchState, GetProcs, Procs, RecordReason],
FS USING [StreamOpen],
IO USING [card, char, Close, Error, ErrorCode, int, noWhereStream, Put1, PutF, PutF1, PutFR, PutFR1, PutRope, refAny, rope, STREAM, time],
RefTab USING [Create, EachPairAction, Fetch, Insert, Pairs, Ref, SeqIndex],
Rope USING [Cat, ROPE],
Mayday USING [CellHullProc, CellToCellProc, CheckCell, DRV, DesignRuleViolation, ErrorRect, FindGeometry, MaterialToCellProc, State, StateRec],
SoSTNT USING [BlowTNT, InitTNT, InTNT, RememberTNT, SweepTNT, TNT],
ViewerIO USING [CreateViewerStreams],
ViewerTools USING [FindExistingViewer, Viewer];
MaydayImpl: CEDAR PROGRAM
IMPORTS Atom, BasicTime, CD, CDBasics, CDDirectory, CDErrors, CDOrient, CDProperties, CDSimpleRules, CoreClasses, CoreGeometry, CoreOps, CoreProperties, FinchSmarts, FS, IO, RefTab, Rope, SoSTNT, ViewerIO, ViewerTools
EXPORTS Mayday ~ BEGIN
OPEN SoSTNT;
debug: BOOL _ FALSE;		-- to start debugging enter: _ MaydayImpl.Debug[]
occDebug: BOOL = FALSE;	-- for occasional debugging
useTNT: BOOL = TRUE;		-- for timing analysis only
persist: BOOL _ TRUE;		-- depends on Sinix (try hard to flag CD design)
fast: BOOL _ TRUE;		-- if FALSE then Mayday is purely "object oriented"
break: SIGNAL = CODE;		-- for debugging; related to property $MaydayBreak
panic: SIGNAL = CODE;		-- cannot communicate violations
coreMess: SIGNAL [reason: Rope.ROPE, torch: REF ANY] = CODE;	-- clean up before issuing coreInconsistent
coreInconsistent: PUBLIC ERROR [reason: Rope.ROPE, torch: REF ANY] = CODE;
mLog: IO.STREAM;		-- messages
eLog: IO.STREAM;		-- error log
dLog: IO.STREAM _ IO.noWhereStream; -- debugging
State: TYPE = Mayday.State;	-- REF StateRec;
StateRec: TYPE = Mayday.StateRec;
DRV: TYPE = Mayday.DRV;	-- REF DesignRuleViolation
DesignRuleViolation: TYPE = Mayday.DesignRuleViolation;
ErrorRect: TYPE = Mayday.ErrorRect;
checked: ATOM = CoreProperties.RegisterProperty [$MaydayWasHere];
DRVkey: PUBLIC ATOM _ CoreProperties.RegisterProperty [$MaydayError];
bbKey: ATOM _ CoreProperties.RegisterProperty [$Maydaybb];
trace: ATOM = CoreProperties.RegisterProperty [$MaydaySeparationChecked];
analysis: ATOM = CoreProperties.RegisterProperty [$MaydayAnalysis];
cellHull: ATOM = CoreProperties.RegisterProperty [$MaydayHull];
matToCell: ATOM = CoreProperties.RegisterProperty [$Maydaymc];
cellToCell: ATOM = CoreProperties.RegisterProperty [$Maydaycc];
rectClass: ATOM = $Rect;
pinClass: ATOM = $PinOb0;
doNotAnalyse: ATOM = $DoNotDRC;
previousTechnology: CD.Technology _ NIL;
previousMaxSeparation: CD.Number _ 75 * 8;
specialLayers: CD.Layer = MAX [CD.shadeLayer, CD.errorLayer, CD.backgroundLayer, CD.outlineLayer, CD.selectionLayer, CD.commentLayer] + 1;
errorFeedbackCutOff: CARDINAL = 50;	-- after this number of errors, a | is no longer displayed in the ChipNDale Terminal viewer (if it may be displayed at all).
WireSet: TYPE = REF WireSetRec;	-- the wires of a set of cells
WireSetRec: TYPE = RECORD [elt: SEQUENCE size: NAT OF Core.Wire];
PropSet: TYPE = REF PropSetRec;	-- the properties of a set of cells
PropSetRec: TYPE = RECORD [p: SEQUENCE size: NAT OF Core.Properties];
CheckDesignRules: PUBLIC PROC [cell: Core.CellType, decoration: CoreGeometry.Decoration, design: CD.Design _ NIL, abortFlag: REF BOOL _ NIL, verbose, shy, placebo: BOOL _ FALSE, cdObjKey: ATOM] RETURNS [quantity: CARDINAL _ 1] ~ BEGIN
ENABLE BEGIN
IO.Error => IF ec = StreamClosed THEN BEGIN
s: IO.STREAM;
m: BOOL = (stream = mLog);
IF m THEN StartLog [] ELSE Debug [];
s _ IF m THEN mLog ELSE dLog;
CONTINUE
END;
panic => GOTO paranoia
END;
state: State _ NEW [StateRec];
messy, okToType: BOOL _ FALSE;
abortionCause: Rope.ROPE;
debugTorch: REF ANY;
shadowCell: Core.CellType;	-- to be implemented
fakeActual: Core.Wire;
cellName: Rope.ROPE = CoreOps.GetCellTypeName [cell];
designName: Rope.ROPE = IF design#NIL THEN design.name ELSE "in the sky";
state.shy _ shy;	-- must be first statement
eLog _ FS.StreamOpen [fileName: "[]<>Temp>DRC>Mayday.log", accessOptions: create, keep: 5, extendFileProc: NIL, remoteCheck: FALSE, wDir: NIL];	-- keep is 5 because of incremental use
eLog.PutF1 ["Error log by Mayday.  Design: %g\n\n", IO.rope [designName]];
IF placebo THEN BEGIN
FOR wait: NAT IN [0 .. 1984] DO
IO.PutF1 [IO.noWhereStream, "Yes, you are really a very bright, smart and intelligent guy.  Your Core structure is so great, it really gives me the frills.  I feel so great looking at it.  I'll propose you for the next Turing Award. [%g]", IO.card[wait]]
ENDLOOP;
RETURN
END;
[] _ Msg ["Welcome to S o S, the son of Spinifex.  I will try to find all design rule violations in your design.  Have a nice time."];
shadowCell _ CopyCell [cell];	-- to be implemented
okToType _ IF state.shy THEN NOT (Msg [cellName]) ELSE TRUE;
IF okToType THEN IO.PutF [stream: mLog,
format: "\nChecking wire geometry in cell %l%g%l of design %g\n",
v1: IO.rope ["b"], v2: IO.rope [cellName], v3: IO.rope ["B"], v4: IO.rope [designName]];
IF debug THEN IO.PutF [stream: dLog,
format: "\n%g.  design: %g, cell: %g\n",
v1: IO.time [],
v2: IO.rope [designName],
v3: IF cellName = NIL THEN IO.refAny [shadowCell] ELSE IO.rope [cellName]];
state.design _ design;
state.abort _ IF abortFlag # NIL THEN abortFlag ELSE NEW [BOOL _ FALSE];
IF useTNT THEN state.nt _ InitTNT [];
IF (design = NIL) OR (design.technology = NIL) THEN BEGIN
state.maxSeparation _ previousMaxSeparation _ 75 * 8;
previousTechnology _ NIL
END
ELSE
IF design.technology # previousTechnology THEN BEGIN
previousMaxSeparation _ ComputeMaxSeparation [design.technology];
previousTechnology _ design.technology
END;
state.maxSeparation _ previousMaxSeparation;
state.globalErrorCount _ 0;
state.verbose _ verbose;
state.cdObjKey _ cdObjKey;
state.decoration _ decoration;
fakeActual _ CoreOps.CopyWire [shadowCell.public];
CheckCoreCell [self: shadowCell,
state: state,
actual: fakeActual,
loc: [0, 0],
orient: CDOrient.original
! coreMess => {messy _ TRUE; abortionCause _ reason; debugTorch _ torch; CONTINUE}];
IF useTNT THEN BlowTNT [state.nt];
IF messy THEN BEGIN
IF debug THEN break;
cell.properties _ CoreProperties.PutProp [shadowCell.properties, checked, NIL];
[] _ Msg ["Your Core data structure is busted!  You lose, you lose,"];
eLog.PutRope ["\nDRC failed.  Your Core data structure is busted!  You lose, you lose."];
eLog.Close [];
coreInconsistent [abortionCause, debugTorch]
END;
quantity _ state.globalErrorCount;
[] _ Msg ["This is S o S speaking."];
SELECT quantity FROM
0 => [] _ Msg ["Congratulations, I could not find any new design rule violations in your design.  Please check for old violations.  Have a nice time."];
1 => [] _ Msg ["Sorry, there is a new design rule violation in your design.  Please fix it."];
ENDCASE => [] _ Msg [IO.PutFR1 ["You have %g new bugs in your design.  You lose, you lose,", IO.card [quantity]]];
IF NOT state.shy THEN IO.PutF [stream: mLog,
format: "\nNumber of new design violations found: %l%g%l\n",
v1: IO.rope ["b"], v2: IO.card [state.globalErrorCount], v3: IO.rope ["B"]];
eLog.PutRope ["\nDRC terminated normally."];	eLog.Close [];
EXITS
paranoia => 	-- cannot communicate with anybody
{eLog.PutRope ["\nThis is paranoia."];	eLog.Close []}
END;	-- CheckDesignRules
FindGeometry: TYPE = Mayday.FindGeometry;
FindCDRect: FindGeometry ~ BEGIN
Send: PROC ~ INLINE BEGIN
getRect: REF FindGeometry _ NARROW [CDProperties.GetProp [from: self.ob, prop: analysis]];
IF getRect = NIL THEN getRect _ NARROW [CDProperties.GetProp [self.ob.class, analysis]];
IF getRect = NIL THEN BEGIN
[] _ Msg ["Unexpected object class.  You may proceed, but should get your stuff updated."];
SIGNAL break;
getRect _ NEW [FindGeometry _ FindNoGeom]
END;
[r, l] _ getRect [self]
END;	-- Send
IF fast THEN
SELECT self.ob.class.objectType FROM
rectClass => [r, l] _ FindRectGeom [self];
pinClass => [r, l] _ FindNoGeom [self];
ENDCASE => Send []
ELSE Send []
END;	-- FindCDRect
FindRectGeom: FindGeometry ~ BEGIN
IF debug THEN CDProperties.PutObjectProp [self.ob, trace, trace];
r _ CDOrient.MapRect [itemInCell: [0, 0, self.ob.size.x, self.ob.size.y],
cellSize: self.ob.size,
cellInstOrient: self.orientation,
cellInstPos: self.location];
l _ self.ob.layer
END;	-- FindRectGeom
FindNoGeom: FindGeometry ~ BEGIN
IF debug THEN CDProperties.PutObjectProp [self.ob, trace, trace]
END;	-- FindNoGeom
RegisterGeomProcs: PROC ~ BEGIN
[] _ CDProperties.PutProp [
onto: CD.FetchObjectClass [rectClass],
prop: analysis,
val: NEW [FindGeometry _ FindRectGeom]];
[] _ CDProperties.PutProp [
onto: CD.FetchObjectClass [pinClass],
prop: analysis,
val: NEW [FindGeometry _ FindNoGeom]]
END;	-- RegisterGeomProcs
GetObject: PROC [cell: Core.CellType, state: State] RETURNS [obj: CD.Object] ~ INLINE BEGIN
obj _ NARROW [CoreProperties.GetProp [cell.properties, state.cdObjKey], CD.Object];
IF persist AND (obj=NIL) AND (state.design#NIL) THEN obj _ CDDirectory.Fetch [state.design, CoreOps.GetCellTypeName[cell]].object;
RETURN [obj];
END;	-- GetObject
CopyCell: PROC [original: Core.CellType] RETURNS [copy: Core.CellType] ~ BEGIN
copy _ original	-- << Yuck. Terrible hack. >> To be implemented
END;	-- CopyCell
CheckCell: TYPE = Mayday.CheckCell;
CheckCoreCell: CheckCell ~ BEGIN
Send: PROC ~ INLINE BEGIN
check: REF CheckCell _ NARROW [CoreProperties.GetProp [self.properties, analysis]];
IF check = NIL THEN check _ NARROW [CoreProperties.GetProp [self.class.properties, analysis]];
IF check = NIL THEN BEGIN
obj: CD.Object = GetObject [self, state];
IF obj = NIL THEN RETURN;	-- Cell contains no rectangles
check _ NEW [CheckCell _ DoNotCheck];
MarkError [self, state, [obj.class.interestRect[obj], "Cell has no provisions to be checked"]]
END;
check^ [self, state, actual, loc, orient]
END;	-- Send
IF fast THEN
SELECT self.class FROM
CoreClasses.recordCellClass => CheckRecord [self, state, actual, loc, orient];
CoreClasses.transistorCellClass => CheckTransistor [self, state, actual, loc, orient];
CoreClasses.unspecifiedCellClass => NULL;
ENDCASE => Send []
ELSE Send []
END;	-- CheckCoreCell
CheckRecord: CheckCell ~ BEGIN
origin: CD.Position = [0, 0];
cellData: CoreClasses.RecordCellType;
bindingTable: RefTab.Ref;
boundInternal: Core.Wire;
propagatedActuals: WireSet;	-- one wire per subcell
savedProps: PropSet;		-- holds properties during recursion
ownName: Rope.ROPE = CoreOps.GetCellTypeName [self];
IF (CoreProperties.GetProp [self.properties, doNotAnalyse]#NIL) OR (CoreProperties.GetProp[self.properties, checked]#NIL) THEN RETURN;
IF state.shy THEN [] _ Msg [ownName] ELSE IO.Put1 [mLog, IO.char ['.]];
IF debug THEN IO.PutF [stream: dLog,
format: "\nChecking cell %l%g%l .\n",
v1: IO.rope ["e"],
v2: IF ownName = NIL THEN IO.refAny [self] ELSE IO.rope [ownName],
v3: IO.rope ["E"]];
IF state.abort^ THEN ERROR ABORTED;
ClearErrors [self, state];
cellData _ NARROW [self.data, CoreClasses.RecordCellType];
savedProps _ NEW [PropSetRec[actual.size]];
FOR p: NAT IN [0 .. actual.size) DO
savedProps[p] _ CoreProperties.CopyProps [actual[p].properties];
ENDLOOP;
bindingTable _ CreateBindingTable [actual: actual, public: self.public];
boundInternal _ BindInternal [bindingTable, cellData.internal, state];
IF occDebug THEN BEGIN
dLog.PutF1 ["Binding and propagating: %g. Binding table:\n", IO.rope [ownName]];
PrintBinding [bindingTable];
dLog.PutF1 ["Bound internal of %g:\n", IO.rope [ownName]];
PrintWire [boundInternal]
END;
propagatedActuals _ NEW [WireSetRec[cellData.size]];
FOR sub: NAT IN [0 .. cellData.size) DO
propagatedActuals[sub] _ PropagateBinding [state, bindingTable, cellData.instances[sub].actual]
ENDLOOP;
FlushBindingTable [bindingTable];
FOR sub: NAT IN [0 .. cellData.size) DO
cdInst: CD.Instance = CoreGeometry.GetTransf[state.decoration, cellData.instances[sub]];
IF (cdInst = NIL) THEN coreMess ["Core record cell has no geometry (1)", cellData];
CheckCoreCell [self: cellData.instances[sub].type,
state: state,
actual: propagatedActuals[sub],
loc: CDBasics.AddPoints [loc, cdInst.location],
orient: CDOrient.ComposeOrient [orient, cdInst.orientation]]
ENDLOOP;
IF occDebug THEN BEGIN
dLog.PutF1 ["Verifying: %g\nbound internal:\n", IO.rope [ownName]];
PrintWire [boundInternal]
END;
FOR i: NAT IN [0 .. cellData.internal.size) DO
FOR j: NAT IN [i .. cellData.internal.size) DO
MaterialSeparation [state: state,
cell: self,
w1: boundInternal[i],
w2: boundInternal[j],
loc1: origin, loc2: origin,
orient1: CD.original, orient2: CD.original]
ENDLOOP;
WidthCheck [self, state, boundInternal[i]]
ENDLOOP;
FOR sub: NAT IN [0 .. cellData.size) DO
cdInst: CD.Instance = CoreGeometry.GetTransf[state.decoration, cellData.instances[sub]];
IF (cdInst = NIL) THEN coreMess ["Core record cell has no geometry (2)", cellData];
FOR i: NAT IN [0 .. cellData.internal.size) DO
MaterialToCellSeparation [state: state,
self: cellData.instances[sub].type,
actual: propagatedActuals[sub],
wire: cellData.internal[i],
father: self,	-- for error marking
materialLoc: loc,
cellLoc: cdInst.location,
materialOrient: orient,
cellOrient: cdInst.orientation]
ENDLOOP
ENDLOOP;
IF useTNT THEN SweepTNT [state.nt];
FOR sub1: NAT IN [0 .. cellData.size) DO
cdInst1: CD.Instance = CoreGeometry.GetTransf[state.decoration, cellData.instances[sub1]];
IF (cdInst1 = NIL) THEN coreMess ["Core record cell has no geometry (3)", cellData];
FOR sub2: NAT IN (sub1 .. cellData.size) DO
cdInst2: CD.Instance = CoreGeometry.GetTransf[state.decoration, cellData.instances[sub2]];
IF (cdInst2 = NIL) THEN coreMess ["Core record cell has no geometry (4)", cellData];
IF useTNT AND (InTNT [state.nt, cdInst1, cdInst2, propagatedActuals[sub1], propagatedActuals[sub2]]) THEN LOOP;
CellToCellSeparation [state: state,
self: cellData.instances[sub1].type,
otherCell: cellData.instances[sub2].type,
selfActual: propagatedActuals[sub1],
otherActual: propagatedActuals[sub2],
father: self,	-- for error marking
selfLoc: CDBasics.AddPoints [loc, cdInst1.location],
otherLoc: CDBasics.AddPoints [loc, cdInst2.location],
selfOrient: CDOrient.ComposeOrient [orient, cdInst1.orientation],
otherOrient: CDOrient.ComposeOrient [orient, cdInst2.orientation]];
IF useTNT THEN RememberTNT [state.nt, cdInst1, cdInst2, propagatedActuals[sub1], propagatedActuals[sub2]]
ENDLOOP
ENDLOOP;
FOR p: NAT IN [0 .. self.public.size) DO
actual[p].properties _ CoreProperties.CopyProps [savedProps[p]];
ENDLOOP;
self.properties _ CoreProperties.PutProp [self.properties, checked, checked]
END;	-- CheckRecord
CheckTransistor: CheckCell ~ BEGIN
DoNotCheck [self, state, actual, loc, orient]
END;	-- CheckTransistor
DoNotCheck: CheckCell ~ BEGIN
self.properties _ CoreProperties.PutProp [self.properties, checked, checked]
END;	-- DoNotCheck
RegisterAnalysisProcs: PROC ~ BEGIN
CoreClasses.recordCellClass.properties _ CoreProperties.PutProp [
on: CoreClasses.recordCellClass.properties,
prop: analysis,
value: NEW [CheckCell _ CheckRecord]];
CoreClasses.transistorCellClass.properties _ CoreProperties.PutProp [CoreClasses.transistorCellClass.properties, analysis, NEW [CheckCell _ CheckTransistor]];
CoreClasses.unspecifiedCellClass.properties _ CoreProperties.PutProp [CoreClasses.unspecifiedCellClass.properties, analysis, NEW [CheckCell _ DoNotCheck]];
END;	-- RegisterAnalysisProcs
CellHullProc: TYPE = Mayday.CellHullProc;
AtomicWireHull: PROC [w: Core.Wire, state: State] RETURNS [h: CD.Rect _ CDBasics.empty] ~ BEGIN
stored: REF CD.Rect _ NARROW [CoreProperties.GetProp [w.properties, bbKey]];
geom: CD.InstanceList;
IF w.size > 0 THEN BEGIN
[] _ Msg ["Your Core data structure is busted!  You do not lose yet."];
break	-- you may proceede
END;
IF (stored # NIL) THEN RETURN [stored^];
geom _ CoreGeometry.GetGeometry[state.decoration, w];
FOR g: CD.InstanceList _ geom, g.rest WHILE g # NIL DO
r: CD.Rect = FindCDRect [g.first].r;
h.x1 _ MIN [h.x1, r.x1];	h.y1 _ MIN [h.y1, r.y1];
h.x2 _ MAX [h.x2, r.x2];	h.y2 _ MAX [h.y2, r.y2]
ENDLOOP;
stored _ NEW [CD.Rect _ h];
w.properties _ CoreProperties.PutProp [w.properties, bbKey, stored]
END;	-- AtomicWireHull
CellHull: CellHullProc ~ BEGIN
hull: REF CellHullProc _ NEW [CellHullProc];
SELECT self.class FROM
CoreClasses.recordCellClass => hull^ _ RecordCellHull;
CoreClasses.transistorCellClass => hull^ _ TransistorHull;
CoreClasses.unspecifiedCellClass => hull^ _ UnspecifiedHull;
ENDCASE => BEGIN
hull _ NARROW [CoreProperties.GetProp [self.properties, cellHull]];
IF hull = NIL THEN hull _ NARROW [CoreProperties.GetProp [self.class.properties, cellHull]];
IF hull = NIL THEN hull^ _ UnspecifiedHull;
END;
RETURN [hull^ [self, state]]
END;	-- CellHull;
RecordCellHull: CellHullProc ~ BEGIN
stored: REF CD.Rect _ NARROW [CoreProperties.GetProp [self.properties, bbKey]];
IF (stored = NIL) THEN BEGIN
cellData: CoreClasses.RecordCellType = NARROW [self.data, CoreClasses.RecordCellType];
IF cellData.internal.size = 0 THEN break;	-- you may proceede
FOR i: NAT IN [0 .. cellData.internal.size) DO
a: CD.Rect = AtomicWireHull [cellData.internal[i], state];
h.x1 _ MIN [h.x1, a.x1];	h.y1 _ MIN [h.y1, a.y1];
h.x2 _ MAX [h.x2, a.x2];	h.y2 _ MAX [h.y2, a.y2]
ENDLOOP;
FOR sub: NAT IN [0 .. cellData.size) DO
r: CD.Rect = CellHull [cellData.instances[sub].type, state];
h.x1 _ MIN [h.x1, r.x1];	h.y1 _ MIN [h.y1, r.y1];
h.x2 _ MAX [h.x2, r.x2];	h.y2 _ MAX [h.y2, r.y2]
ENDLOOP;
stored _ NEW [CD.Rect _ h];
self.properties _ CoreProperties.PutProp [self.properties, bbKey, stored]
END
END;	-- RecordCellHull
TransistorHull: CellHullProc ~ BEGIN
stored: REF CD.Rect _ NARROW [CoreProperties.GetProp [self.properties, bbKey]];
IF (stored = NIL) THEN BEGIN
wire: Core.Wire = self.public;
IF wire.size = 0 THEN break;	-- you may proceede
FOR i: NAT IN [0 .. wire.size) DO
a: CD.Rect = AtomicWireHull [wire[i], state];
h.x1 _ MIN [h.x1, a.x1];	h.y1 _ MIN [h.y1, a.y1];
h.x2 _ MAX [h.x2, a.x2];	h.y2 _ MAX [h.y2, a.y2]
ENDLOOP;
stored _ NEW [CD.Rect _ h];
self.properties _ CoreProperties.PutProp [self.properties, bbKey, stored]
END
END;	-- TransistorHull
UnspecifiedHull: CellHullProc ~ BEGIN
stored: REF CD.Rect _ NARROW [CoreProperties.GetProp [self.properties, bbKey]];
IF (stored = NIL) THEN BEGIN
stored _ NEW [CD.Rect _ h];
self.properties _ CoreProperties.PutProp [self.properties, bbKey, stored]
END
END;	-- UnspecifiedHull
RegisterPruningProcs: PROC ~ BEGIN
CoreClasses.recordCellClass.properties _ CoreProperties.PutProp [
on: CoreClasses.recordCellClass.properties,
prop: cellHull,
value: NEW [CellHullProc _ RecordCellHull]];
CoreClasses.transistorCellClass.properties _ CoreProperties.PutProp [CoreClasses.transistorCellClass.properties, cellHull, NEW [CellHullProc _ TransistorHull]];
CoreClasses.unspecifiedCellClass.properties _ CoreProperties.PutProp [CoreClasses.unspecifiedCellClass.properties, cellHull, NEW [CellHullProc _ UnspecifiedHull]]
END;	-- RegisterPruningProcs
CreateBindingTable: PROC [actual, public: Core.Wire] RETURNS [bindingTable: RefTab.Ref] ~ BEGIN
tableSize: RefTab.SeqIndex _ public.size;
IF actual.size # public.size THEN BEGIN
IF debug THEN BEGIN
dLog.Put1 [IO.rope ["actual.size # public.size. Actual wire:\n"]]; PrintWire [actual];
dLog.Put1 [IO.rope ["Public wire:\n"]]; PrintWire [public];
ERROR
END
ELSE coreMess ["actual.size # public.size (5)", actual]
END;
IF (tableSize MOD 2) = 0 THEN tableSize _ tableSize.SUCC;
bindingTable _ RefTab.Create [tableSize];
FOR i: NAT IN [0 .. public.size) DO
[] _ RefTab.Insert [x: bindingTable, key: public[i], val: actual[i]]
ENDLOOP
END;	-- CreateBindingTable
FlushBindingTable: PROC [bindingTable: RefTab.Ref] ~ INLINE BEGIN
bindingTable _ NIL
END;	-- FlushBindingTable
PropagateBinding: PROC [state: State, bindingTable: RefTab.Ref, actual: Core.Wire] RETURNS [boundActual: Core.Wire] ~ BEGIN
PropagateAtomic: PROC [state: State, bindingTable: RefTab.Ref, actual: Core.Wire] RETURNS [boundActual: Core.Wire] ~ INLINE BEGIN
boundActual _ NARROW [RefTab.Fetch [bindingTable, actual].val];
IF boundActual = NIL THEN BEGIN
name: Rope.ROPE = IF debug THEN IO.PutFR1 ["New signal # %g", IO.card [state.wireCreationCount]] ELSE "New signal by Mayday";
boundActual _ CoreOps.CreateWires [size: 0, name: name];
state.wireCreationCount _ state.wireCreationCount.SUCC;
[] _ RefTab.Insert [x: bindingTable, key: actual, val: boundActual]
END
ELSE boundActual _ CoreOps.SetShortWireName [boundActual, CoreOps.GetShortWireName[actual]]
END;	-- PropagateAtomic
boundActual _ CoreOps.CreateWires [actual.size];
FOR i: NAT IN [0 .. actual.size) DO
boundActual[i] _ PropagateAtomic [state, bindingTable, actual[i]]
ENDLOOP
END;	-- PropagateBinding
BindInternal: PROC [bindingTable: RefTab.Ref, internal: Core.Wire, state: State] RETURNS [boundInternal: Core.Wire] ~ BEGIN
boundInternal _ CoreOps.CopyWire [internal];
FOR i: NAT IN [0 .. internal.size) DO
b: Core.Wire = NARROW [RefTab.Fetch [bindingTable, internal[i]].val];
IF b # NIL THEN BEGIN
boundInternal[i] _ b;
boundInternal[i].properties _ CoreProperties.CopyProps [internal[i].properties]
END
ENDLOOP
END;	-- BindInternal
BindTransistor: PROC [public, actual: Core.Wire, state: State] RETURNS [tw: Core.Wire] ~ BEGIN
tw _ CoreOps.CopyWire [public];
FOR i: NAT IN [0 .. public.size) DO
tw[i] _ actual[i];
tw[i].properties _ CoreProperties.CopyProps [public[i].properties]
ENDLOOP
END;	-- BindTransistor
MaterialToCellProc: TYPE = Mayday.MaterialToCellProc;
CellToCellProc: TYPE = Mayday.CellToCellProc;
WidthCheck: PROC [c: Core.CellType, s: State, w: Core.Wire] ~ BEGIN
min, max, a, b: CD.Number;	-- a and b are such that a > b
r: CD.Rect;	l: CD.Layer;	key: ATOM;
il: CD.InstanceList = CoreGeometry.GetGeometry[s.decoration, w];
FOR i: CD.InstanceList _ il, i.rest WHILE i # NIL DO
[r, l] _ FindCDRect [i.first];
key _ CD.LayerKey [l];
IF (l < specialLayers) OR (key = NIL) THEN LOOP;
min _ CDSimpleRules.MinWidth [l];	max _ CDSimpleRules.MaxWidth [l];
a _ MAX [(r.x2 - r.x1), (r.y2 - r.y1)];	b _ MIN [(r.x2 - r.x1), (r.y2 - r.y1)];
IF (a < min) OR (b < min) OR (a > max) OR (b > max) THEN BEGIN
splitA: CD.Number = 3 * min;  splitB: CD.Number = min;	-- yuk, spit
IF (CD.LayerKey[l] = $cut) AND (a = splitA) AND (b = splitB) THEN NULL	-- mumble
ELSE MarkError [c, s, [r, Rope.Cat ["Width violation on layer ", Atom.GetPName [CD.LayerKey [l]], " (wire ", CoreOps.GetShortWireName[w], ")"]]]
END
ENDLOOP
END;	-- WidthCheck
MaterialSeparation: PROC [cell: Core.CellType, state: State, w1, w2: Core.Wire, loc1, loc2: CD.Position, orient1, orient2: CD.Orientation] ~ BEGIN
aequipotential: BOOL;
cd1, cd2: CD.InstanceList;	obj1, obj2: CD.Object;
r1, r2, r, s: CD.Rect;
l1, l2: CD.Layer;	key1, key2: ATOM;
sep: CD.Number;
Intersect: PROC RETURNS [BOOL] ~ INLINE BEGIN
RETURN [CDBasics.Intersect [CDBasics.Extend[AtomicWireHull[w1,state],state.maxSeparation], AtomicWireHull[w2,state]]]
END;	-- Intersect
NotCuts: PROC RETURNS [BOOL] ~ INLINE BEGIN
RETURN [NOT (((key1 = $cut) OR (key1 = $cut2)) AND ((key2 = $cut) OR (key2 = $cut2)))]
END;	-- NotCuts
SameRect: PROC RETURNS [BOOL] ~ INLINE BEGIN
RETURN [(l1 = l2) AND (r1.x1 = r2.x1) AND (r1.y1 = r2.y1) AND (r1.x2 = r2.x2) AND (r1.y2 = r2.y2)]
END;	-- SameRect
IF state.abort^ THEN ERROR ABORTED;
cd1 _ CoreGeometry.GetGeometry[state.decoration, w1];
cd2 _ CoreGeometry.GetGeometry[state.decoration, w2];
IF (cd1 = NIL) OR (cd2 = NIL) THEN RETURN;	-- Skip wires without geometry
IF (NOT Intersect[]) THEN RETURN;		-- or whose geometry is too far apart.
FOR outer: CD.InstanceList _ cd1, outer.rest WHILE outer # NIL DO
obj1 _ outer.first.ob;
[r1, l1] _ FindCDRect [outer.first];
key1 _ CD.LayerKey [l1];
IF (l1 < specialLayers) OR (key1 = NIL) THEN LOOP;
r1 _ CDOrient.MapRect [itemInCell: r1,
cellSize: outer.first.ob.size,
cellInstOrient: orient1,
cellInstPos: loc1];
FOR inner: CD.InstanceList _ cd2, inner.rest WHILE inner # NIL DO
IF state.abort^ THEN ERROR ABORTED;
obj2 _ inner.first.ob;
IF debug AND (obj1#NIL) AND (obj2#NIL) AND (CDProperties.GetProp[obj1,$MaydayBreak]#NIL) AND (CDProperties.GetProp[obj1,$MaydayBreak]#NIL) THEN SIGNAL break;
[r2, l2] _ FindCDRect [inner.first];
aequipotential _ CDBasics.Intersect [r1, r2];
key2 _ CD.LayerKey [l2];
IF aequipotential AND NotCuts[] THEN LOOP;
IF (l2 < specialLayers) OR (key2 = NIL) THEN LOOP;
sep _ CDSimpleRules.MinDist [l1, l2 ! CDSimpleRules.NotKnown => sep _ 0];
IF sep = 0 THEN LOOP;
r2 _ CDOrient.MapRect [r2, inner.first.ob.size, orient2, loc2];
IF aequipotential AND SameRect[] THEN LOOP;
r _ CDBasics.Extend [r1, sep / 2]; s _ CDBasics.Extend [r2, sep / 2];
IF ((r.x1<s.x2) AND (s.x1<r.x2) AND (r.y1<s.y2) AND (s.y1<r.y2)) THEN BEGIN
rect1: Rope.ROPE = Rope.Cat [Atom.GetPName [key1], " (wire ", CoreOps.GetShortWireName[w1], ")"];
rect2: Rope.ROPE = Rope.Cat [Atom.GetPName [key2], " (wire ", CoreOps.GetShortWireName[w2], ")"];
MarkError [cell, state, [CDBasics.Intersection[r,s], Rope.Cat["Separation violation between ", rect1, " and ", rect2]]];
END
ENDLOOP	-- inner
ENDLOOP	-- outer
END;	-- MaterialSeparation
MaterialToCellSeparation: MaterialToCellProc ~ BEGIN
Send: PROC ~ INLINE BEGIN
check: REF MaterialToCellProc _ NARROW [CoreProperties.GetProp [self.properties, matToCell]];
IF check = NIL THEN check _ NARROW [CoreProperties.GetProp [self.class.properties, matToCell]];
IF check = NIL THEN BEGIN
obj: CD.Object = GetObject [self, state];
IF obj = NIL THEN RETURN;	-- Cell contains no rectangles
check _ NEW [MaterialToCellProc _ MaterialToUnspecifiedSeparation];
MarkError [self, state, [obj.class.interestRect[obj], "Cell has no provisions to be checked"]]
END;
check^ [self, state, actual, wire, father, materialLoc, cellLoc, materialOrient, cellOrient]
END;	-- Send
IF fast THEN
SELECT self.class FROM
CoreClasses.recordCellClass => MaterialToRecordCellSeparation [self, state, actual, wire, father, materialLoc, cellLoc, materialOrient, cellOrient];
CoreClasses.transistorCellClass => MaterialToTransistorSeparation [self, state, actual, wire, father, materialLoc, cellLoc, materialOrient, cellOrient];
CoreClasses.unspecifiedCellClass => MaterialToUnspecifiedSeparation [self, state, actual, wire, father, materialLoc, cellLoc, materialOrient, cellOrient];
ENDCASE => Send []
ELSE Send []
END;	-- MaterialToCellSeparation
MaterialToTransistorSeparation: MaterialToCellProc ~ BEGIN
wbb, tbb: CD.Rect;		-- bounding boxes
tw: Core.Wire;
Intersect: PROC RETURNS [BOOL] ~ INLINE BEGIN
RETURN [CDBasics.Intersect [CDBasics.Extend[tbb,state.maxSeparation], wbb]]
END;	-- Intersect
IF state.abort^ THEN ERROR ABORTED;
IF (CoreProperties.GetProp [self.properties, doNotAnalyse] # NIL) THEN RETURN;
wbb _ AtomicWireHull [wire, state];
wbb _ CDOrient.MapRect [itemInCell: wbb,
cellSize: CDBasics.SizeOfRect [wbb],
cellInstOrient: materialOrient,
cellInstPos: materialLoc];
tbb _ TransistorHull [self, state];
tbb _ CDOrient.MapRect [itemInCell: tbb,
cellSize: CDBasics.SizeOfRect [tbb],
cellInstOrient: cellOrient,
cellInstPos: cellLoc];
IF (NOT Intersect[]) THEN RETURN;
tw _ BindTransistor [self.public, actual, state];
FOR i: NAT IN [0 .. tw.size) DO
MaterialSeparation [state: state,
cell: father,
w1: tw[i],
w2: wire,
loc1: cellLoc,
loc2: materialLoc,
orient1: cellOrient, 
orient2: materialOrient]
ENDLOOP
END;	-- MaterialToTransistorSeparation
MaterialToUnspecifiedSeparation: MaterialToCellProc ~ BEGIN
NULL
END;	-- MaterialToUnspecifiedSeparation
MaterialToRecordCellSeparation: MaterialToCellProc  ~ BEGIN
wbb, cbb: CD.Rect;		-- bounding boxes
boundInternal: Core.Wire;
propagatedActuals: WireSet;	-- one wire per subcell
bindingTable: RefTab.Ref;
cellData: CoreClasses.RecordCellType _ NARROW [self.data];
Intersect: PROC RETURNS [BOOL] ~ INLINE BEGIN
RETURN [CDBasics.Intersect [CDBasics.Extend[cbb,state.maxSeparation], wbb]]
END;	-- Intersect
IF state.abort^ THEN ERROR ABORTED;
IF (CoreProperties.GetProp [self.properties, doNotAnalyse] # NIL) OR (cellData.internal.size = 0) THEN RETURN;
wbb _ AtomicWireHull [wire, state];
wbb _ CDOrient.MapRect [itemInCell: wbb,
cellSize: CDBasics.SizeOfRect [wbb],
cellInstOrient: materialOrient,
cellInstPos: materialLoc];
cbb _ RecordCellHull [self, state];
cbb _ CDOrient.MapRect [itemInCell: cbb,
cellSize: CDBasics.SizeOfRect [cbb],
cellInstOrient: cellOrient,
cellInstPos: cellLoc];
IF (NOT Intersect[]) THEN RETURN;
bindingTable _ CreateBindingTable [actual: actual, public: self.public];
boundInternal _ BindInternal [bindingTable, cellData.internal, state];
FOR i: NAT IN [0 .. boundInternal.size) DO
MaterialSeparation [state: state,
cell: father,
w1: boundInternal[i],
w2: wire,
loc1: cellLoc,
loc2: materialLoc,
orient1: cellOrient, 
orient2: materialOrient]
ENDLOOP;
propagatedActuals _ NEW [WireSetRec[cellData.size]];
FOR sub: NAT IN [0 .. cellData.size) DO
propagatedActuals[sub] _ PropagateBinding [state, bindingTable, cellData.instances[sub].actual]
ENDLOOP;
FlushBindingTable [bindingTable];
FOR sub: NAT IN [0 .. cellData.size) DO
cdInst: CD.Instance = CoreGeometry.GetTransf[state.decoration, cellData.instances[sub]];
IF (cdInst = NIL) THEN coreMess ["Core record subcell has no geometry (6)", cellData];
MaterialToCellSeparation [self: cellData.instances[sub].type,
state: state,
actual: propagatedActuals[sub],
wire: wire,
father: self,
materialLoc: materialLoc,
cellLoc: CDBasics.AddPoints [cellLoc, cdInst.location],
materialOrient: materialOrient,
cellOrient: CDOrient.ComposeOrient [cellOrient, cdInst.orientation]]
ENDLOOP
END;	-- MaterialToRecordCellSeparation
CellToCellSeparation: CellToCellProc ~ BEGIN
Send: PROC ~ INLINE BEGIN
check: REF CellToCellProc _ NARROW [CoreProperties.GetProp [self.properties, cellToCell]];
IF check = NIL THEN check _ NARROW [CoreProperties.GetProp [self.class.properties, cellToCell]];
IF check = NIL THEN BEGIN
obj: CD.Object = GetObject [self, state];
IF obj = NIL THEN RETURN;	-- Cell contains no rectangles
check _ NEW [CellToCellProc _ UnspecifiedToAnyClassSeparation];
MarkError [self, state, [obj.class.interestRect[obj], "Cell has no provisions to be checked"]]
END;
check^ [self, state, otherCell, selfActual, otherActual, father, selfLoc, otherLoc, selfOrient, otherOrient]
END;	-- Send
SELECT otherCell.class FROM
CoreClasses.unspecifiedCellClass => RETURN;
CoreClasses.recordCellClass => NULL;	-- default case
CoreClasses.transistorCellClass =>	-- nasty case
IF self.class = CoreClasses.transistorCellClass THEN BEGIN
IF fast THEN
TransistorToTransistorSeparation [self, state, otherCell, selfActual, otherActual, father, selfLoc, otherLoc, selfOrient, otherOrient]
ELSE Send [];
RETURN
END
ELSE BEGIN	-- swap
selfZ: Core.CellType = self;
selfActualZ: Core.Wire = selfActual;
selfLocZ: CD.Position = selfLoc;
selfOrientZ: CD.Orientation = selfOrient;
self _ otherCell;		otherCell _ selfZ;
selfActual _ otherActual;	otherActual _ selfActualZ;
selfLoc _ otherLoc;		otherLoc _ selfLocZ;
selfOrient _ otherOrient;		otherOrient _ selfOrientZ
END;
ENDCASE => ERROR;
IF fast THEN
SELECT self.class FROM
CoreClasses.recordCellClass => RecordCellToRecordCellSeparation [self, state, otherCell, selfActual, otherActual, father, selfLoc, otherLoc, selfOrient, otherOrient];
CoreClasses.transistorCellClass => TransistorToRecordCellSeparation [self, state, otherCell, selfActual, otherActual, father, selfLoc, otherLoc, selfOrient, otherOrient];
CoreClasses.unspecifiedCellClass => UnspecifiedToAnyClassSeparation [self, state, otherCell, selfActual, otherActual, father, selfLoc, otherLoc, selfOrient, otherOrient];
ENDCASE => Send []
ELSE Send []
END;	-- CellToCellSeparation
TransistorToRecordCellSeparation: CellToCellProc ~ BEGIN
cbb1, cbb2: CD.Rect;		-- bounding boxes
othersCellData: CoreClasses.RecordCellType _ NARROW [otherCell.data];
othersBindingTable: RefTab.Ref;
tw: Core.Wire;
othersBoundInternal: Core.Wire;
ownName: Rope.ROPE = CoreOps.GetCellTypeName [self];
otherName: Rope.ROPE = CoreOps.GetCellTypeName [otherCell];
Intersect: PROC RETURNS [BOOL] ~ INLINE BEGIN
RETURN [CDBasics.Intersect [CDBasics.Extend[cbb1,state.maxSeparation], cbb2]]
END;	-- Intersect
IF state.abort^ THEN ERROR ABORTED;
IF (CoreProperties.GetProp [self.properties, doNotAnalyse]#NIL) OR (CoreProperties.GetProp [otherCell.properties, doNotAnalyse]#NIL) THEN RETURN;
IF debug THEN BEGIN
IO.PutF [stream: dLog,
format: "Checking transistor %l%g%l vs. %g.  ",
v1: IO.rope ["e"],
v2: IF ownName = NIL THEN IO.refAny [self] ELSE IO.rope [ownName],
v3: IO.rope ["E"],
v4: IF otherName = NIL THEN IO.refAny [otherCell] ELSE IO.rope [otherName]];
IO.PutF [stream: dLog,
format: "Rel. orient: %g, dist: (%g, %g).\n",
v1: IO.int [CDOrient.DecomposeOrient [otherOrient, selfOrient]],
v2: IO.int [(otherLoc.x - selfLoc.x) / previousTechnology.lambda],
v3: IO.int [(otherLoc.y - selfLoc.y) / previousTechnology.lambda]]
END;
cbb1 _ RecordCellHull [self, state];
cbb1 _ CDOrient.MapRect [itemInCell: cbb1,
cellSize: CDBasics.SizeOfRect [cbb1],
cellInstOrient: selfOrient,
cellInstPos: selfLoc];
cbb2 _ RecordCellHull [otherCell, state];
cbb2 _ CDOrient.MapRect [itemInCell: cbb2,
cellSize: CDBasics.SizeOfRect [cbb2],
cellInstOrient: otherOrient,
cellInstPos: otherLoc];
IF (NOT Intersect[]) THEN RETURN;
IF state.abort^ THEN ERROR ABORTED;
othersBindingTable _ CreateBindingTable [actual: otherActual, public: otherCell.public];
othersBoundInternal _ BindInternal [othersBindingTable, othersCellData.internal, state];
tw _ BindTransistor [self.public, selfActual, state];
FlushBindingTable [othersBindingTable];
FOR i: NAT IN [0 .. tw.size) DO
FOR j: NAT IN [0 .. othersCellData.internal.size) DO
MaterialSeparation [state: state,
cell: father,	-- the cell getting the error flag --
w1: tw[i],
w2: othersBoundInternal[j],
loc1: selfLoc,
loc2: otherLoc,
orient1: selfOrient,
orient2: otherOrient]
ENDLOOP
ENDLOOP
END;	-- TransistorToRecordCellSeparation
TransistorToTransistorSeparation: CellToCellProc ~ BEGIN
cbb1, cbb2: CD.Rect;		-- bounding boxes
tw1, tw2: Core.Wire;
ownName: Rope.ROPE = CoreOps.GetCellTypeName [self];
otherName: Rope.ROPE = CoreOps.GetCellTypeName [otherCell];
Intersect: PROC RETURNS [BOOL] ~ INLINE BEGIN
RETURN [CDBasics.Intersect [CDBasics.Extend[cbb1,state.maxSeparation], cbb2]]
END;	-- Intersect
IF state.abort^ THEN ERROR ABORTED;
IF (CoreProperties.GetProp [self.properties, doNotAnalyse]#NIL) OR (CoreProperties.GetProp [otherCell.properties, doNotAnalyse]#NIL) THEN RETURN;
cbb1 _ RecordCellHull [self, state];
cbb1 _ CDOrient.MapRect [itemInCell: cbb1,
cellSize: CDBasics.SizeOfRect [cbb1],
cellInstOrient: selfOrient,
cellInstPos: selfLoc];
cbb2 _ RecordCellHull [otherCell, state];
cbb2 _ CDOrient.MapRect [itemInCell: cbb2,
cellSize: CDBasics.SizeOfRect [cbb2],
cellInstOrient: otherOrient,
cellInstPos: otherLoc];
IF (NOT Intersect[]) THEN RETURN;
IF state.abort^ THEN ERROR ABORTED;
tw1 _ BindTransistor [self.public, selfActual, state];
tw2 _ BindTransistor [otherCell.public, otherActual, state];
FOR i: NAT IN [0 .. tw1.size) DO
FOR j: NAT IN [0 .. tw2.size) DO
MaterialSeparation [state: state,
cell: father,	-- the cell getting the error flag --
w1: tw1[i],
w2: tw2[j],
loc1: selfLoc,
loc2: otherLoc,
orient1: selfOrient,
orient2: otherOrient]
ENDLOOP
ENDLOOP
END;	-- TransistorToTransistorSeparation
UnspecifiedToAnyClassSeparation: CellToCellProc ~ BEGIN
NULL
END;	-- UnspecifiedToAnyClassSeparation
RecordCellToRecordCellSeparation: CellToCellProc ~ BEGIN
cbb1, cbb2: CD.Rect;		-- bounding boxes
ownCellData: CoreClasses.RecordCellType _ NARROW [self.data];
othersCellData: CoreClasses.RecordCellType _ NARROW [otherCell.data];
ownBindingTable, othersBindingTable: RefTab.Ref;
ownBoundInternal, othersBoundInternal: Core.Wire;
ownName: Rope.ROPE = CoreOps.GetCellTypeName [self];
otherName: Rope.ROPE = CoreOps.GetCellTypeName [otherCell];
Intersect: PROC RETURNS [BOOL] ~ INLINE BEGIN
RETURN [CDBasics.Intersect [CDBasics.Extend[cbb1,state.maxSeparation], cbb2]]
END;	-- Intersect
IF state.abort^ THEN ERROR ABORTED;
IF (CoreProperties.GetProp [self.properties, doNotAnalyse]#NIL) OR (CoreProperties.GetProp [otherCell.properties, doNotAnalyse]#NIL) THEN RETURN;
IF debug THEN BEGIN
IO.PutF [stream: dLog,
format: "Checking cell %l%g%l vs. %g.  ",
v1: IO.rope ["e"],
v2: IF ownName = NIL THEN IO.refAny [self] ELSE IO.rope [ownName],
v3: IO.rope ["E"],
v4: IF otherName = NIL THEN IO.refAny [otherCell] ELSE IO.rope [otherName]];
IO.PutF [stream: dLog,
format: "Rel. orient: %g, dist: (%g, %g).\n",
v1: IO.int [CDOrient.DecomposeOrient [otherOrient, selfOrient]],
v2: IO.int [(otherLoc.x - selfLoc.x) / previousTechnology.lambda],
v3: IO.int [(otherLoc.y - selfLoc.y) / previousTechnology.lambda]]
END;
cbb1 _ RecordCellHull [self, state];
cbb1 _ CDOrient.MapRect [itemInCell: cbb1,
cellSize: CDBasics.SizeOfRect [cbb1],
cellInstOrient: selfOrient,
cellInstPos: selfLoc];
cbb2 _ RecordCellHull [otherCell, state];
cbb2 _ CDOrient.MapRect [itemInCell: cbb2,
cellSize: CDBasics.SizeOfRect [cbb2],
cellInstOrient: otherOrient,
cellInstPos: otherLoc];
IF (NOT Intersect[]) THEN RETURN;
IF state.abort^ THEN ERROR ABORTED;
ownBindingTable _ CreateBindingTable [actual: selfActual, public: self.public];
othersBindingTable _ CreateBindingTable [actual: otherActual, public: otherCell.public];
ownBoundInternal _ BindInternal [ownBindingTable, ownCellData.internal, state];
othersBoundInternal _ BindInternal [othersBindingTable, othersCellData.internal, state];
FlushBindingTable [ownBindingTable];  FlushBindingTable [othersBindingTable];
FOR i: NAT IN [0 .. ownCellData.internal.size) DO
FOR j: NAT IN [0 .. othersCellData.internal.size) DO
MaterialSeparation [state: state,
cell: father,	-- the cell getting the error flag --
w1: ownBoundInternal[i],
w2: othersBoundInternal[j],
loc1: selfLoc,
loc2: otherLoc,
orient1: selfOrient,
orient2: otherOrient]
ENDLOOP
ENDLOOP
END;	-- RecordCellToRecordCellSeparation
ComputeMaxSeparation: PROC [technology: CD.Technology] RETURNS [maxSeparation: CD.Number] ~ BEGIN
maxSeparation _ 0;
FOR s1: CD.Layer IN CD.Layer DO
IF CD.LayerTechnology[s1] = technology THEN
FOR s2: CD.Layer IN CD.Layer DO
IF CD.LayerTechnology[s2] = technology THEN BEGIN
sep: CD.Number = CDSimpleRules.MinDist [s1, s2 ! CDSimpleRules.NotKnown => LOOP];	-- try to filter out inappropriate layers
maxSeparation _ MAX [maxSeparation, sep]
END
ENDLOOP
ENDLOOP
END;	-- ComputeMaxSeparation
RegisterSeparationProcs: PROC ~ BEGIN
CoreClasses.recordCellClass.properties _ CoreProperties.PutProp [
on: CoreClasses.recordCellClass.properties,
prop: matToCell,
value: NEW [MaterialToCellProc _ MaterialToRecordCellSeparation]];
CoreClasses.transistorCellClass.properties _ CoreProperties.PutProp [CoreClasses.transistorCellClass.properties, matToCell, NEW [MaterialToCellProc _ MaterialToTransistorSeparation]];
CoreClasses.unspecifiedCellClass.properties _ CoreProperties.PutProp [CoreClasses.unspecifiedCellClass.properties, matToCell, NEW [MaterialToCellProc _ MaterialToUnspecifiedSeparation]];
CoreClasses.recordCellClass.properties _ CoreProperties.PutProp [
on: CoreClasses.recordCellClass.properties,
prop: cellToCell,
value: NEW [CellToCellProc _ RecordCellToRecordCellSeparation]];
CoreClasses.transistorCellClass.properties _ CoreProperties.PutProp [CoreClasses.transistorCellClass.properties, cellToCell, NEW [CellToCellProc _ TransistorToRecordCellSeparation]];
CoreClasses.unspecifiedCellClass.properties _ CoreProperties.PutProp [CoreClasses.unspecifiedCellClass.properties, cellToCell, NEW [CellToCellProc _ UnspecifiedToAnyClassSeparation]];
END;	-- RegisterSeparationProcs
ClearErrors: PROC [obj: Core.CellType, state: State] ~ BEGIN
IF state.shy THEN RETURN;
IF (state.design # NIL) THEN
CDErrors.RemoveMessages [design: state.design, ob: GetObject [obj, state], owner: DRVkey];
obj.properties _ CoreProperties.PutProp [obj.properties, DRVkey, NIL]
END;	-- ClearErrors
MarkError: PROC [obj: Core.CellType, state: State, e: ErrorRect] ~ BEGIN
objName: Rope.ROPE = CoreOps.GetCellTypeName [obj];
cdObj: CD.Object _ GetObject [obj, state];
violations: DRV _ NARROW [CoreProperties.GetProp [obj.properties, DRVkey]];
longMsg: Rope.ROPE _ IO.PutFR ["%g: %g",
IF objName=NIL THEN IO.refAny [obj] ELSE IO.rope [objName], IO.rope[e.msg]];
done: BOOL _ FALSE;	-- initialization of done important
eLog.PutF1 ["%g\n", IO.rope [longMsg]];
IF (violations = NIL) THEN BEGIN
violations _ NEW [DesignRuleViolation];
violations.count _ 1;	violations.places _ LIST [e]
END
ELSE BEGIN
violations.count _ violations.count.SUCC;
violations.places _ CONS [e, violations.places]
END;
state.globalErrorCount  _ state.globalErrorCount.SUCC;
IF state.abort^ THEN ERROR ABORTED;
IF state.shy AND (NOT Msg [longMsg]) THEN panic
ELSE BEGIN
IF state.globalErrorCount < errorFeedbackCutOff THEN IO.Put1 [mLog, IO.char ['|]];
obj.properties _ CoreProperties.PutProp [on: obj.properties, prop: DRVkey, value: violations];
IF (state.design # NIL) AND (cdObj # NIL) THEN
done _ CDErrors.IncludeMessage [
design: state.design,
ob: cdObj,
rect: CDBasics.Extend [e.r, 4],
message: e.msg,
owner: DRVkey].done;
IF NOT done THEN longMsg _ Rope.Cat [r1: longMsg, r2: " (not flagged in the layout)"];
IF debug THEN IO.PutF1 [dLog, "%g\n", IO.rope [longMsg]]
END;
IF (state.verbose) THEN
IO.PutF1 [mLog, "\n%g\n", IO.rope [longMsg]]
END;	-- MarkError
PrintError: CoreProperties.PropPrintProc ~ BEGIN
IO.PutF1 [stream: to,
format: "Mayday error count = %g ",
value: IO.int [NARROW[val,DRV].count]]
END;	-- PrintError
PrintChecked: CoreProperties.PropPrintProc ~ BEGIN
IO.Put1 [stream: to, value: IO.rope ["Design rules checked"]]
END;	-- PrintChecked
RegisterProperties: PROC ~ BEGIN
IF (NOT CDProperties.RegisterProperty [DRVkey, $gbb])
OR (NOT CDProperties.RegisterProperty [checked, $gbb])
OR (NOT CDProperties.RegisterProperty [bbKey, $gbb])
OR (NOT CDProperties.RegisterProperty [cellHull, $gbb])
OR (NOT CDProperties.RegisterProperty [trace, $gbb])
THEN IF NOT debug THEN mLog.Put1 [IO.rope["Mayday probably is being reexecuted.\n"]];
CoreProperties.StoreProperties [prop: DRVkey, properties: CoreProperties.Props [[CoreProperties.propCopy, CoreProperties.PropDoCopy],
[CoreProperties.propCompare, CoreProperties.PropIntCompare],
[CoreProperties.propPrint, NEW [CoreProperties.PropPrintProc _ PrintError]]]];
CoreProperties.StoreProperties [prop: checked, properties: CoreProperties.Props [[CoreProperties.propCopy, CoreProperties.PropDoCopy],
[CoreProperties.propPrint, NEW [CoreProperties.PropPrintProc _ PrintChecked]]]];
CoreProperties.StoreProperties [prop: bbKey, properties: CoreProperties.Props [[CoreProperties.propCopy, CoreProperties.PropDoCopy]]];
CoreProperties.StoreProperties [prop: cellHull, properties: CoreProperties.Props [[CoreProperties.propCopy, CoreProperties.PropDoCopy]]];
CoreProperties.StoreProperties [prop: trace, properties: CoreProperties.Props [[CoreProperties.propCopy, CoreProperties.PropDoCopy]]];
CoreProperties.StoreProperties [prop: analysis, properties: CoreProperties.Props [[CoreProperties.propCopy, CoreProperties.PropDoCopy]]];
CoreProperties.StoreProperties [prop: matToCell, properties: CoreProperties.Props [[CoreProperties.propCopy, CoreProperties.PropDoCopy]]];
CoreProperties.StoreProperties [prop: cellToCell, properties: CoreProperties.Props [[CoreProperties.propCopy, CoreProperties.PropDoCopy]]];
END;	-- RegisterProperties
StartLog: PROC ~ BEGIN
viewer: ViewerTools.Viewer;
dummy: IO.STREAM;
name: Rope.ROPE;
viewer _ ViewerTools.FindExistingViewer ["Terminal"];
name _ IF viewer # NIL THEN "Terminal" ELSE "Son of Spinifex";
[in: dummy, out: mLog] _ ViewerIO.CreateViewerStreams [name, viewer]
END;	-- StartLog
Msg: PROC [msg: Rope.ROPE] RETURNS [ok: BOOL] ~ BEGIN
sLogProcs: FinchSmarts.Procs;
IF (FinchSmarts.CurrentFinchState[] # running) THEN RETURN [FALSE];
sLogProcs _ FinchSmarts.GetProcs [];
IF (sLogProcs = NIL) OR (NOT sLogProcs.finchIsRunning []) THEN RETURN [FALSE];
RETURN [sLogProcs.textToSpeech [msg.Cat [" "]] = ok]
END;	-- Msg
Debug: PROC  ~ BEGIN
viewer: ViewerTools.Viewer;
dummy: IO.STREAM;
debug _ TRUE;
viewer _ ViewerTools.FindExistingViewer ["Mayday debug"];
[in: dummy, out: dLog] _ ViewerIO.CreateViewerStreams ["Mayday debug", viewer];
IF dLog = NIL THEN dLog _ mLog
END;	-- Debug
PrintWire: PROC [w: Core.Wire] ~ BEGIN
dLog.PutF ["%g %g %g\n", IO.rope [CoreOps.GetShortWireName[w]], IO.card [LOOPHOLE[w]], IO.refAny [w]];
FOR i: NAT IN [0 .. w.size) DO
dLog.PutF ["\t(%g) %g %g %g\n", IO.card [i], IO.rope [CoreOps.GetShortWireName[w[i]]], IO.card [LOOPHOLE[w[i]]], IO.refAny [w[i]]]
ENDLOOP
END;	-- PrintWire
PrintEntryShort: RefTab.EachPairAction ~ BEGIN
dLog.PutF ["public: %g\t actual: %g\n", IO.card [LOOPHOLE[key]], IO.card [LOOPHOLE[val]]];
RETURN [FALSE]
END;	-- PrintEntryShort
PrintEntryLong: RefTab.EachPairAction ~ BEGIN
PrintWire [NARROW [key, Core.Wire]];	PrintWire [NARROW [val, Core.Wire]];
dLog.Put1 [IO.char['\n]];
RETURN [FALSE]
END;	-- PrintEntryLong
PrintBinding: PROC [bindingTable: RefTab.Ref] ~ BEGIN
[] _ RefTab.Pairs [bindingTable, PrintEntryShort]
END;	-- PrintBinding
StartLog [];	-- Should be first, so problems can be communicated
IF debug THEN Debug[];
RegisterProperties [];	-- CD & Core
RegisterGeomProcs [];	-- ChipNDale
RegisterPruningProcs []; RegisterAnalysisProcs []; RegisterSeparationProcs []	-- Core
END.
C*MaydayImpl.mesa				Agewmetrhtos
Copyright c 1985, 1986 by Xerox Corporation.  All rights reserved.
Giordano Bruno Beretta, October 17, 1985 4:37:14 pm PDT
gbb September 3, 1986 7:05:40 pm PDT
Louis Monier June 5, 1986 8:21:05 pm PDT
Bertrand Serlet August 20, 1986 4:33:07 pm PDT
Mayday is a Clone from SoS. 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.)
Note: Output to noWhereStream passes all I/O code, and hence is very slow !
RECORD [count: INT _ 0, places: LIST OF ErrorRect]
RECORD [r: CD.Rect, msg: Rope.ROPE]
Mayday keys. For simplicity they are registered both with ChipNDale and Core and have the same name
Attached to CellTypes.
Error report may be processed by clients.
Cache for the bounding box.
Debugging only.  Attached to ChipNDale objects processed.
Mayday analysis procedures (one for each ChpiNDale object class and one for each Core cell class)
ChipNDale keys used by the Son of Spinifex
Core keys used by the Son of Spinifex
undefLayer, highLightShade, highLightError, pinRepresentation, outlineLayer, selectionLayer, commentLayer
Warning: CD.undefLayer could not be included in the list because of a minor bug in the compiler, but it should so once the bug is fixed.
Activation Procedure
The external interface.
Wow, did that CPU look busy !
We now create a shadow cell on which we work.  If we do not abort, we replace the original cell by the shadow cell, if we abort then the original cell is left untouched.
returnedCell _ cell;	-- to be implemented
I hope this figure is large enough.  I did not make it too large for speed reasons.
DRC.
Clean up.
Remember that we assigned returnedCell _ cell.
If the Core data struckture is busted, we have returned with (quantity = 1), because 1 > 0 and we do not know whether what we found in it is meaningful.
The above statement is obviously wrong, in that state.globalErrorCount tallies only newly found errors.  The right thing to do is to traverse the Core data structure and count the errors.  However this has to be done by the client, since there are people that do not want the data structures to be modified but just want a boolean answer.  Those clients who want a detailed error report have to do it by themselves, as they have always done. 
returnedCell _ shadowCell;	-- to be implemented
Remember that we assigned returnedCell _ cell.
Actions on ChipNDale Objects
We have to consider only the objects of the rectangle class. All others are converted to rectangles in the flattening the extractor causes to allow the simulator to highlight nodes.
PROC [self: CD.Instance] RETURNS [r: CD.Rect _ CDBasics.empty, l: CD.Layer _ CD.undefLayer]
PROC [self: CD.Instance] RETURNS [r: CD.Rect _ CDBasics.empty, l: CD.Layer _ CD.undefLayer]
PROC [self: CD.Instance] RETURNS [r: CD.Rect _ CDBasics.empty, l: CD.Layer _ CD.undefLayer]
For objects of the class $Rect.
The object contributes no geometry.
At this place foer ease of maintenance. Called in the module initialisation part.
Actions on Core Objects
Used to create a shadow cell on which Mayday operates.  This allows to preserve the virginity of the cell we are handed over in the case of an abortion.
PROC [self: Core.CellType, state: State, actual: Core.Wire, loc: CD.Position, orient: CD.Orientation];
[self: Core.CellType, state: State, actual: Core.Wire, loc: CD.Position, orient: CD.Orientation]
To be able to compare wires by comparing refs, the bound internal is the actual wire with the properties of the internal wire.  Note that in this way the properties of the internal wire are propagated up to the actual wire; hence the actual wire has to be restored when popping up.
The propagated actuals must be determined here once for all, because new actual wires will differ from call to call.
The catechism states, that the recursion on the subcells has to take place at the end of the check among the internal of self and its subcells, in the procedure MaterialToCellSeparation.  Nomen est omen, so I put the recursion step in here where it makes more sense to me.  Furthermore the catechism states that the world is top-down, and that hence the recursion step is done at the end.  Beside yielding a better program structure, this allows for more agressive (i.e. geometric) pruning.
Check the internal.
Since in this case the error will go into the cell itself, we produce cell relative coordinates by appropriately setting loc1, loc2, orient1, and orient2.
Although the separation rules do not have to hold for aequipotential pieces of material, we have to artificially check the geometry of each wire against itself in order to be able to verify the separation of cuts.
Check the separation between the internal of self and its subcells.
Check the separation between the subcells of self.
Wires that were propagated down under recursion now contain all the geometry of the leaf cells.  Here we restore the status quo ante.
[self: Core.CellType, state: State, actual: Core.Wire, loc: CD.Position, orient: CD.Orientation]
Transistors are atomic ChipNDale objects and are supposed to be correct by construction.
[self: Core.CellType, state: State, actual: Core.Wire, loc: CD.Position, orient: CD.Orientation]
(self.class = CoreClasses.unspecifiedCellClass) OR (CoreProperties.GetProp [self.properties, doNotAnalyse]#NIL);
Called in the module initialisation part.
Pruning
PROC [self: Core.CellType, state: State] RETURNS [h: CD.Rect _ CDBasics.empty]
Coputes the bounding box of the rectangles of material that make up a wire.
Wire is not atomic.  The extractor might have been fed something he did not like.
PROC [self: Core.CellType, state: State] RETURNS [h: CD.Rect _ CDBasics.empty]
Needed for recursion.
[self: Core.CellType, state: State] RETURNS [h: CD.Rect _ CDBasics.empty]
Atomic wire not expected here.  The extractor might have been fed something he did not like.
Note: because of the program flow a run time this recursion does not really propagate, since at this point stored # NIL.
[self: Core.CellType, state: State] RETURNS [h: CD.Rect _ CDBasics.empty]
Atomic wire not expected here.  The extractor might have been fed something he did not like.
[self: Core.CellType, state: State] RETURNS [h: CD.Rect _ CDBasics.empty]
Called in the module initialisation part.
Binding
Called to propagate the binding on level down. Applied to the actual wire.
For elements of sequence.
If an actual wire of a subcell is not in the binding table of the containing cell, this wire starts in the containing cell. Hence we create a new wire. It is inserted into the binding table because two cells may share it.
For full sequence.
If the wire is not in the binding table, it does not interface, hence it has not to be bound.
To be able to compare wires by comparing refs, the bound internal is the actual wire with the properties of the internal wire.  Note that in this way the properties of the internal wire are propagated up to the actual wire; hence the actual wire has to be restored when popping up.
We have to preserve the geometry that is hanging on the public subset of the wire.
boundInternal[i] _ CoreOps.SetShortWireName [wire: boundInternal[i],
name: CoreOps.GetShortWireName[internal[i]]];
boundInternal[i].properties _ CopyGeomProps [internal[i].properties, boundInternal[i].properties, state]
Please read comments in BindInternal.
tw[i] _ CoreOps.SetShortWireName [wire: tw[i],
name: CoreOps.GetShortWireName[public[i]]];
tw[i].properties _ CopyGeomProps [public[i].properties, tw[i].properties, state]
Separation and Width Check Procedures
PROC [self: Core.CellType, state: State, actual, wire: Core.Wire, father: Core.CellType, materialLoc, cellLoc: CD.Position, materialOrient, cellOrient: CD.Orientation];
PROC [self: Core.CellType, state: State, otherCell: Core.CellType, selfActual, otherActual: Core.Wire, father: Core.CellType, selfLoc, otherLoc: CD.Position, selfOrient, otherOrient: CD.Orientation];
The location and orientation are needed place the error rectangle.
At the moment our simplicistic approach does not have any knowledge of the topology. Therefore we cannot really test this rule.
<< Total Hack.  Yuk. >>
The following is a cochonnerie to avoid flagging large split contacts that may occur in CMOS-B designs.  The heuristics is there because of two reasons: a) I cannot know from which contact class the cut is coming, b) I do not want to put in here an even worse cochonnerie by introducing a dependency of Mayday on technologies by importing a specific technology.
Note that I am using an atom because many users hide the technology from Mayday.  If the splits are flagged then the atom in ChipNDale may have changed.
If two unrelated rectangles of material intersect, an error is flagged.
The parameter cell selects the cell receiving possible error messages. It must be the father of the cell containing w1 and the cell containing w2.
Note that I am using atoms because many users hide the technology from Mayday.  If violations from cuts arenot  flagged then the atom in ChipNDale may have changed.
We cannot skip the verification in the w1 = w2.  In fact, in Core and Sinix, cuts are represented as material rectangles in wires.  So to Mayday two cuts violating the separation rule will alway look as two aequipotential rectangles.
Filter out the special layers. Also the extractor creates material at illegal levels. We try heuristically to filter it out here.
Probe 1: Call the debugger. Give property $MaydayBreak to two pieces of material that violate a rule but are not flagged.
The order of the next two statements is very important.
Probe 2: Set a break point after this line to see why a wrong violation is flagged.
[self: Core.CellType, state: State, actual, wire: Core.Wire, father: Core.CellType, materialLoc, cellLoc: CD.Position, materialOrient, cellOrient: CD.Orientation]
For convenience.
[self: Core.CellType, state: State, actual, wire: Core.Wire, father: Core.CellType, materialLoc, cellLoc: CD.Position, materialOrient, cellOrient: CD.Orientation]
Find the bounding box of wire and check whether it has a non-empty intersection with the internal wire of the cell.
Check each element of the transistor wire of the cell against each element of wire.
[self: Core.CellType, state: State, actual, wire: Core.Wire, father: Core.CellType, materialLoc, cellLoc: CD.Position, materialOrient, cellOrient: CD.Orientation]
[self: Core.CellType, state: State, actual, wire: Core.Wire, father: Core.CellType, materialLoc, cellLoc: CD.Position, materialOrient, cellOrient: CD.Orientation]
Find the bounding box of wire and check whether it has a non-empty intersection with the internal wire of the cell.
Check each element of the internal wire of the cell against each element of wire.
The propagated actuals must be determined here once for all, because new actual wires will differ from call to call.
Check intersections between subcells of cell and wire.
[self: Core.CellType, state: State, otherCell: Core.CellType, selfActual, otherActual: Core.Wire, father: Core.CellType, selfLoc, otherLoc: CD.Position, selfOrient, otherOrient: CD.Orientation]
For convenience.
[self: Core.CellType, state: State, otherCell: Core.CellType, selfActual, otherActual: Core.Wire, father: Core.CellType, selfLoc, otherLoc: CD.Position, selfOrient, otherOrient: CD.Orientation]
Preamble.
Check the separation between the internal of transistor and cell2.
[self: Core.CellType, state: State, otherCell: Core.CellType, selfActual, otherActual: Core.Wire, father: Core.CellType, selfLoc, otherLoc: CD.Position, selfOrient, otherOrient: CD.Orientation]
Preamble.
Check the separation between the internal of cell1 and cell2.
[self: Core.CellType, state: State, otherCell: Core.CellType, selfActual, otherActual: Core.Wire, father: Core.CellType, selfLoc, otherLoc: CD.Position, selfOrient, otherOrient: CD.Orientation]
[self: Core.CellType, state: State, otherCell: Core.CellType, selfActual, otherActual: Core.Wire, father: Core.CellType, selfLoc, otherLoc: CD.Position, selfOrient, otherOrient: CD.Orientation]
Preamble.
Check the separation between the internal of cell1 and cell2.
Initialises the separation table. This is where the technology comes in !
Called in the module initialisation part.
Design Rule Violation Flagging
Removes the error rectangles from a given ChipNDale object (e.g. a cell).
Puts an error rectangle r into the ChipNDale object obj, and maintains an error counter in the Core structure.
Note that when the shadow cell will have been implemented and we will have handed it over to the client, we can delegate this paranoia to the client.
Property Registrations
Registers all properties.
ChipNDale
somebody is already using it. This check is necessary because in some future ChipNDale and Core may get the same property scope and they will then need different keys.
Core
Logging & Debugging
Initialises the log streams. Should cater for errors IO.Error [$Failure, NIL], IO.Error [StreamClosed].
This code is in a separate procedure because the server is very fleaky.  Once the server is reliable, a process should be forked; this would bring a considerable speed-up.
Revision to recommendations on how to use Finch safely:
FinchSmarts.CurrentFinchState[] RETURNS [ {unknown, running, stopped} ];
$unknown means Finch hasn't been loaded; its' procedures aren't around.
$stopped means that Finch isn't connected up with the server.
$running is the only state where it makes sense to get the procs and call them.
sLogProcs.FinchIsRunning is guaranteed to exist if you ran FinchSmartsRegisterImpl.
Moreover, it's reasonable to start from scratch each time.  A previous failure does not automatically guarantee you'll fail this time.
The space is a temporary fix of a bug in the text to ptose stuff.
Callable from the interpreter. Creates and enebles the degug log.
For debugging purposes.
[key: Key, val: Val] RETURNS [quit: BOOLEAN]
[key: Key, val: Val] RETURNS [quit: BOOLEAN]
For debugging purposes.
Initialisation
gbb April 3, 1986 3:21:47 pm PST
Increased extension of error highlight rectangles from 1 to 4 units. 
changes to: MarkError
gbb June 5, 1986 7:17:56 pm PDT
Although the separation rules do not have to hold for aequipotential pieces of material, we have to artificially check the geometry of each wire against itself in order to be able to verify the separation of cuts.  We cannot skip the verification in the w1 = w2.  In fact, in Core and Sinix, cuts are represented as material rectangles in wires.  So to Mayday two cuts violating the separation rule will alway look as two aequipotential rectangles.
changes to: DIRECTORY: added GetLayer from CDSimpleRules to find the cut layers independently of the technology, CheckDesignRules: added two fields to the state record in order to hold the fileds of material that may not violate the separation rules even if according to the contents of Core it is  electrically connected, CheckRecord: each wire is now verified also against himself, MaterialSeparation: the aequipotentiality test has been moved inside the inner loop in order to be able to combine it with a "not okIfConnected", NotCuts (local of MaterialSeparation): new.
gbb June 9, 1986 6:02:28 pm PDT
Made more robust for the case of a missing design.
changes to: CheckDesignRules: added new parameter technology, GetObject: detect design=NIL
gbb June 10, 1986 10:07:56 am PDT
Tracked change in Sinix
changes to: ClearErrors: uses heuristics to find corresponding ChipNDale cell
gbb June 14, 1986 4:22:26 pm PDT
Added debugging aids to exceptions
changes to: EXPORTS, CheckDesignRules, CheckRecord, CreateBindingTable, MaterialToRecordCellSeparation, DIRECTORY, IMPORTS, FindGeometry, FindCDRect, Send (local of FindCDRect), FindRectGeom, MarkError, PrintChecked, StartLog, Msg1, MsgF, Debug
gbb June 15, 1986 10:53:50 am PDT
Added some piggy heuristics to avoid flagging large split contacts that may occur in CMOS-B designs.
changes to: WidthCheck
gbb June 15, 1986 11:49:06 am PDT
If Mayday is asked to be shy and the appropriate software is loaded, Mayday never writes anything on the screen.  If the software is not there it uses the screen anyway to save those preciuos 23 GFIs.
changes to: DIRECTORY, IMPORTS, EXPORTS, CheckDesignRules, Send (local of FindCDRect), CheckRecord, CreateBindingTable, WidthCheck, MaterialToRecordCellSeparation, MarkError, StartLog, Msg
gbb June 16, 1986 1:13:56 pm PDT
Cleaned up client interface before casting in concrete.
changes to: DIRECTORY, EXPORTS, CheckDesignRules, CheckRecord, AtomicWireHull, CreateBindingTable, WidthCheck, NotCuts (local of MaterialSeparation), MaterialSeparation, MaterialToRecordCellSeparation, MarkError, StartLog, Msg
gbb June 19, 1986 3:05:21 pm PDT
Worked around bug in Voice server's software.
changes to: CheckDesignRules.
gbb June 23, 1986 11:00:40 am PDT
Tracked changes in Finch.
changes to: DIRECTORY, Msg
gbb August 29, 1986 8:04:36 pm PDT
Added an error log.
changes to: DIRECTORY, IMPORTS, EXPORTS, CheckDesignRules: Open & Close, MarkError: puts long message in error log.

�Ê0t˜
codešœÐeg™Kšœ
Ïm
œ7™BKš
œ7™7K™$K™(K™.K˜—Icode2š
τ
™Ñ
Iquoteš
ÏsH™Hš
Ïk	˜	Kšœ œ˜Kšœ
 œ˜Kš œ
 œú
˜‚Kšœ	 œA˜OKšœ œ	˜Kšœ	 œ"˜0Kšœ	 œ5˜CKšœ
 œ5˜GKšœ œ)˜<Kšœ œ˜(Kšœ œN˜_Kš
œ
˜
Kšœ œN˜[Kšœ œ–
˜ª
Kšœ œ@˜QKš œ
 œ˜Kš œ
 œt œ˜Š
Kšœ œ?˜KKšœ œ œ˜Kšœ œ+ œU˜�
Kšœ œ2 œ˜CKšœ	 œ˜%Kšœ œ˜/—LšÑbln
œ œ
 ˜Lš œ œ‹
 œ œ-˜Ù
š œ
 ˜Lš œ˜Iunitšœ œ œÏcÐco˜GKšœ
 œ œ¢˜3Kšœ œ œ¢˜1Kšœ	 œ œ¢0˜GKšœ œ œ¢3˜GKšœ œ œ¢2˜IKšœ œ œ¢ ˜7Kšœ
 œ œ	 œ
 œ œ¢+˜hKš
œ œ
 œ œ	 œ
 œ œ
˜JKšœ œ
 œ¢˜Kšœ œ
 œ¢˜šœ œ
 œ œ¢˜0KšœÏe
œ.™K—Lšœ œ¢˜,Kšœ
 œ˜!Lš œ œ
 œ¢˜2šœ œ˜7Kš œ	 œ œ
 œ™2—šœ œ˜#Kš œ œ œ
™#—L™cšœ	 œ4˜AKšœ¤	œ
™—šœ œ
 œ2˜EK™)—šœ œ/˜:K™—šœ œ>˜IKš
œ9™9—L™aKšœ
 œ5˜CKšœ
 œ1˜?Kšœ œ/˜>Kšœ œ/˜?L™*Kšœ œ	˜Kšœ
 œ˜L™%Kšœ œ
˜Lšœ œ œ
˜(Kšœ œ˜*šœ œ	 œ œ
 œ
 œ œ œ œ˜Š
Lš
œi™iLšœ	 œ}™ˆ
—Lšœ œ¢|˜ 
Lšœ	 œ œ
¢˜>Kšœ œ œ œ œ
 œ˜ALšœ	 œ œ
¢#˜CKšœ œ œ œ œ
 œ˜E—
head™šÏnœ œ
 œD œ
 œ
 œ
 œ œ œ œ œ œ œ ˜ê
K™š œ
 ˜š œ
 œ œ
 ˜+Kšœ œ
 œ
˜
Kšœ œ˜Kš œ œ
 œ
˜$Kšœ œ œ œ˜Kš
 ˜Kš œ
˜—Kšœ	 œ	˜Kš œ
˜—Nšœ œ˜Kšœ œ œ
˜Kšœ œ
˜Kšœ œ
 œ
˜Kšœ¢Ðbc˜/Kš
œ˜Kšœ œ"˜5Kšœ œ œ œ
 œ
 œ˜INšœ¢˜+Kš
œ œb œ œ œ¢'˜·
Kšœ4 œ˜Jš œ	 œ
 ˜š œ œ
 œ
 ˜Kš œ œä
 œ˜þ
Kš œ
˜Kšœ œ™Kš
 ˜Kš œ
˜——Kš
Ϡ
˜†
K™©
Nšœ¢¦˜2Kšœ¢¦™)Nšœ œ œ
 œ œ
 œ
˜<Kš œ
 œ
 œ[ œ œ œ œ˜Â
Kš œ œ
 œB œ œ œ œ
 œ
 œ œ
 œ˜Ã
Kš
œ˜Kšœ œ
 œ
 œ œ
 œ œ œ˜HKš œ œ˜%š œ œ œ œ œ
 ˜9Kš
œ5˜5K™SKšœ ˜Kš
 ˜—š
 ˜š œ( œ
 ˜4Kš
œA˜AKš
œ&˜&Kš œ
˜——Kš
œ,˜,Kš
œ˜Kš
œ˜Kš
œ˜Kš
œ˜N™Kš
œ2˜2Kšœ�
 œ. œ˜¾
Kš œ œ˜"š œ œ
 ˜K™	Kš œ œ˜KšœJ œ˜OK˜FKšœ¤œ
™.Kš
œY˜YKš
œ˜Kš
œ,˜,Kš œ
˜—Kš
œ˜
™˜
Kš
œ"˜"Kš
œº™ºK˜%š œ
 ˜K˜˜
K˜^Kš œ œF œ˜r—Kš œ
 œ œ
 œV œ œ$ œ
˜¶
Kšœ¢¦™/Kš
œ;˜;š
 ˜Kšœ¤œ
™.šœ
¢"˜/Kš
œ5˜5——Kš œ¢˜——™K™µ
šœ œ˜)Lš œ œ œ œ œ	 œ™[—š¥
œ ˜ Kš œ œ œ œ œ	 œ™[š¥œ œ œ
 ˜Kšœ	 œ œ8˜ZKš œ œ
 œ œ2˜Xš œ œ
 œ
 ˜Kš
œ[˜[Kš œ˜
Kšœ
 œ˜)Kš œ
˜—Kš
œ˜Kš œ¢˜—š œ ˜š œ ˜$Kš
œ*˜*Kš
œ'˜'Kš œ˜——Kš œ˜Kš œ¢
˜—š¥œ ˜"Kš œ œ œ œ œ	 œ™[K™Kš œ œ4˜AKš
œ 
˜ 
Kš
œ˜Kš œ¢˜—š¥
œ ˜ K™#Kš œ œ3˜@Kš œ¢
˜—š¥œ œ ˜K™QKšœ" œ4 œ ˜{Kšœ" œ3 œ˜wKš œ¢˜—š¥	œ œ% œ œ œ
 ˜[Kšœ œ< œ	˜SKš œ	 œ œ œ œ œN˜‚
Kš œ˜
Kš œ¢˜——™š¥œ œ œ ˜NK™˜
Kšœ¢Ñbcl¦˜?Kš œ¢˜—šœ œ˜#Kš œ= œ œ™f—š¥
œ ˜ š¥œ œ œ
 ˜Kšœ œ
 œ6˜SKš œ	 œ
 œ	 œ<˜^š œ	 œ
 œ
 ˜Kšœ œ"˜)Kš	 œ œ
 œ
 œ¢˜8Kšœ œ˜%Kš
œ^˜^Kš œ
˜—Kš
œ)˜)Kš œ¢˜—š œ ˜š œ ˜Kš
œN˜NKš
œV˜VKšœ$ œ
˜)Kš œ˜——Kš œ˜Kš œ¢˜—š¥œ ˜Kšœ< œ œ
™`Kšœ œ˜Kš
œ%˜%Kš
œ˜Kš
œ˜Kšœ¢˜3Kšœ¢$˜:Kšœ œ"˜4Nš œ9 œ œ3 œ œ
 œ
˜†
Kš
 œ œ œ
 œ
 œ˜GKš œ œ
 œ? œ œ œ
 œ
 œ œ
 œ œ
˜´
Kš œ œ
 œ
 œ
˜#Kš
œ˜Kšœ œ)˜:N™™Kšœ
 œ˜+š œ œ
 œ ˜#Kš
œ@˜@Kš œ
˜—Nš
œH˜HKš
œF˜Fš œ
 œ
 ˜Kšœ= œ˜PKš
œ˜Kšœ' œ˜:Kš
œ˜Kš œ
˜—K™tKšœ œ˜4š œ œ
 œ ˜'Kš
œ_˜_Kš œ
˜—Nš
œ!˜!Nšœy¤œ$¤œ±™êš œ œ
 œ ˜'Kšœ œN˜XKš œ œ œ=˜SKš
œÍ
˜Í
Kš œ
˜—N™š œ
 œ
 ˜Kšœ0 œ˜CKš
œ˜Kš œ
˜—Kš	œy¤œ¤œ¤œ¤œ
™š
š œ œ
 œ ˜.š œ œ
 œ ˜.K™Õ
Kšœ œ œ
˜¡
Kš œ
˜—Kš
œ*˜*—Kš œ
˜Nšœ-¤œ™Cš œ œ
 œ ˜'Kšœ œN˜XKš œ œ œ=˜Sš œ œ
 œ ˜.Kšœ–
¢œc˜ŽKš
 ˜—Kš œ
˜—Nšœ-¤œ
™2Kš œ œ˜#š œ œ
 œ ˜(Kšœ	 œO˜ZKš œ œ œ=˜Tš œ œ
 œ ˜+Kšœ	 œO˜ZKš œ œ œ=˜TKš œ œX œ
 œ
˜oLšœÌ
¢œð
˜ÑLš œ œ[˜iLš
 ˜—Lš œ
˜—N™…
š œ œ
 œ ˜(Kš
œ@˜@Kš œ
˜—Nš
œL˜LKš œ¢˜—š¥œ ˜"Kšœ< œ œ
™`K™XKš
œ-˜-Kš œ¢˜—š¥
œ ˜Kšœ< œ œ
™`Kšœ0 œ9 œ™pKš
œL˜LKš œ¢
˜—š¥œ œ ˜#K™)Nšœ…
 œ˜¤
Kšœ{ œ ˜ž
Kšœ} œ˜›
Kš œ¢˜——™šœ œ˜)Lš œ% œ œ™N—š	¥œ œ œ œ ˜_K™KKšœ œ
 œ œ0˜LKšœ œ˜š œ œ
 ˜Kš
œQ™QK˜GKšœ¢˜Kš œ
˜—Kš œ œ œ
 œ˜(Kš
œ5˜5š	 œ œ œ œ
 ˜6Kšœ œ˜$Jšœ œ œ˜1Jšœ œ œ
˜0Kš œ
˜—Kšœ	 œ œ˜Kš
œC˜CKš œ¢˜—š¥œ ˜Lš œ% œ œ™NL™Lšœ œ œ˜,š œ ˜Kš
œ6˜6Kš
œ:˜:Kš
œ<˜<š œ ˜Kšœ œ6˜CKš œ œ
 œ œ<˜\Kš œ œ
 œ˜+Kš œ
˜——Kš œ˜Kš œ¢˜—š¥œ ˜$Kšœ$ œ œ™IKšœ œ
 œ œ3˜Oš œ œ œ
 ˜Kšœ' œ)˜Vš œ œ¢˜=Kš
œ\™\—š œ œ
 œ ˜.Kšœ œ5˜:Jšœ œ œ˜1Jšœ œ œ
˜0Kš œ
˜—š œ œ
 œ ˜'Kšœk¤œ œ
™xKšœ œ7˜<Jšœ œ œ˜1Jšœ œ œ
˜0Kš œ
˜—Kšœ	 œ œ˜Kš
œI˜IKš
 ˜—Kš œ¢˜—š¥œ ˜$Kšœ$ œ œ™IKšœ œ
 œ œ3˜Oš œ œ œ
 ˜Kš
œ˜š œ œ¢˜0Kš
œ\™\—š œ œ
 œ ˜!Kšœ œ(˜-Jšœ œ œ˜1Jšœ œ œ
˜0Kš œ
˜—Kšœ	 œ œ˜Kš
œI˜IKš
 ˜—Kš œ¢˜—š¥œ ˜%Kšœ$ œ œ™IKšœ œ
 œ œ3˜Oš œ œ œ
 ˜Kšœ	 œ œ˜Kš
œI˜IKš
 ˜—Kš œ¢˜—š¥œ œ ˜"K™)Kšœt¤œ	 œ"˜ª
Kšœq¤œ œ"˜ 
Kšœs¤œ œ"˜¢
Kš œ¢˜——™š¥œ œ œ ˜_Kš
œ)˜)š œ œ
 ˜'š œ œ
 ˜Kšœ œI˜VKšœ œ.˜;Kš
 ˜Kš
 ˜—Kš œ3˜7Kš œ
˜—Kš œ œ œ œ
˜9Kš
œ)˜)š œ œ
 œ ˜#Kš
œD˜DKš
 ˜—Kš œ¢˜—š¥œ œ œ
 ˜AKšœ ˜Kš œ¢˜—š¥œ œ= œ ˜{K™Jš	¥œ œ= œ œ
 ˜�
K™Kšœ œ+˜?K™Ý
š œ œ
 œ
 ˜Kš
œ œ œ œ
 œ œ! œ˜}Kš
œ8˜8Kšœ2 œ
˜7Kš
œC˜CKš
 ˜—Kš œW˜[Kš œ¢˜—Nš
œ0˜0š œ œ
 œ ˜#Kš
œA˜AKš
 ˜—Kš œ¢˜—š¥œ œ? œ ˜{K™Kš
œ,˜,š œ œ
 œ ˜%Kšœ œ0˜EK™]š œ œ
 œ
 ˜K™™Kš
œ˜K™RKš
œr™rKš
œh™hKš
œO˜OKš
 ˜—Kš
 ˜—Kš œ¢˜—š¥œ œ+ œ ˜^Kšœ¤œ
™%Kš
œ˜š œ œ
 œ ˜#Kš
œ˜Kš
œZ™ZKš
œP™PKš
œB˜BKš
 ˜—Kš œ¢˜——™%šœ œ˜5Lš œk œ' œ™¨
—šœ œ˜-Kš œ�
 œ$ œ™Ç
—š¥
œ œ. ˜CK™BK™Kšœ œ	¢˜9Kšœ œ
 œ
 œ
˜#Kšœ œ:˜@š	 œ œ œ œ
 ˜4Kš
œ˜Kšœ œ˜Kš
 œ œ œ œ
 œ
˜0Kš
œC˜CKšœ œ% œ ˜Oš œ œ œ œ œ
 ˜>Jš
Ïb™KšœX œ�™éKšœ œ œ¢˜CK™˜
Kš
 œ œ œ œ œ
 œ
¢	˜PKš œL œ>˜�
Kš
 ˜—Kš
 ˜—Kš œ¢
˜—š	¥œ œD œ œ ˜’
K™GKšœ¤œb¤œ¤œ
™’
Kšœ œ
˜Kšœ
 œ œ˜1Kšœ œ˜Kšœ œ œ
˜#Kšœ œ˜š¥	œ œ
 œ œ œ
 ˜-Kš œo˜uKš œ¢˜—š¥œ œ
 œ œ œ
 ˜+K™¤
Kš
 œ œ œ œ œ˜VKš œ¢
˜—š¥œ œ
 œ œ œ
 ˜,Kš
 œ œ œ œ œ˜bKš œ¢˜—Nš œ œ
 œ
 œ
˜#Kšœ'¤œ¤œ»
™é
Kš
œ5˜5Kš
œ5˜5Kš
 œ œ œ œ œ
 œ¢˜IKš	 œ œ œ
 œ¢&˜Iš	 œ œ  œ	 œ
 ˜AKš
œ˜Kš
œ$˜$Kšœ œ˜Kš
œ�
™�
Kš
 œ œ	 œ œ
 œ
˜2Kš
œr˜rš	 œ œ  œ	 œ
 ˜AKš œ œ
 œ
 œ
˜#Kš
œ˜Kš¨œ"¤œC™yKš œ œ œ œ œ œ* œ œ* œ œ
 œ˜�
Kš
œ$˜$K™7Kš
œ-˜-Kšœ œ˜Kš œ œ œ
 œ
˜*Kš
 œ œ	 œ œ
 œ
˜2Kš
œI˜IKš œ	 œ
 œ
˜Kš
œ?˜?Kš œ œ œ
 œ
˜+Kš
œE˜Eš œ œ
 œ
 œ œ
 ˜KKšœ œQ˜aKšœ œQ˜aKš¨œK™SKš
œx˜xKš
 ˜—Kš œ
¢˜—Kš œ
¢˜—Kš œ¢˜—š¥œ ˜4Kšœj œ' œ
™¢
Kš
œ™š¥œ œ œ
 ˜Kšœ œ œ7˜]Kš œ	 œ
 œ	 œ=˜_š œ	 œ
 œ
 ˜Kšœ œ"˜)Kš	 œ œ
 œ
 œ¢˜8Kšœ œ8˜CKš
œ^˜^Kš œ
˜—Kš
œ\˜\Kš œ¢˜—š œ ˜š œ ˜Kš
œ”
˜”
Kš
œ˜
˜˜
Kš
œš
˜š
Kš œ˜——Kš œ˜Kš œ¢˜ —š¥œ ˜:Kšœj œ' œ
™¢
Kšœ
 œ¢˜%Kš
œ˜š¥	œ œ
 œ œ œ
 ˜-Kš œE˜KKš œ¢˜—Nš œ œ
 œ
 œ
˜#Kš œ; œ œ
 œ
˜NNšœ¤œV™sKš
œ#˜#Kš
œˆ
˜ˆ
Kš
œ#˜#Kš
œ€
˜€
Kš œ œ œ
 œ
˜!Nš
œ1˜1NšœN¤œ
™Sš œ œ
 œ ˜Kš
ϥ
˜•
Kš
 ˜—Kš œ¢!˜&—š¥œ ˜;Kšœj œ' œ
™¢
Kš
 ˜Kš œ¢"˜'—š¥œ ˜;Kšœj œ' œ
™¢
Kšœ
 œ¢˜%Kš
œ˜Kšœ¢˜3Kš
œ˜Kšœ' œ
˜:š¥	œ œ
 œ œ œ
 ˜-Kš œE˜KKš œ¢˜—Nš œ œ
 œ
 œ
˜#Kš
 œ; œ œ œ
 œ
˜nNšœ¤œV™sKš
œ#˜#Kš
œˆ
˜ˆ
Kš
œ#˜#Kš
œ€
˜€
Kš œ œ œ
 œ
˜!NšœL¤œ
™QKš
œH˜HKš
œF˜Fš œ œ
 œ ˜*Kš
œ 
˜ 
Kš œ
˜—N™tKšœ œ˜4š œ œ
 œ ˜'Kš
œ_˜_Kš œ
˜—Nš
œ!˜!Nšœ(¤œ¤œ
™6š œ œ
 œ ˜'Kšœ œN˜XKš œ œ œ@˜VKš
œ¼˜¼Kš
 ˜—Kš œ¢!˜&—š¥œ ˜,LšœŒ
 œ$ œ
™Á
K™š¥œ œ œ
 ˜Kšœ œ œ8˜ZKš œ	 œ
 œ	 œ>˜`š œ	 œ
 œ
 ˜Kšœ œ"˜)Kš	 œ œ
 œ
 œ¢˜8Kšœ œ4˜?Kš
œ^˜^Kš œ
˜—Kš
œl˜lKš œ¢˜—š œ ˜Kšœ$ œ
˜+Kšœ œ¢˜4šœ#¢
˜0š œ. œ
 ˜:š œ ˜Kš
Ϡ
˜†
—Kš œ	˜
Kš
 ˜Kš
 ˜—š œ
 œ
¢˜Kš
œ˜Kš
œ$˜$Kšœ
 œ˜ Kšœ
 œ˜)Kš
œ%˜%Kš
œ4˜4Kš
œ)˜)Kš
œ4˜4Kš œ
˜——Kš œ œ
˜—š œ ˜š œ ˜Kš
œ¦
˜¦
Kš
ϻ
˜ª
Kš
ϻ
˜ª
Kš œ˜——Kš œ˜Kš œ¢˜—š¥ œ ˜8LšœŒ
 œ$ œ
™Á
Kšœ œ¢˜'Kšœ- œ˜EKš
œ˜Kš
œ˜Kš
œ˜Kšœ œ"˜4Kšœ œ'˜;š¥	œ œ
 œ œ œ
 ˜-Kš œG˜MKš œ¢˜—N™	Kš œ œ
 œ
 œ
˜#Kš œ9 œ œ> œ œ
 œ
˜‘
š œ œ
 ˜Kš œI œ œ œ
 œ
 œ œ
 œ œ œ
 œ
 œ
 œ œ
 œ˜ü
Kš œG œ? œA œ<˜‹Kš œ
˜—Kš
œ$˜$Kš
œƒ
˜ƒ
Kš
œ)˜)Kš
œ…
˜…
Kš œ œ œ
 œ
˜!Nšœ-¤
œ¤œ
™BKš œ œ
 œ
 œ
˜#Kš
œX˜XKš
œX˜XKš
œ5˜5Kš
œ'˜'š œ œ
 œ ˜š œ œ
 œ% ˜4Kšœ0¢%œq˜Æ
Kš
 ˜—Kš
 ˜—Kš œ¢#˜(—š¥ œ ˜8LšœŒ
 œ$ œ
™Á
Kšœ œ¢˜'Kš
œ˜Kšœ œ"˜4Kšœ œ'˜;š¥	œ œ
 œ œ œ
 ˜-Kš œG˜MKš œ¢˜—N™	Kš œ œ
 œ
 œ
˜#Kš œ9 œ œ> œ œ
 œ
˜‘
Kš
œ$˜$Kš
œƒ
˜ƒ
Kš
œ)˜)Kš
œ…
˜…
Kš œ œ œ
 œ
˜!Nšœ-¤œ¤œ
™=Kš œ œ
 œ
 œ
˜#Kš
œ6˜6Kš
œ<˜<š œ œ
 œ ˜ š œ œ
 œ ˜ Kšœ0¢%œb˜·
Kš
 ˜—Kš
 ˜—Kš œ¢#˜(—š¥œ ˜7LšœŒ
 œ$ œ
™Á
Kš
 ˜Kš œ¢"˜'—š¥ œ ˜8LšœŒ
 œ$ œ
™Á
Kšœ œ¢˜'Kšœ* œ
˜=Kšœ- œ˜EKš
œ0˜0Kš
œ1˜1Kšœ œ"˜4Kšœ œ'˜;š¥	œ œ
 œ œ œ
 ˜-Kš œG˜MKš œ¢˜—N™	Kš œ œ
 œ
 œ
˜#Kš œ9 œ œ> œ œ
 œ
˜‘
š œ œ
 ˜Kš œC œ œ œ
 œ
 œ œ
 œ œ œ
 œ
 œ
 œ œ
 œ˜ö
Kš œG œ? œA œ<˜‹Kš œ
˜—Kš
œ$˜$Kš
œƒ
˜ƒ
Kš
œ)˜)Kš
œ…
˜…
Kš œ œ œ
 œ
˜!Nšœ-¤œ¤œ
™=Kš œ œ
 œ
 œ
˜#Kš
œO˜OKš
œX˜XKš
œO˜OKš
œX˜XKš
œM˜Mš œ œ
 œ" ˜1š œ œ
 œ% ˜4Kšœ0¢%œ˜Ô
Kš
 ˜—Kš
 ˜—Kš œ¢#˜(—š¥œ œ œ
 œ œ ˜aK™IKš
œ˜š	 œ œ œ
 œ ˜š œ
 œ" ˜+š	 œ œ œ
 œ ˜š œ
 œ" œ
 ˜1Kšœ œD œ¢)˜{Kšœ œ˜(Kš
 ˜—Kš
 ˜——Kš
 ˜—Kš œ¢˜—š¥œ œ ˜%K™)Nšœt¤	œ	 œ8˜Á
Kšœq¤	œ œ8˜·
Kšœs¤	œ œ9˜º
Nšœt¤
œ	 œ6˜À
Kšœq¤
œ œ6˜¶
Kšœs¤
œ œ5˜·
Kš œ¢˜——™š¥œ œ& ˜<K™IKš œ œ
 œ
˜š œ œ ˜Kš
œZ˜Z—KšœA œ
˜EKš œ¢˜—š¥	œ œ4 ˜HKš
œn™nKšœ œ!˜3Kšœ œ!˜*Kšœ œ œ3˜KKšœ œ œ œ	 œ
 œ
 œ œ
 œ œ˜uKšœ œ œ¢#˜7Nšœ œ˜'š œ œ œ
 ˜ Kšœ
 œ˜'Kšœ* œ˜2Kš
 ˜—š œ
 ˜
Kšœ$ œ
˜)Kšœ œ˜/Kš œ
˜—Nšœ1 œ
˜6Kš œ œ
 œ
 œ
˜#š œ œ œ œ˜/K™•
—š œ
 ˜
Kš œ. œ
 œ
 œ˜RKš
œ^˜^š	 œ œ œ
 œ ˜.Kš
Ϡ
˜†
—Kš œ
 œ œF˜VKš œ œ
 œ œ˜8Kš œ
˜—š œ ˜Kš œ œ˜,—Kš œ¢˜——™š¥
œ! ˜0Kš œ? œ œ œ	˜`Kš œ¢
˜—š¥œ! ˜2Kš œ œ˜=Kš œ¢˜—š¥œ œ ˜ K™N™	š œ œ/ œ œ0 œ œ. œ œ1 œ œ-˜Žš
 œ
 œ
 œ œ œ1˜UKš
Ϥ
™§
——N™Kšœ&¤œ²
 œ0˜‘Kšœ&¤œu œ2˜×
Kšœ&¤œ[˜†
Kšœ&¤œ[˜‰
Kšœ&¤œ[˜†
Nšœ&¤œ[˜‰
Kšœ&¤	œ[˜Š
Kšœ&¤
œ[˜‹
Kš œ¢˜——™š¥œ œ ˜Kšœ5Ðek¤©¤©¤™gKš
œ˜Kšœ œ
 œ
˜Kšœ œ
˜Kš
œ5˜5Kš	œ œ
 œ
 œ œ˜>Kš
œD˜DKš œ¢˜—š¥œ œ œ œ œ ˜5K™«
Kš
œ˜š
œ7™7K™HJ™GJ™=J™O—Kš œ- œ
 œ œ˜CKš
œ$˜$š œ œ œ œ œ
 œ œ˜NK™SKš
Ϡ
™†
—š œ.˜4K™A—Kš œ¢˜—š¥œ œ ˜K™AKš
œ˜Kšœ œ
 œ
˜Kšœ œ
˜
Kš
œ9˜9Kš
œO˜OKš œ œ
 œ˜Kš œ¢˜
—š¥	œ œ ˜&K™Kš	œ œ% œ œ œ
˜fš œ œ
 œ ˜Kšœ  œ œ( œ œ	 œ˜‚
Kš
 ˜—Kš œ¢˜—š¥œ ˜.Kšœ œ œ
™,Kš	œ( œ œ œ œ˜ZKš œ œ
˜Kš œ¢˜—š¥œ ˜-Kšœ œ œ
™,Kšœ œ œ˜IKšœ œ˜Kš œ œ
˜Kš œ¢˜—š¥œ œ ˜5K™Nš
œ1˜1Kš œ¢˜——š
œ™Kšœ
¢3˜@Kš œ œ	˜Kšœ¢˜#Kšœ¢˜"KšœN¢˜U—Lš œ
˜™ K™EKšœÏr	™—™Kšœþ
¤œ¤œ»
™ÀKšœª	œ¤œ¤
œ
¤œ'ªœÀ
ª
œ0ªœ
ª
œ|ª	œ$™½—™K™2Kšœªœ¤
ªœ™Z—™!K™Kšœªœ6™M—™ K™"KšœªŽ
œªD™ô
—™!KšœU œ™dKšœª
™—™!K™È
Kšœª3œªg™¼
—™ K™7KšœªjœªN™â
—™ K™-Kšœªœ
™—™!K™Kšœª™—™"K™Kšœª-œªœ!™s—K™—…—³Ò'p