.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 psbcresetpcc nmasterxxxxstate0 pmasterxxxxen_vdbufi
01 1
.names ppccsawreset preseti nresetxxxxstate0 nresetxxxxstate1 nresetxxxxstate2 \
presetxxxxsbcresetpcc
-1--- 1
--1-- 1
----1 1
0--1- 1
.names ppccreqcode1 ppccreqcode2 n_n126 [292] [1831] [1832] \
pmasterxxxxen_abufo
0--0-0 1
-0-0-0 1
0-1-00 1
-01-00 1
.names pstarti preseti packi nnubusxxxxstate1 nnubusxxxxstate0 nintr_done \
pnubusxxxxnubusactive
00001- 1
0001-0 1
100000 1
.names packi psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 \
nv_receive_begin [425] pphysrecxxxxnextstate0
-----1 1
00-1-- 1
001-1- 1
.names pnubusactive ppccsync nslavexxxxstate0 nintr_req [423] [1878] \
pslavexxxxsbcreqcode2
----1- 1
1011-1 1
.names ptm1l pvtm1l pcoherencystate2i pcoherencystate1i n_n82 \
pslavexxxxsbcreqcode0
011-0 1
1-010 1
.names pvtm0i psbcresetpcc pvacki nvirmachxxxxstate0 nvirmachxxxxstate1 \
pvirmachxxxxsbcsetdirty
10111 1
.names psbcresetpcc n_n60 [1890] [1892] porxxxxen_start
---1 1
00-- 1
0-1- 1
.names psbcresetpcc [309] [142] [1855] [1898] porxxxxsbcackcode0
0-1-- 1
-1-1- 1
0---1 1
.names ptm1l pvtm1l pcoherencystate2i pcoherencystate1i n_n82 \
pslavexxxxsbcreqcode1
001-0 1
1-010 1
00-00 1
.names ptm1l pcoherencystate2i n_n82 [393] [1864] [1865] \
pslavexxxxsnoopstate_w
--00-- 1
----11 1
010--- 1
.names nmasterxxxxp_receive_begin [1860] [1904] [1905] porxxxxvsacko
0--- 1
-1-- 1
--1- 1
---1 1
.names preseti nresetxxxxstate2 presetxxxxreset
11 1
.names psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 \
pvirmachxxxxen_vdbufo
010 1
.names [285] [309] [113] [375] [1855] porxxxxreseto
0---- 1
---1- 1
-10-1 1
.names psbcresetpcc n_n11 [142] [1898] [1914] porxxxxsbcackcodelatch
-1--- 1
----1 1
0-1-- 1
0--1- 1
.names ptm1l pvtm1l pcoherencystate2i pcoherencystate1i n_n82 \
pslavexxxxgeneratenextstate
00--0 1
0-1-0 1
--010 1
.names ppccack psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 \
nv_receive_begin nv_transmit_begin pvirmachxxxxsbcconfigure
01---- 1
0-1--- 1
-010-- 1
0--01- 1
0--0-0 1
.names psbcresetpcc n_n215 [124] n_n126 [1893] [1910] porxxxxacko
0----- 1
-1---- 1
--0--- 1
-----0 1
---11- 1
.names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [360] [361] \
pmasterxxxxsbc_writecache
1---- 1
--0-- 1
---1- 1
----1 1
011-- 1
.names ppccconfirm [235] n_n126 [1919] [1924] porxxxxen_vcntl
----1 1
-1-1- 1
1-11- 1
.names pstarti preseti packi nnubusxxxxstate1 nnubusxxxxstate0 nintr_done \
pnubusxxxxl_pabufi
-0---- 1
-----0 1
0-111- 1
1-100- 1
0-000- 1
.names ptm1l pvtm1l pcoherencystate2i pnextstatexxxxcoherencystate2o
001 1
.names psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [210] pmasterxxxxrqsto
-----1 1
00001- 1
.names pvirmachxxxxsbccacherelease nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 [1910] porxxxxvacko
1---- 1
-0011 1
.names pstarti packi nslavexxxxstate0 [254] [1932] [1934] pslavexxxxl_vabufi
-----1 1
-101-- 1
11--1- 1
001-1- 1
.names ptm0i packl [259] [307] [191] [1939] porxxxxsbcackcode1
0---1- 1
--1--1 1
01-1-- 1
.names psbcresetpcc psinglestep [235] n_n126 [1820] porxxxxstarto
00-1- 1
001-1 1
.names psbcresetpcc [142] [1944] [1949] porxxxxsbcackcode2
---1 1
01-- 1
0-1- 1
.names n_n82 [393] [423] [1859] [1877] [1878] pslavexxxxsbcreq
--1--- 1
00---- 1
0--1-- 1
----11 1
.names [148] [159] [164] [165] porxxxxl_dbufo
1--- 1
-0-- 1
--1- 1
---1 1
.names preseti nresetxxxxstate2 [285] [309] [113] [1855] porxxxxsbcackcode3
--0--- 1
01---- 1
---101 1
.names pstarti preseti nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 \
[1900] pslavexxxxsnoopvtagstate_r
-0100- 1
1--001 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 n_n215 [1910] \
porxxxxtm0o
---1- 1
001-1 1
.names packi psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 \
np_receive_begin [265] pphysrecxxxxnextstate1
-0111- 1
001--1 1
.names psbcresetpcc psinglestep nmasterxxxxstate3 [126] [344] [1954] \
pmasterxxxxarb_active
0---1- 1
0----1 1
01-1-- 1
0-01-- 1
.names pstarti preseti packi psbcresetpcc n_n60 [1955] porxxxxen_cntl
---00- 1
000--1 1
.names ppccreqcode0 n_n215 [124] [173] [150] [1910] porxxxxtm1o
1----- 1
---1-- 1
----1- 1
-00--- 1
-0---0 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreqcode0 \
pencodemuxxxxxmx_ad_8
100- 1
-000 1
.names n_n11 nmasterxxxxacko [136] [1961] porxxxxsbcack
1--- 1
-1-- 1
--1- 1
---1 1
.names ppccreqcode1 nmasterxxxxp_receive_begin porxxxxvtm1o
11 1
.names ptm1l pcoherencystate2i nmasterxxxxp_receive_begin n_n82 [1860] [1964] \
porxxxxvtm0o
--0--- 1
----1- 1
-----1 1
01-0-- 1
.names psbcresetpcc nvirmachxxxxstate0 nwd_cnt_test nvirmachxxxxstate1 \
pvirmachxxxxsbccacherelease
0110 1
.names preseti nresetxxxxstate0 nresetxxxxstate1 nresetxxxxstate2 ngen_reset \
nresetxxxxnextstate0
10001 1
.names preseti packi nintr_done n_n215 [1754] nnubusxxxxnextstate1
---1- 1
10--1 1
-01-1 1
.names preseti nslavexxxxstate0 nslavexxxxstate1 [281] [585] [1757] \
nslavexxxxnextstate0
----1- 1
01---1 1
0101-- 1
.names nslavexxxxstate1 [281] [296] [1759] [1761] nslavexxxxnextstate1
1---- 1
--1-1 1
01-1- 1
.names preseti nslavexxxxstate1 nslavexxxxstate2 [301] [571] [1770] \
nslavexxxxnextstate2
0----1 1
0-1-1- 1
0111-- 1
.names psbcresetpcc nmasterxxxxstate0 n_n22 [1783] [1784] \
nmasterxxxxnextstate1
----1 1
01--- 1
0-1-- 1
0--1- 1
.names psbcresetpcc [217] [219] [544] [1790] [1794] nmasterxxxxnextstate2
-----1 1
0--1-- 1
010--- 1
01--1- 1
.names psbcresetpcc n_n32 [504] [505] [518] [1806] nmasterxxxxnextstate3
--1--- 1
---1-- 1
01---- 1
0---1- 1
0----1 1
.names ptm1i pstarti preseti packi nnubusxxxxstate0 [503] nnubusxxxxnextstate0
-----1 1
01000- 1
.names [485] [488] [1826] nmasterxxxxnextstate0
1-- 1
-1- 1
--1 1
.names ppccsawreset preseti nresetxxxxstate0 nresetxxxxstate1 nresetxxxxstate2 \
nresetxxxxnextstate1
0---1 1
-1--1 1
001-- 1
00-1- 1
.names ppccreqcode0 [332] [476] norxxxxset_ex_wd_cnt1
--1 1
11- 1
.names preseti nresetxxxxstate0 nresetxxxxstate1 nresetxxxxstate2 ngen_reset \
nresetxxxxnextstate2
11--- 1
1-1-- 1
1--1- 1
1---0 1
.names [125] [159] n_n226 [471] [1772] [1834] norxxxxreset_wd_cnt_x
-0---- 1
---1-- 1
1---1- 1
--1--1 1
.names psbcresetpcc pvacki nvirmachxxxxstate0 nvirmachxxxxstate1 \
nv_receive_begin [1841] nvirmachxxxxnextstate0
-----1 1
0011-- 1
0-001- 1
.names pwdcntxxxxstate1 psbcresetpcc nset_ex_wd_cnt1 nreset_wd_cnt [461] [463] \
nwdcntxxxxwd_cnt_test
----1- 1
-----1 1
0011-- 1
.names ppccack psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 \
nv_transmit_begin [460] nvirmachxxxxnextstate1
-----1 1
0001-- 1
000-1- 1
.names ptm0i pstarti nmasterxxxxl_dbufo_if_tm0 [220] [1850] [1852] \
norxxxxincr_wd_cnt
-----1 1
1-1--- 1
-11--- 1
---11- 1
.names pwdcntxxxxstate1 psbcresetpcc nset_ex_wd_cnt1 nreset_wd_cnt [463] \
nwdcntxxxxnextstate0
----1 1
0011- 1
.names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [1772] \
nmasterxxxxv_receive_begin
0111 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 [285] [309] [1855] \
norxxxxgen_reset
---0-- 1
001-11 1
.names ppccreqcode2 ppccreqcode0 n_n126 [292] [1831] [1832] \
nmasterxxxxp_receive_begin
11---- 1
-1---1 1
-101-- 1
-1-11- 1
.names pslotspace_id_match nnubusxxxxstate1 nnubusxxxxstate0 [1856] \
nnubusxxxxintr_req
-011 1
1101 1
.names preseti ppccack nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 \
nslavexxxxintr_done
10--- 1
-01-- 1
1--0- 1
--10- 1
1---1 1
--1-1 1
.names ptm1l pcoherencystate2i n_n82 nslavexxxxv_transmit_begin
010 1
.names nmasterxxxxp_receive_begin [443] [1860] [1861] nmasterxxxxupdatereq
0--- 1
-1-- 1
--1- 1
---1 1
.names preseti packi nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [1865] \
nslavexxxxsnoopvtag_w
0000-1 1
000-11 1
.names pwdcntxxxxstate1 pwdcntxxxxstate3 pwdcntxxxxstate2 psbcresetpcc \
nreset_wd_cnt nincr_wd_cnt nwdcntxxxxwd_cnt1
1-111- 1
-0111- 1
--1110 1
-10111 1
.names pwdcntxxxxstate1 pwdcntxxxxstate2 psbcresetpcc nreset_wd_cnt \
nincr_wd_cnt nwdcntxxxxstate0 [240]
--110- 1
--11-1 1
1111-- 1
.names pwdcntxxxxstate3 [240] nwdcntxxxxwd_cnt0
11 1
.names pwdcntxxxxstate1 pwdcntxxxxstate3 pwdcntxxxxstate2 psbcresetpcc \
nreset_wd_cnt nincr_wd_cnt nwdcntxxxxwd_cnt2
1--11- 1
-11111 1
.names packl psbcresetpcc nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 nmasterxxxxl_dbufo_if_tm0
00101 1
.names ptm0i packi psbcresetpcc pphysrecxxxxstate1 [220]
1001 1
.names preseti ptag_match pvtm0l nslavexxxxstate0 nslavexxxxstate1 \
nslavexxxxstate2 n_n82
1----- 1
-0---- 1
--0--- 1
---0-- 1
----1- 1
-----0 1
.names psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 np_receive_begin \
[234]
0111 1
.names psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 nv_receive_begin \
nv_transmit_begin n_n169
001-- 1
00-01 1
.names psbcresetpcc nvirmachxxxxstate0 nwd_cnt_test nvirmachxxxxstate1 [148]
0100 1
.names preseti nslavexxxxstate0 [225]
01 1
.names packl preseti nresetxxxxstate2 [307] [370] n_n11
----1 1
-01-- 1
1--1- 1
.names packi psbcresetpcc [228]
10 1
.names psbcresetpcc [124] n_n126 [1893] [1910] nmasterxxxxacko
0---- 1
-0--- 1
----0 1
--11- 1
.names pstarti preseti packi nnubusxxxxstate1 nnubusxxxxstate0 nintr_done \
n_n215
000011 1
.names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [125]
011 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreq [114]
--1- 1
---0 1
11-- 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [124]
001 1
.names psbcresetpcc psinglestep [230]
00 1
.names pstarti pslotspace_id_match nslavexxxxstate1 nslavexxxxstate2 nintr_req \
[254]
-11-- 1
--11- 1
-1-0- 1
--1-1 1
---01 1
1-00- 1
.names ptm0i ptm1i pphysrecxxxxstate0 nwd_cnt_test nv_receive_begin [259]
--1-- 1
---0- 1
01--- 1
10--0 1
.names pstarti pvsacki pvtm0i nmasterxxxxstate1 nmasterxxxxstate2 [261]
---1- 1
-1--0 1
--0-0 1
11--1 1
00--1 1
.names packl psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [261] \
nmasterxxxxl_pdbufi
00111 1
.names ptm0i ptm1i pphysrecxxxxstate1 pphysrecxxxxstate0 nwd_cnt_test \
nv_receive_begin [264]
01---- 1
--11-- 1
--1-0- 1
10-1-- 1
0-1--0 1
101--1 1
.names ptm0i ptm1i [262]
01 1
10 1
.names ppccreqcode2 nmasterxxxxstate3 nmasterxxxxstate0 n_n126 [1831] [1832] \
[159]
1----- 1
-----1 1
-0-0-- 1
--10-- 1
-0--1- 1
--1-1- 1
.names ppccreqcode2 nmasterxxxxstate3 nmasterxxxxstate0 n_n126 [1831] [1832] \
[173]
1----1 1
10-0-- 1
1-10-- 1
10--1- 1
1-1-1- 1
.names pstarti nslavexxxxstate1 nslavexxxxstate2 n_n226
100 1
.names ptm0i pphysrecxxxxstate0 nwd_cnt_test nv_receive_begin [265]
-1-- 1
---0 1
1-1- 1
.names pbus_inactive [124] [217] [414] [416] [417] n_n60
--1-00 1
10--00 1
1--100 1
.names pstarti pvackl nmasterxxxxstate1 nmasterxxxxstate2 [269]
-11- 1
0--1 1
.names ppccreqcode3 ppccreq prqsti nmasterxxxxstate2 nmasterxxxxstate0 [126]
01000 1
.names psinglestep nmasterxxxxstate3 [270]
1- 1
-0 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [129]
110 1
.names pstarti nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 n_n137
10001 1
.names ptm1l ptag_match pvtm1l pvtm0l pcoherencystate2i pcoherencystate1i \
[281]
-0---- 1
0--1-- 1
---10- 1
---1-0 1
----00 1
0-0-0- 1
.names ppccreqcode3 ppccreq psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate0 [285]
0----- 1
-0---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names prqsti nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [235]
0001 1
.names pgranti nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [217]
1110 1
.names pbus_inactive pvsacki pgranti nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 n_n126
101110 1
.names ppccreqcode3 ppccreq nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate0 n_n720
0---- 1
-0--- 1
--1-- 1
---1- 1
----1 1
.names nmasterxxxxstate3 nmasterxxxxstate0 [292]
0- 1
-1 1
.names pslotspace_id_match ppccsync nslavexxxxstate2 nintr_req [296]
--0- 1
11-- 1
-1-1 1
.names ppccreqcode2 ppccreqcode0 [221]
11 1
.names pvsacki psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate3 \
nmasterxxxxstate0 [160]
10101 1
.names pstarti psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 nmasterxxxxstate0 [307]
-01-11 1
00-101 1
.names ptm0i ptm1i nwd_cnt_test nv_receive_begin [309]
--0- 1
0--0 1
-0-0 1
.names packl pstarti pvsacki pvtm0i nmasterxxxxstate2 [313]
--1-0 1
---00 1
011-- 1
000-1 1
.names ppccack nslavexxxxstate1 nslavexxxxstate2 [137]
0-- 1
-0- 1
--1 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 [217] [557] [1780] n_n22
----1- 1
---1-1 1
11-1-- 1
0011-- 1
.names ppccreqcode1 ppccreqcode2 n_n126 [292] [1831] [1832] [332]
11---- 1
-1---1 1
-101-- 1
-1-11- 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [335] [529] \
[1798] n_n32
----1- 1
-11--1 1
100--1 1
0-11-1 1
.names ppccreqcode1 ppccreqcode0 [337]
1- 1
-1 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 [113]
1-- 1
-1- 1
--0 1
.names ptm1l ptag_match pvtm1l pcoherencystate2i pcoherencystate1i [117]
-0--- 1
---00 1
0-00- 1
.names pbus_inactive pvsacki pgranti psinglestep [122]
0--- 1
-1-- 1
--0- 1
---1 1
.names ppccreqcode1 ppccreqcode2 nmasterxxxxstate3 n_n720 [1895] [1896] [142]
1--0-- 1
----11 1
-110-- 1
.names ppccconfirm ppccreqcode3 pbus_inactive ppccreq [219]
1011 1
.names ptm1l pvtm1l pcoherencystate2i pcoherencystate1i [247]
00-- 1
--01 1
.names ppccreqcode2 ppccreqcode0 [268]
1- 1
-1 1
.names pstarti packi pvsacki pnubusactive nslavexxxxstate0 nintr_req [301]
10---- 1
--1-1- 1
-0--0- 1
-0-1-0 1
.names psinglestep nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [306]
1---- 1
-1--- 1
---0- 1
--0-0 1
.names ppccreqcode1 ppccreqcode2 prqsti ppccreqcode0 [305]
--1- 1
00-1 1
.names pstarti pvsacki pvackl nmasterxxxxstate1 nmasterxxxxstate2 [317]
-10-- 1
-1-0- 1
0---1 1
-0--1 1
.names ppccconfirm ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreq ppccreqcode0 \
[325]
0----- 1
---1-- 1
----0- 1
-11--- 1
-00--- 1
-0---1 1
-1---0 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreq psinglestep ppccreqcode0 \
[335]
---0-- 1
--0-1- 1
-1---1 1
1----0 1
000--- 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 ppccreqcode1 psbcresetpcc n_n720 [268] [1895] [1896] [136]
100--- 1
-001-- 1
-0--11 1
.names ppccreqcode1 ppccreqcode2 n_n126 [292] [1831] [1832] [150]
01---- 1
0----1 1
0-01-- 1
0--11- 1
.names ppccreqcode2 ppccreqcode0 n_n126 [292] [1831] [1832] [164]
00---- 1
-0-0-0 1
-01-00 1
.names ppccack psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 \
nv_receive_begin nv_transmit_begin [165]
01---- 1
0-1--- 1
0--01- 1
0--0-0 1
.names preseti nresetxxxxstate1 nresetxxxxstate2 [174]
001 1
.names packi psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 \
nv_receive_begin [191]
10-1- 1
101-1 1
.names psbcresetpcc [126] [270] [129] [122] [344] [210]
0----1 1
011--- 1
0--11- 1
.names prqsti nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [344]
010-0 1
-1010 1
.names packl psbcresetpcc nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [354]
00111 1
.names packl pvsacki nmasterxxxxstate2 [360]
011 1
.names packl pstarti nmasterxxxxstate2 [361]
001 1
.names packi psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 [366]
100- 1
10-0 1
.names psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate0 \
nupdatedone [370]
00101 1
.names pstarti preseti packi nnubusxxxxstate1 nnubusxxxxstate0 nintr_done \
[375]
10001- 1
10-110 1
001000 1
.names ppccack nslavexxxxstate2 [388]
00 1
.names preseti nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [392]
0100 1
.names ptm1l pvtm1l pcoherencystate2i pcoherencystate1i [393]
1-1- 1
-11- 1
1--0 1
-1-0 1
.names ppccreqcode3 ppccreq ppccreqcode0 nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate0 [398]
111000 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreq ppccreqcode0 \
nmasterxxxxstate0 [414]
001110 1
.names packl plastrqsti pstarti nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate0 [416]
10-1-1 1
100-11 1
.names nmasterxxxxstate2 nmasterxxxxstate3 nmasterxxxxstate0 [417]
110 1
.names preseti packi nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [423]
00001 1
.names ptm0i packi psbcresetpcc pphysrecxxxxstate1 nwd_cnt_test [425]
10011 1
.names psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate0 nupdatedone [442]
0000 1
.names ppccreqcode1 nmasterxxxxstate3 nmasterxxxxstate0 n_n126 [1831] [1832] \
[443]
0----1 1
00-0-- 1
0-10-- 1
00--1- 1
0-1-1- 1
.names psbcresetpcc pvacki nvirmachxxxxstate0 nvirmachxxxxstate1 \
nv_receive_begin [460]
0011- 1
0-001 1
.names pwdcntxxxxstate1 pwdcntxxxxstate3 pwdcntxxxxstate2 psbcresetpcc \
nreset_wd_cnt nincr_wd_cnt [461]
11111- 1
1-1111 1
.names pwdcntxxxxstate3 pwdcntxxxxstate2 psbcresetpcc nreset_wd_cnt \
nwdcntxxxxstate0 [463]
00111 1
.names nmasterxxxxstate3 nmasterxxxxstate0 n_n126 [337] [1831] [1832] [471]
---1-1 1
0-01-- 1
-101-- 1
0--11- 1
-1-11- 1
.names ppccreqcode1 n_n126 [292] [1831] [1832] [1833] [476]
1----1 1
----11 1
-01--1 1
--11-1 1
.names psbcresetpcc nmasterxxxxstate0 [492] [493] [494] [1817] [485]
011--- 1
01-1-- 1
01--1- 1
01---1 1
.names psbcresetpcc pvackl nmasterxxxxstate3 nmasterxxxxstate0 [487]
0111 1
.names psbcresetpcc pgranti [114] [129] [498] [1823] [488]
1--00- 1
111-0- 1
11--00 1
.names packl pstarti pvsacki nmasterxxxxstate2 nmasterxxxxstate3 [492]
0-11- 1
-0111 1
.names packl pstarti nmasterxxxxstate1 nmasterxxxxstate2 [493]
0-1- 1
00-1 1
.names pvsacki psinglestep nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 [494]
1-001 1
-1001 1
.names pstarti nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [498]
00001 1
.names pstarti preseti packi nnubusxxxxstate1 nnubusxxxxstate0 nintr_done \
[503]
00001- 1
0001-0 1
.names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [313] [504]
0111 1
.names psbcresetpcc nmasterxxxxstate0 [317] [513] [1810] [1811] [505]
01-1-- 1
01---1 1
011-1- 1
.names psinglestep nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [513]
1001 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [122] [325] [518]
111-- 1
11-01 1
.names ppccreqcode3 ppccreq prqsti nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [529]
010000 1
.names pvsacki pvtm0i psbcresetpcc nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [542]
--11-- 1
---10- 1
---1-0 1
011--- 1
01--0- 1
01---0 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 nmasterxxxxstate0 \
[126] [1789] [544]
--1-11 1
1010-- 1
.names pvsacki pgranti nmasterxxxxstate1 nmasterxxxxstate3 [557]
1110 1
.names pstarti packi ppccsync nslavexxxxstate0 nslavexxxxstate1 \
nslavexxxxstate2 [566]
--0100 1
100-00 1
.names packi pslotspace_id_match ppccsync nslavexxxxstate0 nintr_req [571]
0-10- 1
00-00 1
.names pstarti preseti packi pvtm0l nslavexxxxstate1 nslavexxxxstate2 [585]
100100 1
.names pstarti pslotspace_id_match nnubusxxxxstate1 nnubusxxxxstate0 [1754]
1-1- 1
0-0- 1
1--1 1
--01 1
01-0 1
-110 1
.names pvsacki nslavexxxxstate1 nslavexxxxstate2 [1757]
--0 1
11- 1
.names preseti nslavexxxxstate0 nslavexxxxstate2 [1759]
011 1
.names ptm1l pstarti preseti packi nslavexxxxstate0 nslavexxxxstate2 [1761]
1-01-- 1
-001-- 1
1-0-1- 1
-00-1- 1
--01-1 1
--0-11 1
.names nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [1764]
101 1
.names pstarto packi pvtm0l nslavexxxxstate0 [1765]
10-0 1
-000 1
.names n_n226 [137] [117] [566] [1764] [1765] [1770]
-0---- 1
---1-- 1
--1-1- 1
1----1 1
.names pstarti pvsacki pvtm0i nmasterxxxxstate2 [1772]
0111 1
.names ppccconfirm ppccreqcode3 pbus_inactive ppccreq psinglestep [1780]
0---- 1
-1--- 1
--0-- 1
---0- 1
----1 1
.names ppccreqcode3 ppccreq n_n137 [306] [305] [1783]
--1-- 1
01-11 1
.names packl pvsacki psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate3 \
nmasterxxxxstate0 [1784]
0-01-1 1
-10101 1
.names packl pstarti pvsacki nmasterxxxxstate2 [1787]
0111 1
0001 1
.names ppccreqcode1 ppccreqcode2 psinglestep ppccreqcode0 [1789]
100- 1
0-00 1
.names ppccreqcode1 pvsacki psinglestep ppccreqcode0 [1790]
1--- 1
-1-- 1
--1- 1
---0 1
.names psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate0 nupdatedone [1792]
0-1- 1
0000 1
.names nmasterxxxxl_dbufo_if_tm0 [542] [1787] [1792] [1794]
-1-- 1
---1 1
1-1- 1
.names nmasterxxxxstate0 prqsti [1798]
00 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 nmasterxxxxstate3 n_n137 n_n720 \
[1806]
----1- 1
1--1-0 1
-1-1-0 1
--01-0 1
.names plastrqsti packl [1810]
01 1
.names packl plastrqsti prqsti nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 [1811]
0--1-1 1
-0-1-1 1
--0001 1
.names pvsacki pvtm0i pvackl nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 [1817]
--10-- 1
01--11 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreq nmasterxxxxstate0 [1820]
0-010 1
-0010 1
.names ppccconfirm pbus_inactive pvsacki psinglestep [1823]
1100 1
.names nmasterxxxxl_dbufo_if_tm0 [230] [235] [160] [487] [1820] [1826]
1----- 1
---1-- 1
----1- 1
-11--1 1
.names ppccconfirm prqsti nmasterxxxxstate1 nmasterxxxxstate2 [1831]
0--- 1
-1-- 1
--1- 1
---1 1
.names ppccreqcode3 ppccreq psbcresetpcc psinglestep [1832]
1--- 1
-0-- 1
--1- 1
---1 1
.names ppccreqcode0 ppccreqcode2 [1833]
00 1
.names pstarto preseti packi pvtm0l nslavexxxxstate0 [1834]
00010 1
.names ppccack psbcresetpcc nvirmachxxxxstate0 nwd_cnt_test nvirmachxxxxstate1 \
nv_transmit_begin [1841]
100-1- 1
-0100- 1
100--1 1
.names pphysrecxxxxstate0 nwd_cnt_test nv_receive_begin [1850]
000 1
.names pvtm0i psbcresetpcc nvirmachxxxxstate0 nwd_cnt_test nvirmachxxxxstate1 \
nv_transmit_begin [1852]
10---0 1
-0100- 1
.names packi psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 [1855]
1010 1
.names pstarti preseti packi nintr_done [1856]
0000 1
.names pcoherencystate2i ptm1l [1859]
10 1
.names ppccreqcode1 n_n126 [292] [221] [1831] [1832] [1860]
---1-- 1
0-0--0 1
01--00 1
.names ppccreqcode2 n_n126 [292] [442] [1831] [1832] [1861]
---1-- 1
1----1 1
101--- 1
1-1-1- 1
.names preseti packi nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [1864]
0000- 1
000-1 1
.names pstarto pstarti pvtm0l nslavexxxxstate1 nslavexxxxstate2 nupdatereq \
[1865]
-0-1-1 1
---111 1
-0--01 1
1-11-1 1
1-1-01 1
.names pnubusactive ppccsync nslavexxxxstate0 nintr_req [1877]
1011 1
.names pstarti preseti packi pvsacki nslavexxxxstate1 nslavexxxxstate2 [1878]
000011 1
.names plastrqsti psbcresetpcc pphysrecxxxxstate1 nwd_cnt_test [1885]
0011 1
.names plastrqsti packi pphysrecxxxxstate1 pphysrecxxxxstate0 [1890]
-00- 1
0--1 1
-0-0 1
.names ptm0i ptm1i nv_receive_begin nmasterxxxxl_dbufo_if_tm0 [234] [1885] \
[1892]
---1-- 1
----1- 1
--1--1 1
11---1 1
.names ppccconfirm ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreq psinglestep \
[1893]
0----0 1
---1-0 1
----00 1
-11--0 1
.names ppccreqcode1 ppccreqcode2 prqsti psinglestep [1895]
0-1- 1
-01- 1
0--1 1
-0-1 1
.names ppccreq nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [1896]
10010 1
.names n_n126 [398] [1893] [1898]
-1- 1
1-1 1
.names pstarto preseti packi pvtm0l [1900]
0001 1
.names ptag_match pvtm0l nslavexxxxstate1 [1902]
110 1
.names pstarti nslavexxxxstate1 nslavexxxxstate2 [148] [392] [1900] [1904]
---1-- 1
----1- 1
100--1 1
.names pnextstatexxxxcoherencystate2o n_n169 [225] [247] [388] [1902] [1905]
1----- 1
-1---- 1
--1-1- 1
--11-1 1
.names pvsacki psbcresetpcc psinglestep nmasterxxxxstate0 [1910]
0001 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [366] [1910] \
[1914]
---1- 1
001-1 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreq psbcresetpcc psinglestep \
[1919]
0-0100 1
-00100 1
.names pstarti pvsacki psbcresetpcc nmasterxxxxstate0 [1920]
1101 1
.names psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 nv_receive_begin \
nv_transmit_begin [1921]
001-- 1
010-- 1
00-01 1
.names n_n82 [124] [354] [1859] [1920] [1921] [1924]
--1--- 1
-----1 1
0--1-- 1
-1--1- 1
.names pvsacki nslavexxxxstate1 nslavexxxxstate2 nintr_req [1932]
0110 1
.names pstarti preseti packi nslavexxxxstate0 nslavexxxxstate1 \
nslavexxxxstate2 [1934]
-1---- 1
0-0000 1
.names packi psbcresetpcc pphysrecxxxxstate1 [1939]
101 1
.names ppccconfirm ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreq psinglestep \
[1943]
1--1-0 1
1---00 1
111--0 1
.names ppccreqcode2 ppccreqcode0 n_n126 n_n720 [1943] [1944]
--1-1 1
11-0- 1
.names packl [228] [264] [262] [307] [174] [1949]
-----1 1
-11--- 1
1--11- 1
.names pstarti pgranti nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [1954]
-1110- 1
1-0001 1
.names pslotspace_id_match nnubusxxxxstate1 nnubusxxxxstate0 nintr_done [1955]
00-- 1
-01- 1
0--1 1
--11 1
.names packl pvsacki psbcresetpcc nmasterxxxxstate0 [1960]
1001 1
.names [269] [309] [1855] [1960] [1961]
-11- 1
1--1 1
.names ppccackcode psbcresetpcc nvirmachxxxxstate0 nwd_cnt_test \
nvirmachxxxxstate1 [1964]
001-0 1
-0100 1
.end