CMosBSimpleRulesImpl.mesa
Copyright © 1985, 1986 by Xerox Corporation. All rights reserved.
by Ch. Jacobi, July 5, 1985 4:58:37 pm PDT
last edited Christian Jacobi, March 19, 1986 6:11:17 pm PST
Last Edited by: Jacobi June 6, 1986 11:17:54 am PDT
gbb June 16, 1986 2:14:55 pm PDT
DIRECTORY
CD, CDSimpleRules, CMosB, CMosBObjects, SymTab;
CMosBSimpleRulesImpl:
CEDAR
PROGRAM
IMPORTS CDSimpleRules, CMosB, CMosBObjects, SymTab =
BEGIN
lambda: CD.Number = CMosB.lambda;
MinWidth:
PROC [layer:
CD.Layer]
RETURNS [
CD.Number] =
BEGIN
RETURN [
SELECT layer
FROM
CMosB.met => 3*lambda,
CMosB.met2 => 4*lambda,
CMosB.pol => 2*lambda,
CMosB.ndif, CMosB.pdif, CMosB.wndif, CMosB.wpdif => 2*lambda,
CMosB.pwellCont, CMosB.nwellCont => 2*lambda,
CMosB.nwell, CMosB.pwell => 12*lambda,
CMosB.cut, CMosB.cut2 => 2*lambda,
ENDCASE => 0
]
END;
MaxWidth:
PROC [layer:
CD.Layer]
RETURNS [
CD.Number] =
BEGIN
RETURN [
SELECT layer
FROM
CMosB.cut => 5*lambda,
CMosB.cut2 => 5*lambda,
ENDCASE => CD.Number.LAST
]
END;
IsDiff:
PROC [layer:
CD.Layer]
RETURNS [
BOOL] =
INLINE BEGIN
RETURN[layer=CMosB.ndif
OR layer=CMosB.pdif
OR layer=CMosB.wndif
OR layer=CMosB.wpdif
OR layer=CMosB.pwellCont
OR layer=CMosB.nwellCont];
END;
MinDist:
PROC [l1, l2:
CD.Layer]
RETURNS [
CD.Number] =
BEGIN
BaseLayer:
PROC [layer:
CD.Layer]
RETURNS [
CD.Layer] =
INLINE {
IF layer=CMosB.wndif THEN RETURN [CMosB.ndif];
IF layer=CMosB.wpdif THEN RETURN [CMosB.pdif];
RETURN [layer]
};
l1 ← BaseLayer[l1];
l2 ← BaseLayer[l2];
IF l1=l2
THEN
RETURN [
SELECT l1
FROM
CMosB.met => 3*lambda,
CMosB.met2 => 4*lambda,
CMosB.pol => 2*lambda+lambda/2,
CMosB.ndif, CMosB.pdif, CMosB.pwellCont, CMosB.nwellCont => 3*lambda+lambda/2,
CMosB.pwell, CMosB.nwell => 10*lambda,
CMosB.cut => 3*lambda,
CMosB.cut2 => 4*lambda,
CMosB.imp, CMosB.ovg, CMosB.bur => 0,
ENDCASE => 0
];
IF l2=CMosB.pol THEN {l2 ← l1; l1 ← CMosB.pol};
IF l1=CMosB.pol
THEN {
IF IsDiff[l2] THEN RETURN[lambda];
IF l2=CMosB.cut THEN RETURN[2*lambda];
RETURN[0];
};
IF l2=CMosB.ndif THEN {l2 ← l1; l1 ← CMosB.ndif};
IF l1=CMosB.ndif
THEN {
RETURN [
SELECT l2
FROM
CMosB.pdif => 10*lambda,
CMosB.nwell => 5*lambda,
CMosB.pwellCont => 7*lambda/2,
CMosB.nwellCont => 9*lambda,
CMosB.cut => 2*lambda,
ENDCASE => 0
];
};
IF l2=CMosB.pdif THEN {l2 ← l1; l1 ← CMosB.pdif};
IF l1=CMosB.pdif
THEN {
RETURN [
SELECT l2
FROM
CMosB.pwell => 5*lambda,
CMosB.pwellCont => 9*lambda,
CMosB.nwellCont => 7*lambda/2,
CMosB.cut => 2*lambda,
ENDCASE => 0
];
};
IF l2=CMosB.pwellCont THEN {l2 ← l1; l1 ← CMosB.pwellCont};
IF l1=CMosB.pwellCont
THEN {
RETURN [
SELECT l2
FROM
CMosB.nwell => 4*lambda,
CMosB.nwellCont => 8*lambda,
CMosB.cut => 2*lambda,
ENDCASE => 0
];
};
IF l2=CMosB.nwellCont THEN {l2 ← l1; l1 ← CMosB.nwellCont};
IF l1=CMosB.nwellCont
THEN {
RETURN [
SELECT l2
FROM
CMosB.pwell => 4*lambda,
CMosB.cut => 2*lambda,
ENDCASE => 0
];
};
IF l2=CMosB.cut THEN {l2 ← l1; l1 ← CMosB.pdif};
IF l1=CMosB.cut
THEN {
IF l2=CMosB.cut2 THEN RETURN[2*lambda];
RETURN [0];
};
RETURN [0]
END;
Contact:
PROC [l1, l2:
CD.Layer]
RETURNS [ob:
CD.Object ←
NIL] =
BEGIN
IF l1#CMosB.met AND l2=CMosB.met THEN RETURN [Contact[l2, l1]];
IF l1=CMosB.met
THEN {
IF l2=CMosB.pol THEN RETURN [CMosBObjects.CreatePolyCon[]];
IF l2=CMosB.met2 THEN RETURN [CMosBObjects.CreateVia[]];
IF l2=CMosB.ndif
OR l2=CMosB.pdif
OR l2=CMosB.wpdif
OR l2=CMosB.wndif
THEN
RETURN [CMosBObjects.CreateDifCon[difLayer: l2]];
};
END;
Init:
PROC [] =
BEGIN
layerTable: SymTab.Ref ← SymTab.Create[case: FALSE];
[] ← layerTable.Insert["n-diff", $ndif];
[] ← layerTable.Insert["p-diff", $wpdif];
[] ← layerTable.Insert["n-well", $nwel];
[] ← layerTable.Insert["nwell", $nwel];
[] ← layerTable.Insert["p-well", $pwel];
[] ← layerTable.Insert["pwell", $pwel];
[] ← layerTable.Insert["poly", $pol];
[] ← layerTable.Insert["metal", $met];
[] ← layerTable.Insert["metal2", $met2];
[] ← layerTable.Insert["pwellCont", $pwelCont];
[] ← layerTable.Insert["nwellCont", $nwellCont];
CDSimpleRules.ImplementTechnology[
technology: CMosB.cmosB,
minWidth: MinWidth,
minDist: MinDist,
maxWidth: MaxWidth,
contact: Contact,
layerTable: layerTable
];
END;
Init[];
END.