SSI.mesa
Copyright Ó 1985, 1987 by Xerox Corporation. All rights reserved.
Barth, February 7, 1986 1:48:52 pm PST
Louis Monier May 22, 1986 12:29:55 pm PDT
Bertrand Serlet March 30, 1987 10:28:31 pm PST
DIRECTORY Core, CoreCreate, Rosemary, Sisyph;
SSI: CEDAR DEFINITIONS = BEGIN OPEN CoreCreate;
IF pw=0 THEN pw ← r*nw
"Vdd", "Gnd", "Input", "nOutput"
Inverter:
PROC [nw:
NAT ← 4, nl:
NAT ← 2, r:
REAL ← 2.5, pw:
NAT ← 0, pl:
NAT ← 2, size: Rosemary.TransistorSize ← drive]
RETURNS [ct: CellType];
"Vdd", "Gnd", "Input", "Drive", "nDrive", "nOutput"
TristateBuffer:
PROC [nw:
NAT ← 4, nl:
NAT ← 2, r:
REAL ← 2.5, pw:
NAT ← 0, pl:
NAT ← 2]
RETURNS [ct: CellType];
"Vdd", "Gnd", Seq["Input", i], "nOutput"
NAnd:
PROC [i:
NAT ← 2, nw:
NAT ← 4, nl:
NAT ← 2, r:
REAL ← 2.5, pw:
NAT ← 0, pl:
NAT ← 2]
RETURNS [ct: CellType];
NAnd2:
PROC [nw:
NAT ← 4, nl:
NAT ← 2, r:
REAL ← 2.5, pw:
NAT ← 0, pl:
NAT ← 2]
RETURNS [ct: CellType];
"Vdd", "Gnd", Seq["Input", i], "Output"
And:
PROC [i:
NAT ← 2, nw:
NAT ← 4, nl:
NAT ← 2, r:
REAL ← 2.5, pw:
NAT ← 0, pl:
NAT ← 2]
RETURNS [ct: CellType];
"Vdd", "Gnd", Seq["Input", i], "nOutput"
NOr:
PROC [i:
NAT ← 2, nw:
NAT ← 4, nl:
NAT ← 2, r:
REAL ← 2.5, pw:
NAT ← 0, pl:
NAT ← 2]
RETURNS [ct: CellType];
NOr2:
PROC [nw:
NAT ← 4, nl:
NAT ← 2, r:
REAL ← 2.5, pw:
NAT ← 0, pl:
NAT ← 2]
RETURNS [ct: CellType];
"Vdd", "Gnd", Seq["Input", i], "Output"
Or:
PROC [i:
NAT ← 2, nw:
NAT ← 4, nl:
NAT ← 2, r:
REAL ← 2.5, pw:
NAT ← 0, pl:
NAT ← 2]
RETURNS [ct: CellType];
END.