c1355.cal

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

/* BDD Calculator data file */

initial 10000 10000;

inputs
_1gat _8gat _15gat _22gat _29gat _36gat _43gat _50gat _57gat _64gat 
_71gat _78gat _85gat _92gat _99gat _106gat _113gat _120gat _127gat _134gat 
_141gat _148gat _155gat _162gat _169gat _176gat _183gat _190gat _197gat _204gat 
_211gat _218gat _225gat _226gat _227gat _228gat _229gat _230gat _231gat _232gat 
_233gat ;

actions
autoreorder 0 sift;

t2 = _1gat;
t3 = _29gat;
t4 = t2 nand t3;
t5 = t2 nand t4;
t6 = t3 nand t4;
t7 = t5 nand t6;
t8 = _57gat;
t9 = _85gat;
t10 = t8 nand t9;
t11 = t8 nand t10;
t12 = t9 nand t10;
t13 = t11 nand t12;
t14 = t7 nand t13;
t15 = t7 nand t14;
t16 = t13 nand t14;
t17 = t15 nand t16;
t18 = _225gat;
t19 = _233gat;
t20 = t18 and t19;
t21 = _113gat;
t22 = _120gat;
t23 = t21 nand t22;
t24 = t21 nand t23;
t25 = t22 nand t23;
t26 = t24 nand t25;
t27 = _127gat;
t28 = _134gat;
t29 = t27 nand t28;
t30 = t27 nand t29;
t31 = t28 nand t29;
t32 = t30 nand t31;
t33 = t26 nand t32;
t34 = t26 nand t33;
t35 = t32 nand t33;
t36 = t34 nand t35;
t37 = _141gat;
t38 = _148gat;
t39 = t37 nand t38;
t40 = t37 nand t39;
t41 = t38 nand t39;
t42 = t40 nand t41;
t43 = _155gat;
t44 = _162gat;
t45 = t43 nand t44;
t46 = t43 nand t45;
t47 = t44 nand t45;
t48 = t46 nand t47;
t49 = t42 nand t48;
t50 = t42 nand t49;
t51 = t48 nand t49;
t52 = t50 nand t51;
t53 = t36 nand t52;
t54 = t36 nand t53;
t55 = t52 nand t53;
t56 = t54 nand t55;
t57 = t20 nand t56;
t58 = t20 nand t57;
t59 = t56 nand t57;
t60 = t58 nand t59;
t61 = t17 nand t60;
t62 = t17 nand t61;
t63 = t60 nand t61;
t64 = t62 nand t63;
t65 = t28 nand t44;
t66 = t28 nand t65;
t67 = t44 nand t65;
t68 = t66 nand t67;
t69 = _190gat;
t70 = _218gat;
t71 = t69 nand t70;
t72 = t69 nand t71;
t73 = t70 nand t71;
t74 = t72 nand t73;
t75 = t68 nand t74;
t76 = t68 nand t75;
t77 = t74 nand t75;
t78 = t76 nand t77;
t79 = _232gat;
t80 = t79 and t19;
t81 = _36gat;
t82 = t3 nand t81;
t83 = t3 nand t82;
t84 = t81 nand t82;
t85 = t83 nand t84;
t86 = _43gat;
t87 = _50gat;
t88 = t86 nand t87;
t89 = t86 nand t88;
t90 = t87 nand t88;
t91 = t89 nand t90;
t92 = t85 nand t91;
t93 = t85 nand t92;
t94 = t91 nand t92;
t95 = t93 nand t94;
t96 = _92gat;
t97 = t9 nand t96;
t98 = t9 nand t97;
t99 = t96 nand t97;
t100 = t98 nand t99;
t101 = _99gat;
t102 = _106gat;
t103 = t101 nand t102;
t104 = t101 nand t103;
t105 = t102 nand t103;
t106 = t104 nand t105;
t107 = t100 nand t106;
t108 = t100 nand t107;
t109 = t106 nand t107;
t110 = t108 nand t109;
t111 = t95 nand t110;
t112 = t95 nand t111;
t113 = t110 nand t111;
t114 = t112 nand t113;
t115 = t80 nand t114;
t116 = t80 nand t115;
t117 = t114 nand t115;
t118 = t116 nand t117;
t119 = t78 nand t118;
t120 = t78 nand t119;
t121 = t118 nand t119;
t122 = t120 nand t121;
t123 = not t122;
t124 = t27 nand t43;
t125 = t27 nand t124;
t126 = t43 nand t124;
t127 = t125 nand t126;
t128 = _183gat;
t129 = _211gat;
t130 = t128 nand t129;
t131 = t128 nand t130;
t132 = t129 nand t130;
t133 = t131 nand t132;
t134 = t127 nand t133;
t135 = t127 nand t134;
t136 = t133 nand t134;
t137 = t135 nand t136;
t138 = _231gat;
t139 = t138 and t19;
t140 = _8gat;
t141 = t2 nand t140;
t142 = t2 nand t141;
t143 = t140 nand t141;
t144 = t142 nand t143;
t145 = _15gat;
t146 = _22gat;
t147 = t145 nand t146;
t148 = t145 nand t147;
t149 = t146 nand t147;
t150 = t148 nand t149;
t151 = t144 nand t150;
t152 = t144 nand t151;
t153 = t150 nand t151;
t154 = t152 nand t153;
t155 = _64gat;
t156 = t8 nand t155;
t157 = t8 nand t156;
t158 = t155 nand t156;
t159 = t157 nand t158;
t160 = _71gat;
t161 = _78gat;
t162 = t160 nand t161;
t163 = t160 nand t162;
t164 = t161 nand t162;
t165 = t163 nand t164;
t166 = t159 nand t165;
t167 = t159 nand t166;
t168 = t165 nand t166;
t169 = t167 nand t168;
t170 = t154 nand t169;
t171 = t154 nand t170;
t172 = t169 nand t170;
t173 = t171 nand t172;
t174 = t139 nand t173;
t175 = t139 nand t174;
t176 = t173 nand t174;
t177 = t175 nand t176;
t178 = t137 nand t177;
t179 = t137 nand t178;
t180 = t177 nand t178;
t181 = t179 nand t180;
t182 = t21 nand t37;
t183 = t21 nand t182;
t184 = t37 nand t182;
t185 = t183 nand t184;
t186 = _169gat;
t187 = _197gat;
t188 = t186 nand t187;
t189 = t186 nand t188;
t190 = t187 nand t188;
t191 = t189 nand t190;
t192 = t185 nand t191;
t193 = t185 nand t192;
t194 = t191 nand t192;
t195 = t193 nand t194;
t196 = _229gat;
t197 = t196 and t19;
t198 = t154 nand t95;
t199 = t154 nand t198;
t200 = t95 nand t198;
t201 = t199 nand t200;
t202 = t197 nand t201;
t203 = t197 nand t202;
t204 = t201 nand t202;
t205 = t203 nand t204;
t206 = t195 nand t205;
t207 = t195 nand t206;
t208 = t205 nand t206;
t209 = t207 nand t208;
t210 = t22 nand t38;
t211 = t22 nand t210;
t212 = t38 nand t210;
t213 = t211 nand t212;
t214 = _176gat;
t215 = _204gat;
t216 = t214 nand t215;
t217 = t214 nand t216;
t218 = t215 nand t216;
t219 = t217 nand t218;
t220 = t213 nand t219;
t221 = t213 nand t220;
t222 = t219 nand t220;
t223 = t221 nand t222;
t224 = _230gat;
t225 = t224 and t19;
t226 = t169 nand t110;
t227 = t169 nand t226;
t228 = t110 nand t226;
t229 = t227 nand t228;
t230 = t225 nand t229;
t231 = t225 nand t230;
t232 = t229 nand t230;
t233 = t231 nand t232;
t234 = t223 nand t233;
t235 = t223 nand t234;
t236 = t233 nand t234;
t237 = t235 nand t236;
t238 = not t237;
t239 = t209 and t238;
t240 = t181 and t239;
t241 = t123 and t240;
t242 = t145 nand t86;
t243 = t145 nand t242;
t244 = t86 nand t242;
t245 = t243 nand t244;
t246 = t160 nand t101;
t247 = t160 nand t246;
t248 = t101 nand t246;
t249 = t247 nand t248;
t250 = t245 nand t249;
t251 = t245 nand t250;
t252 = t249 nand t250;
t253 = t251 nand t252;
t254 = _227gat;
t255 = t254 and t19;
t256 = t186 nand t214;
t257 = t186 nand t256;
t258 = t214 nand t256;
t259 = t257 nand t258;
t260 = t128 nand t69;
t261 = t128 nand t260;
t262 = t69 nand t260;
t263 = t261 nand t262;
t264 = t259 nand t263;
t265 = t259 nand t264;
t266 = t263 nand t264;
t267 = t265 nand t266;
t268 = t36 nand t267;
t269 = t36 nand t268;
t270 = t267 nand t268;
t271 = t269 nand t270;
t272 = t255 nand t271;
t273 = t255 nand t272;
t274 = t271 nand t272;
t275 = t273 nand t274;
t276 = t253 nand t275;
t277 = t253 nand t276;
t278 = t275 nand t276;
t279 = t277 nand t278;
t280 = not t279;
t281 = not t64;
t282 = t140 nand t81;
t283 = t140 nand t282;
t284 = t81 nand t282;
t285 = t283 nand t284;
t286 = t155 nand t96;
t287 = t155 nand t286;
t288 = t96 nand t286;
t289 = t287 nand t288;
t290 = t285 nand t289;
t291 = t285 nand t290;
t292 = t289 nand t290;
t293 = t291 nand t292;
t294 = _226gat;
t295 = t294 and t19;
t296 = t187 nand t215;
t297 = t187 nand t296;
t298 = t215 nand t296;
t299 = t297 nand t298;
t300 = t129 nand t70;
t301 = t129 nand t300;
t302 = t70 nand t300;
t303 = t301 nand t302;
t304 = t299 nand t303;
t305 = t299 nand t304;
t306 = t303 nand t304;
t307 = t305 nand t306;
t308 = t267 nand t307;
t309 = t267 nand t308;
t310 = t307 nand t308;
t311 = t309 nand t310;
t312 = t295 nand t311;
t313 = t295 nand t312;
t314 = t311 nand t312;
t315 = t313 nand t314;
t316 = t293 nand t315;
t317 = t293 nand t316;
t318 = t315 nand t316;
t319 = t317 nand t318;
t320 = t281 and t319;
t321 = t280 and t320;
t322 = t146 nand t87;
t323 = t146 nand t322;
t324 = t87 nand t322;
t325 = t323 nand t324;
t326 = t161 nand t102;
t327 = t161 nand t326;
t328 = t102 nand t326;
t329 = t327 nand t328;
t330 = t325 nand t329;
t331 = t325 nand t330;
t332 = t329 nand t330;
t333 = t331 nand t332;
t334 = _228gat;
t335 = t334 and t19;
t336 = t52 nand t307;
t337 = t52 nand t336;
t338 = t307 nand t336;
t339 = t337 nand t338;
t340 = t335 nand t339;
t341 = t335 nand t340;
t342 = t339 nand t340;
t343 = t341 nand t342;
t344 = t333 nand t343;
t345 = t333 nand t344;
t346 = t343 nand t344;
t347 = t345 nand t346;
t348 = not t347;
t349 = t321 and t348;
t350 = not t319;
t351 = t281 and t350;
t352 = t280 and t351;
t353 = t352 and t347;
t354 = t279 and t351;
t355 = t354 and t348;
t356 = t353 or t355;
t357 = t349 or t356;
t358 = t64 and t350;
t359 = t280 and t358;
t360 = t359 and t348;
t361 = t357 or t360;
t362 = t241 and t361;
t363 = t64 and t362;
t364 = t2 nand t363;
t365 = t2 nand t364;
t366 = t363 nand t364;
t367 = t365 nand t366;
t368 = t281 and t280;
t369 = t368 and t348;
t370 = t351 and t280;
t371 = t351 and t348;
t372 = t370 or t371;
t373 = t369 or t372;
t374 = t350 and t280;
t375 = t374 and t348;
t376 = t373 or t375;
t377 = t241 and t376;
t378 = t64 and t377;
t379 = t2 nand t378;
t380 = t2 nand t379;
t381 = t378 nand t379;
t382 = t380 nand t381;
t383 = t367 biimp t382;
t384 = t319 and t362;
t385 = t140 nand t384;
t386 = t140 nand t385;
t387 = t384 nand t385;
t388 = t386 nand t387;
t389 = t319 and t377;
t390 = t140 nand t389;
t391 = t140 nand t390;
t392 = t389 nand t390;
t393 = t391 nand t392;
t394 = t388 biimp t393;
t466 = not t209;
t467 = t466 and t237;
t468 = t181 and t467;