INORDER = ppccconfirm pstarto ppccreqcode1 ptm0i ppccreqcode2 ptm1i 
ppccreqcode3 ptm1l pwdcntxxxxstate1 pwdcntxxxxstate3 packl pwdcntxxxxstate2 
pbus_inactive ppccreq ppccsawreset plastrqsti pstarti preseti ptag_match packi 
ppccackcode ppccack pvsacki pvtm0i psbcresetpcc pclk pslotspace_id_match 
pvtm1l pphysrecxxxxstate1 pnubusactive pvtm0l pphysrecxxxxstate0 
pcoherencystate2i pgranti prqsti psinglestep pcoherencystate1i ppccreqcode0 
pvackl pvacki ppccsync nresetxxxxstate0 nnubusxxxxstate1 nslavexxxxstate0 
nslavexxxxstate1 nslavexxxxstate2 nmasterxxxxstate1 nmasterxxxxstate2 
nmasterxxxxstate3 nnubusxxxxstate0 nmasterxxxxstate0 nresetxxxxstate1 
nset_ex_wd_cnt1 nresetxxxxstate2 nreset_wd_cnt nvirmachxxxxstate0 nwd_cnt_test 
nvirmachxxxxstate1 nincr_wd_cnt nwdcntxxxxstate0 nv_receive_begin ngen_reset 
np_receive_begin nintr_req nintr_done nv_transmit_begin nupdatereq nupdatedone
;
OUTORDER = nresetxxxxnextstate0 pclk nnubusxxxxnextstate1 nslavexxxxnextstate0 
nslavexxxxnextstate1 nslavexxxxnextstate2 nmasterxxxxnextstate1 
nmasterxxxxnextstate2 nmasterxxxxnextstate3 nnubusxxxxnextstate0 
nmasterxxxxnextstate0 nresetxxxxnextstate1 norxxxxset_ex_wd_cnt1 
nresetxxxxnextstate2 norxxxxreset_wd_cnt_x nvirmachxxxxnextstate0 
nwdcntxxxxwd_cnt_test nvirmachxxxxnextstate1 norxxxxincr_wd_cnt 
nwdcntxxxxnextstate0 nmasterxxxxv_receive_begin norxxxxgen_reset 
nmasterxxxxp_receive_begin nnubusxxxxintr_req nslavexxxxintr_done 
nslavexxxxv_transmit_begin nmasterxxxxupdatereq nslavexxxxsnoopvtag_w 
pmasterxxxxen_vdbufi presetxxxxsbcresetpcc pwdcntxxxxwd_cnt1 
pmasterxxxxen_abufo pwdcntxxxxwd_cnt0 pwdcntxxxxwd_cnt2 pmasterxxxxen_pdbufo 
pnubusxxxxnubusactive pphysrecxxxxnextstate0 pslavexxxxsbcreqcode2 
pwdcntxxxxnextstate3 pslavexxxxsbcreqcode0 pvirmachxxxxsbcsetdirty 
pwdcntxxxxnextstate2 porxxxxen_start porxxxxsbcackcode0 pslavexxxxsbcreqcode1 
pslavexxxxsnoopstate_w pwdcntxxxxnextstate1 porxxxxvsacko presetxxxxreset 
pvirmachxxxxen_vdbufo porxxxxreseto porxxxxsbcackcodelatch 
pslavexxxxgeneratenextstate pvirmachxxxxsbcconfigure pmasterxxxxl_dbufo_if_tm0 
porxxxxacko pmasterxxxxsbc_writecache porxxxxen_vcntl pnubusxxxxl_pabufi 
pnextstatexxxxcoherencystate2o pmasterxxxxrqsto porxxxxvacko 
pslavexxxxl_vabufi pslavexxxxsnoopaddrfromproc porxxxxsbcackcode1 
porxxxxstarto pmasterxxxxl_pdbufi porxxxxsbcackcode2 pslavexxxxsbcreq 
porxxxxl_dbufo porxxxxsbcackcode3 pslavexxxxsnoopvtagstate_r porxxxxtm0o 
pphysrecxxxxnextstate1 pmasterxxxxarb_active porxxxxen_cntl porxxxxtm1o 
pencodemuxxxxxmx_ad_8 pmasterxxxxen_pdbufi porxxxxsbcack porxxxxvtm1o 
pslavexxxxsnoopvtag_w porxxxxvtm0o pvirmachxxxxsbccacherelease;
pmasterxxxxen_vdbufi = !n_n75;
presetxxxxsbcresetpcc = [1376] + [1375];
nwdcntxxxxwd_cnt1 = !n_n88;
pmasterxxxxen_abufo = !n_n42*[1379];
nwdcntxxxxwd_cnt0 = !n_n84;
nwdcntxxxxwd_cnt2 = !n_n104;
nmasterxxxxl_dbufo_if_tm0 = !n_n74*[1323];
pnubusxxxxnubusactive = n_n165 + n_n179;
pphysrecxxxxnextstate0 = n_n701*!n_n194;
pslavexxxxsbcreqcode2 = !n_n113*[1384];
pslavexxxxsbcreqcode0 = ni192 + ni208;
pvirmachxxxxsbcsetdirty = [1385]*[1386];
porxxxxen_start = ni128 + !n_n147;
porxxxxsbcackcode0 = n_n21 + n_n157;
pslavexxxxsbcreqcode1 = ni208 + ni207;
pslavexxxxsnoopstate_w = !n_n64 + nslavexxxxsnoopvtag_w;
porxxxxvsacko = !n_n2 + !n_n53;
presetxxxxreset = preseti*nresetxxxxstate2;
pvirmachxxxxen_vdbufo = !nvirmachxxxxstate1*!n_n752;
porxxxxreseto = [1396] + !n_n68;
porxxxxsbcackcodelatch = [1401] + n_n21;
pslavexxxxgeneratenextstate = !n_n64;
pvirmachxxxxsbcconfigure = n_n117 + pvirmachxxxxen_vdbufo;
porxxxxacko = nmasterxxxxacko + n_n215;
pmasterxxxxsbc_writecache = n_n48 + n_n75;
porxxxxen_vcntl = [1403] + n_n25;
pnubusxxxxl_pabufi = n_n58 + !preseti;
pnextstatexxxxcoherencystate2o = !pvtm1l*n_n288;
pmasterxxxxrqsto = !psbcresetpcc*!n_n28;
porxxxxvacko = n_n148 + pvirmachxxxxsbccacherelease;
pslavexxxxl_vabufi = [1411] + n_n120;
nslavexxxxsnoopvtag_w = !n_n111*[1374];
porxxxxsbcackcode1 = ni187 + ni188;
porxxxxstarto = !n_n70*!n_n23;
nmasterxxxxl_pdbufi = !n_n694;
porxxxxsbcackcode2 = n_n10 + n_n9;
pslavexxxxsbcreq = !n_n64 + pslavexxxxsbcreqcode2;
porxxxxl_dbufo = [1418] + n_n7;
porxxxxsbcackcode3 = !n_n68 + n_n277;
pslavexxxxsnoopvtagstate_r = !n_n763*!n_n162;
porxxxxtm0o = !n_n105;
pphysrecxxxxnextstate1 = ni287 + ni288;
pmasterxxxxarb_active = !psbcresetpcc*!n_n34;
porxxxxen_cntl = ni172 + ni173;
porxxxxtm1o = ni88 + !n_n4;
pencodemuxxxxxmx_ad_8 = !n_n278*[1420];
porxxxxsbcack = [1425] + n_n51;
porxxxxvtm1o = ppccreqcode1*nmasterxxxxp_receive_begin;
porxxxxvtm0o = [1427] + nmasterxxxxvsacko;
pvirmachxxxxsbccacherelease = pvirmachxxxxen_vdbufo*nwd_cnt_test;
ni163 = !plastrqsti*!n_n63;
ni164 = !packl*n_n269;
n_n687 = ni164 + ni163;
ni173 = !preseti*!n_n723;
n_n50 = !n_n72*!n_n765;
n_n108 = ppccreqcode2*!n_n720;
n_n55 = ppccreqcode0*n_n108;
n_n237 = !n_n264*n_n302;
ni207 = n_n237*!n_n82;
ni219 = !n_n74*!n_n98;
ni220 = !n_n23*n_n107;
n_n30 = ni220 + ni219;
n_n89 = pgranti*!n_n123;
ni273 = !ppccack*!n_n743;
ni284 = !n_n159*!n_n187;
ni295 = !ptm0i*!n_n238;
n_n104 = !n_n150*!n_n206;
n_n695 = !n_n157 + !n_n220;
n_n117 = !ppccack*!n_n169;
ni361 = !n_n285*!n_n231;
ni373 = n_n266*!n_n284;
ni374 = pphysrecxxxxstate1*!n_n246;
n_n727 = ni374 + ni373;
n_n143 = !n_n241*!n_n253;
n_n153 = [1333]*[1334];
n_n730 = !n_n263 + pvtm0l;
n_n159 = ptm1l*n_n730;
n_n245 = n_n292*ngen_reset;
nresetxxxxnextstate0 = n_n245*[1307];
n_n179 = !n_n225*[1344];
n_n186 = [1355]*[1356];
n_n200 = !n_n284*!n_n194;
n_n209 = pwdcntxxxxstate3*!n_n189;
n_n214 = pvackl*!n_n267;
n_n222 = [1382]*[1383];
n_n233 = !n_n286*!n_n24;
ni515 = pstarti*packi;
n_n251 = !n_n764*[1398];
ni537 = !ppccreqcode2*ppccreqcode0;
n_n130 = !nmasterxxxxstate0 + !packl;
n_n256 = !nvirmachxxxxstate0*[1359];
n_n266 = !ptm0i*ptm1i;
n_n277 = !preseti*nresetxxxxstate2;
n_n287 = pphysrecxxxxstate1*nv_receive_begin;
n_n744 = nslavexxxxstate0 + preseti;
n_n297 = !ppccreqcode1*!ppccreqcode2;
n_n293 = !ptm1i*!nv_receive_begin;
n_n258 = !nintr_req*[1312];
n_n748 = !nnubusxxxxstate0 + preseti;
n_n203 = nvirmachxxxxstate0 + psbcresetpcc;
n_n213 = !n_n256*!n_n257;
n_n734 = n_n189 + !pwdcntxxxxstate2;
n_n204 = nnubusxxxxstate1*!n_n746;
n_n295 = !ptm0i*!pstarti;
n_n261 = ppccreqcode1*ppccreqcode2;
n_n722 = n_n134 + !nmasterxxxxstate3;
n_n156 = !n_n210*!n_n202;
n_n717 = ni341 + ni340;
n_n123 = n_n235*[1350];
n_n219 = !prqsti*n_n290;
n_n72 = !n_n110*!n_n269;
n_n102 = !n_n154*[1327];
n_n693 = ni215 + ni214;
n_n148 = !n_n738*[1397];
n_n33 = nslavexxxxstate2*!n_n689;
n_n684 = n_n12 + ppccreqcode1;
n_n75 = n_n74*n_n697;
ni172 = !psbcresetpcc*!n_n60;
n_n51 = !psbcresetpcc*!n_n66;
n_n686 = !n_n95 + !n_n219;
n_n264 = !pcoherencystate2i*pcoherencystate1i;
ni208 = n_n264*!n_n703;
n_n64 = !nslavexxxxv_transmit_begin*!n_n85;
n_n90 = packl*!n_n127;
n_n160 = !psbcresetpcc*!n_n213;
nvirmachxxxxnextstate1 = n_n160 + ni273;
ni285 = nslavexxxxstate2*!n_n243;
ni296 = pphysrecxxxxstate1*!n_n146;
n_n691 = ni296 + ni295;
n_n105 = !n_n148*!n_n215;
n_n110 = !prqsti*!n_n155;
n_n210 = nwd_cnt_test*!n_n193;
n_n701 = !n_n238 + n_n210;
ni363 = !n_n130*!n_n741;
ni364 = nmasterxxxxstate2*!n_n41;
n_n724 = ni364 + ni363;
n_n216 = n_n290*[1319];
n_n137 = pstarti*n_n216;
n_n144 = !n_n226*[1408];
n_n152 = !n_n131*[1325];
n_n270 = !pstarti*nmasterxxxxstate2;
nmasterxxxxv_receive_begin = !n_n67*[1318];
n_n180 = !nresetxxxxstate2*!n_n239;
n_n272 = !preseti*nslavexxxxstate0;
n_n185 = n_n272*[1389];
n_n201 = !n_n283*!n_n273;
n_n208 = packi*!n_n750;
n_n298 = !packi*!nnubusxxxxstate1;
n_n215 = [1308]*[1309];
n_n221 = nincr_wd_cnt*!n_n189;
n_n234 = !nmasterxxxxstate2*!n_n273;
ni516 = nslavexxxxstate0*!n_n135;
n_n747 = ni516 + ni515;
ni536 = ppccreqcode2*!ppccreqcode0;
n_n255 = nslavexxxxstate1*[1316];
n_n759 = !nnubusxxxxstate1 + pstarti;
n_n265 = pvsacki*nslavexxxxstate0;
n_n278 = !ppccreqcode1*ppccreqcode0;
n_n286 = !psinglestep*nmasterxxxxstate3;
n_n763 = nslavexxxxstate1 + nslavexxxxstate2;
n_n296 = !pslotspace_id_match*!nintr_req;
n_n301 = !packi*!nslavexxxxstate0;
n_n752 = !nvirmachxxxxstate0 + psbcresetpcc;
n_n280 = !pphysrecxxxxstate0*nv_receive_begin;
n_n229 = !n_n270*!n_n262;
n_n249 = !n_n293*!n_n761;
n_n131 = n_n190 + nmasterxxxxstate2;
n_n740 = [1363] + n_n193;
n_n196 = nincr_wd_cnt*!n_n281;
n_n138 = [1371] + n_n181;
n_n739 = !n_n762 + n_n261;
n_n243 = ppccsync*!n_n296;
n_n683 = ni476 + ni475;
n_n176 = !n_n734*!n_n254;
n_n756 = !nslavexxxxstate1 + pvsacki;
n_n83 = !packl*!n_n133;
n_n765 = nmasterxxxxstate0 + nmasterxxxxstate2;
n_n60 = !n_n724*[1387];
n_n56 = nmasterxxxxstate2*!n_n96;
n_n45 = !n_n65*!n_n710;
n_n28 = !n_n50*[1404];
n_n4 = !n_n105*n_n6;
n_n269 = nmasterxxxxstate3*nmasterxxxxstate1;
n_n73 = !n_n109*[1406];
n_n247 = !n_n714*[1407];
n_n120 = !n_n144*[1409];
n_n54 = !n_n140*!n_n702;
nwdcntxxxxnextstate0 = !n_n119;
nwdcntxxxxwd_cnt_test = !n_n119 + !n_n725;
n_n70 = !n_n107*!n_n126;
n_n91 = ni377 + n_n136;
n_n705 = !n_n766 + n_n91;
ni276 = !ptm1i*!n_n737;
nnubusxxxxnextstate0 = ni276 + n_n179;
ni282 = nmasterxxxxstate1*!n_n758;
n_n100 = ptag_match*!n_n175;
n_n106 = !psbcresetpcc*!n_n720;
n_n115 = nwd_cnt_test*!n_n177;
n_n125 = pvirmachxxxxen_vdbufo*!nwd_cnt_test;
n_n141 = !n_n740*[1364];
n_n729 = !n_n282 + !n_n290;
n_n728 = !nmasterxxxxstate2 + packl;
n_n151 = n_n729*n_n728;
n_n731 = !n_n257 + !n_n256;
n_n161 = n_n731*nv_transmit_begin;
n_n67 = n_n74 + !nmasterxxxxstate3;
n_n170 = !n_n234*n_n67;
n_n177 = !n_n287*!n_n207;
n_n732 = !n_n300 + !pbus_inactive;
n_n202 = pphysrecxxxxstate1*!n_n280;
n_n212 = !n_n258*[1313];
n_n235 = !n_n261*!n_n24;
n_n751 = ni536 + ni537;
n_n257 = nvirmachxxxxstate0*[1360];
n_n268 = !nintr_done*nnubusxxxxstate1;
n_n275 = !ppccsawreset*nresetxxxxstate1;
n_n285 = nnubusxxxxstate0*!nnubusxxxxstate1;
n_n292 = !nresetxxxxstate1*!nresetxxxxstate0;
n_n766 = nintr_done + preseti;
n_n283 = !pstarti*pvsacki;
n_n753 = [1354] + packi;
n_n223 = !nmasterxxxxstate3*!n_n24;
n_n248 = !nslavexxxxstate2*!n_n296;
n_n281 = pwdcntxxxxstate1*pwdcntxxxxstate2;
n_n162 = !n_n272*!n_n195;
n_n133 = !n_n282*!n_n183;
n_n112 = !packl*!n_n158;
n_n59 = !pvirmachxxxxen_vdbufo*!nslavexxxxv_transmit_begin;
n_n689 = ni177 + n_n46;
n_n40 = [1415]*[1416];
n_n733 = n_n188 + n_n187;
n_n53 = !n_n185*!n_n94;
n_n240 = [1393]*[1394];
n_n178 = !n_n224*[1395];
norxxxxgen_reset = !n_n68;
n_n46 = ni235 + ni236;
n_n49 = n_n46*[1311];
nslavexxxxv_transmit_begin = n_n288*!n_n82;
ni192 = pvtm1l*nslavexxxxv_transmit_begin;
ni229 = !n_n112*!n_n173;
n_n694 = ni229 + n_n67;
n_n69 = ni285 + ni284;
n_n696 = n_n69 + n_n301;
n_n706 = !n_n205 + !n_n184;
n_n92 = n_n706*!n_n738;
n_n700 = !n_n173 + !nmasterxxxxl_dbufo_if_tm0;
ni292 = !ppccsawreset*!n_n180;
n_n116 = !n_n164*!n_n736;
n_n124 = n_n209*[1378];
n_n142 = !n_n204*!n_n285;
n_n150 = !n_n734*[1380];
n_n169 = !n_n203*!n_n227;
n_n288 = !ptm1l*pcoherencystate2i;
n_n220 = ppccreqcode0*n_n297;
n_n236 = !n_n728*!n_n274;
n_n250 = !psinglestep*!n_n297;
n_n267 = !nmasterxxxxstate3*nmasterxxxxstate1;
n_n276 = !pvsacki*nmasterxxxxstate2;
n_n284 = pphysrecxxxxstate1*pphysrecxxxxstate0;
n_n764 = [1324] + nmasterxxxxstate0;
n_n273 = !pvsacki*pvtm0i;
n_n224 = !n_n298*!n_n268;
n_n241 = !ppccsync*!n_n763;
n_n760 = nnubusxxxxstate0 + pstarti;
n_n145 = !n_n749*!n_n238;
n_n168 = !n_n763*!n_n198;
n_n187 = nslavexxxxstate2 + !pstarti;
n_n737 = n_n188 + n_n192;
n_n127 = !n_n182*[1341];
n_n129 = n_n209*!n_n196;
n_n173 = !n_n728*!n_n218;
n_n725 = ni366 + !n_n281;
n_n23 = psinglestep + psbcresetpcc;
n_n80 = !n_n103*[1329];
n_n62 = !n_n702*[1414];
n_n139 = pgranti*!n_n736;
n_n38 = !pvsacki*!n_n56;
n_n181 = nslavexxxxstate1 + !pvtm0l;
n_n2 = !nmasterxxxxvsacko*[1392];
n_n688 = ni231 + ni232;
n_n43 = n_n688*[1314];
n_n47 = !n_n764*!n_n76;
n_n74 = !nmasterxxxxstate0 + psbcresetpcc;
n_n78 = n_n700*n_n74;
n_n85 = !n_n82*!n_n174;
n_n140 = !n_n261*!n_n735;
n_n96 = n_n140*[1321];
ni280 = !preseti*!n_n172;
nresetxxxxnextstate1 = ni292 + presetxxxxreset;
ni357 = !prqsti*!n_n220;
n_n149 = !n_n223*!n_n267;
n_n192 = nnubusxxxxstate0 + !pstarti;
n_n188 = packi + preseti;
n_n197 = pvsacki*!n_n262;
n_n290 = !nmasterxxxxstate2*!nmasterxxxxstate1;
n_n302 = !ptm1l*!pvtm1l;
n_n253 = nslavexxxxstate2*nslavexxxxstate1;
n_n300 = !pvsacki*!psinglestep;
n_n190 = !ppccreq + !ppccreqcode3;
n_n184 = !ppccreqcode2*n_n278;
n_n758 = !nmasterxxxxstate3 + !nmasterxxxxstate2;
n_n191 = !nmasterxxxxstate1 + !nmasterxxxxstate2;
n_n103 = !nmasterxxxxstate1*!n_n166;
n_n260 = pcoherencystate1i*[1310];
n_n76 = nupdatedone*n_n698;
n_n114 = ppccreqcode0*!n_n720;
n_n690 = ni179 + !n_n60;
n_n68 = n_n695*!n_n106;
n_n39 = psbcresetpcc*!n_n693;
n_n48 = n_n236 + !n_n67;
n_n79 = !pphysrecxxxxstate0*!n_n115;
n_n704 = !n_n252 + !n_n221;
n_n84 = !n_n129*n_n704;
n_n86 = !n_n718*!n_n749;
n_n709 = !n_n719 + ni282;
n_n165 = !n_n737*[1381];
ni348 = !n_n269*!n_n182;
n_n718 = ni348 + n_n130;
n_n24 = !ppccreq + ppccreqcode3;
n_n721 = n_n24 + ni357;
n_n738 = !n_n290 + !nmasterxxxxstate3;
n_n41 = nmasterxxxxstate0 + !nmasterxxxxstate3;
n_n299 = !ppccreqcode1*!ppccreqcode0;
n_n189 = !nreset_wd_cnt + !psbcresetpcc;
n_n205 = !nmasterxxxxstate0*!n_n190;
n_n719 = [1332] + [1331];
n_n749 = ptm1i + !ptm0i;
n_n107 = !n_n722*[1349];
n_n692 = ni201 + n_n57;
n_n35 = nmasterxxxxstate3*!n_n61;
n_n199 = n_n284*np_receive_begin;
ni179 = !plastrqsti*!n_n79;
n_n52 = !n_n95*!n_n167;
n_n164 = pgranti*!n_n732;
n_n87 = !n_n153*[1335];
n_n99 = !n_n163*[1337];
n_n726 = !n_n235 + psinglestep;
n_n207 = ptm1i*!n_n193;
n_n755 = psbcresetpcc + !packi;
n_n254 = nincr_wd_cnt*[1377];
n_n761 = ni599 + !nwd_cnt_test;
n_n754 = ni543 + !pstarti;
n_n735 = n_n24 + !ppccconfirm;
n_n741 = ni453 + plastrqsti;
n_n282 = pstarti*pvsacki;
n_n172 = !nslavexxxxstate2*!n_n212;
n_n113 = n_n714*n_n715;
n_n111 = !n_n168*!n_n253;
n_n63 = !n_n90*!n_n269;
n_n708 = ni279 + ni280;
n_n119 = n_n716*!n_n259;
n_n42 = n_n686*n_n41;
n_n44 = !n_n102*!n_n80;
ni188 = n_n691*!n_n755;
n_n88 = !n_n176*!n_n124;
n_n97 = !n_n160*!n_n125;
ni279 = !n_n188*!n_n750;
n_n134 = [1347] + !n_n290;
n_n135 = packi + pstarti;
n_n723 = n_n135 + ni361;
n_n136 = ni450 + ni451;
ni369 = packi*n_n136;
n_n194 = psbcresetpcc + packi;
n_n193 = !pphysrecxxxxstate1 + !ptm0i;
n_n198 = pstarti*!n_n263;
n_n742 = !n_n267 + !pgranti;
n_n745 = !nv_transmit_begin + nv_receive_begin;
n_n714 = nslavexxxxstate1 + nslavexxxxstate0;
n_n291 = !pstarti*!pvsacki;
n_n746 = nnubusxxxxstate0 + !pslotspace_id_match;
n_n211 = !nv_receive_begin*!n_n749;
n_n252 = pwdcntxxxxstate3*nwdcntxxxxstate0;
n_n183 = !pstarti*n_n276;
n_n750 = !pnubusactive + pstarti;
n_n109 = !n_n747*n_n711;
n_n65 = !n_n99*[1338];
n_n101 = !n_n143*[1315];
nnubusxxxxnextstate1 = ni211 + n_n215;
ni199 = ppccack*!n_n743;
ni211 = !packi*!n_n705;
ni222 = !n_n755*!n_n121;
ni223 = n_n266*n_n93;
n_n9 = ni223 + ni222;
ni232 = nslavexxxxstate2*!n_n100;
n_n81 = ni368 + ni369;
n_n58 = n_n81 + !nintr_done;
n_n126 = !n_n742*[1352];
ni354 = preseti*!n_n245;
nresetxxxxnextstate2 = ni354 + presetxxxxreset;
n_n171 = !n_n229*[1421];
n_n182 = n_n270*!nmasterxxxxstate3;
ni453 = !n_n270*!nmasterxxxxstate1;
n_n206 = pwdcntxxxxstate1*!n_n189;
n_n263 = pstarto*pvtm0l;
n_n274 = pstarti*!pvsacki;
n_n239 = !preseti*!n_n292;
n_n218 = !n_n282*!n_n291;
n_n154 = !n_n735*[1326];
n_n289 = ppccreqcode1*!ppccreqcode0;
n_n743 = ni465 + n_n203;
n_n77 = !n_n721*n_n699;
n_n271 = ppccreqcode1*!ppccreqcode2;
nslavexxxxnextstate0 = ni131 + ni130;
n_n57 = ni300 + ni299;
ni201 = n_n108*nmasterxxxxstate3;
n_n61 = !n_n83*[1343];
ni231 = !ppccsync*!nslavexxxxstate2;
n_n697 = !nmasterxxxxv_receive_begin + !n_n214;
n_n702 = !n_n126 + psinglestep;
ni299 = !n_n722*!n_n739;
ni322 = !n_n212*n_n253;
ni323 = n_n301*n_n713;
n_n712 = ni323 + ni322;
n_n716 = !n_n294 + !n_n217;
ni451 = !n_n759*nnubusxxxxstate0;
n_n244 = pcoherencystate1i*!n_n302;
n_n231 = !n_n268*n_n746;
n_n720 = n_n134 + !ppccreqcode3;
n_n279 = ppccreqcode2*ppccreqcode0;
n_n95 = ppccconfirm*n_n126;
n_n34 = !n_n50*[1419];
n_n12 = [1353] + n_n42;
n_n13 = !n_n299*n_n12;
nslavexxxxnextstate1 = ni105 + !n_n17;
n_n698 = !n_n152 + !nmasterxxxxstate2;
ni300 = ppccreqcode1*!n_n720;
n_n118 = !n_n161*[1365];
ni399 = nslavexxxxstate2*!n_n242;
n_n195 = !n_n753*[1390];
n_n238 = !pphysrecxxxxstate0*!n_n287;
ni543 = !pstarto*pvtm0l;
n_n757 = !np_receive_begin + psbcresetpcc;
ni599 = !ptm0i*!nv_receive_begin;
n_n762 = psinglestep + prqsti;
n_n158 = !n_n234*!nmasterxxxxstate1;
n_n121 = !n_n727*!n_n145;
n_n228 = n_n290*!n_n300;
n_n167 = !prqsti*!n_n738;
n_n37 = !n_n692*[1388];
nmasterxxxxvsacko = n_n3 + !nmasterxxxxp_receive_begin;
nslavexxxxnextstate2 = ni126 + !n_n31;
n_n699 = !n_n155 + !n_n765;
n_n82 = n_n138 + !nslavexxxxstate2;
n_n703 = n_n82 + !ptm1l;
nnubusxxxxintr_req = !n_n142*[1370];
n_n128 = !ppccackcode*pvirmachxxxxen_vdbufo;
n_n155 = !n_n233*!nmasterxxxxstate1;
n_n163 = !ppccreqcode3*!n_n250;
n_n736 = n_n191 + nmasterxxxxstate3;
n_n227 = !nvirmachxxxxstate1*n_n745;
n_n225 = !n_n268*!n_n285;
n_n166 = !n_n232*[1328];
n_n98 = !n_n717*[1346];
n_n94 = !n_n174*n_n707;
nmasterxxxxnextstate1 = !n_n5 + ni91;
ni167 = !n_n151*!n_n67;
n_n25 = ni167 + !n_n59;
ni177 = pvsacki*nslavexxxxstate1;
n_n93 = !psbcresetpcc*!n_n718;
n_n11 = [1399] + n_n93;
ni214 = !n_n89*!n_n736;
n_n132 = nmasterxxxxl_dbufo_if_tm0*!n_n295;
norxxxxincr_wd_cnt = [1367] + [1366];
ni236 = !n_n181*!n_n260;
ni288 = n_n284*!n_n757;
n_n715 = !n_n242 + !n_n222;
ni366 = !n_n209*!n_n221;
ni377 = !pslotspace_id_match*!n_n759;
n_n146 = !n_n211*[1413];
ni398 = !n_n763*!n_n754;
n_n175 = !pcoherencystate2i*!n_n244;
ni465 = !nvirmachxxxxstate1*!nv_transmit_begin;
ni475 = pvsacki*n_n267;
n_n226 = !nslavexxxxstate1*!n_n187;
n_n259 = [1361]*[1362];
n_n232 = !n_n299*!n_n271;
n_n217 = !n_n189*nwdcntxxxxstate0;
n_n242 = !ppccsync*!n_n296;
n_n157 = !n_n249*[1369];
n_n174 = !n_n237*!n_n264;
n_n122 = !pbus_inactive*!n_n139;
n_n20 = !n_n690*!n_n199;
nmasterxxxxp_receive_begin = ppccreqcode0*!n_n15;
nmasterxxxxnextstate2 = !n_n16 + !n_n78;
ni215 = !pstarti*n_n216;
n_n66 = [1422]*[1423];
ni235 = !nslavexxxxstate1*!n_n100;
n_n71 = !n_n255*!n_n712;
n_n707 = n_n288 + !n_n138;
ni304 = !n_n765*!n_n149;
ni305 = !nmasterxxxxstate0*!n_n758;
n_n710 = ni305 + ni304;
n_n711 = !n_n208 + pnubusactive;
ni340 = !n_n201*!n_n758;
ni341 = nmasterxxxxstate3*n_n228;
n_n147 = !nmasterxxxxl_dbufo_if_tm0*!n_n200;
n_n713 = ni398 + ni399;
ni476 = !packl*nmasterxxxxstate1;
n_n230 = !n_n284*!n_n755;
n_n294 = !pwdcntxxxxstate3*!pwdcntxxxxstate2;
n_n246 = !pphysrecxxxxstate0*!n_n761;
n_n31 = !n_n43*!n_n101;
n_n17 = !nslavexxxxstate1*n_n685;
n_n8 = !psbcresetpcc*!n_n19;
nmasterxxxxnextstate3 = ni109 + ni108;
ni187 = !ptm0i*n_n93;
nvirmachxxxxnextstate0 = ni199 + !n_n97;
ni287 = !n_n156*!n_n194;
ni368 = n_n298*!n_n760;
ni450 = !nnubusxxxxstate1*!n_n192;
nslavexxxxintr_done = n_n744*!n_n255;
n_n262 = pvackl*nmasterxxxxstate1;
n_n27 = !psbcresetpcc*!n_n44;
n_n18 = !n_n32*[1340];
n_n15 = !ppccreqcode2*!n_n12;
n_n22 = !n_n38*!n_n742;
n_n19 = !n_n22*[1322];
ni108 = !psbcresetpcc*!n_n18;
n_n16 = !n_n27*[1330];
ni130 = !n_n733*!n_n181;
n_n36 = !n_n52*[1402];
ni109 = !n_n74*!n_n29;
n_n21 = !psbcresetpcc*!n_n37;
ni131 = !n_n33*n_n272;
ni140 = n_n277*!nresetxxxxstate1;
n_n26 = n_n54 + !psbcresetpcc;
ni128 = !psbcresetpcc*!n_n20;
ni139 = !psbcresetpcc*!n_n40;
nmasterxxxxnextstate0 = [1351] + n_n39;
n_n10 = ni139 + ni140;
n_n685 = !n_n708 + !n_n49;
norxxxxset_ex_wd_cnt1 = n_n684*!n_n751;
ni91 = n_n683*!n_n74;
n_n6 = !ppccreqcode0*!n_n14;
n_n32 = !prqsti*!n_n45;
n_n29 = !n_n687*!n_n35;
norxxxxreset_wd_cnt_x = [1358] + n_n15;
ni88 = ppccreqcode2*!n_n684;
n_n5 = n_n75*!n_n8;
n_n3 = n_n279 + !n_n684;
n_n14 = !n_n271*n_n12;
ni105 = !preseti*!n_n696;
n_n7 = !ppccreqcode2*!n_n13;
nmasterxxxxacko = n_n26 + !n_n148;
ni126 = !preseti*!n_n71;
nmasterxxxxupdatereq = [1372] + nmasterxxxxvsacko;
pwdcntxxxxwd_cnt1 = nwdcntxxxxwd_cnt1;
pwdcntxxxxwd_cnt0 = nwdcntxxxxwd_cnt0;
pwdcntxxxxwd_cnt2 = nwdcntxxxxwd_cnt2;
pmasterxxxxen_pdbufo = nmasterxxxxl_dbufo_if_tm0;
pwdcntxxxxnextstate3 = nwdcntxxxxwd_cnt0;
pwdcntxxxxnextstate2 = nwdcntxxxxwd_cnt1;
pwdcntxxxxnextstate1 = nwdcntxxxxwd_cnt2;
pmasterxxxxl_dbufo_if_tm0 = nmasterxxxxl_dbufo_if_tm0;
pslavexxxxsnoopaddrfromproc = nslavexxxxsnoopvtag_w;
pmasterxxxxl_pdbufi = nmasterxxxxl_pdbufi;
pmasterxxxxen_pdbufi = nmasterxxxxl_pdbufi;
pslavexxxxsnoopvtag_w = nslavexxxxsnoopvtag_w;
[1307] = !nresetxxxxstate2*preseti;
[1308] = nintr_done*!pstarti;
[1309] = n_n298*!n_n748;
[1310] = pcoherencystate2i*ptm1l;
[1311] = n_n272*nslavexxxxstate2;
[1312] = pnubusactive*!packi;
[1313] = !n_n301*!n_n265;
[1314] = n_n272*!nslavexxxxstate1;
[1315] = !n_n188*pstarti;
[1316] = !nslavexxxxstate2*ppccack;
[1317] = pvtm0i*pvsacki;
[1318] = [1317]*n_n270;
[1319] = nmasterxxxxstate0*!nmasterxxxxstate3;
[1320] = !psinglestep*pbus_inactive;
[1321] = !n_n220*[1320];
[1322] = !n_n77*!n_n137;
[1323] = !n_n728*!nmasterxxxxstate3;
[1324] = psbcresetpcc + nmasterxxxxstate1;
[1325] = n_n297*!ppccreqcode0;
[1326] = !n_n732*n_n278;
[1327] = !n_n742*nmasterxxxxstate2;
[1328] = !n_n762*!n_n24;
[1329] = !n_n41*!nmasterxxxxstate2;
[1330] = !n_n47*!n_n170;
[1331] = nmasterxxxxstate1 + n_n41;
[1332] = n_n131 + n_n184;
[1333] = !n_n289*!n_n297;
[1334] = !n_n735*!n_n279;
[1335] = n_n164*!n_n191;
[1336] = !n_n289*ppccreq;
[1337] = [1336]*!n_n279;
[1338] = !n_n41*!nmasterxxxxstate1;
[1339] = !n_n709*!n_n137;
[1340] = [1339]*!n_n87;
[1341] = !n_n197*!n_n276;
[1342] = !n_n234*!n_n219;
[1343] = [1342]*!n_n228;
[1344] = !n_n188*!pstarti;
[1345] = !n_n236*!n_n214;
[1346] = [1345]*!n_n683;
[1347] = !ppccreq + nmasterxxxxstate0;
[1348] = !prqsti*!ppccreqcode3;
[1349] = [1348]*!n_n261;
[1350] = !n_n732*ppccconfirm;
[1351] = nmasterxxxxl_dbufo_if_tm0 + n_n30;
[1352] = n_n276*pbus_inactive;
[1353] = n_n23 + n_n24;
[1354] = pstarto + !pstarti;
[1355] = !n_n744*!nslavexxxxstate2;
[1356] = !n_n753*!n_n181;
[1357] = nmasterxxxxv_receive_begin + n_n186;
[1358] = [1357] + n_n13;
[1359] = !nvirmachxxxxstate1*nv_receive_begin;
[1360] = nvirmachxxxxstate1*!pvacki;
[1361] = !psbcresetpcc*!pwdcntxxxxstate1;
[1362] = nset_ex_wd_cnt1*nreset_wd_cnt;
[1363] = nv_receive_begin + n_n194;
[1364] = !nwd_cnt_test*!pphysrecxxxxstate0;
[1365] = !psbcresetpcc*pvtm0i;
[1366] = n_n125 + n_n141;
[1367] = n_n132 + n_n118;
[1368] = !pphysrecxxxxstate0*pphysrecxxxxstate1;
[1369] = [1368]*!n_n755;
[1370] = !n_n135*!n_n766;
[1371] = !ptag_match + !n_n272;
[1372] = n_n47 + n_n14;
[1373] = nupdatereq*!preseti;
[1374] = [1373]*n_n301;
[1375] = preseti + nresetxxxxstate2;
[1376] = nresetxxxxstate0 + n_n275;
[1377] = pwdcntxxxxstate3*!pwdcntxxxxstate1;
[1378] = nincr_wd_cnt*!pwdcntxxxxstate2;
[1379] = !n_n726*!psbcresetpcc;
[1380] = nincr_wd_cnt*pwdcntxxxxstate3;
[1381] = !nnubusxxxxstate1*!nintr_done;
[1382] = nslavexxxxstate0*nintr_req;
[1383] = !n_n750*!n_n756;
[1384] = !n_n188*nslavexxxxstate2;
[1385] = pvacki*pvtm0i;
[1386] = !n_n752*nvirmachxxxxstate1;
[1387] = !n_n122*!n_n92;
[1388] = !n_n54*!n_n114;
[1389] = !nslavexxxxstate2*!ppccack;
[1390] = pvtm0l*!preseti;
[1391] = !n_n169*!n_n125;
[1392] = !pslavexxxxsnoopvtagstate_r*[1391];
[1393] = !nnubusxxxxstate1*packi;
[1394] = !n_n760*!n_n766;
[1395] = !n_n748*pstarti;
[1396] = n_n240 + n_n178;
[1397] = n_n300*!n_n74;
[1398] = nmasterxxxxstate2*nupdatedone;
[1399] = n_n277 + n_n251;
[1400] = n_n230 + n_n148;
[1401] = [1400] + n_n11;
[1402] = !n_n726*!psbcresetpcc;
[1403] = n_n169 + n_n36;
[1404] = !n_n116*!n_n216;
[1405] = nslavexxxxstate2*!nintr_req;
[1406] = [1405]*!n_n756;
[1407] = !n_n135*!nslavexxxxstate2;
[1408] = !n_n248*!n_n253;
[1409] = !nslavexxxxstate0*packi;
[1410] = preseti + n_n247;
[1411] = [1410] + n_n73;
[1412] = nwd_cnt_test*!pphysrecxxxxstate0;
[1413] = [1412]*!n_n266;
[1414] = !n_n235*ppccconfirm;
[1415] = !n_n62*!n_n55;
[1416] = !n_n692*!n_n86;
[1417] = n_n125 + n_n117;
[1418] = [1417] + n_n6;
[1419] = !n_n139*!n_n137;
[1420] = !ppccreqcode3*!ppccreqcode2;
[1421] = !n_n130*!pvsacki;
[1422] = !n_n108*!n_n171;
[1423] = !n_n57*!n_n114;
[1424] = n_n157 + n_n11;
[1425] = nmasterxxxxacko + [1424];
[1426] = n_n125 + n_n128;
[1427] = [1426] + nslavexxxxv_transmit_begin;