DIRECTORY Core, CoreCreate, SSI, CoreOps, Ports, Rosemary, RosemaryUser; TestSSIRose: CEDAR PROGRAM IMPORTS CoreCreate, SSI, CoreOps, Ports, Rosemary, RosemaryUser = BEGIN Vdd: NAT; Gnd: NAT; Input0: NAT; Input1: NAT; Output: NAT; XOr2Test: RosemaryUser.TestProc = { Step: TYPE = [0..4); levIn0: ARRAY Step OF Ports.Level _ [L, L, H, H]; levIn1: ARRAY Step OF Ports.Level _ [L, H, L, H]; levOut: ARRAY Step OF Ports.Level _ [L, H, H, L]; p[Input0].l _ p[Input1].l _ L; Eval[! Rosemary.Stop => RESUME]; FOR step: Step IN Step DO p[Input0].l _ levIn0[step]; p[Input1].l _ levIn1[step]; p[Output].l _ levOut[step]; Eval[]; ENDLOOP; }; Test: PROC RETURNS [ct: Core.CellType] = { ct _ CoreCreate.Cell[ name: "XOr", public: CoreCreate.Wires["Vdd", "Gnd", "Input0", "Input1", "Output"], onlyInternal: CoreCreate.Wires["nor", "pstack", "nstack"], instances: LIST [ CoreCreate.Instance[SSI.NOr[], ["Input[0]", "Input0"], ["Input[1]", "Input1"], ["nOutput", "nor"]], CoreCreate.Instance[CoreCreate.Transistor[pE], ["gate", "Input0"], ["ch1", "Vdd"], ["ch2", "pstack"], ["Vdd", "Vdd"]], CoreCreate.Instance[CoreCreate.Transistor[pE], ["gate", "Input1"], ["ch1", "Vdd"], ["ch2", "pstack"], ["Vdd", "Vdd"]], CoreCreate.Instance[CoreCreate.Transistor[pE], ["gate", "nor"], ["ch1", "pstack"], ["ch2", "Output"], ["Vdd", "Vdd"]], CoreCreate.Instance[CoreCreate.Transistor[nE], ["gate", "Input1"], ["ch1", "Output"], ["ch2", "nstack"]], CoreCreate.Instance[CoreCreate.Transistor[nE], ["gate", "Input0"], ["ch1", "nstack"], ["ch2", "Gnd"]], CoreCreate.Instance[CoreCreate.Transistor[nE], ["gate", "nor"], ["ch1", "Output"], ["ch2", "Gnd"]]]]; Vdd _ CoreOps.GetWireIndex[ct.public, "Vdd"]; Gnd _ CoreOps.GetWireIndex[ct.public, "Gnd"]; Input0 _ CoreOps.GetWireIndex[ct.public, "Input0"]; Input1 _ CoreOps.GetWireIndex[ct.public, "Input1"]; Output _ CoreOps.GetWireIndex[ct.public, "Output"]; [] _ Rosemary.SetFixedWire[ct.public[Vdd], H]; [] _ Rosemary.SetFixedWire[ct.public[Gnd], L]; FOR i: NAT IN [0..ct.public.size) DO [] _ Ports.InitPort[wire: ct.public[i], levelType: l]; ENDLOOP; [] _ Ports.InitTesterDrive[wire: ct.public[Input0], initDrive: force]; [] _ Ports.InitTesterDrive[wire: ct.public[Input1], initDrive: force]; [] _ Ports.InitTesterDrive[wire: ct.public[Output], initDrive: expect]; [] _ RosemaryUser.TestProcedureViewer[name: "XOr Tester", cellType: ct, testButtons: LIST["XOr2Test"], displayWires: RosemaryUser.DisplayPortLeafWires[root: ct]]; }; RosemaryUser.RegisterTestProc["XOr2Test", XOr2Test]; END. ìTestSSIRose.mesa Copyright Ó 1986, 1987 by Xerox Corporation. All rights reserved. Barth, October 10, 1986 5:08:33 pm PDT Last Edited by: Louis Monier August 7, 1986 7:45:51 pm PDT Bertrand Serlet April 6, 1987 3:33:15 pm PDT Ê~˜šœ™IcodešœB™BK™&K™:K™,K™—KšÏk œ?˜HK˜šÏnœ ˜Kš˜Kšœ˜Kšœ&˜&Kšœ˜K˜—Kšœœ˜ Kšœœ˜ Kšœœ˜Kšœœ˜šœœ˜K˜—šžœ˜#Jšœœ ˜Jšœœœ˜3Jšœœœ˜1Jšœœœ˜1J˜Jšœ˜J˜Jšœœ˜ šœœ˜Jšœ˜Jšœ˜Jšœ˜Jšœ˜—Jšœ˜Kšœ˜—K˜šžœœœ˜*šœ˜Kšœ˜KšœE˜EKšœ:˜:šœœ˜šœ˜KšœD˜D—šœ.˜.KšœG˜G—šœ.˜.KšœG˜G—šœ.˜.KšœG˜G—šœ.˜.Kšœ:˜:—šœ.˜.Kšœ7˜7—šœ.˜.Kšœ6˜6———Kšœ-˜-Kšœ-˜-Kšœ3˜3Kšœ3˜3Kšœ3˜3Kšœ.˜.Kšœ.˜.šœœœ˜$Kšœ6˜6—Kšœ˜KšœF˜FKšœF˜FKšœG˜GKšœUœI˜¢K˜—K˜Kšœ4˜4K˜Kšœ˜J™—…— Ö @