c3540.cal

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

/* BDD Calculator data file */

initial 13000 10000;

inputs
_1 _13 _20 _33 _41 _45 _50 _58 _68 _77 
_87 _97 _107 _116 _124 _125 _128 _132 _137 _143 
_150 _159 _169 _179 _190 _200 _213 _222 _223 _226 
_232 _238 _244 _250 _257 _264 _270 _274 _283 _294 
_303 _311 _317 _322 _326 _329 _330 _343 _1698 _2897 
;

actions
autoreorder 0 sift;

t695 = _330;
t9 = _1;
t10 = _13;
t11 = t9 and t10;
t154 = _33;
t180 = _41;
t181 = t154 and t180;
t182 = not t181;
t183 = t11 and t182;
t184 = not t183;
t47 = _270;
t322 = t184 and t47;
t186 = not t9;
t187 = _45;
t188 = t186 and t187;
t189 = not t180;
t190 = t188 and t189;
t191 = not t190;
t323 = t322 and t191;
t193 = _274;
t194 = t184 and t193;
t195 = t194 and t190;
t324 = t323 or t195;
t325 = _303;
t155 = not t154;
t198 = not t155;
t326 = t325 and t198;
t17 = _257;
t200 = _1698;
t201 = t200 or t154;
t202 = not t201;
t327 = t17 and t202;
t328 = t326 or t327;
t18 = _264;
t205 = t155 and t201;
t329 = t18 and t205;
t330 = t328 or t329;
t331 = t183 and t330;
t332 = t324 or t331;
t185 = t184 and t18;
t192 = t185 and t191;
t196 = t192 or t195;
t197 = _294;
t199 = t197 and t198;
t16 = _250;
t203 = t16 and t202;
t204 = t199 or t203;
t206 = t17 and t205;
t207 = t204 or t206;
t208 = t183 and t207;
t209 = t196 or t208;
t241 = t184 and t16;
t242 = not t188;
t243 = t241 and t242;
t244 = t194 and t188;
t245 = t243 or t244;
t48 = _116;
t246 = t48 and t198;
t27 = _238;
t247 = t27 and t202;
t248 = t246 or t247;
t35 = _244;
t249 = t35 and t205;
t250 = t248 or t249;
t251 = t183 and t250;
t252 = t245 or t251;
t283 = t184 and t17;
t284 = t283 and t191;
t285 = t284 or t195;
t286 = _283;
t287 = t286 and t198;
t288 = t35 and t202;
t289 = t287 or t288;
t290 = t16 and t205;
t291 = t289 or t290;
t292 = t183 and t291;
t293 = t285 or t292;
t744 = t252 and t293;
t745 = t209 and t744;
t746 = t332 and t745;
t211 = _179;
t747 = not t211;
t748 = t746 and t747;
t335 = not t332;
t213 = not t209;
t255 = not t252;
t296 = not t293;
t749 = t255 and t296;
t750 = t213 and t749;
t751 = t335 and t750;
t752 = t751 and t211;
t753 = t748 or t752;
t696 = t186 and t10;
t12 = _20;
t151 = not t12;
t697 = t696 and t151;
t698 = _213;
t699 = t697 and t698;
t700 = _343;
t716 = t699 nand t700;
t754 = not t716;
t755 = t753 and t754;
t150 = _169;
t39 = _107;
t103 = not t39;
t152 = not t151;
t153 = t103 and t152;
t156 = t155 or t12;
t157 = not t156;
t158 = t48 and t157;
t159 = t153 or t158;
t41 = _87;
t160 = t151 and t156;
t161 = t41 and t160;
t162 = t159 or t161;
t163 = t9 nand t10;
t164 = t9 and t12;
t165 = t164 nand t154;
t166 = t163 and t165;
t167 = not t166;
t168 = t162 and t167;
t169 = t10 and t12;
t170 = not t169;
t171 = t9 or t170;
t172 = t39 nor t171;
t173 = t168 or t172;
t174 = t155 or t9;
t175 = t39 and t174;
t176 = t166 and t171;
t177 = t175 and t176;
t178 = t173 or t177;
t179 = t150 and t178;
t210 = t179 and t209;
t212 = t211 and t178;
t214 = t212 and t213;
t215 = t210 nor t214;
t216 = _190;
t217 = t173 nor t177;
t218 = t216 and t217;
t219 = t218 and t213;
t220 = _200;
t221 = t220 and t217;
t222 = t221 and t209;
t223 = t219 or t222;
t224 = not t217;
t225 = t223 or t224;
t226 = t215 and t225;
t110 = not t41;
t43 = _97;
t109 = not t43;
t227 = t110 and t109;
t228 = t227 nand t103;
t229 = t228 and t152;
t230 = t43 and t157;
t231 = t229 or t230;
t5 = _68;
t232 = t5 and t160;
t233 = t231 or t232;
t234 = t233 and t167;
t235 = t41 nor t171;
t236 = t234 or t235;
t237 = t41 and t174;
t238 = t237 and t176;
t239 = t236 or t238;
t240 = t150 and t239;
t253 = t240 and t252;
t254 = t211 and t239;
t256 = t254 and t255;
t257 = t253 nor t256;
t258 = t236 nor t238;
t259 = t216 and t258;
t260 = t259 and t255;
t261 = t220 and t258;
t262 = t261 and t252;
t263 = t260 or t262;
t264 = not t258;
t265 = t263 or t264;
t266 = t257 and t265;
t267 = t39 nand t109;
t268 = t43 nand t103;
t269 = t267 nand t268;
t270 = not t269;
t271 = t270 and t152;
t272 = t39 and t157;
t273 = t271 or t272;
t36 = _77;
t274 = t36 and t160;
t275 = t273 or t274;
t276 = t275 and t167;
t277 = t43 nor t171;
t278 = t276 or t277;
t279 = t43 and t174;
t280 = t279 and t176;
t281 = t278 or t280;
t282 = t150 and t281;
t294 = t282 and t293;
t295 = t211 and t281;
t297 = t295 and t296;
t298 = t294 nor t297;
t299 = t278 nor t280;
t300 = t216 and t299;
t301 = t300 and t296;
t302 = t220 and t299;
t303 = t302 and t293;
t304 = t301 or t303;
t305 = not t299;
t306 = t304 or t305;
t307 = t298 and t306;
t308 = t266 and t307;
t309 = t226 and t308;
t310 = t48 and t152;
t311 = t286 and t157;
t312 = t310 or t311;
t313 = t43 and t160;
t314 = t312 or t313;
t315 = t314 and t167;
t316 = t48 nor t171;
t317 = t315 or t316;
t318 = t48 and t174;
t319 = t318 and t176;
t320 = t317 or t319;
t321 = t150 and t320;
t333 = t321 and t332;
t334 = t211 and t320;
t336 = t334 and t335;
t337 = t333 nor t336;
t338 = t317 nor t319;
t339 = t216 and t338;
t340 = t339 and t335;
t341 = t220 and t338;
t342 = t341 and t332;
t343 = t340 or t342;
t344 = not t338;
t345 = t343 or t344;
t346 = t337 and t345;
t347 = t309 and t346;
t756 = t347 and t716;
t757 = t755 or t756;
t758 = t695 and t757;
t701 = t699 and t700;
t473 = t36 and t152;
t474 = t41 and t157;
t475 = t473 or t474;
t3 = _58;
t476 = t3 and t160;
t477 = t475 or t476;
t478 = t477 and t167;
t479 = t36 nor t171;
t480 = t478 or t479;
t356 = t151 or t9;
t481 = t36 and t356;
t482 = t481 and t176;
t483 = t480 or t482;
t938 = t701 and t483;
t484 = t150 and t483;
t485 = t184 and t35;
t362 = t180 or t187;
t363 = t186 and t362;
t364 = not t363;
t486 = t485 and t364;
t366 = t194 and t363;
t487 = t486 or t366;
t488 = t39 and t198;
t31 = _232;
t489 = t31 and t202;
t490 = t488 or t489;
t491 = t27 and t205;
t492 = t490 or t491;
t493 = t183 and t492;
t494 = t487 or t493;
t495 = t484 and t494;
t496 = t211 and t483;
t497 = not t494;
t498 = t496 and t497;
t499 = t495 nor t498;
t500 = t480 nor t482;
t501 = t216 and t500;
t502 = t501 and t497;
t503 = t220 and t500;
t504 = t503 and t494;
t505 = t502 or t504;
t506 = not t500;
t507 = t505 or t506;
t508 = t499 and t507;
t939 = not t508;
t940 = t938 nand t939;
t941 = not t938;
t942 = t508 nand t941;
t943 = t940 nand t942;
t634 = t210 or t214;
t635 = t308 nand t634;
t636 = t253 or t256;
t637 = not t636;
t638 = t294 or t297;
t639 = t266 nand t638;
t640 = t637 and t639;
t641 = t635 and t640;
t642 = t333 or t336;
t643 = t642 and t307;
t644 = t226 and t643;
t645 = t644 nand t266;
t646 = t641 nand t645;
t759 = t646 and t716;
t760 = not t759;
t944 = t943 nand t760;
t945 = not t943;
t946 = t759 nand t945;
t947 = t944 nand t946;
t948 = not t947;
t949 = t758 nand t948;
t950 = not t758;
t951 = t947 nand t950;
t952 = t949 nand t951;
t798 = t10 and t151;
t799 = t798 nand t187;
t800 = t9 and t799;
t801 = not t800;
t953 = t952 and t801;
t21 = not t10;
t22 = t9 and t21;
t740 = t12 and t22;
t741 = t740 nand t189;
t742 = not t741;
t954 = t952 and t742;
t955 = t953 or t954;
t956 = _143;
t805 = t151 or t216;
t806 = not t220;
t807 = t12 and t211;
t808 = t806 and t807;
t809 = t805 nand t808;
t810 = not t809;
t957 = t956 and t810;
t394 = _150;
t812 = t151 nor t216;
t813 = t220 and t807;
t814 = t812 nand t813;
t815 = not t814;
t958 = t394 and t815;
t437 = _159;
t817 = t812 nand t808;
t818 = not t817;
t959 = t437 and t818;
t2 = _50;
t820 = t12 and t220;
t821 = not t807;
t822 = t820 and t821;
t823 = t805 nand t822;
t824 = not t823;
t960 = t2 and t824;
t826 = t12 nand t220;
t827 = t826 and t821;
t828 = t805 nand t827;
t829 = not t828;
t961 = t3 and t829;
t962 = _132;
t831 = t812 nand t827;
t832 = not t831;
t963 = t962 and t832;
t834 = t812 nand t822;
t835 = not t834;
t964 = t5 and t835;
t965 = t963 or t964;
t966 = t961 or t965;
t967 = t960 or t966;
t968 = t959 or t967;
t969 = t958 or t968;
t970 = t957 or t969;
t971 = _137;
t843 = t805 nand t813;
t844 = not t843;
t972 = t971 and t844;
t973 = t970 nor t972;
t974 = t973 and t155;
t975 = t197 and t810;
t976 = t286 and t815;
t977 = t48 and t818;
t978 = t39 and t824;
t830 = t43 and t829;
t852 = _311;
t979 = t852 and t832;
t980 = t41 and t835;
t981 = t979 or t980;
t982 = t830 or t981;
t983 = t978 or t982;
t984 = t977 or t983;
t985 = t976 or t984;
t986 = t975 or t985;
t987 = t325 and t844;
t988 = t986 nor t987;
t989 = t988 and t154;
t990 = t974 or t989;
t870 = t151 or t150;
t871 = t11 nand t870;
t872 = not t871;
t991 = t990 and t872;
t992 = t21 nand t155;
t993 = not t992;
t994 = t945 and t993;
t995 = t991 or t994;
t121 = not t36;
t996 = t871 and t992;
t997 = t121 and t996;
t998 = t995 nor t997;
t900 = t800 and t741;
t999 = t998 and t900;
t1000 = t955 or t999;
t1001 = t955 nor t999;
t1002 = not t1001;
t1003 = t1000 and t1002;
t511 = t193 and t190;
t548 = t323 or t511;
t549 = t548 or t331;
t512 = t192 or t511;
t513 = t512 or t208;
t523 = t193 and t188;
t524 = t243 or t523;
t525 = t524 or t251;
t535 = t284 or t511;
t536 = t535 or t292;
t773 = t525 and t536;
t774 = t513 and t773;
t775 = t549 and t774;
t776 = t775 and t747;
t551 = not t549;
t515 = not t513;
t527 = not t525;
t538 = not t536;
t777 = t527 and t538;
t778 = t515 and t777;
t779 = t551 and t778;
t780 = t779 and t211;
t781 = t776 or t780;
t782 = t781 and t754;
t514 = t179 and t513;
t516 = t212 and t515;
t517 = t514 nor t516;
t518 = t216 and t515;
t519 = t220 and t513;
t520 = t518 or t519;
t521 = t520 or t224;
t522 = t517 and t521;
t526 = t240 and t525;
t528 = t254 and t527;
t529 = t526 nor t528;
t530 = t216 and t527;
t531 = t220 and t525;
t532 = t530 or t531;
t533 = t532 or t264;
t534 = t529 and t533;
t537 = t282 and t536;
t539 = t295 and t538;
t540 = t537 nor t539;
t541 = t216 and t538;
t542 = t220 and t536;
t543 = t541 or t542;
t544 = t543 or t305;
t545 = t540 and t544;
t546 = t534 and t545;
t547 = t522 and t546;
t550 = t321 and t549;
t552 = t334 and t551;
t553 = t550 nor t552;
t554 = t216 and t551;
t555 = t220 and t549;
t556 = t554 or t555;
t557 = t556 or t344;
t558 = t553 and t557;
t559 = t547 and t558;
t783 = t559 and t716;
t784 = t782 or t783;
t785 = t695 and t784;
t614 = t481 and t166;
t615 = t480 or t614;
t1004 = t701 and t615;
t616 = t150 and t615;
t563 = t193 and t363;
t617 = t486 or t563;
t618 = t617 or t493;
t619 = t616 and t618;
t620 = t211 and t615;
t621 = not t618;
t622 = t620 and t621;
t623 = t619 nor t622;
t624 = t216 and t621;
t625 = t220 and t618;
t626 = t624 or t625;
t627 = t480 nor t614;
t628 = not t627;
t629 = t626 or t628;
t630 = t623 and t629;
t1005 = not t630;
t1006 = t1004 nand t1005;
t1007 = not t1004;
t1008 = t630 nand t1007;
t1009 = t1006 nand t1008;
t664 = t514 or t516;
t665 = t546 nand t664;
t666 = t526 or t528;
t667 = not t666;
t668 = t537 or t539;
t669 = t534 nand t668;
t670 = t667 and t669;
t671 = t665 and t670;
t672 = t550 or t552;
t673 = t672 and t545;
t674 = t522 and t673;
t675 = t674 nand t534;
t676 = t671 nand t675;
t786 = t676 and t716;
t1010 = not t786;
t1011 = t1009 nand t1010;
t1012 = not t1009;
t1013 = t786 nand t1012;
t1014 = t1011 nand t1013;
t1015 = not t1014;
t1016 = t785 nand t1015;
t1017 = not t785;
t1018 = t1014 nand t1017;
t1019 = t1016 nand t1018;
t1020 = t1019 and t801;
t1021 = t1019 and t742;
t1022 = t1020 or t1021;
t913 = t10 nand t870;
t914 = not t913;
t1023 = t990 and t914;
t1024 = not t1005;
t1025 = not t1024;
t1026 = t1025 and t993;
t1027 = t1023 or t1026;
t1028 = t913 and t992;
t1029 = t121 and t1028;
t1030 = t1027 nor t1029;
t1031 = t1030 and t900;
t1032 = t1022 nor t1031;
t1033 = not t1032;
t1034 = t1003 biimp t1033;
t4 = not t3;
t430 = t5 nand t4;
t6 = not t5;
t431 = t3 nand t6;
t432 = t430 nand t431;
t1035 = t432 and t36;
t127 = not t2;
t1036 = not t127;
t1037 = t1035 and t1036;
t1038 = t5 and t127;
t1039 = t1037 or t1038;
t1040 = t9 nand t21;
t1041 = not t1040;
t1042 = t1039 and t1041;
t1043 = t48 and t269;
t13 = t11 nand t12;
t14 = not t13;
t1044 = t1043 and t14;
t1045 = t1042 or t1044;
t348 = t6 and t152;
t349 = t36 and t157;
t350 = t348 or t349;
t351 = t2 and t160;
t352 = t350 or t351;
t353 = t352 and t167;
t354 = t5 nor t171;
t355 = t353 or t354;
t357 = t5 and t356;
t358 = t357 and t176;
t359 = t355 or t358;
t1046 = t701 and t359;
t360 = t150 and t359;
t361 = t184 and t27;
t365 = t361 and t364;
t367 = t365 or t366;
t368 = t43 and t198;
t29 = _226;
t369 = t29 and t202;
t370 = t368 or t369;
t371 = t31 and t205;
t372 = t370 or t371;
t373 = t183 and t372;
t374 = t367 or t373;
t375 = t360 and t374;
t376 = t211 and t359;
t377 = not t374;
t378 = t376 and t377;
t379 = t375 nor t378;
t380 = t355 nor t358;
t381 = t216 and t380;
t382 = t381 and t377;
t383 = t220 and t380;
t384 = t383 and t374;
t385 = t382 or t384;
t386 = not t380;
t387 = t385 or t386;
t388 = t379 and t387;
t1047 = not t388;
t1048 = t1046 nand t1047;
t1049 = not t1046;
t1050 = t388 nand t1049;
t1051 = t1048 nand t1050;
t433 = not t432;
t434 = t433 and t152;
t435 = t5 and t157;
t436 = t434 or t435;
t438 = t437 and t160;
t439 = t436 or t438;
t440 = t439 and t167;
t441 = t3 nor t171;
t442 = t440 or t441;
t443 = t3 and t356;
t444 = t443 and t176;
t445 = t442 or t444;
t1052 = t699 and t445;
t446 = t150 and t445;
t447 = t184 and t31;
t448 = t447 and t364;
t449 = t448 or t366;
t450 = t41 and t198;
t411 = _223;
t451 = t411 and t202;
t452 = t450 or t451;
t453 = t29 and t205;
t454 = t452 or t453;
t455 = t183 and t454;
t456 = t449 or t455;
t457 = t446 and t456;
t458 = t211 and t445;
t459 = not t456;
t460 = t458 and t459;
t461 = t457 nor t460;
t462 = t442 nor t444;
t463 = t216 and t462;
t464 = t463 and t459;
t465 = t220 and t462;
t466 = t465 and t456;
t467 = t464 or t466;
t468 = not t462;
t469 = t467 or t468;
t470 = t461 and t469;
t1053 = not t470;
t1054 = t1052 nand t1053;
t1055 = not t1052;
t1056 = t470 nand t1055;
t1057 = t1054 nand t1056;
t1058 = t757 and t1057;
t1059 = t1051 and t1058;
t1060 = t1059 and t943;
t389 = t127 and t4;
t390 = t389 nand t6;
t391 = t390 and t152;
t392 = t3 and t157;
t393 = t391 or t392;
t395 = t394 and t160;
t396 = t393 or t395;
t397 = t396 and t167;
t398 = t2 nor t171;