c2670.cal

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

/* BDD Calculator data file */

initial 41000 10000;

inputs
_1 _2 _3 _4 _5 _6 _7 _8 _11 _14 
_15 _16 _19 _20 _21 _22 _23 _24 _25 _26 
_27 _28 _29 _32 _33 _34 _35 _36 _37 _40 
_43 _44 _47 _48 _49 _50 _51 _52 _53 _54 
_55 _56 _57 _60 _61 _62 _63 _64 _65 _66 
_67 _68 _69 _72 _73 _74 _75 _76 _77 _78 
_79 _80 _81 _82 _85 _86 _87 _88 _89 _90 
_91 _92 _93 _94 _95 _96 _99 _100 _101 _102 
_103 _104 _105 _106 _107 _108 _111 _112 _113 _114 
_115 _116 _117 _118 _119 _120 _123 _124 _125 _126 
_127 _128 _129 _130 _131 _132 _135 _136 _137 _138 
_139 _140 _141 _142 _452 _483 _543 _559 _567 _651 
_661 _860 _868 _1083 _1341 _1348 _1384 _1956 _1961 _1966 
_1971 _1976 _1981 _1986 _1991 _1996 _2066 _2067 _2072 _2078 
_2084 _2090 _2096 _2100 _2104 _2105 _2106 _2427 _2430 _2435 
_2438 _2443 _2446 _2451 _2454 _2474 _2678 ;

actions
autoreorder 0 sift;

t2 = _860;
t3 = not t2;
t4 = _56;
t5 = _543;
t6 = not t5;
t7 = t4 and t6;
t8 = _651;
t9 = t7 and t8;
t10 = _81;
t11 = t10 and t6;
t12 = not t8;
t13 = t11 and t12;
t14 = _43;
t15 = t14 and t5;
t16 = t15 and t12;
t17 = t13 or t16;
t18 = t9 or t17;
t19 = _68;
t20 = t19 and t5;
t21 = t20 and t8;
t22 = t18 or t21;
t23 = t22 and t2;
t24 = t3 or t23;
t25 = t3 or t22;
t26 = t24 biimp t25;
t27 = t6 and t8;
t28 = _87;
t29 = t28 and t6;
t30 = t29 and t12;
t31 = _49;
t32 = t31 and t5;
t33 = t32 and t12;
t34 = t30 or t33;
t35 = t27 or t34;
t36 = _74;
t37 = t36 and t5;
t38 = t37 and t8;
t39 = t35 or t38;
t40 = t29 or t33;
t41 = t27 or t40;
t42 = t36 and t8;
t43 = t41 or t42;
t44 = t39 biimp t43;
t45 = _559;
t46 = not t45;
t47 = _66;
t48 = t47 and t6;
t49 = t48 and t8;
t50 = _92;
t51 = t50 and t6;
t52 = t51 and t12;
t53 = _54;
t54 = t53 and t5;
t55 = t54 and t12;
t56 = t52 or t55;
t57 = t49 or t56;
t58 = _79;
t59 = t58 and t5;
t60 = t59 and t8;
t61 = t57 or t60;
t62 = not t61;
t63 = t46 nand t62;
t64 = t63 and t3;
t65 = t61 and t2;
t66 = t64 or t65;
t67 = t64 or t61;
t68 = t66 biimp t67;
t69 = _2100;
t70 = not t69;
t71 = _2104;
t72 = not t71;
t73 = _2105;
t74 = t72 and t73;
t75 = not t73;
t76 = t72 and t75;
t77 = t71 and t75;
t78 = t76 or t77;
t79 = t74 or t78;
t80 = t71 and t73;
t81 = t79 or t80;
t82 = t70 nand t81;
t83 = t70 and t82;
t84 = t82 and t81;
t85 = t83 or t84;
t86 = not t85;
t87 = t85 and t86;
t88 = t87 or t86;
t89 = _2096;
t90 = not t89;
t91 = _123;
t92 = t91 and t72;
t93 = t92 and t73;
t94 = _135;
t95 = t94 and t72;
t96 = t95 and t75;
t97 = _99;
t98 = t97 and t71;
t99 = t98 and t75;
t100 = t96 or t99;
t101 = t93 or t100;
t102 = _111;
t103 = t102 and t71;
t104 = t103 and t73;
t105 = t101 or t104;
t106 = t90 nand t105;
t107 = t90 and t106;
t108 = t106 and t105;
t109 = t107 or t108;
t110 = not t109;
t111 = t109 and t110;
t112 = t111 or t110;
t113 = t88 nand t112;
t114 = not t70;
t115 = not t114;
t116 = t115 nand t110;
t117 = t113 biimp t116;
t118 = _23;
t119 = _16;
t120 = not t119;
t121 = t118 and t120;
t122 = t39 and t119;
t123 = t121 or t122;
t124 = _1976;
t125 = not t124;
t126 = not t125;
t127 = t123 nand t126;
t128 = not t123;
t129 = t125 nand t128;
t130 = t127 nand t129;
t131 = not t130;
t132 = _6;
t133 = t132 and t120;
t134 = _61;
t135 = t134 and t6;
t136 = t135 and t8;
t137 = _86;
t138 = t137 and t6;
t139 = t138 and t12;
t140 = _48;
t141 = t140 and t5;
t142 = t141 and t12;
t143 = t139 or t142;
t144 = t136 or t143;
t145 = _73;
t146 = t145 and t5;
t147 = t146 and t8;
t148 = t144 or t147;
t149 = t148 and t119;
t150 = t133 or t149;
t151 = _1981;
t152 = not t151;
t153 = not t152;
t154 = t150 nand t153;
t155 = not t150;
t156 = t152 nand t155;
t157 = t154 nand t156;
t158 = not t157;
t159 = _25;
t160 = _29;
t161 = not t160;
t162 = t159 and t161;
t163 = _119;
t164 = t163 and t72;
t165 = t164 and t73;
t166 = _131;
t167 = t166 and t72;
t168 = t167 and t75;
t169 = _95;
t170 = t169 and t71;
t171 = t170 and t75;
t172 = t168 or t171;
t173 = t165 or t172;
t174 = _107;
t175 = t174 and t71;
t176 = t175 and t73;
t177 = t173 or t176;
t178 = t177 and t160;
t179 = t162 or t178;
t180 = _1991;
t181 = not t180;
t182 = not t181;
t183 = t179 nand t182;
t184 = not t179;
t185 = t181 nand t184;
t186 = t183 nand t185;
t187 = not t186;
t188 = _24;
t189 = t188 and t120;
t190 = _60;
t191 = t190 and t6;
t192 = t191 and t8;
t193 = _85;
t194 = t193 and t6;
t195 = t194 and t12;
t196 = _47;
t197 = t196 and t5;
t198 = t197 and t12;
t199 = t195 or t198;
t200 = t192 or t199;
t201 = _72;
t202 = t201 and t5;
t203 = t202 and t8;
t204 = t200 or t203;
t205 = t204 and t119;
t206 = t189 or t205;
t207 = _1986;
t208 = not t207;
t209 = not t208;
t210 = t206 nand t209;
t211 = not t206;
t212 = t208 nand t211;
t213 = t210 nand t212;
t214 = not t213;
t215 = t187 and t214;
t216 = t158 and t215;
t217 = t131 and t216;
t218 = _22;
t219 = t218 and t120;
t220 = _62;
t221 = t220 and t6;
t222 = t221 and t8;
t223 = _88;
t224 = t223 and t6;
t225 = t224 and t12;
t226 = _50;
t227 = t226 and t5;
t228 = t227 and t12;
t229 = t225 or t228;
t230 = t222 or t229;
t231 = _75;
t232 = t231 and t5;
t233 = t232 and t8;
t234 = t230 or t233;
t235 = t234 and t119;
t236 = t219 or t235;
t237 = _1971;
t238 = not t237;
t239 = not t238;
t240 = t236 nand t239;
t241 = not t236;
t242 = t238 nand t241;
t243 = t240 nand t242;
t244 = not t243;
t245 = t217 and t244;
t246 = _4;
t247 = t246 and t120;
t248 = t61 and t119;
t249 = t247 or t248;
t250 = _1348;
t251 = not t250;
t252 = not t251;
t253 = t249 nand t252;
t254 = not t249;
t255 = t251 nand t254;
t256 = t253 nand t255;
t257 = not t256;
t258 = _20;
t259 = t258 and t120;
t260 = _65;
t261 = t260 and t6;
t262 = t261 and t8;
t263 = _91;
t264 = t263 and t6;
t265 = t264 and t12;
t266 = _53;
t267 = t266 and t5;
t268 = t267 and t12;
t269 = t265 or t268;
t270 = t262 or t269;
t271 = _78;
t272 = t271 and t5;
t273 = t272 and t8;
t274 = t270 or t273;
t275 = t274 and t119;
t276 = t259 or t275;
t277 = _1956;
t278 = not t277;
t279 = not t278;
t280 = t276 nand t279;
t281 = not t276;
t282 = t278 nand t281;
t283 = t280 nand t282;
t284 = not t283;
t285 = _21;
t286 = t285 and t120;
t287 = _63;
t288 = t287 and t6;
t289 = t288 and t8;
t290 = _89;
t291 = t290 and t6;
t292 = t291 and t12;
t293 = _51;
t294 = t293 and t5;
t295 = t294 and t12;
t296 = t292 or t295;
t297 = t289 or t296;
t298 = _76;
t299 = t298 and t5;
t300 = t299 and t8;
t301 = t297 or t300;
t302 = t301 and t119;
t303 = t286 or t302;
t304 = _1966;
t305 = not t304;
t306 = not t305;
t307 = t303 nand t306;
t308 = not t303;
t309 = t305 nand t308;
t310 = t307 nand t309;
t311 = not t310;
t312 = _5;
t313 = t312 and t120;
t314 = _64;
t315 = t314 and t6;
t316 = t315 and t8;
t317 = _90;
t318 = t317 and t6;
t319 = t318 and t12;
t320 = _52;
t321 = t320 and t5;
t322 = t321 and t12;
t323 = t319 or t322;
t324 = t316 or t323;
t325 = _77;
t326 = t325 and t5;
t327 = t326 and t8;
t328 = t324 or t327;
t329 = t328 and t119;
t330 = t313 or t329;
t331 = _1961;
t332 = not t331;
t333 = not t332;
t334 = t330 nand t333;
t335 = not t330;
t336 = t332 nand t335;
t337 = t334 nand t336;
t338 = not t337;
t339 = t311 and t338;
t340 = t284 and t339;
t341 = t257 and t340;
t342 = _19;
t343 = t342 and t120;
t344 = t22 and t119;
t345 = t343 or t344;
t346 = _1341;
t347 = not t346;
t348 = not t347;
t349 = t345 nand t348;
t350 = not t345;
t351 = t347 nand t350;
t352 = t349 nand t351;
t353 = not t352;
t354 = t341 and t353;
t355 = t245 and t354;
t356 = _28;
t357 = t356 and t161;
t358 = t105 and t160;
t359 = t357 or t358;
t360 = _35;
t361 = t360 and t161;
t362 = _124;
t363 = t362 and t72;
t364 = t363 and t73;
t365 = _136;
t366 = t365 and t72;
t367 = t366 and t75;
t368 = _100;
t369 = t368 and t71;
t370 = t369 and t75;
t371 = t367 or t370;
t372 = t364 or t371;
t373 = _112;
t374 = t373 and t71;
t375 = t374 and t73;
t376 = t372 or t375;
t377 = t376 and t160;
t378 = t361 or t377;
t379 = _2090;
t380 = not t379;
t381 = not t380;
t382 = t378 nand t381;
t383 = not t378;
t384 = t380 nand t383;
t385 = t382 nand t384;
t386 = not t385;
t387 = t359 and t386;
t388 = _26;
t389 = t388 and t161;
t390 = _128;
t391 = t390 and t72;
t392 = t391 and t73;
t393 = _140;
t394 = t393 and t72;
t395 = t394 and t75;
t396 = _104;
t397 = t396 and t71;
t398 = t397 and t75;
t399 = t395 or t398;
t400 = t392 or t399;
t401 = _116;
t402 = t401 and t71;
t403 = t402 and t73;
t404 = t400 or t403;
t405 = t404 and t160;
t406 = t389 or t405;
t407 = _2067;
t408 = not t407;
t409 = not t408;
t410 = t406 nand t409;
t411 = not t406;
t412 = t408 nand t411;
t413 = t410 nand t412;
t414 = not t413;
t415 = _33;
t416 = t415 and t161;
t417 = _127;
t418 = t417 and t72;
t419 = t418 and t73;
t420 = _139;
t421 = t420 and t72;
t422 = t421 and t75;
t423 = _103;
t424 = t423 and t71;
t425 = t424 and t75;
t426 = t422 or t425;
t427 = t419 or t426;
t428 = _115;
t429 = t428 and t71;
t430 = t429 and t73;
t431 = t427 or t430;
t432 = t431 and t160;
t433 = t416 or t432;
t434 = _2072;
t435 = not t434;
t436 = not t435;
t437 = t433 nand t436;
t438 = not t433;
t439 = t435 nand t438;
t440 = t437 nand t439;
t441 = not t440;
t442 = _34;
t443 = t442 and t161;
t444 = _125;
t445 = t444 and t72;
t446 = t445 and t73;
t447 = _137;
t448 = t447 and t72;
t449 = t448 and t75;
t450 = _101;
t451 = t450 and t71;
t452 = t451 and t75;
t453 = t449 or t452;
t454 = t446 or t453;
t455 = _113;
t456 = t455 and t71;
t457 = t456 and t73;
t458 = t454 or t457;
t459 = t458 and t160;
t460 = t443 or t459;
t461 = _2084;
t462 = not t461;
t463 = not t462;
t464 = t460 nand t463;
t465 = not t460;
t466 = t462 nand t465;
t467 = t464 nand t466;
t468 = not t467;
t469 = _27;
t470 = t469 and t161;
t471 = _126;
t472 = t471 and t72;
t473 = t472 and t73;
t474 = _138;
t475 = t474 and t72;
t476 = t475 and t75;
t477 = _102;
t478 = t477 and t71;
t479 = t478 and t75;
t480 = t476 or t479;
t481 = t473 or t480;
t482 = _114;
t483 = t482 and t71;
t484 = t483 and t73;
t485 = t481 or t484;
t486 = t485 and t160;
t487 = t470 or t486;
t488 = _2078;
t489 = not t488;
t490 = not t489;
t491 = t487 nand t490;
t492 = not t487;
t493 = t489 nand t492;
t494 = t491 nand t493;
t495 = not t494;
t496 = t468 and t495;
t497 = t441 and t496;
t498 = t414 and t497;
t499 = _32;
t500 = t499 and t161;
t501 = _129;
t502 = t501 and t72;
t503 = t502 and t73;
t504 = _141;
t505 = t504 and t72;
t506 = t505 and t75;
t507 = _105;
t508 = t507 and t71;
t509 = t508 and t75;
t510 = t506 or t509;
t511 = t503 or t510;
t512 = _117;
t513 = t512 and t71;
t514 = t513 and t73;
t515 = t511 or t514;
t516 = t515 and t160;
t517 = t500 or t516;
t518 = _1996;
t519 = not t518;
t520 = not t519;
t521 = t517 nand t520;
t522 = not t517;
t523 = t519 nand t522;
t524 = t521 nand t523;
t525 = not t524;
t526 = t498 and t525;
t527 = t387 and t526;
t528 = t355 and t527;
t529 = _11;
t530 = _868;
t531 = not t530;
t532 = t529 and t531;
t533 = t529 and t530;
t534 = t532 or t533;
t535 = t528 and t534;
t536 = t43 and t119;
t537 = t121 or t536;
t538 = t537 nand t126;
t539 = not t537;
t540 = t125 nand t539;
t541 = t538 nand t540;
t542 = not t541;
t543 = t542 and t216;
t544 = t543 and t244;
t545 = t544 and t354;
t546 = t545 and t527;
t547 = t546 and t529;
t548 = t535 biimp t547;
t549 = not t535;
t550 = not t547;
t551 = t549 biimp t550;
t552 = not t376;
t553 = t458 nand t552;
t554 = not t458;
t555 = t376 nand t554;
t556 = t553 nand t555;
t557 = not t81;
t558 = t105 nand t557;
t559 = not t105;
t560 = t81 nand t559;
t561 = t558 nand t560;
t562 = not t561;
t563 = t556 nand t562;
t564 = not t556;
t565 = t561 nand t564;
t566 = t563 nand t565;
t567 = _130;
t568 = t567 and t72;
t569 = t568 and t73;
t570 = _142;
t571 = t570 and t72;
t572 = t571 and t75;
t573 = _106;
t574 = t573 and t71;
t575 = t574 and t75;
t576 = t572 or t575;
t577 = t569 or t576;
t578 = _118;
t579 = t578 and t71;
t580 = t579 and t73;
t581 = t577 or t580;
t582 = not t177;
t583 = t581 nand t582;
t584 = not t581;
t585 = t177 nand t584;
t586 = t583 nand t585;
t587 = not t404;
t588 = t515 nand t587;
t589 = not t515;
t590 = t404 nand t589;
t591 = t588 nand t590;
t592 = not t591;
t593 = t586 and t592;
t594 = not t485;
t595 = t431 nand t594;