InverterTest.mesa
Barth, September 16, 1985 2:54:55 pm PDT
DIRECTORY InverterImpl, RoseCreate, RoseRun, RoseTypes;
InverterTest:
CEDAR
PROGRAM
IMPORTS RoseCreate, RoseRun
SHARES InverterImpl =
BEGIN
InverterTestProc: RoseTypes.CellTestProc = {
instructions: InverterImpl.InverterSimpleIORef ← NARROW[simpleInstructions];
drive: InverterImpl.InverterDriveRef ← NARROW[driveAsAny];
{
OPEN instructions;
Vdd ← TRUE;
Gnd ← FALSE;
In ← TRUE;
Out ← FALSE;
[] ← RoseRun.Eval[handle];
In ← FALSE;
Out ← TRUE;
[] ← RoseRun.Eval[handle];
};
};
ctest: RoseTypes.CellTest ← NEW[RoseTypes.CellTestRep ← ["InverterTest", InverterTestProc, FALSE]];
ct: RoseTypes.CellType ← RoseCreate.GetCellType["Inverter"];
[] ← RoseCreate.SetTest[ctest, ct, TRUE];
END.