.model top
.inputs 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
.outputs 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
.latch    nresetxxxxnextstate0 nresetxxxxstate0 re pclk 2
.latch    nnubusxxxxnextstate1 nnubusxxxxstate1 re pclk 2
.latch    nslavexxxxnextstate0 nslavexxxxstate0 re pclk 2
.latch    nslavexxxxnextstate1 nslavexxxxstate1 re pclk 2
.latch    nslavexxxxnextstate2 nslavexxxxstate2 re pclk 2
.latch    nmasterxxxxnextstate1 nmasterxxxxstate1 re pclk 2
.latch    nmasterxxxxnextstate2 nmasterxxxxstate2 re pclk 2
.latch    nmasterxxxxnextstate3 nmasterxxxxstate3 re pclk 2
.latch    nnubusxxxxnextstate0 nnubusxxxxstate0 re pclk 2
.latch    nmasterxxxxnextstate0 nmasterxxxxstate0 re pclk 2
.latch    nresetxxxxnextstate1 nresetxxxxstate1 re pclk 2
.latch    norxxxxset_ex_wd_cnt1 nset_ex_wd_cnt1 re pclk 2
.latch    nresetxxxxnextstate2 nresetxxxxstate2 re pclk 2
.latch    norxxxxreset_wd_cnt_x nreset_wd_cnt re pclk 2
.latch    nvirmachxxxxnextstate0 nvirmachxxxxstate0 re pclk 2
.latch    nwdcntxxxxwd_cnt_test nwd_cnt_test re pclk 2
.latch    nvirmachxxxxnextstate1 nvirmachxxxxstate1 re pclk 2
.latch    norxxxxincr_wd_cnt nincr_wd_cnt re pclk 2
.latch    nwdcntxxxxnextstate0 nwdcntxxxxstate0 re pclk 2
.latch    nmasterxxxxv_receive_begin nv_receive_begin re pclk 2
.latch    norxxxxgen_reset ngen_reset re pclk 2
.latch    nmasterxxxxp_receive_begin np_receive_begin re pclk 2
.latch    nnubusxxxxintr_req nintr_req re pclk 2
.latch    nslavexxxxintr_done nintr_done re pclk 2
.latch    nslavexxxxv_transmit_begin nv_transmit_begin re pclk 2
.latch    nmasterxxxxupdatereq nupdatereq re pclk 2
.latch    nslavexxxxsnoopvtag_w nupdatedone re pclk 2
.names n_n74 [273] pmasterxxxxen_vdbufi
0- 1
-0 1
.names [1866] [1867] presetxxxxsbcresetpcc
1- 1
-1 1
.names n_n12 [112] pmasterxxxxen_abufo
01 1
.names [428] [429] pnubusxxxxnubusactive
1- 1
-1 1
.names [424] [425] pphysrecxxxxnextstate0
1- 1
-1 1
.names [422] [423] pslavexxxxsbcreqcode2
1- 1
-1 1
.names [420] [421] pslavexxxxsbcreqcode0
1- 1
-1 1
.names [1881] [1882] pvirmachxxxxsbcsetdirty
11 1
.names [406] [1892] porxxxxen_start
1- 1
-1 1
.names n_n21 n_n157 porxxxxsbcackcode0
1- 1
-1 1
.names n_n82 [245] pslavexxxxsbcreqcode1
01 1
.names nslavexxxxsnoopvtag_w n_n64 pslavexxxxsnoopstate_w
1- 1
-0 1
.names nmasterxxxxvsacko [1906] porxxxxvsacko
1- 1
-1 1
.names preseti nresetxxxxstate2 presetxxxxreset
11 1
.names nvirmachxxxxstate1 [1837] pvirmachxxxxen_vdbufo
01 1
.names n_n68 [375] porxxxxreseto
0- 1
-1 1
.names n_n21 [1915] porxxxxsbcackcodelatch
1- 1
-1 1
.names nslavexxxxv_transmit_begin [274] pslavexxxxgeneratenextstate
1- 1
-0 1
.names pvirmachxxxxen_vdbufo [364] pvirmachxxxxsbcconfigure
1- 1
-1 1
.names nmasterxxxxacko n_n215 porxxxxacko
1- 1
-1 1
.names n_n75 [1918] pmasterxxxxsbc_writecache
1- 1
-1 1
.names [352] [1924] porxxxxen_vcntl
1- 1
-1 1
.names [346] [1927] pnubusxxxxl_pabufi
1- 1
-1 1
.names pcoherencystate2i [215] pnextstatexxxxcoherencystate2o
11 1
.names [210] [341] pmasterxxxxrqsto
1- 1
-1 1
.names pvirmachxxxxsbccacherelease n_n148 porxxxxvacko
1- 1
-1 1
.names [204] [1935] pslavexxxxl_vabufi
1- 1
-1 1
.names [188] [189] porxxxxsbcackcode1
1- 1
-1 1
.names [230] [260] porxxxxstarto
11 1
.names [169] [1949] porxxxxsbcackcode2
1- 1
-1 1
.names pslavexxxxsbcreqcode2 n_n64 pslavexxxxsbcreq
1- 1
-0 1
.names [164] [1951] porxxxxl_dbufo
1- 1
-1 1
.names n_n68 [226] porxxxxsbcackcode3
0- 1
-1 1
.names [391] [392] pslavexxxxsnoopvtagstate_r
1- 1
-1 1
.names n_n148 n_n215 porxxxxtm0o
1- 1
-1 1
.names [234] [156] pphysrecxxxxnextstate1
1- 1
-1 1
.names psbcresetpcc [266] pmasterxxxxarb_active
01 1
.names [154] [155] porxxxxen_cntl
1- 1
-1 1
.names [150] [1957] porxxxxtm1o
1- 1
-1 1
.names [158] [1958] pencodemuxxxxxmx_ad_8
11 1
.names [1962] [1963] porxxxxsbcack
1- 1
-1 1
.names ppccreqcode1 nmasterxxxxp_receive_begin porxxxxvtm1o
11 1
.names nmasterxxxxvsacko [1965] porxxxxvtm0o
1- 1
-1 1
.names pvirmachxxxxen_vdbufo nwd_cnt_test pvirmachxxxxsbccacherelease
11 1
.names [1748] [1749] nresetxxxxnextstate0
11 1
.names n_n215 [594] nnubusxxxxnextstate1
1- 1
-1 1
.names [585] [586] nslavexxxxnextstate0
1- 1
-1 1
.names [578] [1762] nslavexxxxnextstate1
1- 1
-1 1
.names preseti [297] nslavexxxxnextstate2
01 1
.names [551] [1785] nmasterxxxxnextstate1
1- 1
-1 1
.names [540] [1794] nmasterxxxxnextstate2
1- 1
-1 1
.names ni108 [1813] nmasterxxxxnextstate3
1- 1
-1 1
.names [502] [503] nnubusxxxxnextstate0
1- 1
-1 1
.names [488] [1827] nmasterxxxxnextstate0
1- 1
-1 1
.names presetxxxxreset [481] nresetxxxxnextstate1
1- 1
-1 1
.names [476] [477] norxxxxset_ex_wd_cnt1
1- 1
-1 1
.names presetxxxxreset [474] nresetxxxxnextstate2
1- 1
-1 1
.names [471] [1836] norxxxxreset_wd_cnt_x
1- 1
-1 1
.names [466] [1841] nvirmachxxxxnextstate0
1- 1
-1 1
.names nwdcntxxxxnextstate0 [461] nwdcntxxxxwd_cnt_test
1- 1
-1 1
.names [459] [460] nvirmachxxxxnextstate1
1- 1
-1 1
.names [1852] [1853] norxxxxincr_wd_cnt
1- 1
-1 1
.names [463] [464] nwdcntxxxxnextstate0
1- 1
-1 1
.names [125] [1772] nmasterxxxxv_receive_begin
11 1
.names [286] [285] norxxxxgen_reset
0- 1
-0 1
.names ppccreqcode0 [159] nmasterxxxxp_receive_begin
11 1
.names [303] [1856] nnubusxxxxintr_req
11 1
.names [137] [320] nslavexxxxintr_done
11 1
.names n_n82 [1859] nslavexxxxv_transmit_begin
01 1
.names nmasterxxxxvsacko [1862] nmasterxxxxupdatereq
1- 1
-1 1
.names [1864] [1865] nslavexxxxsnoopvtag_w
11 1
.names n_n74 [273] n_n75
11 1
.names pwdcntxxxxstate2 [212] [127]
11 1
.names psbcresetpcc nreset_wd_cnt [212]
11 1
.names nincr_wd_cnt [1870] [239]
0- 1
-1 1
.names [434] [435] nwdcntxxxxwd_cnt1
1- 1
-1 1
.names [478] [1832] n_n12
1- 1
-1 1
.names ppccreqcode1 ppccreqcode2 [112]
0- 1
-0 1
.names [432] [433] [240]
1- 1
-1 1
.names pwdcntxxxxstate3 [240] nwdcntxxxxwd_cnt0
11 1
.names [430] [431] nwdcntxxxxwd_cnt2
1- 1
-1 1
.names psbcresetpcc nmasterxxxxstate0 n_n74
1- 1
-0 1
.names packl nmasterxxxxstate2 [216]
01 1
.names [216] [1786] nmasterxxxxl_dbufo_if_tm0
11 1
.names pstarti [211] [123]
01 1
.names nnubusxxxxstate0 [1751] [172]
01 1
.names preseti packi [211]
00 1
.names [180] [238] [242]
0- 1
-1 1
.names pphysrecxxxxstate0 [426] [120]
1- 1
-1 1
.names [128] [1848] [220]
11 1
.names nslavexxxxstate1 nslavexxxxstate2 [218]
01 1
.names preseti n_n301 [227]
01 1
.names nslavexxxxstate2 [1874] [229]
11 1
.names [1857] [1858] n_n82
1- 1
-1 1
.names pcoherencystate2i pcoherencystate1i [143]
1- 1
-0 1
.names psbcresetpcc pphysrecxxxxstate1 [128]
01 1
.names [128] [1883] [234]
11 1
.names nv_receive_begin [418] [244]
1- 1
-1 1
.names n_n60 [1890] [243]
0- 1
-1 1
.names psbcresetpcc [328] n_n21
01 1
.names [309] [1855] n_n157
11 1
.names [396] [1899] [245]
1- 1
-1 1
.names nslavexxxxv_transmit_begin [274] n_n64
01 1
.names [232] [283] n_n169
11 1
.names nmasterxxxxp_receive_begin [1860] nmasterxxxxvsacko
0- 1
-1 1
.names pvirmachxxxxen_vdbufo nwd_cnt_test [148]
10 1
.names preseti nslavexxxxstate0 [225]
01 1
.names [387] [388] [246]
1- 1
-1 1
.names [286] [285] n_n68
11 1
.names [377] [378] [248]
1- 1
-1 1
.names [124] [1910] n_n148
11 1
.names n_n93 [1913] n_n11
1- 1
-1 1
.names pphysrecxxxxstate1 pphysrecxxxxstate0 [140]
0- 1
-0 1
.names packi psbcresetpcc [228]
10 1
.names [200] [1916] nmasterxxxxacko
1- 1
-1 1
.names [123] [1750] n_n215
11 1
.names nmasterxxxxstate3 n_n74 [125]
10 1
.names pstarti nmasterxxxxstate2 [201]
01 1
.names [112] [199] [114]
0- 1
-1 1
.names nmasterxxxxstate2 [237] [124]
01 1
.names pstarti pvsacki [222]
11 1
.names psbcresetpcc psinglestep [230]
00 1
.names [235] [358] [250]
1- 1
-1 1
.names nnubusxxxxstate0 [1908] [224]
01 1
.names [172] [350] [251]
1- 1
-1 1
.names ptm1l pvtm1l [215]
00 1
.names nmasterxxxxstate3 [1776] [213]
01 1
.names n_n50 [342] [252]
1- 1
-1 1
.names packi nslavexxxxstate0 n_n301
00 1
.names n_n226 [208] [254]
1- 1
-1 1
.names [206] [207] [253]
1- 1
-1 1
.names nslavexxxxstate1 nslavexxxxstate2 [257]
0- 1
-1 1
.names [223] [440] [256]
0- 1
-1 1
.names [193] [1938] [259]
1- 1
-1 1
.names n_n93 [191] [258]
1- 1
-1 1
.names n_n107 n_n126 [260]
1- 1
-1 1
.names [185] [1940] [261]
1- 1
-1 1
.names [261] [1941] nmasterxxxxl_pdbufi
11 1
.names packl [307] n_n93
11 1
.names preseti nresetxxxxstate2 [226]
01 1
.names [182] [1947] [264]
1- 1
-1 1
.names [142] [1944] [263]
1- 1
-1 1
.names ptm0i ptm1i [262]
01 1
10 1
.names ppccreqcode2 n_n12 [159]
1- 1
-1 1
.names ppccreqcode2 n_n12 [173]
11 1
.names nslavexxxxstate1 [223] n_n226
01 1
.names pstarto pvtm0l [190]
1- 1
-0 1
.names nslavexxxxstate2 [1766] [198]
01 1
.names [161] [1952] [265]
1- 1
-1 1
.names n_n50 [1954] [266]
1- 1
-1 1
.names n_n724 [277] n_n60
01 1
.names pslotspace_id_match nnubusxxxxstate0 [121]
0- 1
-1 1
.names nnubusxxxxstate1 nintr_done [180]
0- 1
-1 1
.names ppccreqcode1 ppccreqcode0 [158]
1- 1
-0 1
.names [201] [146] [269]
1- 1
-1 1
.names n_n57 [144] [267]
1- 1
-1 1
.names [199] [1788] [126]
01 1
.names nmasterxxxxstate2 nmasterxxxxstate0 [195]
1- 1
-1 1
.names prqsti nmasterxxxxstate3 [271]
0- 1
-1 1
.names psinglestep nmasterxxxxstate3 [270]
1- 1
-0 1
.names [344] [345] n_n50
1- 1
-1 1
.names nresetxxxxstate0 nresetxxxxstate1 [147]
1- 1
-1 1
.names nmasterxxxxstate2 [214] [129]
11 1
.names pgranti [500] [272]
0- 1
-1 1
.names [498] [499] n_n693
1- 1
-1 1
.names pvsacki psinglestep [170]
1- 1
-1 1
.names nmasterxxxxv_receive_begin [1773] [273]
0- 1
-1 1
.names n_n82 [393] [274]
1- 1
-1 1
.names [468] [469] [134]
1- 1
-1 1
.names psbcresetpcc nvirmachxxxxstate0 [232]
00 1
.names nvirmachxxxxstate1 nv_transmit_begin [275]
1- 1
-1 1
.names nmasterxxxxstate2 nmasterxxxxstate3 [236]
11 1
.names nmasterxxxxstate1 [201] [276]
1- 1
-1 1
.names [416] [417] n_n724
1- 1
-1 1
.names [213] [1777] n_n137
11 1
.names nnubusxxxxstate1 nnubusxxxxstate0 [238]
01 1
.names [217] [412] [277]
1- 1
-1 1
.names pwdcntxxxxstate3 nincr_wd_cnt [279]
1- 1
-1 1
.names [180] [238] [280]
0- 1
-1 1
.names [117] [590] [281]
1- 1
-1 1
.names nslavexxxxstate1 [281] n_n46
01 1
.names nvirmachxxxxstate1 [389] [283]
1- 1
-1 1
.names nresetxxxxstate2 [483] [284]
1- 1
-1 1
.names n_n157 [113] [286]
0- 1
-1 1
.names psbcresetpcc n_n720 [285]
1- 1
-1 1
.names prqsti [124] [235]
01 1
.names [235] [1820] n_n107
11 1
.names [121] [1752] [288]
0- 1
-1 1
.names preseti nintr_done [287]
1- 1
-1 1
.names pgranti [129] [217]
11 1
.names [217] [1828] n_n126
11 1
.names ngen_reset [147] [289]
0- 1
-1 1
.names n_n46 [1757] [290]
1- 1
-1 1
.names [1803] [1804] n_n720
1- 1
-1 1
.names prqsti psinglestep [291]
1- 1
-1 1
.names [403] [404] n_n57
1- 1
-1 1
.names ppccreqcode3 ppccreq [199]
1- 1
-0 1
.names n_n126 [1831] [293]
0- 1
-1 1
.names nmasterxxxxstate3 nmasterxxxxstate0 [292]
0- 1
-1 1
.names nslavexxxxstate2 [583] [296]
0- 1
-1 1
.names ptm1l [223] [295]
1- 1
-0 1
.names preseti [581] [294]
0- 1
-1 1
.names ppccreqcode2 ppccreqcode0 [221]
11 1
.names [567] [1770] [297]
1- 1
-1 1
.names [238] [449] [303]
1- 1
-1 1
.names [214] [1774] [160]
11 1
.names n_n22 [1783] [304]
1- 1
-1 1
.names [373] [374] [307]
1- 1
-1 1
.names nmasterxxxxstate0 [1791] [231]
01 1
.names ptm0i pstarti [308]
1- 1
-1 1
.names pstarti nslavexxxxstate2 [223]
10 1
.names [135] [451] [309]
1- 1
-1 1
.names nmasterxxxxstate2 [338] [115]
01 1
.names pstarti pvsacki [130]
11 1
00 1
.names [544] [545] [310]
1- 1
-1 1
.names psbcresetpcc [323] ni108
01 1
.names [1811] [1812] [315]
1- 1
-1 1
.names [115] [507] [313]
1- 1
-1 1
.names nvirmachxxxxstate1 nv_transmit_begin [319]
1- 1
-1 1
.names nslavexxxxstate2 [1763] [137]
1- 1
-1 1
.names preseti nslavexxxxstate0 [320]
1- 1
-1 1
.names nmasterxxxxstate1 nmasterxxxxstate3 [214]
10 1
.names [559] [1780] [321]
1- 1
-1 1
.names [557] [558] n_n22
1- 1
-1 1
.names n_n32 [1807] [323]
1- 1
-1 1
.names [142] [1898] [328]
1- 1
-1 1
.names [1818] [1819] [329]
1- 1
-1 1
.names ppccreqcode1 n_n12 [333]
1- 1
-1 1
.names [112] [173] [332]
0- 1
-1 1
.names [530] [1797] [334]
1- 1
-1 1
.names [528] [529] n_n32
1- 1
-1 1
.names ppccreqcode1 ppccreqcode0 [337]
1- 1
-1 1
.names n_n126 [1893] [200]
11 1
.names ppccreqcode2 [158] [113]
1- 1
-1 1
.names pvsacki pvtm0i [338]
1- 1
-0 1
.names pcoherencystate1i [215] [339]
0- 1
-1 1
.names ptag_match [592] [117]
0- 1
-1 1
.names [562] [563] [118]
1- 1
-1 1
.names [170] [1799] [122]
1- 1
-1 1
.names nmasterxxxxstate1 nmasterxxxxstate3 [237]
01 1
.names nwd_cnt_test [453] [135]
0- 1
-1 1
.names n_n57 [401] [142]
1- 1
-1 1
.names ppccconfirm [114] [340]
0- 1
-1 1
.names [199] [1779] [219]
01 1
.names pslotspace_id_match nintr_req [233]
00 1
.names nincr_wd_cnt nwdcntxxxxstate0 [241]
0- 1
-1 1
.names [143] [215] [247]
0- 1
-1 1
.names [180] [379] [249]
0- 1
-1 1
.names nslavexxxxstate2 [233] [255]
1- 1
-0 1
.names ppccreqcode2 ppccreqcode0 [268]
1- 1
-1 1
.names [124] [414] [278]
0- 1
-1 1
.names pcoherencystate1i [1756] [282]
0- 1
-1 1
.names [571] [572] [299]
1- 1
-1 1
.names [198] [569] [298]
1- 1
-1 1
.names [573] [1767] [301]
1- 1
-1 1
.names ppccsync [233] [300]
1- 1
-1 1
.names pstarti [576] [302]
1- 1
-1 1
.names [237] [1781] [306]
0- 1
-1 1
.names prqsti [113] [305]
1- 1
-0 1
.names [219] [1790] [312]
0- 1
-1 1
.names [546] [547] [311]
1- 1
-1 1
.names [222] [509] [314]
1- 1
-1 1
.names [515] [1809] [317]
1- 1
-1 1
.names packl plastrqsti [316]
0- 1
-0 1
.names pvackl nmasterxxxxstate1 [318]
0- 1
-0 1
.names ppccreqcode1 ppccreqcode2 [322]
1- 1
-0 1
.names nmasterxxxxstate3 [522] [324]
1- 1
-1 1
.names [1800] [1801] [325]
1- 1
-1 1
.names ppccreqcode2 ppccreqcode0 [327]
1- 1
-0 1
.names ppccreqcode2 ppccreqcode0 [326]
0- 1
-1 1
.names nmasterxxxxstate1 [201] [331]
1- 1
-1 1
.names [216] [496] [330]
1- 1
-1 1
.names [533] [1796] [335]
1- 1
-1 1
.names psinglestep [537] [336]
1- 1
-1 1
.names nwdcntxxxxwd_cnt1 pwdcntxxxxwd_cnt1
1 1
.names nwdcntxxxxwd_cnt0 pwdcntxxxxwd_cnt0
1 1
.names nwdcntxxxxwd_cnt2 pwdcntxxxxwd_cnt2
1 1
.names nmasterxxxxl_dbufo_if_tm0 pmasterxxxxen_pdbufo
1 1
.names nwdcntxxxxwd_cnt0 pwdcntxxxxnextstate3
1 1
.names nwdcntxxxxwd_cnt1 pwdcntxxxxnextstate2
1 1
.names nwdcntxxxxwd_cnt2 pwdcntxxxxnextstate1
1 1
.names nmasterxxxxl_dbufo_if_tm0 pmasterxxxxl_dbufo_if_tm0
1 1
.names nslavexxxxsnoopvtag_w pslavexxxxsnoopaddrfromproc
1 1
.names nmasterxxxxl_pdbufi pmasterxxxxl_pdbufi
1 1
.names nmasterxxxxl_pdbufi pmasterxxxxen_pdbufi
1 1
.names nslavexxxxsnoopvtag_w pslavexxxxsnoopvtag_w
1 1
.names ppccackcode pvirmachxxxxen_vdbufo [116]
01 1
.names [269] [1960] [133]
11 1
.names psbcresetpcc [267] [136]
01 1
.names n_n720 [268] [144]
01 1
.names pvackl nmasterxxxxstate1 [146]
11 1
.names ppccreqcode1 [159] [150]
01 1
.names [123] [1955] [154]
11 1
.names psbcresetpcc n_n60 [155]
00 1
.names [265] [1953] [156]
11 1
.names ptm0i nwd_cnt_test [161]
11 1
.names ppccreqcode0 [173] [164]
00 1
.names ppccack n_n169 [165]
00 1
.names n_n93 [262] [168]
11 1
.names psbcresetpcc [263] [169]
01 1
.names [228] [264] [171]
11 1
.names nresetxxxxstate1 [226] [174]
01 1
.names n_n126 [1943] [177]
11 1
.names n_n720 [221] [178]
01 1
.names [120] [1945] [181]
11 1
.names pphysrecxxxxstate1 [135] [182]
11 1
.names ptm0i ptm1i [183]
01 1
.names nmasterxxxxstate2 [130] [185]
11 1
.names [259] [1939] [188]
11 1
.names ptm0i [258] [189]
01 1
.names [120] [228] [191]
11 1
.names nv_receive_begin [1936] [193]
01 1
.names ptm0i ptm1i [194]
01 1
.names [1929] [1930] [202]
11 1
.names [253] [1932] [203]
11 1
.names [254] [1933] [204]
11 1
.names nslavexxxxstate0 [1931] [206]
11 1
.names pstarti packi [207]
11 1
.names [218] [255] [208]
01 1
.names psbcresetpcc [252] [210]
01 1
.names n_n74 [213] [341]
01 1
.names [129] [122] [342]
11 1
.names [271] [1928] [344]
11 1
.names [126] [270] [345]
11 1
.names packi [251] [346]
11 1
.names packi [224] [347]
01 1
.names nnubusxxxxstate0 [1925] [350]
11 1
.names [250] [1919] [352]
11 1
.names [124] [1920] [353]
11 1
.names [216] [125] [354]
11 1
.names ppccconfirm n_n126 [358]
11 1
.names pvsacki [216] [360]
11 1
.names packl [201] [361]
01 1
.names ppccack n_n169 [364]
00 1
.names [140] [228] [366]
11 1
.names [231] [1912] [370]
11 1
.names [201] [1911] [373]
11 1
.names nmasterxxxxstate1 [125] [374]
11 1
.names preseti [248] [375]
01 1
.names [249] [1907] [377]
11 1
.names [224] [1909] [378]
11 1
.names packi nnubusxxxxstate1 [379]
00 1
.names [225] [246] [381]
11 1
.names [247] [1902] [387]
11 1
.names ppccack nslavexxxxstate2 [388]
00 1
.names nv_receive_begin nv_transmit_begin [389]
01 1
.names n_n226 [1900] [391]
11 1
.names preseti [198] [392]
01 1
.names [143] [215] [393]
10 1
.names pcoherencystate1i [215] [395]
01 1
.names ptm1l [143] [396]
10 1
.names ppccreqcode0 n_n720 [398]
10 1
.names n_n720 [1897] [401]
01 1
.names [1895] [1896] [403]
11 1
.names ppccreqcode1 n_n720 [404]
10 1
.names [244] [1885] [405]
11 1
.names psbcresetpcc [243] [406]
01 1
.names packi [140] [409]
01 1
.names plastrqsti pphysrecxxxxstate0 [410]
01 1
.names pbus_inactive [278] [412]
11 1
.names [113] [1889] [414]
01 1
.names [276] [1887] [416]
11 1
.names nmasterxxxxstate0 [236] [417]
01 1
.names ptm0i ptm1i [418]
11 1
.names n_n82 [1879] [420]
01 1
.names pvtm1l nslavexxxxv_transmit_begin [421]
11 1
.names [1877] [1878] [422]
11 1
.names [218] [227] [423]
11 1
.names [120] [1873] [424]
11 1
.names nwd_cnt_test [220] [425]
11 1
.names pphysrecxxxxstate1 nv_receive_begin [426]
11 1
.names [172] [1872] [428]
11 1
.names [123] [242] [429]
11 1
.names [127] [1871] [430]
11 1
.names pwdcntxxxxstate1 [212] [431]
11 1
.names [212] [241] [432]
11 1
.names pwdcntxxxxstate1 [127] [433]
11 1
.names [1868] [1869] [434]
11 1
.names [127] [239] [435]
11 1
.names ppccsawreset nresetxxxxstate1 [436]
01 1
.names pstarto pvtm0l [440]
11 1
.names nupdatedone [231] [442]
01 1
.names ppccreqcode1 n_n12 [443]
01 1
.names ppccreqcode1 n_n12 [446]
00 1
.names nnubusxxxxstate1 [121] [449]
10 1
.names ptm1i nv_receive_begin [451]
00 1
.names ptm0i nv_receive_begin [453]
00 1
.names [220] [1850] [455]
11 1
.names nv_transmit_begin [1851] [456]
01 1
.names nmasterxxxxl_dbufo_if_tm0 [308] [457]
11 1
.names [275] [1847] [459]
11 1
.names psbcresetpcc [134] [460]
01 1
.names [127] [1846] [461]
11 1
.names [1842] [1843] [463]
11 1
.names [1844] [1845] [464]
11 1
.names [319] [1838] [465]
11 1
.names psbcresetpcc [134] [466]
01 1
.names nv_receive_begin [1839] [468]
11 1
.names nvirmachxxxxstate1 [1840] [469]
11 1
.names n_n226 [1834] [470]
11 1
.names n_n12 [337] [471]
11 1
.names preseti [289] [474]
11 1
.names [333] [1833] [476]
11 1
.names ppccreqcode0 [332] [477]
11 1
.names [293] [292] [478]
11 1
.names ppccsawreset [284] [481]
01 1
.names preseti [147] [483]
01 1
.names n_n74 [329] [485]
01 1
.names [230] n_n107 [486]
11 1
.names pvackl [125] [487]
11 1
.names psbcresetpcc n_n693 [488]
10 1
.names [236] [1816] [491]
11 1
.names pvsacki [330] [492]
11 1
.names packl [331] [493]
01 1
.names [124] [170] [494]
11 1
.names pvackl nmasterxxxxstate1 [495]
10 1
.names pstarti [236] [496]
01 1
.names [213] [1821] [498]
11 1
.names [129] [272] [499]
11 1
.names [114] [1823] [500]
01 1
.names [1814] [1815] [502]
11 1
.names [123] [280] [503]
11 1
.names [125] [313] [504]
11 1
.names n_n74 [315] [505]
01 1
.names packl [314] [507]
01 1
.names pvsacki [201] [509]
01 1
.names [316] [1808] [511]
11 1
.names [317] [1810] [512]
11 1
.names psinglestep [124] [513]
11 1
.names pvsacki [318] [515]
11 1
.names pvsacki nmasterxxxxstate2 [516]
01 1
.names [324] [1802] [518]
11 1
.names n_n720 [1805] [519]
01 1
.names [122] [325] [522]
01 1
.names ppccreqcode1 [326] [524]
01 1
.names ppccreqcode1 [327] [525]
11 1
.names [334] [1798] [528]
11 1
.names nmasterxxxxstate3 [126] [529]
01 1
.names [237] [335] [530]
11 1
.names nmasterxxxxstate2 [214] [531]
01 1
.names ppccreqcode3 [336] [533]
01 1
.names ppccreqcode1 ppccreqcode0 [534]
10 1
.names ppccreqcode1 ppccreqcode2 [537]
00 1
.names nmasterxxxxl_dbufo_if_tm0 [1787] [539]
11 1
.names psbcresetpcc [310] [540]
01 1
.names nupdatedone [231] [541]
01 1
.names [125] [115] [542]
00 1
.names nmasterxxxxstate3 [311] [544]
11 1
.names [217] [312] [545]
11 1
.names [126] [1789] [546]
11 1
.names nmasterxxxxstate1 [195] [547]
10 1
.names n_n74 [1775] [550]
01 1
.names psbcresetpcc [304] [551]
01 1
.names [305] [1782] [554]
11 1
.names [214] [1778] [557]
11 1
.names [217] [321] [558]
11 1
.names [118] [322] [559]
01 1
.names ppccreqcode1 ppccreqcode0 [562]
00 1
.names ppccreqcode1 ppccreqcode2 [563]
10 1
.names [117] [1764] [564]
11 1
.names n_n226 [1765] [565]
11 1
.names ppccsync [298] [566]
01 1
.names nslavexxxxstate2 [299] [567]
11 1
.names packi n_n226 [569]
01 1
.names n_n301 [300] [571]
11 1
.names nslavexxxxstate1 [301] [572]
11 1
.names packi [302] [573]
01 1
.names pvsacki nslavexxxxstate0 [574]
11 1
.names pnubusactive nintr_req [576]
10 1
.names n_n46 [1759] [578]
11 1
.names [296] [1761] [579]
11 1
.names pnubusactive [123] [581]
11 1
.names ppccsync [233] [583]
10 1
.names n_n226 [1755] [585]
11 1
.names [225] [290] [586]
11 1
.names pvsacki nslavexxxxstate1 [587]
11 1
.names pvtm0l [282] [590]
11 1
.names pcoherencystate2i [339] [592]
01 1
.names [1753] [1754] [594]
11 1
.names nresetxxxxstate2 preseti [1748]
01 1
.names [147] ngen_reset [1749]
01 1
.names [238] nintr_done [1750]
11 1
.names nnubusxxxxstate1 pstarti [1751]
01 1
.names nnubusxxxxstate1 pstarti [1752]
0- 1
-1 1
.names [287] packi [1753]
10 1
.names [288] [172] [1754]
10 1
.names [211] pvtm0l [1755]
11 1
.names pcoherencystate2i ptm1l [1756]
0- 1
-0 1
.names [587] nslavexxxxstate2 [1757]
1- 1
-0 1
.names [225] nslavexxxxstate2 [1758]
11 1
.names [294] [1758] [1759]
11 1
.names n_n301 preseti [1760]
00 1
.names [1760] [295] [1761]
11 1
.names [579] nslavexxxxstate1 [1762]
1- 1
-1 1
.names nslavexxxxstate1 ppccack [1763]
0- 1
-0 1
.names [218] nslavexxxxstate0 [1764]
11 1
.names [190] n_n301 [1765]
11 1
.names nslavexxxxstate1 nslavexxxxstate0 [1766]
01 1
.names [574] n_n301 [1767]
1- 1
-1 1
.names [565] [137] [1768]
1- 1
-0 1
.names [564] [1768] [1769]
1- 1
-1 1
.names [1769] [566] [1770]
1- 1
-1 1
.names pvtm0i pvsacki [1771]
11 1
.names [1771] [201] [1772]
11 1
.names [214] pvackl [1773]
1- 1
-0 1
.names n_n74 pvsacki [1774]
01 1
.names nmasterxxxxstate1 packl [1775]
10 1
.names nmasterxxxxstate2 nmasterxxxxstate1 [1776]
00 1
.names nmasterxxxxstate0 pstarti [1777]
11 1
.names pgranti pvsacki [1778]
11 1
.names pbus_inactive ppccconfirm [1779]
11 1
.names [219] psinglestep [1780]
0- 1
-1 1
.names [195] psinglestep [1781]
0- 1
-1 1
.names [306] [199] [1782]
10 1
.names [554] n_n137 [1783]
1- 1
-1 1
.names [160] [550] [1784]
1- 1
-1 1
.names n_n75 [1784] [1785]
0- 1
-1 1
.names n_n74 nmasterxxxxstate3 [1786]
00 1
.names [130] [216] [1787]
11 1
.names [195] prqsti [1788]
00 1
.names [118] psinglestep [1789]
10 1
.names [170] [158] [1790]
1- 1
-1 1
.names nmasterxxxxstate1 psbcresetpcc [1791]
00 1
.names [541] n_n74 [1792]
1- 1
-0 1
.names [539] [542] [1793]
1- 1
-1 1
.names [1793] [1792] [1794]
1- 1
-1 1
.names [221] ppccreq [1795]
1- 1
-0 1
.names [1795] [534] [1796]
1- 1
-1 1
.names [531] [236] [1797]
1- 1
-1 1
.names nmasterxxxxstate0 prqsti [1798]
00 1
.names pgranti pbus_inactive [1799]
0- 1
-0 1
.names [199] ppccconfirm [1800]
1- 1
-0 1
.names [525] [524] [1801]
1- 1
-1 1
.names nmasterxxxxstate2 nmasterxxxxstate1 [1802]
11 1
.names ppccreq ppccreqcode3 [1803]
0- 1
-0 1
.names [195] nmasterxxxxstate1 [1804]
1- 1
-1 1
.names [113] nmasterxxxxstate3 [1805]
11 1
.names [519] n_n137 [1806]
1- 1
-1 1
.names [518] [1806] [1807]
1- 1
-1 1
.names nmasterxxxxstate3 nmasterxxxxstate1 [1808]
11 1
.names [516] [201] [1809]
1- 1
-1 1
.names plastrqsti packl [1810]
01 1
.names [235] [511] [1811]
1- 1
-1 1
.names [512] [513] [1812]
1- 1
-1 1
.names [505] [504] [1813]
1- 1
-1 1
.names pstarti ptm1i [1814]
10 1
.names [211] nnubusxxxxstate0 [1815]
10 1
.names pvtm0i pvsacki [1816]
10 1
.names [491] [495] [1817]
1- 1
-1 1
.names [494] [493] [1818]
1- 1
-1 1
.names [492] [1817] [1819]
1- 1
-1 1
.names [114] nmasterxxxxstate0 [1820]
00 1
.names nmasterxxxxstate0 pstarti [1821]
10 1
.names pbus_inactive ppccconfirm [1822]
11 1
.names [1822] [170] [1823]
10 1
.names [160] nmasterxxxxl_dbufo_if_tm0 [1824]
1- 1
-1 1
.names [1824] [487] [1825]
1- 1
-1 1
.names [1825] [486] [1826]
1- 1
-1 1
.names [485] [1826] [1827]
1- 1
-1 1
.names pvsacki pbus_inactive [1828]
01 1
.names prqsti ppccconfirm [1829]
1- 1
-0 1
.names nmasterxxxxstate2 nmasterxxxxstate1 [1830]
1- 1
-1 1
.names [1830] [1829] [1831]
1- 1
-1 1
.names [199] [230] [1832]
1- 1
-0 1
.names ppccreqcode0 ppccreqcode2 [1833]
00 1
.names [227] [190] [1834]
10 1
.names [470] nmasterxxxxv_receive_begin [1835]
1- 1
-1 1
.names [159] [1835] [1836]
0- 1
-1 1
.names nvirmachxxxxstate0 psbcresetpcc [1837]
10 1
.names [232] ppccack [1838]
11 1
.names nvirmachxxxxstate1 nvirmachxxxxstate0 [1839]
00 1
.names nvirmachxxxxstate0 pvacki [1840]
10 1
.names [465] [148] [1841]
1- 1
-1 1
.names pwdcntxxxxstate2 pwdcntxxxxstate3 [1842]
00 1
.names [212] nwdcntxxxxstate0 [1843]
11 1
.names psbcresetpcc pwdcntxxxxstate1 [1844]
00 1
.names nreset_wd_cnt nset_ex_wd_cnt1 [1845]
11 1
.names [279] pwdcntxxxxstate1 [1846]
11 1
.names [232] ppccack [1847]
10 1
.names packi ptm0i [1848]
01 1
.names nwd_cnt_test pphysrecxxxxstate0 [1849]
00 1
.names [1849] nv_receive_begin [1850]
10 1
.names psbcresetpcc pvtm0i [1851]
01 1
.names [148] [456] [1852]
1- 1
-1 1
.names [457] [455] [1853]
1- 1
-1 1
.names pphysrecxxxxstate0 packi [1854]
01 1
.names [1854] [128] [1855]
11 1
.names [123] nintr_done [1856]
10 1
.names pvtm0l ptag_match [1857]
0- 1
-0 1
.names [225] [218] [1858]
0- 1
-0 1
.names pcoherencystate2i ptm1l [1859]
10 1
.names [446] [221] [1860]
1- 1
-1 1
.names [173] [442] [1861]
1- 1
-1 1
.names [1861] [443] [1862]
1- 1
-1 1
.names [218] nupdatereq [1863]
01 1
.names [227] [257] [1864]
11 1
.names [1863] [256] [1865]
11 1
.names nresetxxxxstate0 preseti [1866]
1- 1
-1 1
.names [436] nresetxxxxstate2 [1867]
1- 1
-1 1
.names pwdcntxxxxstate2 pwdcntxxxxstate3 [1868]
01 1
.names [212] nincr_wd_cnt [1869]
11 1
.names pwdcntxxxxstate3 pwdcntxxxxstate1 [1870]
0- 1
-1 1
.names nincr_wd_cnt pwdcntxxxxstate3 [1871]
11 1
.names [211] nintr_done [1872]
10 1
.names psbcresetpcc packi [1873]
00 1
.names nslavexxxxstate1 pvsacki [1874]
10 1
.names ppccsync pnubusactive [1875]
01 1
.names nintr_req nslavexxxxstate0 [1876]
11 1
.names [1876] [1875] [1877]
11 1
.names [229] [123] [1878]
11 1
.names [143] ptm1l [1879]
01 1
.names psbcresetpcc pvtm0i [1880]
01 1
.names nvirmachxxxxstate0 pvacki [1881]
11 1
.names [1880] nvirmachxxxxstate1 [1882]
11 1
.names np_receive_begin pphysrecxxxxstate0 [1883]
11 1
.names nwd_cnt_test plastrqsti [1884]
10 1
.names [1884] [128] [1885]
11 1
.names plastrqsti packl [1886]
01 1
.names [1886] nmasterxxxxstate0 [1887]
11 1
.names ppccreq ppccreqcode3 [1888]
11 1
.names [1888] nmasterxxxxstate0 [1889]
10 1
.names [409] [410] [1890]
1- 1
-1 1
.names nmasterxxxxl_dbufo_if_tm0 [234] [1891]
1- 1
-1 1
.names [1891] [405] [1892]
1- 1
-1 1
.names [340] psinglestep [1893]
10 1
.names nmasterxxxxstate0 ppccreq [1894]
01 1
.names [291] [112] [1895]
11 1
.names [124] [1894] [1896]
11 1
.names nmasterxxxxstate3 ppccreqcode2 [1897]
11 1
.names [200] [398] [1898]
1- 1
-1 1
.names [395] pnextstatexxxxcoherencystate2o [1899]
1- 1
-1 1
.names [190] [211] [1900]
01 1
.names pvtm0l ptag_match [1901]
11 1
.names [1901] nslavexxxxstate1 [1902]
10 1
.names n_n169 pnextstatexxxxcoherencystate2o [1903]
1- 1
-1 1
.names pslavexxxxsnoopvtagstate_r [148] [1904]
1- 1
-1 1
.names [381] [1903] [1905]
1- 1
-1 1
.names [1905] [1904] [1906]
1- 1
-1 1
.names nnubusxxxxstate0 pstarti [1907]
11 1
.names nnubusxxxxstate1 pstarti [1908]
00 1
.names nintr_done packi [1909]
01 1
.names [170] n_n74 [1910]
00 1
.names n_n74 nmasterxxxxstate3 [1911]
00 1
.names nupdatedone nmasterxxxxstate2 [1912]
11 1
.names [370] [226] [1913]
1- 1
-1 1
.names n_n148 [366] [1914]
1- 1
-1 1
.names n_n11 [1914] [1915]
1- 1
-1 1
.names n_n148 psbcresetpcc [1916]
0- 1
-0 1
.names [360] [125] [1917]
1- 1
-1 1
.names [1917] [361] [1918]
1- 1
-1 1
.names [114] [230] [1919]
01 1
.names [222] n_n74 [1920]
10 1
.names n_n169 pvirmachxxxxen_vdbufo [1921]
1- 1
-1 1
.names [354] [353] [1922]
1- 1
-1 1
.names [1921] nslavexxxxv_transmit_begin [1923]
1- 1
-1 1
.names [1923] [1922] [1924]
1- 1
-1 1
.names nnubusxxxxstate1 pstarti [1925]
10 1
.names nintr_done preseti [1926]
0- 1
-0 1
.names [347] [1926] [1927]
1- 1
-1 1
.names [195] nmasterxxxxstate1 [1928]
01 1
.names nslavexxxxstate1 pstarti [1929]
00 1
.names n_n301 nslavexxxxstate2 [1930]
10 1
.names packi pstarti [1931]
00 1
.names [229] nintr_req [1932]
10 1
.names nslavexxxxstate0 packi [1933]
01 1
.names [202] preseti [1934]
1- 1
-1 1
.names [1934] [203] [1935]
1- 1
-1 1
.names ptm1i ptm0i [1936]
01 1
.names nwd_cnt_test pphysrecxxxxstate0 [1937]
0- 1
-1 1
.names [1937] [194] [1938]
1- 1
-1 1
.names [128] packi [1939]
11 1
.names [115] nmasterxxxxstate1 [1940]
1- 1
-1 1
.names [125] packl [1941]
10 1
.names psinglestep ppccconfirm [1942]
01 1
.names [114] [1942] [1943]
11 1
.names [177] [178] [1944]
1- 1
-1 1
.names ptm1i ptm0i [1945]
01 1
.names [183] [140] [1946]
1- 1
-0 1
.names [181] [1946] [1947]
1- 1
-1 1
.names [168] [174] [1948]
1- 1
-1 1
.names [1948] [171] [1949]
1- 1
-1 1
.names [165] [148] [1950]
1- 1
-1 1
.names [159] [1950] [1951]
0- 1
-1 1
.names nv_receive_begin pphysrecxxxxstate0 [1952]
0- 1
-1 1
.names [128] packi [1953]
10 1
.names [217] n_n137 [1954]
1- 1
-1 1
.names [180] [121] [1955]
11 1
.names porxxxxtm0o ppccreqcode0 [1956]
0- 1
-1 1
.names [173] [1956] [1957]
1- 1
-1 1
.names ppccreqcode3 ppccreqcode2 [1958]
00 1
.names pvsacki packl [1959]
01 1
.names [1959] n_n74 [1960]
10 1
.names n_n157 [133] [1961]
1- 1
-1 1
.names n_n11 [1961] [1962]
1- 1
-1 1
.names [136] nmasterxxxxacko [1963]
1- 1
-1 1
.names [116] [148] [1964]
1- 1
-1 1
.names [1964] nslavexxxxv_transmit_begin [1965]
1- 1
-1 1
.end