-- File: FSMTestImpl1.mesa - Created by SETAR 13-May-86 14:58:26
-- Frank Bowers May 13, 1986 3:04:19 pm PDT

DIRECTORY
SC,
RTTestUtil,
FSMTestOps;

FSMTestImpl1: CEDAR PROGRAM

IMPORTS RTTestUtil EXPORTS FSMTestOps =
BEGIN OPEN FSMTestOps;

MakepubWiresA: MakeWiresProc = {
RETURN[LIST["SD1Output", "SF", "Don", "Act", "SX", "SD1", "Start", "Select", "SelectOutput", "StartOutput", "EOP", "FD", "Contention", "RENA"]];
};

MakeinternWiresA: MakeWiresProc = {
RETURN[LIST["w131", "w127", "w125", "w108", "w102", "w98", "w81", "w78", "w75", "w72", "w70", "w69", "w68", "w67", "w64", "w63", "w62", "w61", "w56", "w55", "w54", "w52", "w51", "w47", "w46", "w45", "w44", "w41", "w40", "w37", "w36", "w18", "w17", "Vdd", "Gnd"]];
};

MakepubWires1: PUBLIC PROC RETURNS [ropeList: SC.RopeList ← NIL] = {
ropeList ← RTTestUtil.AppendRopeList[ropeList, MakepubWiresA[]];
};

MakeinternWires1: PUBLIC PROC RETURNS [ropeList: SC.RopeList ← NIL] = {
ropeList ← RTTestUtil.AppendRopeList[ropeList, MakeinternWiresA[]];
};

END.