SCTest.mesa
Copyright © 1986 by Xerox Corporation. All rights reserved.
Pradeep Sindhu, January 21, 1988 4:12:40 pm PST
DIRECTORY
CD, Core, CoreCDUser, IO, Logic, Ports, Rope, Rosemary, RosemaryUser, Sisyph, SCUtils, TerminalIO;
SCTest: CEDAR PROGRAM
IMPORTS CoreCDUser, IO, Logic, Ports, Rosemary, RosemaryUser, Sisyph, SCUtils, TerminalIO
~ BEGIN
PortToRope: PROC [level: Ports.Level] RETURNS [r: Rope.ROPE] ~ {
r ← SELECT level FROM L => "L", H => "H", X => "X", ENDCASE => ERROR;
};
Run: PROC [obName: Rope.ROPE, design: CD.Design] = {
ENABLE {
Rosemary.Stop => {
TerminalIO.PutF["\n***Oracle completed normally\n"];
GOTO done
};
Ports.CheckError => {
TerminalIO.PutF["\n***%g\n", IO.rope[msg]]; GOTO done
}
};
ct: Core.CellType;
tester: RosemaryUser.Tester;
ct ← Sisyph.ES[obName, Sisyph.Create[SCUtils.LogicDesign[]]];
[] ← CoreCDUser.SetDesignRootCellType[SCUtils.LogicDesign[], ct];
tester ← Logic.RunRosemary[ct, design];
RosemaryUser.StartTest[tester];
EXITS
done => RETURN
};
END.