-- File: ECCLogicImpl1.mesa - Created by SETAR 21-May-86 10:58:41

DIRECTORY
SC,
RTTestUtil,
ECCLogicOps;

ECCLogicImpl1: CEDAR PROGRAM

IMPORTS RTTestUtil EXPORTS ECCLogicOps =
BEGIN OPEN ECCLogicOps;

MakepubWiresA: MakeWiresProc = {
RETURN[LIST["P6190", "P6191", "P6192", "P6193", "P6194", "HS1", "P6196", "CBOUTEN", "HS2", "P6199", "D1", "P6202", "P6203", "HS3", "P6205", "D2", "P6208", "D3", "P6211", "D4", "P6214", "HS4", "P6217", "D5", "P6220", "D6", "P6223", "D7", "P6226", "D8", "P6229", "D9", "P6232", "D10", "P6235", "D11", "P6238", "HS5", "P6241", "D12", "P6244", "D13", "P6247", "D14", "P6250", "D15", "P6253", "D16", "P6256", "D17", "P6259", "D18", "P6262", "D19", "P6265", "D20", "P6268", "D21", "P6271", "D22", "P6274", "D23", "P6277", "D24", "P6280", "D25", "P6283", "D26", "P6286", "HS6", "P6289", "D27", "P6292", "D28", "P6295", "D29", "P6298", "D30", "P6301", "D31", "P6304", "D32", "P6307", "D33", "P6310", "P6378", "D34", "P6313", "D35", "P6316", "D36", "P6319", "D37", "P6322", "D38", "P6325", "D39", "P6328", "D40", "P6331", "D41", "P6334", "D42", "P6337", "D43", "P6340", "D44", "P6343", "D45", "P6346", "D46", "P6349", "D47", "P6352", "D48", "P6355", "D49", "P6358", "D50", "P6361", "D51", "P6364", "D52", "P6367", "D53", "P6370", "D54", "P6373", "D55", "P6376", "D56", "P6380", "D57", "P6386", "HS7", "P6389", "D58", "P6392", "D59", "P6395", "D60", "P6398", "D61", "P6401", "D62", "P6404", "D63", "P6407", "D64", "P6410"]];
};

MakepubWiresB: MakeWiresProc = {
RETURN[LIST["P6415", "P6416", "P6417", "P6418", "P6419", "P6420", "P6421", "P6422", "P6423", "P6424", "P6425", "P6426", "P6427", "LS8", "P6430", "P6431", "P6432", "P6434", "P6436", "P6438", "P6440", "P6442", "P6444", "P6445", "P6447", "P6449"]];
};

MakeinternWiresA: MakeWiresProc = {
RETURN[LIST["w6186", "w6184", "w6183", "w6182", "LOUTEN", "w6074", "w6047", "w6046", "w6045", "w6044", "w6043", "w6042", "w6041", "w6040", "w6039", "w6032", "w6031", "w6024", "w6023", "w6022", "w6021", "w6020", "w6019", "w6012", "w6011", "w6010", "w6009", "w6008", "w6007", "w6000", "w5999", "w5998", "w5997", "w5996", "w5995", "w5994", "w5993", "w5990", "w5989", "w5988", "w5987", "w5974", "w5973", "w5972", "w5971", "w5970", "w5969", "w5962", "w5961", "w5960", "w5959", "w5958", "w5957", "w5949", "w5948", "w5947", "w5946", "w5945", "w5944", "w5943", "w5940", "w5939", "w5935", "w5934", "w5933", "w5931", "w5926", "w5925", "w5924", "w5923", "w5921", "w5918", "w5917", "w5915", "w5913", "w5911", "w5909", "w5810", "w5809", "w5806", "w5805", "w5804", "w5803", "w5802", "w5801", "w5800", "w5799", "w5798", "w5797", "w5796", "w5795", "w5794", "w5793", "w5792", "w5791", "w5790", "w5789", "w5788", "w5787", "w5786", "w5785", "w5784", "w5783", "w5782", "w5781", "w5780", "w5779", "w5778", "w5777", "w5776", "w5775", "w5695", "w5677", "w5619", "w4587", "w4585", "w4583", "w4581", "w4579", "w4577", "w4575", "w4573", "w4571", "w4560", "w4553", "w4543", "w4534", "w4496", "w4495", "w4461", "w4097", "w4031", "w4028", "w4027", "w4025", "w4023", "w4022", "w4021", "w4020", "w4019", "w4016", "w4015", "w4014", "w3811", "w3806", "w3805", "w3803", "w3801", "w3644", "w3641"]];
};

MakeinternWiresB: MakeWiresProc = {
RETURN[LIST["w3550", "w3549", "w3546", "w3544", "w3542", "w3540", "w3538", "w3534", "w3532", "w3530", "w3528", "w3526", "w3524", "w3522", "w3520", "w3518", "w3516", "w3514", "w3512", "w3510", "w3508", "w3506", "w3504", "w3502", "w3500", "w3498", "w3494", "w3492", "w3490", "w3488", "w3486", "w3484", "w3482", "w3480", "w3478", "w3476", "w3474", "w3416", "w3413", "w3302", "w3230", "w3228", "w3227", "w3226", "w3225", "w3223", "w3221", "w3220", "w3219", "w3218", "w3217", "w3215", "w3213", "w3209", "w3208", "w3207", "w3206", "w3204", "w3202", "w3201", "w3200", "w3199", "w3198", "w3196", "w3194", "w3193", "w3192", "w3188", "w3187", "w3185", "w3183", "w3182", "w3181", "w3180", "w3179", "w3177", "w3175", "w3174", "w3173", "w3172", "w3171", "w3166", "w3164", "w3163", "w3162", "w3161", "w3160", "w3158", "w3156", "w3155", "w3154", "w3153", "w3152", "w3150", "w3145", "w3144", "w3143", "w3142", "w3141", "w3139", "w3137", "w3136", "w3135", "w3134", "w3133", "w3131", "w3129", "w3125", "w3124", "w3123", "w3122", "w3120", "w3118", "w3117", "w3116", "w3115", "w3114", "w3112", "w3110", "w3109", "w3108", "w3104", "w3103", "w3101", "w3099", "w3098", "w3097", "w3096", "w3095", "w3093", "w3091", "w3090", "w3089", "w3088", "w3087", "w3085", "w3083", "w3081", "w3079", "w3078", "w3077", "w3076", "w3075", "w3073", "w3071", "w3057", "w3053", "w3051", "w2949", "w2946"]];
};

MakeinternWiresC: MakeWiresProc = {
RETURN[LIST["w2943", "w2940", "w2718", "w2717", "w2678", "w2675", "w2672", "w2601", "w2600", "w2593", "w2592", "w2554", "w2523", "w2454", "w2414", "w2385", "w2378", "w2367", "w2366", "w2365", "w2364", "w2363", "w2362", "w2361", "w2360", "w2359", "w2358", "w2357", "w2356", "w2346", "w2345", "w2344", "w2343", "w2340", "w2339", "w2338", "w2337", "w2333", "w2332", "w2331", "w2330", "w2326", "w2325", "w1951", "w1657", "w1371", "w1370", "w1369", "w1368", "w1367", "w1366", "w1365", "w1364", "w1363", "w1362", "w1361", "w1360", "w1359", "w1358", "w1357", "w1356", "w1355", "w1354", "w1353", "w1352", "w1351", "w1350", "w1349", "w1348", "w1347", "w1346", "w1345", "w1344", "w1343", "w1342", "w1341", "w1340", "w1339", "w1338", "w1337", "w1336", "w1335", "w1334", "w1333", "w1332", "w1331", "w1330", "w1329", "w1328", "w1327", "w1326", "w1325", "w1324", "w1323", "w1322", "w1321", "w1320", "w1319", "w1318", "w1317", "w1316", "w1315", "w1314", "w1313", "w1312", "w1311", "w1310", "w1309", "w1308", "w1307", "w1306", "w1305", "w1304", "w1303", "w1302", "w1301", "w1296", "w1072", "w1069", "w1064", "w1057", "w1054", "w1035", "w1000", "w993", "w992", "w990", "w983", "w971", "w957", "w950", "w943", "w934", "w927", "w869", "w868", "w867", "w866", "w865", "w864", "w849", "w848", "w847", "w846", "w845", "w844", "w826", "w825", "w824", "w809"]];
};

MakeinternWiresD: MakeWiresProc = {
RETURN[LIST["w808", "w807", "w806", "w805", "w804", "w789", "w788", "w787", "w786", "w785", "w784", "w769", "w768", "w767", "w766", "w765", "w764", "w749", "w748", "w747", "w746", "w745", "w744", "w729", "w728", "w727", "w726", "w725", "w724", "w713", "w712", "w711", "w708", "w707", "w706", "w689", "w680", "w674", "w668", "w665", "w663", "w662", "w661", "w640", "w625", "w621", "w620", "w619", "w618", "w555", "w554", "H2H3", "H4XH7", "w546", "w545", "w540", "w526", "w524", "w522", "w520", "w516", "w513", "w512", "w510", "w509", "w506", "w497", "w491", "w488", "w486", "w485", "w483", "w482", "w481", "w480", "w2711", "w478", "w469", "w468", "w467", "w466", "w464", "w463", "w462", "w461", "w456", "w455", "w454", "w447", "w2713", "w429", "w425", "w424", "w417", "w416", "w412", "w411", "w408", "w407", "w401", "w389", "w385", "w384", "w377", "w375", "w373", "w362", "w337", "w336", "w335", "w334", "w333", "w332", "w331", "w330", "w325", "w324", "w322", "w321", "w320", "w319", "w316", "w315", "w314", "w313", "w312", "w311", "w310", "w309", "w308", "w307", "w291", "w289", "w288", "w2690", "w285", "Vdd", "Gnd"]];
};

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

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

END.