DIRECTORY
NMosContacts,
CD,
CDIO,
CDBasics,
CDBasicsInline,
CDLRUCache,
CDStretchyBackdoor,
NMos,
Rope,
TokenIO;

NMosContactsImpl: CEDAR PROGRAM 
IMPORTS CD, CDBasics, CDBasicsInline, CDIO, CDLRUCache, CDStretchyBackdoor, NMos, TokenIO
EXPORTS NMosContacts =   
BEGIN OPEN NMos;

lambda: CD.Number = NMos.lambda;
ContactType: TYPE = NMosContacts.ContactType;
ContactPtr: TYPE = NMosContacts.ContactPtr;
ContactRec: TYPE = NMosContacts.ContactRec;

wXExtension: CD.Number = 2*lambda;
lXExtension: CD.Number = 2*lambda;


difCache: CDLRUCache.LRUCache = CDLRUCache.Create[size: 5, aequivalenceProc: Aequivalent, newProc: NewCont];
polyCache: CDLRUCache.LRUCache = CDLRUCache.Create[size: 5, aequivalenceProc: Aequivalent, newProc: NewCont];
dsCache: CDLRUCache.LRUCache = CDLRUCache.Create[size: 5, aequivalenceProc: Aequivalent, newProc: NewCont];
butCache: CDLRUCache.LRUCache = CDLRUCache.Create[size: 5, aequivalenceProc: Aequivalent, newProc: NewCont];
burCache: CDLRUCache.LRUCache = CDLRUCache.Create[size: 5, aequivalenceProc: Aequivalent, newProc: NewCont];
mmCache: CDLRUCache.LRUCache = CDLRUCache.Create[size: 5, aequivalenceProc: Aequivalent, newProc: NewCont];

ToPosition: PROC [x: REF] RETURNS [class: CD.Position] =
BEGIN
IF x=NIL THEN class _ [0, lambda]
ELSE WITH x SELECT FROM
rp: REF CD.Position => class _ rp^;
rn: REF CD.Number => class _ [0, rn^];
ENDCASE => class _ [0, 0];
END;

Aequivalent: PROC[mySpecific, other: REF ANY] RETURNS [BOOL] = {
WITH other SELECT FROM
p2: ContactPtr => RETURN [NARROW[mySpecific, ContactPtr]^=p2^];
ENDCASE => RETURN [FALSE]
};

NewCont: PROC [] RETURNS [CD.Object] = {
ob: CD.Object _ NEW[CD.ObjectRep];
ob.specific _ NEW[ContactRec];
RETURN [ob]
};

MatchContact: PROC [me: CD.Object, r: CD.Rect, layer: CD.Layer, prim: BOOL, horz: BOOL] RETURNS [BOOL] =
BEGIN
IF layer=me.layer THEN RETURN [TRUE]
ELSE {
cp: ContactPtr = NARROW[me.specific];
RETURN [
SELECT cp.typ FROM
burr => (layer=NMos.pol),
mDif => (layer=NMos.met),
butt => (layer=NMos.met OR layer=NMos.pol),
mPol => (layer=NMos.met),
mm2 => (layer=NMos.met2),
ENDCASE => FALSE
]
}
END;

Describe: PROC[me: CD.Object] RETURNS [Rope.ROPE] =
BEGIN
RETURN [
SELECT NARROW[me.specific, ContactPtr].typ FROM
burr => "buried contact", 
mDif => "dif contact",
butt => "button contact",
mPol => "poly contact",
mm2 => "via",
ENDCASE => "unknown contact"
]
END;



pForDifPolCon: CD.ObjectClass ~ RegisterObjectClass[$NMosContactDifAndPol];
difpolRimWidth: CD.Number = lambda;

CreateDifCon: PUBLIC PROC [l: CD.Number] RETURNS [CD.Object] =
BEGIN
cob: CD.Object ~ difCache.UnusedOrNew[];
cp: ContactPtr ~ NARROW[cob.specific];
l _ MAX[l, butConSX];
cp.typ _ mDif;
cob.class _ pForDifPolCon; -- does not use specicRef !
cob.layer _ dif;
cob.bbox _ [0, 0, butConSX, l]; 
RETURN [difCache.ReplaceByAequivalent[cob]]
END;  

CreatePolyCon: PUBLIC PROC [l: CD.Number] RETURNS [CD.Object] =
BEGIN
cob: CD.Object ~ polyCache.UnusedOrNew[];
cp: ContactPtr ~ NARROW[cob.specific];
l _ MAX[l, butConSX];
cp.typ _ mPol;
cob.class _ pForDifPolCon; -- does not use specicRef !
cob.bbox _ [0, 0, butConSX, l]; 
cob.layer _ pol;
RETURN [polyCache.ReplaceByAequivalent[cob]]
END; 

ReadDifPolCon: CD.InternalReadProc =
BEGIN
layer: CD.Layer = CDIO.ReadLayer[h];
IF layer=pol THEN RETURN [ CreatePolyCon[TokenIO.ReadInt[h]] ]
ELSE RETURN [ CreateDifCon[TokenIO.ReadInt[h]] ]
END;

WriteDifPolCon: CD.InternalWriteProc = {
CDIO.WriteLayer[h, ob.layer];
TokenIO.WriteInt[h, CD.InterestSize[ob].y];
};

DrawDifAndPolContact: PROC [inst: CD.Instance, trans: CD.Transformation, pr: CD.DrawRef] = {
r: CD.Rect = CDBasicsInline.MapRect[inst.ob.bbox, trans];      
IF CDBasics.Intersect[r, pr.interestClip] THEN { 
pr.drawRect[r, met, pr];
pr.drawRect[r, inst.ob.layer, pr];
pr.drawRect[CDBasics.Extend[r, -difpolRimWidth], cut, pr];
}
}; 


-- But -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 

pForButContact: CD.ObjectClass ~ RegisterObjectClass[$NMosContactBut];

butConSX: CD.Number = 4*lambda;
butConSY: CD.Number = 6*lambda;
butContactPolyYS: CD.Number = 3*lambda;
butContactDiffY: CD.Number = butContactPolyYS-lambda;
butContactRimWidth: CD.Number = lambda;

CreateButCon: PUBLIC PROC [] RETURNS [CD.Object] =
BEGIN
cob: CD.Object ~ butCache.UnusedOrNew[];
cp: ContactPtr ~ NARROW[cob.specific];
cp.typ _ butt;
cob.class _ pForButContact; 
cob.layer _ dif;
cob.bbox _ [0, 0, butConSX, butConSY]; 
RETURN [butCache.ReplaceByAequivalent[cob]]
END; 

ReadButCon: CD.InternalReadProc --PROC [] RETURNS [Object]-- =
BEGIN
RETURN [ CreateButCon[] ]
END;

WriteButCon: CD.InternalWriteProc -- PROC [me: Object] -- =
BEGIN
END;

DrawButContact: PROC [inst: CD.Instance, trans: CD.Transformation, pr: CD.DrawRef] =
BEGIN

Draw: PROC[r: CD.Rect, l: CD.Layer] = INLINE {
pr.drawRect[CDBasics.MapRect[itemInCell: r, cellInWorld: trans], l, pr];
};

Draw[[0, 0, butConSX, butConSY], met];
Draw[[0, 0, butConSX, butContactPolyYS], pol];
Draw[[0, butContactDiffY, butConSX, butConSY], inst.ob.layer];
Draw[[butContactRimWidth, butContactRimWidth, 
butConSX-butContactRimWidth, butConSY-butContactRimWidth], cut];	
END; 



pForBurCon: CD.ObjectClass ~ RegisterObjectClass[$NMosBurContact];
CreateBurCon: PUBLIC PROC [w, l: CD.Number,
wex: CD.Number_wXExtension,
lex: CD.Number_lXExtension] RETURNS [CD.Object] =
BEGIN 
cob: CD.Object ~ burCache.UnusedOrNew[];
cp: ContactPtr ~ NARROW[cob.specific];
burAct: CD.Number = 2*lambda;
actWidth, xMargins: CD.Number;
wex _ MAX[0, wex]; 
lex _ MAX[0, lex];
xMargins _ burAct + 
(IF wex< burAct THEN MAX[wex+lambda, burAct] ELSE wex);
actWidth _ MAX[2*lambda, w-xMargins];
w _ actWidth+xMargins;
l _ MAX[l, 
(IF lex<burAct THEN MAX[lex+lambda, burAct] ELSE lex)*2+lambda*MAX[6*lambda/actWidth, 2]
];
cp.typ _ burr;
cp.wExt _ wex;
cp.lExt _ lex;
cob.class _ pForBurCon; 
cob.bbox _ [0, 0, w, l]; 
cob.layer _ dif;
RETURN [burCache.ReplaceByAequivalent[cob]]
END;

MakeSimilarBur: CDStretchyBackdoor.MakeSimilarProc = {
cp: ContactPtr = NARROW[me.specific];
sz: CD.Position _ CDBasics.SizeOfRect[ir];
RETURN [CreateBurCon[w: sz.x, l: sz.y, wex: cp.wExt, lex: cp.lExt]];
};

ReadBurCon: CD.InternalReadProc =
BEGIN
w: INT = TokenIO.ReadInt[h];
l: INT = TokenIO.ReadInt[h];
wex: INT = TokenIO.ReadInt[h];
lex: INT = TokenIO.ReadInt[h];
RETURN [ CreateBurCon[w, l, wex, lex] ]
END;

WriteBurCon: CD.InternalWriteProc =
BEGIN
cp: ContactPtr = NARROW[ob.specific];
CDIO.WritePos[h, CD.InterestSize[ob]];
TokenIO.WriteInt[h, cp.wExt];
TokenIO.WriteInt[h, cp.lExt];
END;

DrawMeForBurrNMosContacts: PROC [inst: CD.Instance, trans: CD.Transformation, pr: CD.DrawRef] =
BEGIN

Draw: PROC[r: CD.Rect, l: CD.Layer] = INLINE {
pr.drawRect[CDBasics.MapRect[itemInCell: r, cellInWorld: trans], l, pr];
};

class: ContactPtr = NARROW[inst.ob.specific];
dBur: CD.Number = lambda/2;
burAct: CD.Number = lambda*2;
diffBur: CD.Position = [
x: IF class.wExt<burAct THEN MAX[class.wExt+lambda, burAct] ELSE class.wExt-lambda,
y: IF class.lExt<burAct THEN MAX[class.lExt+lambda, burAct] ELSE class.lExt-lambda
];
Draw[[dBur, dBur, inst.ob.bbox.x2-dBur, inst.ob.bbox.y2-dBur], bur];
Draw[[burAct, class.lExt, inst.ob.bbox.x2-class.wExt, inst.ob.bbox.y2-class.lExt], pol];
Draw[[lambda, diffBur.y, inst.ob.bbox.x2-diffBur.x, inst.ob.bbox.y2-diffBur.y], inst.ob.layer];
END; 


pForVia: CD.ObjectClass ~ RegisterObjectClass[$NMosMmContact];
mmRimWidth: CD.Number = lambda;
cut2min: CD.Number = 3*lambda;

CreateMmCon: PUBLIC PROC [l: CD.Number,
wex: CD.Number_wXExtension,
lex: CD.Number_lXExtension] RETURNS [CD.Object] =
BEGIN 
cob: CD.Object ~ mmCache.UnusedOrNew[];
cp: ContactPtr ~ NARROW[cob.specific];
mins: CD.Number = cut2min+2*mmRimWidth;
oldMins: CD.Number = cut2min+2*--mmRimWidth--2*lambda;
l _ MAX[l, mins];
cp.typ _ mm2;
cob.class _ pForVia; 
IF l<oldMins THEN --new technology; we use new technology only for small sizes-- 
cob.bbox _ [0, 0, mins, l]
ELSE --old technology-- 
cob.bbox _ [0, 0, oldMins, l]; 
RETURN [mmCache.ReplaceByAequivalent[cob]]
END;

ReadVia: CD.InternalReadProc --PROC [] RETURNS [Object]-- =
BEGIN
RETURN [ CreateMmCon[TokenIO.ReadInt[h]] ]
END;

WriteVia: CD.InternalWriteProc =
BEGIN
TokenIO.WriteInt[h, CD.InterestSize[ob].y];
END;

DrawVia: PROC [inst: CD.Instance, trans: CD.Transformation, pr: CD.DrawRef] =
BEGIN
mins: CD.Number = cut2min+2*mmRimWidth;
r: CD.Rect = CDBasicsInline.MapRect[inst.ob.bbox, trans];      
pr.drawRect[r, met, pr];
pr.drawRect[r, met2, pr];
IF inst.ob.bbox.x2>mins THEN --old technology-- 
pr.drawRect[CDBasics.Extend[r, -2*lambda --oldmmRimWidth-- ], cut2, pr]
ELSE --new technology-- 
pr.drawRect[CDBasics.Extend[r, -mmRimWidth], cut2, pr];
END;


Init: PROC [] =
BEGIN
pForDifPolCon.drawMe _ pForDifPolCon.quickDrawMe _ DrawDifAndPolContact;
pForDifPolCon.internalRead _ ReadDifPolCon;
pForDifPolCon.internalWrite _ WriteDifPolCon;
pForDifPolCon.describe _ Describe;
CDStretchyBackdoor.InstallMatchProc[pForDifPolCon, MatchContact];
pForButContact.drawMe _ pForButContact.quickDrawMe _ DrawButContact;
pForButContact.internalRead _ ReadButCon;
pForButContact.internalWrite _ WriteButCon;
pForButContact.describe _ Describe;
CDStretchyBackdoor.InstallMatchProc[pForButContact, MatchContact];
pForBurCon.drawMe _ pForBurCon.quickDrawMe _ DrawMeForBurrNMosContacts;
pForBurCon.internalRead _ ReadBurCon;
pForBurCon.internalWrite _ WriteBurCon;
pForBurCon.describe _ Describe;
CDStretchyBackdoor.InstallMatchProc[pForBurCon, MatchContact];
CDStretchyBackdoor.InstallMakeSimilarProc[pForBurCon, MakeSimilarBur];
pForVia.drawMe _ pForVia.quickDrawMe _ DrawVia;
pForVia.internalRead _ ReadVia;
pForVia.internalWrite _ WriteVia;
pForVia.describe _ Describe;
CDStretchyBackdoor.InstallMatchProc[pForVia, MatchContact];
END; 

Init[];
END. 

`NMosContactsImpl.mesa  (part of ChipNDale)
Copyright c 1983, 1985 by Xerox Corporation.  All rights reserved.
Created by Christian Jacobi,  June 24, 1983 5:03 pm 
Last edited by: Christian Jacobi, October 31, 1986 12:04:52 pm PST
--y field defaults to lambda, x field defaults to 0
--[0, 0] if not done
-- Dif and Pol -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 
--connect diffusion with metal
--connect poly with metal
--does not read specific !!!!!!
--connects metal with poly and diffusion
--uses outer stuff!!
--DrawButContact
-- Bur -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 

-- connects diffusion with poly without accessing metal
--uses outer stuff!!
--DrawMeForBurrNMosContacts
-- Mm -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 
-- ignores wex and lex in chipmonk, why???
-- connects two layers of metal
--cp.wExt _ ;
--cp.wExt _ ;
--cob.layer _ ;
--does not read specific !!!!!!
-- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 
Κ’˜š
œ*™*Jšœ
Οm
œ7™BJš
œ4™4Icode™B—J˜š
Οk	˜	J˜
Jšžœ
˜J˜J˜	J˜Jš
œ˜Jš
œ˜Jš
œ˜J˜J˜J˜—šΟnœžœ
žœ
˜ Jšžœ
žœžœ/˜YJšžœ˜—Jšžœ
žœ˜J˜Jšœžœ˜ Jšœ
žœ˜-Jšœžœ˜+Jšœžœ˜+J˜Jšœ
žœ˜"Jšœ
žœ˜"J˜J˜Jš
œl˜lJš
œm˜mJš
œk˜kJš
œl˜lJš
œl˜lJš
œk˜kJ˜š
Ÿ
œžœžœžœ	žœ˜8Jš
œ3™3Jš
œ™Jš
ž˜Jšžœžœ
žœ˜!šžœ
žœžœ
ž˜Jšœžœ
žœ˜#Jšœžœ
žœ˜&Jšžœ˜—Jšžœ
˜—J˜šŸœžœžœ
žœžœžœ˜@šžœžœ
ž˜Jšœžœžœ˜?Jšžœžœžœ
˜—J˜—J˜šŸœžœžœžœ˜(Jšœžœ
žœ
žœ˜"Jšœžœ
˜Jšžœ˜J˜—J˜šΠbnΟbžœ4žœžœžœžœ˜hJš
ž˜Jšžœžœ
žœžœ
˜$šžœ˜Jšœžœ˜%šžœ˜šžœž˜Jš
œ˜Jš
œ˜Jšœžœ˜+Jš
œ˜Jš
œ˜Jšžœž˜—J˜
—J˜
—Jšžœ
˜—J˜š
Ÿœžœžœ	žœžœ˜3Jš
ž˜šžœ˜šžœ
žœž˜/Jš
œ˜Jš
œ˜Jš
œ˜Jš
œ˜Jš
œ
˜
Jšžœ˜—J˜
—Jšžœ
˜—J˜J˜Jš
œc™cJ˜Jšœžœ:˜KJšœžœ˜#J˜šŸœžœ
žœžœ	žœžœ
˜>Jš
œ™Jš
ž˜Jšœžœ!˜(Jšœžœ˜&Jšœžœ˜J˜JšœΟc˜6J˜J˜ Jšžœ%˜+Jšžœ˜J˜—šŸ
œžœ
žœžœ	žœžœ
˜?Jš
œ™Jš
ž˜Jšœžœ"˜)Jšœžœ˜&Jšœžœ˜J˜Jšœ’˜6J˜ J˜Jšžœ&˜,Jšžœ˜J˜—šŸ
œžœ˜$Jš
ž˜Jšœžœ	žœ˜$Jšžœžœ
žœ&˜>Jšžœ
žœ%˜0Jšžœ
˜—J˜šŸœžœ˜(Jšžœ˜Jš
œ+˜+Jš
œ˜—J˜š
Ÿœžœžœžœžœ
˜\Jš
œ™Jšœžœ:˜?šžœ(žœ˜1J˜Jš
œ"˜"J˜:Jš
œ
˜
—Jš
œ˜J˜J˜—Jš’	œ
’œ
’œ
’œ
’œ
’œ
’œ
’œ
’œ
’œ
’œ
’œ
’œ
’œ
’œ
˜^J˜Jšœžœ4˜FJ˜Jšœ
žœ˜Jšœ
žœ˜Jš
œ'˜'Jš
œ5˜5Jšœžœ˜'J˜š
Ÿœžœ
žœžœžœ
˜2Jš
œ(™(Jš
ž˜Jšœžœ!˜(Jšœžœ˜&J˜J˜J˜J˜'Jšžœ%˜+Jšžœ˜J˜—šŸ
œžœ’œ˜>Jš
ž˜Jšžœ˜Jšžœ
˜—J˜šŸœžœ’œ˜;Jš
ž˜Jšžœ
˜—J˜šŸœžœžœžœ˜TJš
ž˜J˜š	Ÿœžœžœ
žœ
ž˜.Jš
œ™Jš
œH˜HJšž
œ
˜J˜—Jš
œ™Jš
œ&˜&Jš
œ.˜.Jš
œ>˜>š
œ.˜.Jš
œA˜A—Jšžœ˜J˜J˜—Jš
œa™aJ˜šœžœ4˜BJ™—šŸœžœ
žœžœ˜+Jšœžœ˜Jšœžœžœžœ
˜1Jš
œ7™7Jšžœ
˜Jšœžœ!˜(Jšœžœ˜&Jšœžœ˜Jšœžœ˜Jšœžœ
˜Jšœžœ	˜š
œ˜Jš	œ
žœ
žœ
žœžœ˜7—Jšœžœ˜%Jš
œ˜šœžœ˜Jšœ
žœžœ
žœžœžœ˜XJš
œ˜—J˜J˜J˜Jš
œ˜J˜J˜Jšžœ%˜+Jšžœ
˜J˜—š œ(˜6Kšœžœ˜%Kšœžœ$˜*Kšžœ>˜DKš
œ˜K˜—š‘
œžœ˜!Jš
ž˜Jšœžœ˜Jšœžœ˜Jšœžœ˜Jšœžœ˜Jšžœ!˜'Jšžœ
˜—J˜šŸœžœ˜#Jš
ž˜Jšœžœ˜%Jš
œ&˜&Jš
œ˜Jš
œ˜Jšžœ
˜—J˜šŸœžœžœžœ˜_Jš
ž˜J˜š	Ÿœžœžœ
žœ
ž˜.Jš
œ™Jš
œH˜HJšž
œ
˜J˜—Jš
œ™Jšœžœ˜-Jšœžœ˜Jšœžœ˜šœ	žœ
˜Jš	œžœžœ
žœžœ˜SJš	œžœžœ
žœžœ˜RJ˜—Jš
œD˜DJš
œX˜XJš
œ_˜_Jšžœ˜J˜—Jš
œ`™`J˜Jšœ	žœ3˜>Jšœžœ˜Jšœ	žœ˜J˜šŸœžœ
žœžœ˜'Jšœžœ˜Jšœžœžœžœ
˜1Jš
œ*™*Jš
œ™Jšžœ
˜Jšœžœ ˜'Jšœžœ˜&Jšœžœ˜'Jšœ	žœ+˜6Jšœžœ
˜J˜
Jš
œ
™
Jš
œ
™
Jš
œ˜šžœžœ
’>œ
˜QJš
œ˜—šžœ
’œ
˜Jš
œ˜—Jš
œ™Jšžœ$˜*Jšžœ
˜J˜—šŸœžœ’œ˜;Jš
ž˜Jšžœ$˜*Jšžœ
˜—J˜šŸœžœ˜ Jš
ž˜Jš
œ+˜+Jšžœ
˜—J˜šŸœžœžœžœ˜MJš
œ™Jš
ž˜Jšœžœ˜'Jšœžœ:˜?J˜J˜šžœžœ
’œ
˜0Jšœ)’œ
˜G—šž’œ
˜Jš
œ7˜7—Jšžœ
˜J˜—Jš
œZ™ZJ˜šŸœžœ˜Jš
ž˜š
œH˜HJš
œ+˜+Jš
œ-˜-Jš
œ"˜"Jš
œA˜A—š
œD˜DJš
œ)˜)Jš
œ+˜+Jš
œ#˜#Jš
œB˜B—š
œG˜GJš
œ%˜%Jš
œ'˜'Jš
œ˜Jš
œ>˜>Jš
œF˜F—š
œ/˜/Jš
œ˜Jš
œ!˜!Jš
œ˜Jš
œ;˜;—Jšžœ˜J˜—J˜Jšžœ˜J˜—…—&7