DIRECTORY Core, CoreCreate, Rosemary, Sisyph; SSI: CEDAR DEFINITIONS = BEGIN OPEN CoreCreate; 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]; TristateBuffer: PROC [nw: NAT _ 4, nl: NAT _ 2, r: REAL _ 2.5, pw: NAT _ 0, pl: NAT _ 2] RETURNS [ct: CellType]; 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]; And: PROC [i: NAT _ 2, nw: NAT _ 4, nl: NAT _ 2, r: REAL _ 2.5, pw: NAT _ 0, pl: NAT _ 2] RETURNS [ct: CellType]; 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]; 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. δ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 IF pw=0 THEN pw _ r*nw "Vdd", "Gnd", "Input", "nOutput" "Vdd", "Gnd", "Input", "Drive", "nDrive", "nOutput" "Vdd", "Gnd", Seq["Input", i], "nOutput" "Vdd", "Gnd", Seq["Input", i], "Output" "Vdd", "Gnd", Seq["Input", i], "nOutput" "Vdd", "Gnd", Seq["Input", i], "Output" Κ˜codešœ™KšœB™BK™&K™)K™.—K™šΟk œ$˜-K˜—Kš Οnœœ œœœ ˜/K™Kšœœ ™K™Kšœ ™ šžœœœ œ œ œ œ-œ˜‘K™—Kšœ3™3šžœœœ œ œ œ œœ˜pK˜—Kšœ(™(šžœœœ œ œ œ œ œœ˜rK˜—šžœœœ œ œ œ œœ˜gK˜—Kšœ'™'šžœœœ œ œ œ œ œœ˜qK˜—Kšœ(™(šΠbnœœœ œ œ œ œ œœ˜qK˜—šŸœœœ œ œ œ œœ˜fK˜—Kšœ'™'šŸœœœ œ œ œ œ œœ˜pK˜—Kšœ˜—…—μ