c3540.cal

当前最完善的OBDD程序实现。可用于并行计算分析

t399 = t397 or t398;
t400 = t2 and t356;
t401 = t400 and t176;
t402 = t399 or t401;
t403 = t150 and t402;
t404 = t184 and t29;
t405 = t404 and t364;
t406 = t405 or t366;
t407 = t36 and t198;
t408 = _222;
t409 = t408 and t202;
t410 = t407 or t409;
t412 = t411 and t205;
t413 = t410 or t412;
t414 = t183 and t413;
t415 = t406 or t414;
t416 = t403 and t415;
t417 = t211 and t402;
t418 = not t415;
t419 = t417 and t418;
t420 = t416 nor t419;
t421 = t399 nor t401;
t422 = t216 and t421;
t423 = t422 and t418;
t424 = t220 and t421;
t425 = t424 and t415;
t426 = t423 or t425;
t427 = not t421;
t428 = t426 or t427;
t429 = t420 and t428;
t471 = t429 and t470;
t472 = t388 and t471;
t509 = t472 and t508;
t1061 = t757 and t509;
t1062 = not t1061;
t1063 = t1060 nand t1062;
t1064 = not t1060;
t1065 = t1061 nand t1064;
t1066 = t1063 nand t1065;
t1067 = t695 and t1066;
t648 = t375 or t378;
t649 = t471 nand t648;
t650 = t416 or t419;
t651 = not t650;
t652 = t457 or t460;
t653 = t429 nand t652;
t654 = t651 and t653;
t655 = t649 and t654;
t656 = t495 or t498;
t657 = t656 and t470;
t658 = t388 and t657;
t659 = t658 nand t429;
t660 = t655 nand t659;
t1068 = t759 and t509;
t1069 = t660 or t1068;
t1070 = t1057 and t1051;
t1071 = t656 and t716;
t1072 = t1070 nand t1071;
t1073 = t697 nand t698;
t1074 = t652 and t1073;
t1075 = not t1074;
t1076 = t648 and t716;
t1077 = t1057 nand t1076;
t1078 = t1075 and t1077;
t1079 = t1072 and t1078;
t1080 = t943 and t1070;
t1081 = t1080 nand t759;
t1082 = t1079 nand t1081;
t1083 = not t1082;
t1084 = t1069 nand t1083;
t1085 = not t1069;
t1086 = t1082 nand t1085;
t1087 = t1084 nand t1086;
t1088 = not t1087;
t1089 = t1067 nand t1088;
t1090 = not t1067;
t1091 = t1087 nand t1090;
t1092 = t1089 nand t1091;
t1093 = t1040 and t13;
t1094 = t1092 and t1093;
t1095 = t1045 or t1094;
t1096 = t1045 nor t1094;
t1097 = not t1096;
t1098 = t1095 and t1097;
t560 = t357 and t166;
t561 = t355 or t560;
t1099 = t701 and t561;
t562 = t150 and t561;
t564 = t365 or t563;
t565 = t564 or t373;
t566 = t562 and t565;
t567 = t211 and t561;
t568 = not t565;
t569 = t567 and t568;
t570 = t566 nor t569;
t571 = t216 and t568;
t572 = t220 and t565;
t573 = t571 or t572;
t574 = t355 nor t560;
t575 = not t574;
t576 = t573 or t575;
t577 = t570 and t576;
t1100 = not t577;
t1101 = t1099 nand t1100;
t1102 = not t1099;
t1103 = t577 nand t1102;
t1104 = t1101 nand t1103;
t595 = t443 and t166;
t596 = t442 or t595;
t1105 = t699 and t596;
t597 = t150 and t596;
t598 = t448 or t563;
t599 = t598 or t455;
t600 = t597 and t599;
t601 = t211 and t596;
t602 = not t599;
t603 = t601 and t602;
t604 = t600 nor t603;
t605 = t216 and t602;
t606 = t220 and t599;
t607 = t605 or t606;
t608 = t442 nor t595;
t609 = not t608;
t610 = t607 or t609;
t611 = t604 and t610;
t1106 = not t611;
t1107 = t1105 nand t1106;
t1108 = not t1105;
t1109 = t611 nand t1108;
t1110 = t1107 nand t1109;
t1111 = t784 and t1110;
t1112 = t1104 and t1111;
t1113 = t1112 and t1009;
t578 = t400 and t166;
t579 = t399 or t578;
t580 = t150 and t579;
t581 = t405 or t563;
t582 = t581 or t414;
t583 = t580 and t582;
t584 = t211 and t579;
t585 = not t582;
t586 = t584 and t585;
t587 = t583 nor t586;
t588 = t216 and t585;
t589 = t220 and t582;
t590 = t588 or t589;
t591 = t399 nor t578;
t592 = not t591;
t593 = t590 or t592;
t594 = t587 and t593;
t612 = t594 and t611;
t613 = t577 and t612;
t631 = t613 and t630;
t1114 = t784 and t631;
t1115 = not t1114;
t1116 = t1113 nand t1115;
t1117 = not t1113;
t1118 = t1114 nand t1117;
t1119 = t1116 nand t1118;
t1120 = t695 and t1119;
t678 = t566 or t569;
t679 = t612 nand t678;
t680 = t583 or t586;
t681 = not t680;
t682 = t600 or t603;
t683 = t594 nand t682;
t684 = t681 and t683;
t685 = t679 and t684;
t686 = t619 or t622;
t687 = t686 and t611;
t688 = t577 and t687;
t689 = t688 nand t594;
t690 = t685 nand t689;
t1121 = t786 and t631;
t1122 = t690 or t1121;
t1123 = t1110 and t1104;
t1124 = t686 and t716;
t1125 = t1123 nand t1124;
t1126 = t682 and t1073;
t1127 = not t1126;
t1128 = t678 and t716;
t1129 = t1110 nand t1128;
t1130 = t1127 and t1129;
t1131 = t1125 and t1130;
t1132 = t1009 and t1123;
t1133 = t1132 nand t786;
t1134 = t1131 nand t1133;
t1135 = not t1134;
t1136 = t1122 nand t1135;
t1137 = not t1122;
t1138 = t1134 nand t1137;
t1139 = t1136 nand t1138;
t1140 = not t1139;
t1141 = t1120 nand t1140;
t1142 = not t1120;
t1143 = t1139 nand t1142;
t1144 = t1141 nand t1143;
t1145 = t1144 and t1093;
t1146 = t1045 nor t1145;
t1147 = not t1146;
t1148 = t1098 biimp t1147;
t702 = t701 and t320;
t703 = not t346;
t704 = t702 nand t703;
t705 = not t702;
t706 = t346 nand t705;
t707 = t704 nand t706;
t708 = t701 and t178;
t709 = not t226;
t710 = t708 nand t709;
t711 = not t708;
t712 = t226 nand t711;
t713 = t710 nand t712;
t714 = t707 and t713;
t1149 = t701 and t281;
t1150 = not t307;
t1151 = t1149 nand t1150;
t1152 = not t1149;
t1153 = t307 nand t1152;
t1154 = t1151 nand t1153;
t1155 = t714 and t1154;
t1156 = t695 and t1155;
t1157 = t701 and t239;
t1158 = not t266;
t1159 = t1157 nand t1158;
t1160 = not t1157;
t1161 = t266 nand t1160;
t1162 = t1159 nand t1161;
t1163 = t638 and t716;
t1164 = not t1163;
t717 = t634 and t716;
t1165 = t1154 nand t717;
t1166 = t1164 and t1165;
t1167 = t1154 and t713;
t718 = t642 and t716;
t1168 = t1167 nand t718;
t1169 = t1166 nand t1168;
t1170 = not t1169;
t1171 = t1162 nand t1170;
t1172 = not t1162;
t1173 = t1169 nand t1172;
t1174 = t1171 nand t1173;
t1175 = not t1174;
t1176 = t1156 nand t1175;
t1177 = not t1156;
t1178 = t1174 nand t1177;
t1179 = t1176 nand t1178;
t1180 = t1179 and t801;
t1181 = not t1179;
t761 = t758 and t760;
t1182 = t761 nor t759;
t1183 = t1181 nor t1182;
t1184 = t695 and t707;
t1185 = not t718;
t1186 = t713 nand t1185;
t1187 = not t713;
t1188 = t718 nand t1187;
t1189 = t1186 nand t1188;
t1190 = not t1189;
t1191 = t1184 nand t1190;
t1192 = not t1184;
t1193 = t1189 nand t1192;
t1194 = t1191 nand t1193;
t715 = t695 and t714;
t719 = t713 and t718;
t720 = t717 or t719;
t721 = not t720;
t1195 = t1154 nand t721;
t1196 = not t1154;
t1197 = t720 nand t1196;
t1198 = t1195 nand t1197;
t1199 = not t1198;
t1200 = t715 nand t1199;
t1201 = not t715;
t1202 = t1198 nand t1201;
t1203 = t1200 nand t1202;
t1204 = t1194 and t1203;
t1205 = t1179 and t1204;
t1206 = t1205 and t1182;
t1207 = t1183 or t1206;
t1208 = t1207 and t742;
t1209 = t1180 or t1208;
t1210 = t394 and t810;
t1211 = t437 and t815;
t1212 = t2 and t818;
t1213 = t3 and t824;
t1214 = t5 and t829;
t1215 = t971 and t832;
t1216 = t36 and t835;
t1217 = t1215 or t1216;
t1218 = t1214 or t1217;
t1219 = t1213 or t1218;
t1220 = t1212 or t1219;
t1221 = t1211 or t1220;
t1222 = t1210 or t1221;
t1223 = t956 and t844;
t1224 = t1222 nor t1223;
t1225 = t1224 and t155;
t1226 = t325 and t810;
t1227 = t197 and t815;
t1228 = t286 and t818;
t1229 = t48 and t824;
t1230 = t39 and t829;
t850 = _317;
t1231 = t850 and t832;
t1232 = t43 and t835;
t1233 = t1231 or t1232;
t1234 = t1230 or t1233;
t1235 = t1229 or t1234;
t1236 = t1228 or t1235;
t1237 = t1227 or t1236;
t1238 = t1226 or t1237;
t1239 = t852 and t844;
t1240 = t1238 nor t1239;
t1241 = t1240 and t154;
t1242 = t1225 or t1241;
t1243 = t1242 and t872;
t874 = t21 and t151;
t875 = t874 nand t155;
t876 = not t875;
t1244 = t1172 and t876;
t1245 = t1243 or t1244;
t60 = not t18;
t61 = t47 nand t60;
t62 = not t47;
t63 = t18 nand t62;
t64 = t61 nand t63;
t65 = not t16;
t66 = t17 nand t65;
t67 = not t17;
t68 = t16 nand t67;
t69 = t66 nand t68;
t70 = not t69;
t71 = t64 nand t70;
t72 = not t64;
t73 = t69 nand t72;
t74 = t71 nand t73;
t884 = t22 and t12;
t885 = t884 nand t154;
t886 = not t885;
t1246 = t74 and t886;
t890 = t884 nand t155;
t891 = not t890;
t1247 = t1246 or t891;
t894 = t885 and t890;
t1248 = t110 and t894;
t1249 = t1247 or t1248;
t897 = t871 and t875;
t1250 = t1249 and t897;
t1251 = t1245 nor t1250;
t1252 = t1251 and t900;
t1253 = t1209 or t1252;
t1254 = t1209 nor t1252;
t1255 = not t1254;
t1256 = t1253 and t1255;
t724 = not t558;
t725 = t702 nand t724;
t726 = t558 nand t705;
t727 = t725 nand t726;
t728 = not t522;
t729 = t708 nand t728;
t730 = t522 nand t711;
t731 = t729 nand t730;
t732 = t727 and t731;
t1257 = not t545;
t1258 = t1149 nand t1257;
t1259 = t545 nand t1152;
t1260 = t1258 nand t1259;
t1261 = t732 and t1260;
t1262 = t695 and t1261;
t1263 = not t534;
t1264 = t1157 nand t1263;
t1265 = t534 nand t1160;
t1266 = t1264 nand t1265;
t1267 = t668 and t716;
t1268 = not t1267;
t734 = t664 and t716;
t1269 = t1260 nand t734;
t1270 = t1268 and t1269;
t1271 = t1260 and t731;
t735 = t672 and t716;
t1272 = t1271 nand t735;
t1273 = t1270 nand t1272;
t1274 = not t1273;
t1275 = t1266 nand t1274;
t1276 = not t1266;
t1277 = t1273 nand t1276;
t1278 = t1275 nand t1277;
t1279 = not t1278;
t1280 = t1262 nand t1279;
t1281 = not t1262;
t1282 = t1278 nand t1281;
t1283 = t1280 nand t1282;
t1284 = t1283 and t801;
t1285 = not t1283;
t1286 = t785 nor t786;
t1287 = t1285 nor t1286;
t1288 = t695 and t727;
t1289 = not t735;
t1290 = t731 nand t1289;
t1291 = not t731;
t1292 = t735 nand t1291;
t1293 = t1290 nand t1292;
t1294 = not t1293;
t1295 = t1288 nand t1294;
t1296 = not t1288;
t1297 = t1293 nand t1296;
t1298 = t1295 nand t1297;
t733 = t695 and t732;
t736 = t731 and t735;
t737 = t734 or t736;
t1299 = not t737;
t1300 = t1260 nand t1299;
t1301 = not t1260;
t1302 = t737 nand t1301;
t1303 = t1300 nand t1302;
t1304 = not t1303;
t1305 = t733 nand t1304;
t1306 = not t733;
t1307 = t1303 nand t1306;
t1308 = t1305 nand t1307;
t1309 = t1298 and t1308;
t1310 = t1309 and t1283;
t1311 = t1287 or t1310;
t1312 = t1311 and t742;
t1313 = t1284 or t1312;
t1314 = t1242 and t914;
t1315 = not t1263;
t1316 = not t1315;
t1317 = t1316 and t876;
t1318 = t1314 or t1317;
t920 = t21 and t12;
t921 = t920 nand t154;
t922 = not t921;
t1319 = t74 and t922;
t924 = t920 nand t155;
t925 = not t924;
t1320 = t1319 or t925;
t1321 = t110 and t921;
t1322 = t1320 or t1321;
t931 = t913 and t875;
t1323 = t1322 and t931;
t1324 = t1318 nor t1323;
t1325 = t1324 and t900;
t1326 = t1313 nor t1325;
t1327 = not t1326;
t1328 = t1256 biimp t1327;
t1329 = t1194 and t801;
t1330 = not t1194;
t1331 = not t1330;
t1332 = t1182 nand t1331;
t1333 = not t1182;
t1334 = t1330 nand t1333;
t1335 = t1332 nand t1334;
t1336 = not t1335;
t1337 = t1336 and t742;
t1338 = t1329 or t1337;
t1339 = t2 and t810;
t1340 = t3 and t815;
t1341 = t5 and t818;
t1342 = t36 and t824;
t1343 = t41 and t829;
t1344 = t394 and t832;
t1345 = t1344 or t1232;
t1346 = t1343 or t1345;
t1347 = t1342 or t1346;
t1348 = t1341 or t1347;
t1349 = t1340 or t1348;
t1350 = t1339 or t1349;
t1351 = t437 and t844;
t1352 = t1350 nor t1351;
t1353 = t1352 and t155;
t1354 = t850 and t810;
t1355 = t852 and t815;
t1356 = t325 and t818;
t1357 = t197 and t824;
t1358 = t286 and t829;
t865 = _326;
t1359 = t865 and t832;
t1360 = t48 and t835;
t1361 = t1359 or t1360;
t1362 = t1358 or t1361;
t1363 = t1357 or t1362;
t1364 = t1356 or t1363;
t1365 = t1355 or t1364;
t1366 = t1354 or t1365;
t848 = _322;
t1367 = t848 and t844;
t1368 = t1366 nor t1367;
t1369 = t1368 and t154;
t1370 = t1353 or t1369;
t1371 = t1370 and t872;
t1372 = t1187 and t876;
t1373 = t1371 or t1372;
t75 = not t27;
t76 = t35 nand t75;
t77 = not t35;
t78 = t27 nand t77;
t79 = t76 nand t78;
t80 = not t29;
t81 = t31 nand t80;
t82 = not t31;
t83 = t29 nand t82;
t84 = t81 nand t83;
t85 = not t84;
t86 = t79 nand t85;
t87 = not t79;
t88 = t84 nand t87;
t89 = t86 nand t88;
t90 = not t89;
t879 = not t187;
t880 = not t879;
t1374 = t90 and t880;
t102 = not t48;
t765 = t227 and t103;
t766 = t102 and t765;
t1375 = t5 nand t36;
t1376 = t766 and t1375;
t1377 = t127 and t1376;
t1378 = t1377 and t3;
t1379 = t1378 and t879;
t1380 = t1374 nor t1379;
t1381 = t1380 and t886;
t1382 = t102 nand t765;
t1383 = t1382 and t891;
t1384 = t1381 or t1383;
t1385 = t103 and t894;
t1386 = t1384 or t1385;
t1387 = t1386 and t897;
t1388 = t1373 nor t1387;
t1389 = t1388 and t900;
t1390 = t1338 or t1389;
t1391 = t1338 nor t1389;
t1392 = not t1391;
t1393 = t1390 and t1392;
t1394 = t1298 and t801;
t1395 = not t1298;
t1396 = not t1395;
t1397 = t1286 nand t1396;
t1398 = not t1286;
t1399 = t1395 nand t1398;
t1400 = t1397 nand t1399;
t1401 = not t1400;
t1402 = t1401 and t742;
t1403 = t1394 or t1402;
t1404 = t1370 and t914;
t1405 = not t728;
t1406 = not t1405;
t1407 = t1406 and t876;
t1408 = t1404 or t1407;
t1409 = t1380 and t922;
t1410 = t1382 and t925;
t1411 = t1409 or t1410;
t928 = t921 and t924;
t1412 = t103 and t928;
t1413 = t1411 or t1412;
t1414 = t1413 and t931;
t1415 = t1408 nor t1414;
t1416 = t1415 and t900;
t1417 = t1403 nor t1416;
t1418 = not t1417;
t1419 = t1393 biimp t1418;
t1420 = t1203 and t801;
t1421 = t1194 and t1182;
t1422 = not t1203;
t1423 = t1421 nand t1422;
t1424 = not t1421;
t1425 = t1203 nand t1424;
t1426 = t1423 nand t1425;
t1427 = t1426 and t742;
t1428 = t1420 or t1427;
t1429 = t437 and t810;
t1430 = t2 and t815;
t1431 = t3 and t818;
t1432 = t5 and t824;
t1433 = t36 and t829;
t1434 = t956 and t832;
t1435 = t1434 or t980;
t1436 = t1433 or t1435;
t1437 = t1432 or t1436;
t1438 = t1431 or t1437;
t1439 = t1430 or t1438;
t1440 = t1429 or t1439;
t1441 = t394 and t844;
t1442 = t1440 nor t1441;
t1443 = t1442 and t155;
t1444 = t852 and t810;
t1445 = t325 and t815;
t1446 = t197 and t818;
t1447 = t286 and t824;
t1448 = t48 and t829;
t1449 = t848 and t832;
t836 = t39 and t835;
t1450 = t1449 or t836;
t1451 = t1448 or t1450;
t1452 = t1447 or t1451;
t1453 = t1446 or t1452;
t1454 = t1445 or t1453;
t1455 = t1444 or t1454;
t1456 = t850 and t844;
t1457 = t1455 nor t1456;
t1458 = t1457 and t154;
t1459 = t1443 or t1458;
t1460 = t1459 and t872;
t1461 = t1196 and t876;
t1462 = t1460 or t1461;
t104 = not t103;
t105 = t102 nand t104;
t106 = not t102;
t107 = t103 nand t106;
t108 = t105 nand t107;
t111 = not t110;
t112 = t109 nand t111;
t113 = not t109;
t114 = t110 nand t113;
t115 = t112 nand t114;
t116 = not t115;
t117 = t108 nand t116;
t118 = not t108;
t119 = t115 nand t118;
t120 = t117 nand t119;
t1463 = t120 and t886;
t1464 = t1463 or t891;
t1465 = t109 and t894;
t1466 = t1464 or t1465;
t1467 = t1466 and t897;
t1468 = t1462 nor t1467;
t1469 = t1468 and t900;
t1470 = t1428 or t1469;
t1471 = t1428 nor t1469;
t1472 = not t1471;
t1473 = t1470 and t1472;
t1474 = t1308 and t801;
t1475 = t1298 and t1286;
t1476 = not t1308;
t1477 = t1475 nand t1476;
t1478 = not t1475;
t1479 = t1308 nand t1478;
t1480 = t1477 nand t1479;
t1481 = t1480 and t742;
t1482 = t1474 or t1481;
t1483 = t1459 and t914;
t1484 = not t1257;
t1485 = not t1484;
t1486 = t1485 and t876;
t1487 = t1483 or t1486;
t1488 = t120 and t922;
t1489 = t1488 or t925;
t1490 = t109 and t921;
t1491 = t1489 or t1490;
t1492 = t1491 and t931;
t1493 = t1487 nor t1492;
t1494 = t1493 and t900;
t1495 = t1482 nor t1494;
t1496 = not t1495;
t1497 = t1473 biimp t1496;
t1498 = t757 and t943;
t1499 = t1498 and t1051;
t1500 = t695 and t1499;
t1501 = not t1076;
t1502 = t1051 nand t1071;
t1503 = t1501 and t1502;
t1504 = t1051 and t943;
t1505 = t1504 nand t759;
t1506 = t1503 nand t1505;
t1507 = not t1506;
t1508 = t1057 nand t1507;
t1509 = not t1057;
t1510 = t1506 nand t1509;
t1511 = t1508 nand t1510;