-- File: FSMTestImpl2.mesa - Created by SETAR 13-May-86 14:58:28

DIRECTORY
Core,
CoreClasses,
CoreOps,
CoreProperties,
SCTestUtil,
FSMTestOps;

FSMTestImpl2: CEDAR PROGRAM

IMPORTS SCTestUtil, CoreProperties, FSMTestOps
EXPORTS FSMTestOps =
BEGIN OPEN FSMTestOps, SCTestUtil;

MakeInstsA: MakeInstsProc = {
  instList ← CONS[CreateInstance[LIST["RENA", "w131", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst128", internWires], instList];
  instList ← CONS[CreateInstance[LIST["Contention", "w127", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst126", internWires], instList];
  instList ← CONS[CreateInstance[LIST["FD", "w125", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst113", internWires], instList];
  instList ← CONS[CreateInstance[LIST["EOP", "w108", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst109", internWires], instList];
  instList ← CONS[CreateInstance[LIST["SD1", "w102", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst100", internWires], instList];
  instList ← CONS[CreateInstance[LIST["Select", "w98", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst96", internWires], instList];
  instList ← CONS[CreateInstance[LIST["Start", "w81", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst94", internWires], instList];
  instList ← CONS[CreateInstance[LIST["Act", "w78", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst90", internWires], instList];
  instList ← CONS[CreateInstance[LIST["Don", "w75", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst85", internWires], instList];
  instList ← CONS[CreateInstance[LIST["SF", "w72", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst83", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w67", "w68", "w69", "Vdd", "Gnd"], ct[c1AN02A], "c1AN02AInst66", internWires], instList];
  instList ← CONS[CreateInstance[LIST["SX", "w127", "w68", "Vdd", "Gnd"], ct[c1NO02B], "c1NO02BInst65", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w61", "w64", "w70", "w69", "Vdd", "Gnd"], ct[c1NO03B], "c1NO03BInst60", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w62", "w63", "w64", "Vdd", "Gnd"], ct[c1AN02A], "c1AN02AInst59", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w81", "w55", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst53", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w78", "w127", "w131", "w51", "Vdd", "Gnd"], ct[c1NA03A], "c1NA03AInst50", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w55", "w54", "w56", "Vdd", "Gnd"], ct[c1OR02A], "c1OR02AInst43", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w45", "w44", "w47", "Vdd", "Gnd"], ct[c1OR02A], "c1OR02AInst42", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w52", "w51", "w54", "Vdd", "Gnd"], ct[c1NO02B], "c1NO02BInst39", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w41", "w40", "w46", "Vdd", "Gnd"], ct[c1NO02B], "c1NO02BInst38", internWires], instList];
};

MakeInstsB: MakeInstsProc = {
  instList ← CONS[CreateInstance[LIST["w36", "w37", "w40", "Vdd", "Gnd"], ct[c1AN02A], "c1AN02AInst35", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w56", "w70", "StartOutput", "Vdd", "Gnd"], ct[c1AN02A], "c1AN02AInst16", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w47", "w46", "SelectOutput", "Vdd", "Gnd"], ct[c1AN02A], "c1AN02AInst15", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w17", "w18", "SD1Output", "Vdd", "Gnd"], ct[c1AN02A], "c1AN02AInst14", internWires], instList];
  instList ← CONS[CreateInstance[LIST["SD1", "w98", "w81", "w108", "w36", "Vdd", "Gnd"], ct[c1NO04B], "c1NO04BInst13", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w81", "SD1", "w67", "w98", "Vdd", "Gnd"], ct[c1NO03B], "c1NO03BInst12", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w125", "Act", "w63", "Contention", "Vdd", "Gnd"], ct[c1NO03B], "c1NO03BInst11", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w125", "Act", "w37", "Contention", "Vdd", "Gnd"], ct[c1NO03B], "c1NO03BInst10", internWires], instList];
  instList ← CONS[CreateInstance[LIST["Select", "w81", "w45", "w102", "Vdd", "Gnd"], ct[c1NO03B], "c1NO03BInst9", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w98", "w81", "w44", "SD1", "Vdd", "Gnd"], ct[c1NO03B], "c1NO03BInst8", internWires], instList];
  instList ← CONS[CreateInstance[LIST["SD1", "w81", "w18", "Select", "Vdd", "Gnd"], ct[c1NO03B], "c1NO03BInst7", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w81", "SD1", "Select", "RENA", "w62", "Vdd", "Gnd"], ct[c1NO04B], "c1NO04BInst6", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w81", "SD1", "Select", "SX", "w61", "Vdd", "Gnd"], ct[c1NO04B], "c1NO04BInst5", internWires], instList];
  instList ← CONS[CreateInstance[LIST["Start", "SD1", "Select", "SX", "w52", "Vdd", "Gnd"], ct[c1NO04B], "c1NO04BInst4", internWires], instList];
  instList ← CONS[CreateInstance[LIST["SD1", "Select", "w81", "SX", "w41", "Vdd", "Gnd"], ct[c1NO04B], "c1NO04BInst3", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w72", "w75", "w78", "SX", "w17", "Vdd", "Gnd"], ct[c1NO04B], "c1NO04BInst2", internWires], instList];
};

MakeInsts2: PUBLIC MakeInstsProc = {
instList ← AppendInstList[instList, MakeInstsA[internWires]];
instList ← AppendInstList[instList, MakeInstsB[internWires]];
};

END.