.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 nmasterxxxxv_receive_begin n_n74 [1773] pmasterxxxxen_vdbufi
-0- 1
1-0 1
.names preseti nresetxxxxstate0 [1867] presetxxxxsbcresetpcc
1-- 1
-1- 1
--1 1
.names [112] [478] [1832] pmasterxxxxen_abufo
100 1
.names [172] [429] [1872] pnubusxxxxnubusactive
-1- 1
1-1 1
.names [120] [425] [1873] pphysrecxxxxnextstate0
-1- 1
1-1 1
.names [423] [1877] [1878] pslavexxxxsbcreqcode2
1-- 1
-11 1
.names n_n82 [421] [1879] pslavexxxxsbcreqcode0
-1- 1
0-1 1
.names pvacki nvirmachxxxxstate0 [1882] pvirmachxxxxsbcsetdirty
111 1
.names psbcresetpcc [243] [1892] porxxxxen_start
--1 1
01- 1
.names n_n21 [309] [1855] porxxxxsbcackcode0
1-- 1
-11 1
.names n_n82 [245] pslavexxxxsbcreqcode1
01 1
.names n_n64 [1864] [1865] pslavexxxxsnoopstate_w
0-- 1
-11 1
.names nmasterxxxxp_receive_begin [1860] [1906] porxxxxvsacko
0-- 1
-1- 1
--1 1
.names preseti nresetxxxxstate2 presetxxxxreset
11 1
.names psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 \
pvirmachxxxxen_vdbufo
010 1
.names [286] [285] [375] porxxxxreseto
0-- 1
-0- 1
--1 1
.names n_n21 [1915] porxxxxsbcackcodelatch
1- 1
-1 1
.names n_n82 [393] [1859] pslavexxxxgeneratenextstate
00- 1
0-1 1
.names pvirmachxxxxen_vdbufo [364] pvirmachxxxxsbcconfigure
1- 1
-1 1
.names n_n215 [200] [1916] porxxxxacko
1-- 1
-1- 1
--1 1
.names n_n75 [1918] pmasterxxxxsbc_writecache
1- 1
-1 1
.names [250] [1919] [1924] porxxxxen_vcntl
--1 1
11- 1
.names packi [251] [1927] pnubusxxxxl_pabufi
--1 1
11- 1
.names ptm1l pvtm1l pcoherencystate2i pnextstatexxxxcoherencystate2o
001 1
.names psbcresetpcc [252] [341] pmasterxxxxrqsto
--1 1
01- 1
.names pvirmachxxxxen_vdbufo nwd_cnt_test n_n148 porxxxxvacko
--1 1
11- 1
.names [254] [1933] [1935] pslavexxxxl_vabufi
--1 1
11- 1
.names [259] [189] [1939] porxxxxsbcackcode1
-1- 1
1-1 1
.names psbcresetpcc psinglestep [260] porxxxxstarto
001 1
.names psbcresetpcc [263] [1949] porxxxxsbcackcode2
--1 1
01- 1
.names pslavexxxxsbcreqcode2 n_n64 pslavexxxxsbcreq
1- 1
-0 1
.names ppccreqcode0 [173] [1951] porxxxxl_dbufo
--1 1
00- 1
.names [226] [286] [285] porxxxxsbcackcode3
1-- 1
-0- 1
--0 1
.names preseti [198] [391] pslavexxxxsnoopvtagstate_r
--1 1
01- 1
.names [123] n_n148 [1750] porxxxxtm0o
-1- 1
1-1 1
.names [128] [156] [1883] pphysrecxxxxnextstate1
-1- 1
1-1 1
.names psbcresetpcc n_n50 [1954] pmasterxxxxarb_active
01- 1
0-1 1
.names [154] [155] porxxxxen_cntl
1- 1
-1 1
.names ppccreqcode1 [159] [1957] porxxxxtm1o
--1 1
01- 1
.names ppccreqcode1 ppccreqcode0 [1958] pencodemuxxxxxmx_ad_8
1-1 1
-01 1
.names n_n11 [1961] [1963] porxxxxsbcack
1-- 1
-1- 1
--1 1
.names ppccreqcode1 ppccreqcode0 [159] porxxxxvtm1o
111 1
.names nmasterxxxxp_receive_begin [1860] [1965] porxxxxvtm0o
0-- 1
-1- 1
--1 1
.names pvirmachxxxxen_vdbufo nwd_cnt_test pvirmachxxxxsbccacherelease
11 1
.names preseti nresetxxxxstate2 [1749] nresetxxxxnextstate0
101 1
.names n_n215 [1753] [1754] nnubusxxxxnextstate1
1-- 1
-11 1
.names n_n226 [586] [1755] nslavexxxxnextstate0
-1- 1
1-1 1
.names n_n46 [1759] [1762] nslavexxxxnextstate1
--1 1
11- 1
.names preseti [567] [1770] nslavexxxxnextstate2
01- 1
0-1 1
.names psbcresetpcc [304] [1785] nmasterxxxxnextstate1
--1 1
01- 1
.names psbcresetpcc [310] [1794] nmasterxxxxnextstate2
--1 1
01- 1
.names psbcresetpcc [323] [1813] nmasterxxxxnextstate3
--1 1
01- 1
.names [503] [1814] [1815] nnubusxxxxnextstate0
1-- 1
-11 1
.names psbcresetpcc n_n693 [1827] nmasterxxxxnextstate0
--1 1
10- 1
.names preseti nresetxxxxstate2 [481] nresetxxxxnextstate1
--1 1
11- 1
.names [333] [477] [1833] norxxxxset_ex_wd_cnt1
-1- 1
1-1 1
.names preseti nresetxxxxstate2 [289] nresetxxxxnextstate2
11- 1
1-1 1
.names [159] [471] [1835] norxxxxreset_wd_cnt_x
0-- 1
-1- 1
--1 1
.names [148] [465] [466] nvirmachxxxxnextstate0
1-- 1
-1- 1
--1 1
.names [461] [463] [464] nwdcntxxxxwd_cnt_test
1-- 1
-1- 1
--1 1
.names [275] [460] [1847] nvirmachxxxxnextstate1
-1- 1
1-1 1
.names [455] [457] [1852] norxxxxincr_wd_cnt
1-- 1
-1- 1
--1 1
.names [464] [1842] [1843] nwdcntxxxxnextstate0
1-- 1
-11 1
.names [125] [201] [1771] nmasterxxxxv_receive_begin
111 1
.names [286] [285] norxxxxgen_reset
0- 1
-0 1
.names ppccreqcode0 [159] nmasterxxxxp_receive_begin
11 1
.names nintr_done [123] [303] nnubusxxxxintr_req
011 1
.names preseti nslavexxxxstate0 [137] nslavexxxxintr_done
1-1 1
-11 1
.names ptm1l pcoherencystate2i n_n82 nslavexxxxv_transmit_begin
010 1
.names nmasterxxxxp_receive_begin [1860] [1862] nmasterxxxxupdatereq
0-- 1
-1- 1
--1 1
.names [227] [257] [1865] nslavexxxxsnoopvtag_w
111 1
.names nmasterxxxxv_receive_begin n_n74 [1773] n_n75
01- 1
-11 1
.names pwdcntxxxxstate2 psbcresetpcc nreset_wd_cnt [127]
111 1
.names pwdcntxxxxstate1 pwdcntxxxxstate3 nincr_wd_cnt [239]
1-- 1
-0- 1
--0 1
.names [435] [1868] [1869] nwdcntxxxxwd_cnt1
1-- 1
-11 1
.names ppccreqcode1 ppccreqcode2 [112]
0- 1
-0 1
.names pwdcntxxxxstate3 [432] [433] nwdcntxxxxwd_cnt0
11- 1
1-1 1
.names [127] [431] [1871] nwdcntxxxxwd_cnt2
-1- 1
1-1 1
.names psbcresetpcc nmasterxxxxstate0 n_n74
1- 1
-0 1
.names packl nmasterxxxxstate2 [216]
01 1
.names packl nmasterxxxxstate2 [1786] nmasterxxxxl_dbufo_if_tm0
011 1
.names pstarti preseti packi [123]
000 1
.names pstarti nnubusxxxxstate1 nnubusxxxxstate0 [172]
100 1
.names preseti packi [211]
00 1
.names nnubusxxxxstate1 nnubusxxxxstate0 nintr_done [242]
01- 1
1-0 1
.names pphysrecxxxxstate1 pphysrecxxxxstate0 nv_receive_begin [120]
-1- 1
1-1 1
.names nslavexxxxstate1 nslavexxxxstate2 [218]
01 1
.names preseti packi nslavexxxxstate0 [227]
000 1
.names pvsacki nslavexxxxstate1 nslavexxxxstate2 [229]
011 1
.names [218] [225] [1857] n_n82
0-- 1
-0- 1
--1 1
.names pcoherencystate2i pcoherencystate1i [143]
1- 1
-0 1
.names psbcresetpcc pphysrecxxxxstate1 [128]
01 1
.names psbcresetpcc pphysrecxxxxstate1 [1883] [234]
011 1
.names ptm0i ptm1i nv_receive_begin [244]
--1 1
11- 1
.names n_n724 [277] [1890] [243]
1-- 1
-0- 1
--1 1
.names psbcresetpcc [142] [1898] n_n21
01- 1
0-1 1
.names pnextstatexxxxcoherencystate2o [395] [396] [245]
1-- 1
-1- 1
--1 1
.names n_n82 [393] [1859] n_n64
1-- 1
-10 1
.names pvirmachxxxxen_vdbufo nwd_cnt_test [148]
10 1
.names preseti nslavexxxxstate0 [225]
01 1
.names n_n74 [124] [170] n_n148
010 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 [123] [1750] n_n215
11 1
.names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [125]
011 1
.names pstarti nmasterxxxxstate2 [201]
01 1
.names ppccreqcode1 ppccreqcode2 [199] [114]
--1 1
11- 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [124]
001 1
.names pstarti pvsacki [222]
11 1
.names psbcresetpcc psinglestep [230]
00 1
.names ppccconfirm [235] n_n126 [250]
-1- 1
1-1 1
.names pstarti nnubusxxxxstate1 nnubusxxxxstate0 [224]
000 1
.names pstarti nnubusxxxxstate1 nnubusxxxxstate0 [251]
011 1
100 1
.names ptm1l pvtm1l [215]
00 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [213]
000 1
.names [342] [344] [345] [252]
1-- 1
-1- 1
--1 1
.names packi nslavexxxxstate0 n_n301
00 1
.names [218] n_n226 [255] [254]
-1- 1
0-1 1
.names pstarti packi nslavexxxxstate0 [253]
11- 1
001 1
.names nslavexxxxstate1 nslavexxxxstate2 [257]
0- 1
-1 1
.names [193] [194] [1937] [259]
1-- 1
-1- 1
--1 1
.names [235] n_n126 [1820] [260]
-1- 1
1-1 1
.names nmasterxxxxstate1 [115] [185] [261]
1-- 1
-1- 1
--1 1
.names packl [125] [261] nmasterxxxxl_pdbufi
011 1
.names packl [373] [374] n_n93
11- 1
1-1 1
.names preseti nresetxxxxstate2 [226]
01 1
.names [181] [182] [1946] [264]
1-- 1
-1- 1
--1 1
.names n_n57 [401] [1944] [263]
1-- 1
-1- 1
--1 1
.names ptm0i ptm1i [262]
01 1
10 1
.names ppccreqcode2 [478] [1832] [159]
1-- 1
-1- 1
--1 1
.names ppccreqcode2 [478] [1832] [173]
11- 1
1-1 1
.names pstarti nslavexxxxstate1 nslavexxxxstate2 n_n226
100 1
.names pstarto pvtm0l [190]
1- 1
-0 1
.names nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [198]
100 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 ppccreqcode3 ppccreq [1788] [126]
011 1
.names prqsti nmasterxxxxstate3 [271]
0- 1
-1 1
.names psinglestep nmasterxxxxstate3 [270]
1- 1
-0 1
.names [271] [345] [1928] n_n50
-1- 1
1-1 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [129]
110 1
.names pgranti [114] [1823] [272]
0-- 1
-01 1
.names [129] [272] [498] n_n693
--1 1
11- 1
.names pvsacki psinglestep [170]
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 pstarti nmasterxxxxstate1 nmasterxxxxstate2 [276]
-1- 1
0-1 1
.names [276] [417] [1887] n_n724
-1- 1
1-1 1
.names pstarti nmasterxxxxstate0 [213] n_n137
111 1
.names pbus_inactive [217] [278] [277]
-1- 1
1-1 1
.names nnubusxxxxstate1 nnubusxxxxstate0 nintr_done [280]
01- 1
1-0 1
.names nslavexxxxstate1 [117] [590] n_n46
01- 1
0-1 1
.names nvirmachxxxxstate1 nv_receive_begin nv_transmit_begin [283]
1-- 1
-01 1
.names [309] [113] [1855] [286]
0-- 1
-1- 1
--0 1
.names psbcresetpcc [1803] [1804] [285]
1-- 1
-1- 1
--1 1
.names prqsti [124] [235]
01 1
.names pgranti [129] [217]
11 1
.names pgranti [129] [1828] n_n126
111 1
.names nresetxxxxstate0 nresetxxxxstate1 ngen_reset [289]
1-- 1
-1- 1
--0 1
.names ppccreqcode3 ppccreq [1804] n_n720
0-- 1
-0- 1
--1 1
.names [404] [1895] [1896] n_n57
1-- 1
-11 1
.names ppccreqcode3 ppccreq [199]
1- 1
-0 1
.names nmasterxxxxstate3 nmasterxxxxstate0 [292]
0- 1
-1 1
.names nslavexxxxstate2 [583] [296]
0- 1
-1 1
.names ptm1l pstarti nslavexxxxstate2 [295]
1-- 1
-0- 1
--1 1
.names preseti pnubusactive [123] [294]
0-- 1
-11 1
.names ppccreqcode2 ppccreqcode0 [221]
11 1
.names pslotspace_id_match nnubusxxxxstate1 nnubusxxxxstate0 [303]
-01 1
110 1
.names nmasterxxxxstate1 nmasterxxxxstate3 [1774] [160]
101 1
.names [557] [558] [1783] [304]
1-- 1
-1- 1
--1 1
.names psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate0 [231]
000 1
.names ptm0i pstarti [308]
1- 1
-1 1
.names pstarti nslavexxxxstate2 [223]
10 1
.names ptm1i nv_receive_begin [135] [309]
--1 1
00- 1
.names pvsacki pvtm0i nmasterxxxxstate2 [115]
1-0 1
-00 1
.names pstarti pvsacki [130]
11 1
00 1
.names nmasterxxxxstate3 [311] [545] [310]
--1 1
11- 1
.names packl [115] [314] [313]
-1- 1
0-1 1
.names ppccack nslavexxxxstate1 nslavexxxxstate2 [137]
0-- 1
-0- 1
--1 1
.names [528] [529] [1807] [323]
1-- 1
-1- 1
--1 1
.names ppccreqcode1 [478] [1832] [333]
1-- 1
-1- 1
--1 1
.names ppccreqcode1 ppccreqcode0 [337]
1- 1
-1 1
.names psinglestep n_n126 [340] [200]
011 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 [113]
1-- 1
-1- 1
--0 1
.names ptm1l pvtm1l pcoherencystate1i [339]
--0 1
00- 1
.names ptag_match pcoherencystate2i [339] [117]
0-- 1
-01 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 [118]
10- 1
0-0 1
.names pvsacki psinglestep [1799] [122]
1-- 1
-1- 1
--1 1
.names nmasterxxxxstate1 nmasterxxxxstate3 [237]
01 1
.names ptm0i nwd_cnt_test nv_receive_begin [135]
-0- 1
0-0 1
.names n_n57 [401] [142]
1- 1
-1 1
.names ppccconfirm [112] [199] [340]
0-- 1
-0- 1
--1 1
.names ppccreqcode3 ppccreq [1779] [219]
011 1
.names nincr_wd_cnt nwdcntxxxxstate0 [241]
0- 1
-1 1
.names packi nnubusxxxxstate1 nintr_done [249]
00- 1
-10 1
.names pslotspace_id_match nslavexxxxstate2 nintr_req [255]
1-- 1
-1- 1
--1 1
.names ppccreqcode2 ppccreqcode0 [268]
1- 1
-1 1
.names [124] [113] [1889] [278]
0-- 1
-01 1
.names ptm1l pcoherencystate2i pcoherencystate1i [282]
0-- 1
-0- 1
--0 1
.names nslavexxxxstate1 [301] [571] [299]
--1 1
11- 1
.names packi n_n226 [198] [298]
--1 1
01- 1
.names packi [302] [1767] [301]
--1 1
01- 1
.names pslotspace_id_match ppccsync nintr_req [300]
-1- 1
0-0 1
.names pstarti pnubusactive nintr_req [302]
1-- 1
-10 1
.names prqsti [113] [305]
1- 1
-0 1
.names [126] [547] [1789] [311]
-1- 1
1-1 1
.names pstarti pvsacki nmasterxxxxstate2 [314]
11- 1
001 1
.names nmasterxxxxstate3 [122] [325] [324]
1-- 1
-01 1
.names [1800] [1801] [325]
1- 1
-1 1
.names pstarti nmasterxxxxstate1 nmasterxxxxstate2 [331]
-1- 1
0-1 1
.names ppccreqcode1 ppccreqcode2 psinglestep [336]
--1 1
00- 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 [201] [146] [1960] [133]
1-1 1
-11 1
.names psbcresetpcc n_n57 [144] [136]
01- 1
0-1 1
.names [268] [1803] [1804] [144]
100 1
.names pvackl nmasterxxxxstate1 [146]
11 1
.names [123] [121] [180] [154]
111 1
.names psbcresetpcc n_n724 [277] [155]
01- 1
0-0 1
.names [161] [1952] [1953] [156]
1-1 1
-11 1
.names ptm0i nwd_cnt_test [161]
11 1
.names ppccack [232] [283] [165]
00- 1
0-0 1
.names preseti nresetxxxxstate1 nresetxxxxstate2 [174]
001 1
.names [221] [1803] [1804] [178]
100 1
.names ptm0i ptm1i [120] [181]
101 1
.names pphysrecxxxxstate1 [135] [182]
11 1
.names pstarti pvsacki nmasterxxxxstate2 [185]
111 1
001 1
.names ptm0i n_n93 [191] [189]
01- 1
0-1 1
.names packi psbcresetpcc [120] [191]
101 1
.names ptm0i ptm1i nv_receive_begin [193]
100 1
.names ptm0i ptm1i [194]
01 1
.names nintr_req [229] [253] [203]
011 1
.names psbcresetpcc nmasterxxxxstate0 [213] [341]
011 1
.names [129] [170] [1799] [342]
11- 1
1-1 1
.names prqsti nmasterxxxxstate3 [1928] [344]
0-1 1
-11 1
.names [270] [199] [1788] [345]
101 1
.names n_n74 [124] [222] [353]
011 1
.names packl nmasterxxxxstate2 [125] [354]
011 1
.names packl pvsacki nmasterxxxxstate2 [360]
011 1
.names packl pstarti nmasterxxxxstate2 [361]
001 1
.names ppccack [232] [283] [364]
00- 1
0-0 1
.names pstarti nmasterxxxxstate2 [1911] [373]
011 1
.names nmasterxxxxstate1 [125] [374]
11 1
.names preseti [377] [378] [375]
01- 1
0-1 1
.names pstarti nnubusxxxxstate0 [249] [377]
111 1
.names packi nintr_done [224] [378]
101 1
.names [225] [387] [388] [381]
11- 1
1-1 1
.names [143] [215] [1902] [387]
0-1 1
-11 1
.names ppccack nslavexxxxstate2 [388]
00 1
.names [211] n_n226 [190] [391]
110 1
.names preseti [198] [392]
01 1
.names pcoherencystate2i pcoherencystate1i [215] [393]
1-0 1
-00 1
.names ptm1l pvtm1l pcoherencystate1i [395]
000 1
.names ptm1l pcoherencystate2i pcoherencystate1i [396]
101 1
.names ppccreqcode0 [1803] [1804] [398]
100 1
.names [1803] [1804] [1897] [401]
001 1
.names ppccreqcode1 [1803] [1804] [404]
100 1
.names [128] [244] [1884] [405]
111 1
.names packi pphysrecxxxxstate1 pphysrecxxxxstate0 [409]
00- 1
0-0 1
.names nmasterxxxxstate2 nmasterxxxxstate3 nmasterxxxxstate0 [417]
110 1
.names pvtm1l n_n82 [1859] [421]
101 1
.names nslavexxxxstate1 nslavexxxxstate2 [227] [423]
011 1
.names nwd_cnt_test [128] [1848] [425]
111 1
.names [123] [242] [429]
11 1
.names pwdcntxxxxstate1 psbcresetpcc nreset_wd_cnt [431]
111 1
.names psbcresetpcc nreset_wd_cnt [241] [432]
111 1
.names pwdcntxxxxstate1 [127] [433]
11 1
.names [127] [239] [435]
11 1
.names pstarto pvtm0l [440]
11 1
.names nupdatedone [231] [442]
01 1
.names ppccreqcode1 [478] [1832] [443]
01- 1
0-1 1
.names ppccreqcode1 [478] [1832] [446]
000 1
.names [128] [1848] [1850] [455]
111 1
.names pvtm0i psbcresetpcc nv_transmit_begin [456]
100 1
.names [216] [308] [1786] [457]
111 1
.names psbcresetpcc [468] [469] [460]
01- 1
0-1 1
.names [127] [1846] [461]
11 1
.names pwdcntxxxxstate3 pwdcntxxxxstate2 [1843] [463]
001 1
.names pwdcntxxxxstate1 psbcresetpcc [1845] [464]
001 1
.names nvirmachxxxxstate1 nv_transmit_begin [1838] [465]
1-1 1
-11 1
.names psbcresetpcc [468] [469] [466]
01- 1
0-1 1
.names nvirmachxxxxstate0 nvirmachxxxxstate1 nv_receive_begin [468]
001 1
.names pvacki nvirmachxxxxstate0 nvirmachxxxxstate1 [469]
011 1
.names [227] n_n226 [190] [470]
110 1
.names [337] [478] [1832] [471]
11- 1
1-1 1
.names ppccreqcode0 [112] [173] [477]
10- 1
1-1 1
.names n_n126 [292] [1831] [478]
01- 1
-11 1
.names ppccsawreset nresetxxxxstate2 [483] [481]
01- 1
0-1 1
.names preseti nresetxxxxstate0 nresetxxxxstate1 [483]
01- 1
0-1 1
.names n_n74 [1818] [1819] [485]
01- 1
0-1 1
.names [230] [235] [1820] [486]
111 1
.names pvackl [125] [487]
11 1
.names pvsacki [216] [496] [492]
11- 1
1-1 1
.names pvsacki psinglestep [124] [494]
1-1 1
-11 1
.names pvackl nmasterxxxxstate1 [495]
10 1
.names pstarti nmasterxxxxstate2 nmasterxxxxstate3 [496]
011 1
.names pstarti nmasterxxxxstate0 [213] [498]
011 1
.names [123] [280] [503]
11 1
.names n_n74 [1811] [1812] [505]
01- 1
0-1 1
.names packl plastrqsti [1808] [511]
0-1 1
-01 1
.names [515] [1809] [1810] [512]
1-1 1
-11 1
.names pvsacki pvackl nmasterxxxxstate1 [515]
10- 1
1-0 1
.names [530] [1797] [1798] [528]
1-1 1
-11 1
.names nmasterxxxxstate3 [199] [1788] [529]
001 1
.names [237] [533] [1796] [530]
11- 1
1-1 1
.names ppccreqcode3 [336] [533]
01 1
.names [216] [130] [1786] [539]
111 1
.names [125] [115] [542]
00 1
.names [217] [219] [1790] [545]
10- 1
1-1 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate0 [547]
100 1
.names psbcresetpcc nmasterxxxxstate0 [1775] [550]
011 1
.names nmasterxxxxstate1 nmasterxxxxstate3 [1778] [557]
101 1
.names [217] [559] [1780] [558]
11- 1
1-1 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 [559]
11- 1
001 1
.names [117] [1764] [564]
11 1
.names n_n301 n_n226 [190] [565]
111 1
.names ppccsync [298] [566]
01 1
.names nslavexxxxstate2 [299] [567]
11 1
.names packi nslavexxxxstate0 [300] [571]
001 1
.names pslotspace_id_match ppccsync nintr_req [583]
11- 1
-11 1
.names [225] n_n46 [1757] [586]
11- 1
1-1 1
.names pvtm0l [282] [590]
11 1
.names nresetxxxxstate0 nresetxxxxstate1 ngen_reset [1749]
001 1
.names nnubusxxxxstate1 nnubusxxxxstate0 nintr_done [1750]
011 1
.names nnubusxxxxstate1 pstarti [1752]
0- 1
-1 1
.names preseti packi nintr_done [1753]
10- 1
-01 1
.names [172] [121] [1752] [1754]
00- 1
0-1 1
.names preseti packi pvtm0l [1755]
001 1
.names pvsacki nslavexxxxstate1 nslavexxxxstate2 [1757]
--0 1
11- 1
.names preseti nslavexxxxstate0 nslavexxxxstate2 [1758]
011 1
.names [294] [1758] [1759]
11 1
.names preseti packi nslavexxxxstate0 [1760]
01- 1
0-1 1
.names [1760] [295] [1761]
11 1
.names nslavexxxxstate1 [296] [1761] [1762]
1-- 1
-11 1
.names nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [1764]
101 1
.names packi pvsacki nslavexxxxstate0 [1767]
-11 1
0-0 1
.names [565] [137] [1768]
1- 1
-0 1
.names [564] [566] [1768] [1770]
1-- 1
-1- 1
--1 1
.names pvtm0i pvsacki [1771]
11 1
.names pvackl nmasterxxxxstate1 nmasterxxxxstate3 [1773]
0-- 1
-10 1
.names pvsacki psbcresetpcc nmasterxxxxstate0 [1774]
101 1
.names nmasterxxxxstate1 packl [1775]
10 1
.names pgranti pvsacki [1778]
11 1
.names pbus_inactive ppccconfirm [1779]
11 1
.names psinglestep [199] [1779] [1780]
1-- 1
-1- 1
--0 1
.names psinglestep nmasterxxxxstate2 nmasterxxxxstate0 [1781]
1-- 1
-00 1
.names [199] [237] [1781] [1782]
00- 1
0-1 1
.names n_n137 [305] [1782] [1783]
1-- 1
-11 1
.names n_n75 [160] [550] [1785]
0-- 1
-1- 1
--1 1
.names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [1786]
001 1
.names prqsti nmasterxxxxstate2 nmasterxxxxstate0 [1788]
000 1
.names [118] psinglestep [1789]
10 1
.names pvsacki psinglestep [158] [1790]
1-- 1
-1- 1
--1 1
.names nupdatedone n_n74 [231] [1792]
-0- 1
0-1 1
.names [539] [542] [1792] [1794]
1-- 1
-1- 1
--1 1
.names ppccreqcode2 ppccreq ppccreqcode0 [1795]
-0- 1
1-1 1
.names ppccreqcode1 ppccreqcode0 [1795] [1796]
--1 1
10- 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [1797]
-11 1
100 1
.names nmasterxxxxstate0 prqsti [1798]
00 1
.names pgranti pbus_inactive [1799]
0- 1
-0 1
.names ppccconfirm ppccreqcode3 ppccreq [1800]
0-- 1
-1- 1
--0 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 [1801]
11- 1
00- 1
0-1 1
1-0 1
.names nmasterxxxxstate2 nmasterxxxxstate1 [1802]
11 1
.names ppccreq ppccreqcode3 [1803]
0- 1
-0 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate0 [1804]
1-- 1
-1- 1
--1 1
.names [113] nmasterxxxxstate3 [1805]
11 1
.names n_n137 n_n720 [1805] [1806]
1-- 1
-01 1
.names [324] [1802] [1806] [1807]
--1 1
11- 1
.names nmasterxxxxstate3 nmasterxxxxstate1 [1808]
11 1
.names pstarti pvsacki nmasterxxxxstate2 [1809]
0-1 1
-01 1
.names plastrqsti packl [1810]
01 1
.names prqsti [124] [511] [1811]
--1 1
01- 1
.names psinglestep [124] [512] [1812]
--1 1
11- 1
.names [125] [313] [505] [1813]
--1 1
11- 1
.names pstarti ptm1i [1814]
10 1
.names preseti packi nnubusxxxxstate0 [1815]
000 1
.names pvtm0i pvsacki [1816]
10 1
.names [236] [495] [1816] [1817]
-1- 1
1-1 1
.names packl [331] [494] [1818]
--1 1
01- 1
.names [492] [1817] [1819]
1- 1
-1 1
.names nmasterxxxxstate0 [112] [199] [1820]
010 1
.names ppccconfirm pbus_inactive [170] [1823]
110 1
.names nmasterxxxxl_dbufo_if_tm0 [160] [487] [1825]
1-- 1
-1- 1
--1 1
.names [485] [486] [1825] [1827]
1-- 1
-1- 1
--1 1
.names pvsacki pbus_inactive [1828]
01 1
.names prqsti ppccconfirm [1829]
1- 1
-0 1
.names nmasterxxxxstate1 nmasterxxxxstate2 [1829] [1831]
1-- 1
-1- 1
--1 1
.names ppccreqcode3 ppccreq [230] [1832]
1-- 1
-0- 1
--0 1
.names ppccreqcode0 ppccreqcode2 [1833]
00 1
.names [470] nmasterxxxxv_receive_begin [1835]
1- 1
-1 1
.names ppccack psbcresetpcc nvirmachxxxxstate0 [1838]
100 1
.names pwdcntxxxxstate2 pwdcntxxxxstate3 [1842]
00 1
.names psbcresetpcc nreset_wd_cnt nwdcntxxxxstate0 [1843]
111 1
.names nreset_wd_cnt nset_ex_wd_cnt1 [1845]
11 1
.names pwdcntxxxxstate1 pwdcntxxxxstate3 nincr_wd_cnt [1846]
11- 1
1-1 1
.names ppccack psbcresetpcc nvirmachxxxxstate0 [1847]
000 1
.names packi ptm0i [1848]
01 1
.names pphysrecxxxxstate0 nwd_cnt_test nv_receive_begin [1850]
000 1
.names pvirmachxxxxen_vdbufo nwd_cnt_test [456] [1852]
--1 1
10- 1
.names packi pphysrecxxxxstate0 [128] [1855]
101 1
.names pvtm0l ptag_match [1857]
0- 1
-0 1
.names pcoherencystate2i ptm1l [1859]
10 1
.names ppccreqcode2 ppccreqcode0 [446] [1860]
--1 1
11- 1
.names [173] [442] [443] [1862]
1-- 1
-1- 1
--1 1
.names nslavexxxxstate1 nslavexxxxstate2 nupdatereq [1863]
1-1 1
-01 1
.names nslavexxxxstate1 nslavexxxxstate2 [227] [1864]
0-1 1
-11 1
.names [223] [440] [1863] [1865]
0-1 1
-11 1
.names ppccsawreset nresetxxxxstate1 nresetxxxxstate2 [1867]
--1 1
01- 1
.names pwdcntxxxxstate2 pwdcntxxxxstate3 [1868]
01 1
.names psbcresetpcc nreset_wd_cnt nincr_wd_cnt [1869]
111 1
.names nincr_wd_cnt pwdcntxxxxstate3 [1871]
11 1
.names preseti packi nintr_done [1872]
000 1
.names psbcresetpcc packi [1873]
00 1
.names ppccsync pnubusactive [1875]
01 1
.names nslavexxxxstate0 nintr_req [1875] [1877]
111 1
.names [229] [123] [1878]
11 1
.names ptm1l pcoherencystate2i pcoherencystate1i [1879]
101 1
.names pvtm0i psbcresetpcc nvirmachxxxxstate1 [1882]
101 1
.names np_receive_begin pphysrecxxxxstate0 [1883]
11 1
.names nwd_cnt_test plastrqsti [1884]
10 1
.names packl plastrqsti nmasterxxxxstate0 [1887]
101 1
.names ppccreqcode3 ppccreq nmasterxxxxstate0 [1889]
110 1
.names plastrqsti pphysrecxxxxstate0 [409] [1890]
--1 1
01- 1
.names nmasterxxxxl_dbufo_if_tm0 [234] [405] [1892]
1-- 1
-1- 1
--1 1
.names prqsti psinglestep [112] [1895]
1-1 1
-11 1
.names ppccreq nmasterxxxxstate0 [124] [1896]
101 1
.names nmasterxxxxstate3 ppccreqcode2 [1897]
11 1
.names [200] [398] [1898]
1- 1
-1 1
.names ptag_match pvtm0l nslavexxxxstate1 [1902]
110 1
.names pnextstatexxxxcoherencystate2o [232] [283] [1903]
1-- 1
-11 1
.names [148] [391] [392] [1904]
1-- 1
-1- 1
--1 1
.names [381] [1903] [1904] [1906]
1-- 1
-1- 1
--1 1
.names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [1911]
001 1
.names nupdatedone nmasterxxxxstate2 [1912]
11 1
.names [226] [231] [1912] [1913]
1-- 1
-11 1
.names n_n148 [140] [228] [1914]
1-- 1
-11 1
.names n_n93 [1913] [1914] [1915]
1-- 1
-1- 1
--1 1
.names n_n148 psbcresetpcc [1916]
0- 1
-0 1
.names [125] [360] [361] [1918]
1-- 1
-1- 1
--1 1
.names [112] [230] [199] [1919]
110 1
.names pvirmachxxxxen_vdbufo [232] [283] [1921]
1-- 1
-11 1
.names n_n82 [1859] [1921] [1923]
--1 1
01- 1
.names [353] [354] [1923] [1924]
1-- 1
-1- 1
--1 1
.names nintr_done preseti [1926]
0- 1
-0 1
.names packi [224] [1926] [1927]
--1 1
01- 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate0 [1928]
100 1
.names nslavexxxxstate1 pstarti [1929]
00 1
.names packi nslavexxxxstate0 nslavexxxxstate2 [1930]
000 1
.names nslavexxxxstate0 packi [1933]
01 1
.names preseti [1929] [1930] [1934]
1-- 1
-11 1
.names [1934] [203] [1935]
1- 1
-1 1
.names nwd_cnt_test pphysrecxxxxstate0 [1937]
0- 1
-1 1
.names packi psbcresetpcc pphysrecxxxxstate1 [1939]
101 1
.names psinglestep ppccconfirm [1942]
01 1
.names [112] [199] [1942] [1943]
0-1 1
-11 1
.names n_n126 [178] [1943] [1944]
-1- 1
1-1 1
.names ptm0i ptm1i [140] [1946]
--0 1
01- 1
.names n_n93 [262] [174] [1948]
--1 1
11- 1
.names [228] [264] [1948] [1949]
--1 1
11- 1
.names [148] [159] [165] [1951]
1-- 1
-0- 1
--1 1
.names nv_receive_begin pphysrecxxxxstate0 [1952]
0- 1
-1 1
.names packi psbcresetpcc pphysrecxxxxstate1 [1953]
001 1
.names pgranti [129] n_n137 [1954]
--1 1
11- 1
.names ppccreqcode0 n_n148 n_n215 [1956]
1-- 1
-00 1
.names [173] [1956] [1957]
1- 1
-1 1
.names ppccreqcode3 ppccreqcode2 [1958]
00 1
.names packl pvsacki n_n74 [1960]
100 1
.names [309] [133] [1855] [1961]
-1- 1
1-1 1
.names [200] [136] [1916] [1963]
1-- 1
-1- 1
--1 1
.names ppccackcode pvirmachxxxxen_vdbufo nwd_cnt_test [1964]
01- 1
-10 1
.names n_n82 [1859] [1964] [1965]
--1 1
01- 1
.end