<> <> <> <<>> 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.