[Cyan]<DATools6.1>Jasmine>JasmineNetwork.mesa!3

JasmineNetwork.mesa

Created by Neil Gunther, June 19, 1986 2:42:55 pm PDT

Last Edited by: Neil Gunther June 24, 1986 1:27:39 pm PDT

DIRECTORY

Core,

CoreClasses,

CStitching,

IO,

Jasmine,

Real,

SymTab,

TerminalIO;

JasmineNetwork: CEDAR PROGRAM

IMPORTS CStitching, IO, Real, SymTab, TerminalIO

EXPORTS Jasmine

= BEGIN

OPEN Jasmine, Real;

resolution: INT ← 4;

Volts: TYPE = REAL;

kOhm: TYPE = REAL;

pF: TYPE = REAL;

mA: TYPE = REAL;

uH: TYPE = REAL;

ScaleMap: PROC [tile: CStitching.Tile] RETURNS [loc: JasmineModelLocation] = {

lambda: INT ← 8;

x, y, scale: INT ← 0;

r: CStitching.Rect ← CStitching.Area[tile];

IF resolution<1 THEN resolution𡤁

scale ← resolution*lambda;

x ← Round[Float[r.x1+(r.x2-r.x1)/2]/scale];

y ← Round[Float[r.y1+(r.y2-r.y1)/2]/scale];

IF x<1 THEN x𡤁 IF y<1 THEN y𡤁

IF x>INT.LAST THEN x←INT.LAST; IF y>INT.LAST THEN y←INT.LAST;

loc ← [x, y];

};

CreateModel: PUBLIC PROC [tesselation: CStitching.Tesselation] RETURNS [model: SymTab.Ref] = {

InsertMacro: CStitching.TileProc

--PROC [tile: Tile, data: REF]-- = {

JLayer: JasmineObjectInLayer ← NARROW[tile.value];

JObject: JasmineObject ← JLayer.object;

r: CStitching.Rect ← CStitching.Area[tile];

TransistorModel: PROC [] = {

tranData: CoreClasses.Transistor ← NARROW[data];

jasmineMacro.xtorType ← SELECT JObject FROM

nTran, nTranL => nE,

pTran, pTranL => pE,

ENDCASE => ERROR;

jasmineMacro.xtorLength ← tranData.length;

jasmineMacro.xtorWidth ← tranData.width;

};

AspectRatio: PROC RETURNS [ar: AspectType] = {

-- Rect: TYPE = RECORD [x1, y1, x2, y2: INT];

ar ← SELECT TRUE FROM

(r.x2-r.x1)>(r.y2-r.y1) => horiz,

(r.x2-r.x1)<(r.y2-r.y1) => vert,

ENDCASE => square;

};

Branching: PROC RETURNS [branch: BranchType] = {

tWest, tEast, tSouth, tNorth: CStitching.Tile;

N, S, E, W: INT ← 0;

tEast ← CStitching.NE[tile];

IF tEast.value#NIL THEN E ← 1;

TRUSTED {tSouth ← LOOPHOLE[tile.wS]};

IF tSouth.value#NIL THEN S ← 1;

tWest ← CStitching.SW[tile];

IF tWest.value#NIL THEN W ← 1;

TRUSTED {tNorth ← LOOPHOLE[tile.eN]};

IF tNorth.value#NIL THEN N ← 1;

SELECT (N+S+E+W) FROM

4 => branch ← fourWay;

3 => SELECT TRUE FROM

N+(E+W)=3 => branch ← inverseT;

N+(E+S)=3 => branch ← rightT;

N+(W+S)=3 => branch ← leftT;

S+(E+W)=3 => branch ← T;

ENDCASE => NULL;

2 => SELECT TRUE FROM

N+S=2 => branch ← straight;

N+E=2 => branch ← L;

N+W=2 => branch ← reverseL;

S+E=2 => branch ← inverseL;

S+W=2 => branch ← inverseRevL;

ENDCASE => NULL;

1 => branch ← straight;

ENDCASE => NULL;

};

ContactResistance: PROC RETURNS [R: kOhm] = {

R ← SELECT JObject FROM

nDifCont => 30*1E-3,

pDifCont => 120*1E-3,

polyCont => 25*1E-3,

ENDCASE --Via-- => 1E-3;

};

WireResistance: PROC RETURNS [R: kOhm] = {

Squares: PROC [CStitching.Rect] RETURNS [sqrs: REAL] = {

len: INT ← (r.x2-r.x1);

wid: INT ← (r.y2-r.y1);

IF len > wid THEN sqrs ← Real.Float[len]/wid

ELSE sqrs ← Real.Float[wid]/len;

};

Re: QuickAndDirty.tioga

m1Resistivity: REAL ← 0.065;

m2Resistivity: REAL ← 0.042;

polyResistivity: REAL ← 3.5;

nDifResistivity: REAL ← 35;

pDifResistivity: REAL ← 120;

R ← SELECT JObject FROM

m1Wire => Squares[r]*m1Resistivity*1E-3,

m2Wire => Squares[r]*m2Resistivity*1E-3,

polyWire => Squares[r]*polyResistivity*1E-3,

nDifWire => Squares[r]*nDifResistivity*1E-3,

ENDCASE => Squares[r]*pDifResistivity*1E-3

};

WireInductance: PROC RETURNS [L: uH] = {

};

WireCapacitance: PROC RETURNS [C: pF] = {

};

symbol: Core.ROPE;

jasmineMacro: JasmineMacro ← NEW[JasmineMacroRec];

jasmineMacro.macroType ← JObject;

SELECT jasmineMacro.macroType FROM

m1Wire, m2Wire, nDifWire, pDifWire, polyWire => {

jasmineMacro.wireAspect ← AspectRatio[];

jasmineMacro.resistance ← WireResistance[];

jasmineMacro.inductance ← WireInductance[];

jasmineMacro.capacitance ← WireCapacitance[];

jasmineMacro.branch ← Branching[];

};

nDifCont, pDifCont, polyCont, Via => {

jasmineMacro.resistance ← ContactResistance[];

jasmineMacro.branch ← Branching[];

};

nTran, nTranL, pTran, pTranL => {TransistorModel[];};

ENDCASE => NULL;

symbol ← MapConvert[jasmineMacro.JMapLoc ← ScaleMap[tile]];

[] ← SymTab.Store[x: model, key: symbol, val: jasmineMacro];

}; --InsertMacro

model ← SymTab.Create[];

CStitching.EnumerateArea[plane: tesselation, rect: CStitching.all, eachTile: InsertMacro];

PrintModel[model];

}; --CreateModel

MapConvert: PUBLIC PROC [jml: JasmineModelLocation] RETURNS [sym: Core.ROPE] = {

sym ← IO.PutFR["[%g, %g]", IO.int[jml.row], IO.int[jml.col]];

};

PrintModel: PROC [model: SymTab.Ref] = {

PrintMacro: PROC = {

FOR i: INT IN [0..model.size] DO

searchLocation.row ← i;

FOR j: INT IN [0..model.size] DO

searchLocation.col ← j;

[thereIs, val] ← SymTab.Fetch[model, MapConvert[searchLocation]];

IF thereIs THEN {

macro: JasmineMacro ← NARROW[val];

TerminalIO.WriteRope["\nMacro: "];

TerminalIO.WriteRope[MapConvert[macro.JMapLoc]];

SELECT macro.macroType FROM

m1Wire, m2Wire, nDifWire, pDifWire, polyWire => {

IF macro.wireAspect=vert THEN TerminalIO.WriteRope[" | "]

ELSE TerminalIO.WriteRope[" -- "];

TerminalIO.WriteF[" %g K ", IO.real[macro.resistance]];

};

nDifCont, pDifCont, polyCont, Via => {

SELECT macro.branch FROM

leftT => TerminalIO.WriteRope[" --| "];

rightT=> TerminalIO.WriteRope[" |-- "];

inverseT=> TerminalIO.WriteRope[" —L "];

T=> TerminalIO.WriteRope[" T "];

L => TerminalIO.WriteRope[" L "];

reverseL => TerminalIO.WriteRope[" ←L "];

inverseL => TerminalIO.WriteRope[" F "];

inverseRevL => TerminalIO.WriteRope[" 𡤏 "];

straight => TerminalIO.WriteRope[" * "];

fourWay=> TerminalIO.WriteRope[" + "];

ENDCASE => NULL;

TerminalIO.WriteF[" %g K ", IO.real[macro.resistance]];

};

nTran, nTranL, pTran, pTranL => TerminalIO.WriteRope[" -[ "];

ENDCASE => NULL;

macroCount ← macroCount.SUCC;

};

ENDLOOP;

};

val: REF ANY;

thereIs: BOOL;

macroCount: INT ← 0;

searchLocation: JasmineModelLocation;

PrintMacro[];

TerminalIO.WriteF["\nTotal: %g, Scale: %g lambda\n\n", IO.int[macroCount], IO.int[resolution]];

}; --PrintModel

END.