-- File: ECCLogicImpl5.mesa - Created by SETAR 21-May-86 10:59:47

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

ECCLogicImpl5: CEDAR PROGRAM

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

MakeInstsA: MakeInstsProc = {
  instList ← CONS[CreateInstance[LIST["w6184", "w6186", "w3641", "Vdd", "Gnd"], ct[c1NA02A], "c1NA02AInst3034", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w6182", "w6183", "w1657", "Vdd", "Gnd"], ct[c1NA02A], "c1NA02AInst3035", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4560", "w4587", "w957", "Vdd", "Gnd"], ct[c1AN02B], "c1AN02BInst4597", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4560", "w4585", "w950", "Vdd", "Gnd"], ct[c1AN02B], "c1AN02BInst4596", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4560", "w4583", "w943", "Vdd", "Gnd"], ct[c1AN02B], "c1AN02BInst4595", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4560", "w4581", "w934", "Vdd", "Gnd"], ct[c1AN02B], "c1AN02BInst4594", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4560", "w4579", "w927", "Vdd", "Gnd"], ct[c1AN02B], "c1AN02BInst4593", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4560", "w4577", "w992", "Vdd", "Gnd"], ct[c1AN02B], "c1AN02BInst4592", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4560", "w4575", "w971", "Vdd", "Gnd"], ct[c1AN02B], "c1AN02BInst4591", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4560", "w4573", "w990", "Vdd", "Gnd"], ct[c1AN02B], "c1AN02BInst4590", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4560", "w4571", "w983", "Vdd", "Gnd"], ct[c1AN02B], "c1AN02BInst4589", internWires], instList];
  instList ← CONS[CreateInstance[LIST["P6430", "w4553", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4555", internWires], instList];
  instList ← CONS[CreateInstance[LIST["P6426", "w4560", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4550", internWires], instList];
  instList ← CONS[CreateInstance[LIST["P6424", "w4534", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4530", internWires], instList];
  instList ← CONS[CreateInstance[LIST["P6424", "w4534", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4529", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4534", "w4543", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4528", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4534", "w4543", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4527", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4534", "w4543", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4526", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4534", "w4543", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4525", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4534", "w4543", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4524", internWires], instList];
};

MakeInstsB: MakeInstsProc = {
  instList ← CONS[CreateInstance[LIST["w4534", "w4543", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4523", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4534", "w4543", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4522", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4534", "w4543", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4521", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4495", "w4496", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4504", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4495", "w4496", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4503", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4495", "w4496", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4502", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4495", "w4496", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4501", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4495", "w4496", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4500", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4495", "w4496", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4499", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4495", "w4496", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4498", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4495", "w4496", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4497", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4553", "w4461", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4463", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4553", "w4461", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4460", internWires], instList];
  instList ← CONS[CreateInstance[LIST["P6425", "w4495", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4457", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w2940", "P6418", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3399", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w2943", "P6419", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3400", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w2946", "P6420", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3401", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w2949", "P6421", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3402", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3805", "P6422", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3403", internWires], instList];
  instList ← CONS[CreateInstance[LIST["P6415", "w3053", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3409", internWires], instList];
};

MakeInstsC: MakeInstsProc = {
  instList ← CONS[CreateInstance[LIST["w3051", "P6415", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3410", internWires], instList];
  instList ← CONS[CreateInstance[LIST["P6416", "w3413", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3414", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3416", "P6416", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3415", internWires], instList];
  instList ← CONS[CreateInstance[LIST["P6417", "w3057", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3419", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3806", "P6417", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3420", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3641", "P6192", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3650", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3644", "P6193", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3651", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3801", "P6194", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3652", internWires], instList];
  instList ← CONS[CreateInstance[LIST["P6425", "w4495", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3810", internWires], instList];
  instList ← CONS[CreateInstance[LIST["P6431", "w4097", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3978", internWires], instList];
  instList ← CONS[CreateInstance[LIST["P6431", "w4097", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3980", internWires], instList];
  instList ← CONS[CreateInstance[LIST["P6431", "w4097", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3981", internWires], instList];
  instList ← CONS[CreateInstance[LIST["P6431", "w4097", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3982", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4097", "w4015", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst3991", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4097", "w4028", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4004", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4097", "w4027", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4005", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4097", "w4025", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4006", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4097", "w4023", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4007", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4097", "w4022", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4008", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4097", "w4021", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4009", internWires], instList];
};

MakeInstsD: MakeInstsProc = {
  instList ← CONS[CreateInstance[LIST["w4097", "w4020", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4010", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4097", "w4016", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4012", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4097", "w4014", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4013", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4097", "w4019", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4018", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w4097", "w4031", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4030", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3057", "w807", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4104", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3413", "w808", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4105", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3053", "w809", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4106", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3057", "w787", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4107", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3413", "w788", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4108", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3053", "w789", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4109", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3057", "w767", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4110", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3413", "w768", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4111", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3053", "w769", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4112", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3057", "w747", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4113", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3413", "w748", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4114", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3053", "w749", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4115", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3057", "w847", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4116", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3413", "w848", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4117", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3053", "w849", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4118", internWires], instList];
};

MakeInstsE: MakeInstsProc = {
  instList ← CONS[CreateInstance[LIST["w3057", "w727", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4119", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3413", "w728", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4120", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3053", "w729", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4121", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3057", "w708", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4122", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3413", "w707", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4123", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3053", "w706", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4124", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3053", "w869", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4125", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3413", "w868", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4126", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3057", "w867", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4127", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w787", "w786", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4128", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w788", "w784", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4129", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w789", "w785", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4130", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w767", "w766", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4131", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w768", "w764", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4132", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w769", "w765", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4133", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w747", "w746", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4134", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w748", "w744", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4135", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w749", "w745", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4136", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w847", "w846", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4137", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w848", "w844", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4138", internWires], instList];
};

MakeInstsF: MakeInstsProc = {
  instList ← CONS[CreateInstance[LIST["w849", "w845", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4139", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w728", "w724", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4140", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w727", "w726", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4141", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w729", "w725", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4142", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w708", "w711", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4143", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w707", "w713", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4144", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w706", "w712", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4145", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w869", "w865", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4146", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w868", "w864", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4147", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w867", "w866", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4148", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w2678", "w826", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4149", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w2675", "w824", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4150", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w2672", "w825", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4151", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3053", "w2672", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4152", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3413", "w2675", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4153", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3057", "w2678", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4154", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w807", "w806", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4155", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w808", "w804", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4156", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w809", "w805", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4157", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w2940", "w661", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4167", internWires], instList];
};

MakeInstsG: MakeInstsProc = {
  instList ← CONS[CreateInstance[LIST["w2943", "w662", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4168", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w2946", "w663", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4169", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w2949", "w665", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4170", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w661", "w668", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4171", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w662", "w674", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4172", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w663", "w680", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4173", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w665", "w689", "Vdd", "Gnd"], ct[c1IV00B], "c1IV00BInst4174", internWires], instList];
  instList ← CONS[CreateInstance[LIST["w3641", "w1951", "Vdd", "Gnd"], ct[c1IV00A], "c1IV00AInst1949", internWires], instList];
};

MakeInsts5: PUBLIC MakeInstsProc = {
instList ← AppendInstList[instList, MakeInstsA[internWires]];
instList ← AppendInstList[instList, MakeInstsB[internWires]];
instList ← AppendInstList[instList, MakeInstsC[internWires]];
instList ← AppendInstList[instList, MakeInstsD[internWires]];
instList ← AppendInstList[instList, MakeInstsE[internWires]];
instList ← AppendInstList[instList, MakeInstsF[internWires]];
instList ← AppendInstList[instList, MakeInstsG[internWires]];
};

END.