.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 pvackl nmasterxxxxstate1 nmasterxxxxstate3 \
nmasterxxxxstate0 nmasterxxxxv_receive_begin pmasterxxxxen_vdbufi
0---1- 1
-10--1 1
-1-1-1 1
.names ppccsawreset preseti nresetxxxxstate0 nresetxxxxstate1 nresetxxxxstate2 \
presetxxxxsbcresetpcc
-1--- 1
--1-- 1
----1 1
0--1- 1
.names ppccreqcode1 ppccreqcode2 nmasterxxxxstate3 nmasterxxxxstate0 [293] \
[1832] pmasterxxxxen_abufo
0---00 1
-0--00 1
0-10-0 1
-010-0 1
.names pstarti preseti packi nnubusxxxxstate1 nnubusxxxxstate0 nintr_done \
pnubusxxxxnubusactive
00001- 1
0001-0 1
100000 1
.names ptm0i packi psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 \
nwd_cnt_test nv_receive_begin pphysrecxxxxnextstate0
-00-1-- 1
-001--1 1
1001-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 [405] [406] [1891] porxxxxen_start
1-- 1
-1- 1
--1 1
.names n_n21 n_n157 porxxxxsbcackcode0
1- 1
-1 1
.names ptm1l pvtm1l pcoherencystate2i pcoherencystate1i n_n82 \
pslavexxxxsbcreqcode1
001-0 1
1-010 1
00-00 1
.names ptm1l pvtm1l pcoherencystate2i pcoherencystate1i n_n82 [1864] [1865] \
pslavexxxxsnoopstate_w
-----11 1
00--0-- 1
0-1-0-- 1
--010-- 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 nmasterxxxxstate3 \
nmasterxxxxstate0 [293] [1832] [1906] porxxxxvsacko
--0----- 1
-------1 1
-11----- 1
0----00- 1
-0---00- 1
0--10-0- 1
-0-10-0- 1
.names preseti nresetxxxxstate2 presetxxxxreset
11 1
.names psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 \
pvirmachxxxxen_vdbufo
010 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 n_n157 [285] [375] porxxxxreseto
----0- 1
-----1 1
0011-- 1
.names packi psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 n_n21 n_n148 \
n_n93 [1913] porxxxxsbcackcodelatch
----1--- 1
-----1-- 1
------1- 1
-------1 1
100----- 1
10-0---- 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 n_n215 n_n126 [1893] [1916] porxxxxacko
1--- 1
---1 1
-11- 1
.names psbcresetpcc pvackl nmasterxxxxstate1 nmasterxxxxstate3 \
nmasterxxxxstate0 nmasterxxxxv_receive_begin [1918] pmasterxxxxsbc_writecache
------1 1
10----- 1
-0--0-- 1
1----0- 1
----00- 1
1-10--- 1
--100-- 1
.names nslavexxxxv_transmit_begin [250] [1919] [1921] [1922] 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 n_n50 [342] pmasterxxxxrqsto
0----1- 1
0-----1 1
00001-- 1
.names psbcresetpcc nvirmachxxxxstate0 nwd_cnt_test nvirmachxxxxstate1 n_n148 \
porxxxxvacko
----1 1
0110- 1
.names pstarti packi pslotspace_id_match nslavexxxxstate0 nslavexxxxstate1 \
nslavexxxxstate2 nintr_req [1935] pslavexxxxl_vabufi
-------1 1
-1101--- 1
-1-011-- 1
-110-0-- 1
-1-01-1- 1
-1-0-01- 1
11-000-- 1
.names ptm0i packi psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 \
nv_receive_begin n_n93 [188] porxxxxsbcackcode1
-------1 1
0-----1- 1
010-1--- 1
0101-1-- 1
.names psbcresetpcc prqsti psinglestep nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 n_n126 [1820] porxxxxstarto
0-0---1- 1
000001-1 1
.names ptm0i ptm1i preseti nresetxxxxstate1 nresetxxxxstate2 n_n93 [169] [171] \
porxxxxsbcackcode2
------1- 1
-------1 1
--001--- 1
01---1-- 1
10---1-- 1
.names ptm1l pvtm1l pcoherencystate2i pcoherencystate1i n_n82 [423] [1877] \
[1878] pslavexxxxsbcreq
-----1-- 1
------11 1
00--0--- 1
0-1-0--- 1
--010--- 1
.names ppccreqcode2 ppccreqcode0 nmasterxxxxstate3 nmasterxxxxstate0 [293] \
[1832] [1950] porxxxxl_dbufo
------1 1
00----- 1
0---00- 1
-0--00- 1
0-10-0- 1
-010-0- 1
.names ppccreqcode1 ppccreqcode2 preseti ppccreqcode0 nresetxxxxstate2 n_n157 \
[285] porxxxxsbcackcode3
------0 1
--0-1-- 1
00-1-1- 1
.names pstarto pstarti preseti packi pvtm0l nslavexxxxstate0 nslavexxxxstate1 \
nslavexxxxstate2 pslavexxxxsnoopvtagstate_r
--0--100 1
01001-00 1
.names pstarti preseti packi nnubusxxxxstate1 nnubusxxxxstate0 nintr_done \
n_n148 porxxxxtm0o
------1 1
000011- 1
.names ptm0i packi psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 \
nwd_cnt_test nv_receive_begin np_receive_begin pphysrecxxxxnextstate1
-0011--- 1
-001--0- 1
--011--1 1
1001-1-- 1
.names pstarti psbcresetpcc pgranti nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 nmasterxxxxstate0 n_n50 pmasterxxxxarb_active
-0-----1 1
-01110-- 1
10-0001- 1
.names pbus_inactive psbcresetpcc [124] n_n724 [217] [154] [414] \
porxxxxen_cntl
-----1- 1
-0-1--- 1
00--0-- 1
-01-0-0 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 n_n148 n_n215 [293] [292] [1832] \
porxxxxtm1o
--1----- 1
01------ 1
---00--- 1
0------1 1
-1-----1 1
0----11- 1
-1---11- 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreqcode0 \
pencodemuxxxxxmx_ad_8
100- 1
-000 1
.names psbcresetpcc n_n157 n_n148 n_n93 n_n126 [133] [1893] [1913] \
porxxxxsbcack
0------- 1
-1------ 1
--0----- 1
---1---- 1
-----1-- 1
-------1 1
----1-1- 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 nmasterxxxxstate3 \
nmasterxxxxstate0 [293] [1832] porxxxxvtm1o
111---- 1
1-1---1 1
1-10-1- 1
1-1-11- 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 nslavexxxxv_transmit_begin [293] \
[292] [1832] [1964] porxxxxvtm0o
--0----- 1
---1---- 1
-------1 1
-11----- 1
0---0-0- 1
-0--0-0- 1
0----00- 1
-0---00- 1
.names psbcresetpcc nvirmachxxxxstate0 nwd_cnt_test nvirmachxxxxstate1 \
pvirmachxxxxsbccacherelease
0110 1
.names preseti nresetxxxxstate0 nresetxxxxstate1 nresetxxxxstate2 ngen_reset \
nresetxxxxnextstate0
10001 1
.names pstarti preseti packi pslotspace_id_match nnubusxxxxstate1 \
nnubusxxxxstate0 nintr_done nnubusxxxxnextstate1
110-1-- 1
010-0-- 1
110--1- 1
-10-01- 1
1-0-1-1 1
0-0-0-1 1
1-0--11 1
--0-011 1
0101-0- 1
-10110- 1
0-01-01 1
--01101 1
.names preseti pvsacki nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 \
n_n46 [585] nslavexxxxnextstate0
------1 1
0-1-0-- 1
0-1--1- 1
0111--- 1
.names preseti nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [281] [296] \
[1761] nslavexxxxnextstate1
--1---- 1
-----11 1
01011-- 1
.names preseti nslavexxxxstate2 [564] [566] [571] [572] [1768] \
nslavexxxxnextstate2
0-1---- 1
0--1--- 1
0-----1 1
01--1-- 1
01---1- 1
.names psbcresetpcc pvackl nmasterxxxxstate1 nmasterxxxxstate3 \
nmasterxxxxstate0 nmasterxxxxv_receive_begin [551] [1784] \
nmasterxxxxnextstate1
------1- 1
-------1 1
0---1--- 1
-10--1-- 1
-1-1-1-- 1
.names psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate0 nupdatedone [540] \
[1793] nmasterxxxxnextstate2
----1- 1
-----1 1
0-1--- 1
0000-- 1
.names psbcresetpcc prqsti nmasterxxxxstate0 [529] [530] [1797] [1807] [1813] \
nmasterxxxxnextstate3
-------1 1
0--1---- 1
0-----1- 1
000-1--- 1
000--1-- 1
.names ptm1i pstarti preseti packi nnubusxxxxstate1 nnubusxxxxstate0 \
nintr_done nnubusxxxxnextstate0
-00001- 1
0100-0- 1
-0001-0 1
.names psbcresetpcc pgranti nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 [498] [500] [1827] nmasterxxxxnextstate0
-------1 1
1-0--0-- 1
1--0-0-- 1
1---10-- 1
11---00- 1
.names ppccsawreset preseti nresetxxxxstate0 nresetxxxxstate1 nresetxxxxstate2 \
nresetxxxxnextstate1
0---1 1
-1--1 1
001-- 1
00-1- 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 nmasterxxxxstate3 \
nmasterxxxxstate0 [293] [1832] norxxxxset_ex_wd_cnt1
111---- 1
100---- 1
-11---1 1
-00---1 1
-110-1- 1
-000-1- 1
-11-11- 1
-00-11- 1
.names preseti nresetxxxxstate0 nresetxxxxstate1 nresetxxxxstate2 ngen_reset \
nresetxxxxnextstate2
11--- 1
1-1-- 1
1--1- 1
1---0 1
.names ppccreqcode2 nmasterxxxxstate3 nmasterxxxxstate0 \
nmasterxxxxv_receive_begin [293] [337] [470] [1832] norxxxxreset_wd_cnt_x
---1---- 1
------1- 1
-----1-1 1
-0--11-- 1
--1-11-- 1
0---0--0 1
010----0 1
.names ppccack psbcresetpcc pvacki nvirmachxxxxstate0 nwd_cnt_test \
nvirmachxxxxstate1 nv_receive_begin nv_transmit_begin nvirmachxxxxnextstate0
-001-1-- 1
10-0-1-- 1
-0-100-- 1
-0-0-01- 1
10-0---1 1
.names pwdcntxxxxstate1 pwdcntxxxxstate3 pwdcntxxxxstate2 psbcresetpcc \
nset_ex_wd_cnt1 nreset_wd_cnt nincr_wd_cnt nwdcntxxxxstate0 \
nwdcntxxxxwd_cnt_test
0--011-- 1
1111-1-- 1
1-11-11- 1
-001-1-1 1
.names ppccack psbcresetpcc pvacki nvirmachxxxxstate0 nvirmachxxxxstate1 \
nv_receive_begin nv_transmit_begin nvirmachxxxxnextstate1
-0011-- 1
00-01-- 1
-0-001- 1
00-0--1 1
.names pvtm0i psbcresetpcc nvirmachxxxxstate0 nwd_cnt_test nvirmachxxxxstate1 \
nv_transmit_begin [455] [457] norxxxxincr_wd_cnt
------1- 1
-------1 1
10---0-- 1
-0100--- 1
.names pwdcntxxxxstate1 pwdcntxxxxstate3 pwdcntxxxxstate2 psbcresetpcc \
nset_ex_wd_cnt1 nreset_wd_cnt nwdcntxxxxstate0 nwdcntxxxxnextstate0
0--011- 1
-001-11 1
.names pstarti pvsacki pvtm0i psbcresetpcc nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 nmasterxxxxv_receive_begin
0110111 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 n_n157 [285] norxxxxgen_reset
----0 1
0011- 1
.names ppccreqcode2 ppccreqcode0 nmasterxxxxstate3 nmasterxxxxstate0 [293] \
[1832] nmasterxxxxp_receive_begin
11---- 1
-1---1 1
-10-1- 1
-1-11- 1
.names pstarti preseti packi pslotspace_id_match nnubusxxxxstate1 \
nnubusxxxxstate0 nintr_done nnubusxxxxintr_req
000-010 1
0001100 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 preseti ptag_match pvtm0l pcoherencystate2i nslavexxxxstate0 \
nslavexxxxstate1 nslavexxxxstate2 nslavexxxxv_transmit_begin
00111101 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 nmasterxxxxstate3 \
nmasterxxxxstate0 [293] [442] [1832] nmasterxxxxupdatereq
--0----- 1
------1- 1
-11----- 1
0------1 1
-1-----1 1
0--0-1-- 1
-1-0-1-- 1
0---11-- 1
-1--11-- 1
0----0-0 1
-0---0-0 1
0--10--0 1
-0-10--0 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 pwdcntxxxxstate3 pwdcntxxxxstate2 psbcresetpcc \
nreset_wd_cnt nincr_wd_cnt nwdcntxxxxstate0 nwdcntxxxxwd_cnt0
-1-110- 1
-1-11-1 1
11111-- 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 preseti ptag_match pvtm0l nslavexxxxstate0 nslavexxxxstate1 \
nslavexxxxstate2 n_n82
1----- 1
-0---- 1
--0--- 1
---0-- 1
----1- 1
-----0 1
.names psbcresetpcc n_n126 [398] [401] [404] [1893] [1895] [1896] n_n21
0-1----- 1
0--1---- 1
0---1--- 1
01---1-- 1
0-----11 1
.names ptm0i ptm1i packi psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 \
nwd_cnt_test nv_receive_begin n_n157
--10100- 1
0-1010-0 1
-01010-0 1
.names psbcresetpcc nvirmachxxxxstate0 nwd_cnt_test nvirmachxxxxstate1 [148]
0100 1
.names pvsacki psbcresetpcc psinglestep nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 nmasterxxxxstate0 n_n148
0000011 1
.names pstarti preseti packi nnubusxxxxstate1 nnubusxxxxstate0 nintr_done \
n_n215
000011 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [124]
001 1
.names ppccconfirm pbus_inactive pvsacki pgranti prqsti nmasterxxxxstate1 \
nmasterxxxxstate2 nmasterxxxxstate3 [250]
----0001 1
1101-110 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 packl pstarti psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 nmasterxxxxstate0 n_n93
1-01-11 1
100-101 1
.names ppccreqcode3 ppccreq prqsti nmasterxxxxstate2 nmasterxxxxstate0 [126]
01000 1
.names ppccreqcode3 ppccreq prqsti psinglestep nmasterxxxxstate1 \
nmasterxxxxstate2 nmasterxxxxstate3 nmasterxxxxstate0 n_n50
--0-10-0 1
----1010 1
0101-0-0 1
010--000 1
.names packl plastrqsti pstarti nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 nmasterxxxxstate0 n_n724
----110 1
10-1--1 1
100-1-1 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 ptm1l ptag_match pvtm1l pvtm0l pcoherencystate2i pcoherencystate1i \
nslavexxxxstate1 n_n46
-0----0 1
0--1--0 1
---10-0 1
---1-00 1
----000 1
0-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 ppccconfirm pbus_inactive pvsacki pgranti prqsti nmasterxxxxstate1 \
nmasterxxxxstate2 nmasterxxxxstate3 [293]
0------- 1
-0------ 1
--1----- 1
---0---- 1
----1--- 1
-----1-- 1
-----0-- 1
------1- 1
------0- 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 ppccconfirm ppccreqcode1 ppccreqcode2 ppccreqcode3 pbus_inactive \
ppccreq psinglestep ppccreqcode0 [321]
0------- 1
---1---- 1
----0--- 1
-----0-- 1
------1- 1
-11----- 1
-00----1 1
.names ppccreqcode1 ppccreqcode0 [337]
1- 1
-1 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 [113]
1-- 1
-1- 1
--0 1
.names pbus_inactive pvsacki pgranti psinglestep [122]
0--- 1
-1-- 1
--0- 1
---1 1
.names ppccreqcode1 ppccreqcode2 prqsti ppccreqcode0 [305]
--1- 1
00-1 1
.names ppccconfirm ppccreqcode1 ppccreqcode3 pbus_inactive ppccreq pvsacki \
psinglestep ppccreqcode0 [312]
0------- 1
-1------ 1
--1----- 1
---0---- 1
----0--- 1
-----1-- 1
------1- 1
-------0 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 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 packl pstarti pvsacki psbcresetpcc pvackl nmasterxxxxstate1 \
nmasterxxxxstate2 nmasterxxxxstate0 [133]
1-0011-1 1
1000--11 1
.names pstarti preseti packi pslotspace_id_match nnubusxxxxstate1 \
nnubusxxxxstate0 nintr_done [154]
00000-- 1
000-01- 1
0000--1 1
000--11 1
.names psbcresetpcc n_n126 [178] [401] [404] [1895] [1896] [1943] [169]
0-1----- 1
0--1---- 1
0---1--- 1
0----11- 1
01-----1 1
.names ptm0i ptm1i packi psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 \
nwd_cnt_test nv_receive_begin [171]
0110---- 1
--1011-- 1
--101-0- 1
1010-1-- 1
0-101--0 1
10101--1 1
.names ppccreqcode2 ppccreqcode3 ppccreq ppccreqcode0 nmasterxxxxstate1 \
nmasterxxxxstate2 nmasterxxxxstate0 [178]
1111000 1
.names ptm0i ptm1i packi psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 \
nwd_cnt_test nv_receive_begin [188]
--1011-- 1
--101-0- 1
01101--- 1
10101--0 1
.names pbus_inactive pvsacki pgranti psinglestep nmasterxxxxstate1 \
nmasterxxxxstate2 nmasterxxxxstate3 [342]
0---110 1
-1--110 1
--0-110 1
---1110 1
.names pstarti preseti packi nnubusxxxxstate1 nnubusxxxxstate0 nintr_done \
[375]
10001- 1
10-110 1
001000 1
.names ptm1l ptag_match pvtm1l pvtm0l pcoherencystate2i pcoherencystate1i \
nslavexxxxstate1 [387]
0101--0 1
-1-1010 1
.names ppccreqcode3 ppccreq ppccreqcode0 nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate0 [398]
111000 1
.names ppccreqcode2 ppccreqcode3 ppccreq nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 nmasterxxxxstate0 [401]
1110010 1
.names ppccreqcode1 ppccreqcode3 ppccreq nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate0 [404]
111000 1
.names ptm0i ptm1i plastrqsti psbcresetpcc pphysrecxxxxstate1 nwd_cnt_test \
nv_receive_begin [405]
--00111 1
110011- 1
.names pbus_inactive psbcresetpcc [124] n_n724 [217] [414] [1890] [406]
-0-1--- 1
-0----1 1
00--0-- 1
-01-00- 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreq ppccreqcode0 \
nmasterxxxxstate0 [414]
001110 1
.names preseti packi nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [423]
00001 1
.names psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate0 nupdatedone [442]
0000 1
.names ptm0i packi psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 \
nwd_cnt_test nv_receive_begin [455]
1001000 1
.names ptm0i packl pstarti psbcresetpcc nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [457]
10-0101 1
-010101 1
.names pstarto pstarti preseti packi pvtm0l nslavexxxxstate0 nslavexxxxstate1 \
nslavexxxxstate2 [470]
01001000 1
.names pstarti nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [498]
00001 1
.names ppccconfirm ppccreqcode1 ppccreqcode2 ppccreqcode3 pbus_inactive \
ppccreq pvsacki psinglestep [500]
10-01100 1
1-001100 1
.names packl pstarti pvsacki pvtm0i psbcresetpcc nmasterxxxxstate2 \
nmasterxxxxstate3 nmasterxxxxstate0 [504]
--1-0011 1
---00011 1
011-0-11 1
000-0111 1
.names packl plastrqsti pstarti pvsacki pvackl nmasterxxxxstate1 \
nmasterxxxxstate2 [512]
10-10-- 1
10-1-0- 1
100---1 1
10-0--1 1
.names psinglestep nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [513]
1001 1
.names ppccreqcode3 ppccreq prqsti nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [529]
010000 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreq psinglestep ppccreqcode0 \
nmasterxxxxstate1 nmasterxxxxstate3 [530]
---0--01 1
--0-1-01 1
-1---101 1
1----001 1
000---01 1
.names psbcresetpcc nmasterxxxxstate3 [126] [217] [312] [547] [1789] [540]
0--11-- 1
01---1- 1
011---1 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate0 [547]
100 1
.names psbcresetpcc n_n137 [217] [321] [305] [557] [1782] [551]
01----- 1
0----1- 1
0-11--- 1
0---1-1 1
.names pvsacki pgranti nmasterxxxxstate1 nmasterxxxxstate3 [557]
1110 1
.names ptm1l ptag_match pvtm1l pcoherencystate2i pcoherencystate1i \
nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [564]
-0---101 1
---00101 1
0-00-101 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 packi pvsacki pnubusactive nslavexxxxstate0 nslavexxxxstate1 \
nintr_req [572]
10---1- 1
--1-11- 1
-0--01- 1
-0-1-10 1
.names pstarti preseti packi pvtm0l nslavexxxxstate1 nslavexxxxstate2 [585]
100100 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 pstarto pstarti packi ppccack pvtm0l nslavexxxxstate0 nslavexxxxstate1 \
nslavexxxxstate2 [1768]
---1--10 1
110--000 1
-10-0000 1
.names ppccreqcode3 ppccreq psinglestep nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 nmasterxxxxstate0 [1782]
011---- 1
01-1--- 1
01---0- 1
01--0-0 1
.names packl pvsacki psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate3 \
nmasterxxxxstate0 [1784]
0-01-1 1
-10101 1
.names ppccreqcode1 ppccreqcode2 psinglestep ppccreqcode0 [1789]
100- 1
0-00 1
.names pvsacki pvtm0i psbcresetpcc nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [1793]
--11-- 1
---10- 1
---1-0 1
011--- 1
01--0- 1
01---0 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [1797]
-11 1
100 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 n_n137 n_n720 \
[113] [122] [325] [1807]
---1---- 1
111----- 1
--1-01-- 1
11----01 1
.names packl plastrqsti prqsti nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 [1811]
0--1-1 1
-0-1-1 1
--0001 1
.names psbcresetpcc nmasterxxxxstate0 [504] [512] [513] [1811] [1813]
--1--- 1
01-1-- 1
01--1- 1
01---1 1
.names packl pstarti pvsacki psinglestep nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 [1818]
0---1-- 1
00---1- 1
--1-001 1
---1001 1
.names packl pstarti pvsacki pvtm0i pvackl nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 [1819]
----10-- 1
0-1---1- 1
-01---11 1
--01--11 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreq nmasterxxxxstate0 [1820]
0-010 1
-0010 1
.names packl pvsacki psbcresetpcc pvackl nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 nmasterxxxxstate0 [1825]
--01--11 1
-10-1-01 1
0-0--101 1
.names psbcresetpcc psinglestep nmasterxxxxstate0 [235] [1818] [1819] [1820] \
[1825] [1827]
-------1 1
0-1-1--- 1
0-1--1-- 1
00-1--1- 1
.names ppccreqcode3 ppccreq psbcresetpcc psinglestep [1832]
1--- 1
-0-- 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 packi pphysrecxxxxstate1 pphysrecxxxxstate0 [1890]
-00- 1
0--1 1
-0-0 1
.names packl psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 \
nmasterxxxxstate2 nmasterxxxxstate3 nmasterxxxxstate0 np_receive_begin [1891]
-011---1 1
00--101- 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 ptm1l psbcresetpcc pvtm1l pcoherencystate2i nvirmachxxxxstate0 \
nvirmachxxxxstate1 nv_receive_begin nv_transmit_begin [1903]
0-01---- 1
-0--01-- 1
-0--0-01 1
.names preseti ppccack pslavexxxxsnoopvtagstate_r nslavexxxxstate0 \
nslavexxxxstate2 [148] [387] [1903] [1906]
--1----- 1
-----1-- 1
-------1 1
0--1--1- 1
00-10--- 1
.names preseti psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate0 nresetxxxxstate2 nupdatedone [1913]
0----1- 1
-0010-1 1
.names pvsacki psbcresetpcc psinglestep nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 nmasterxxxxstate0 [1916]
1------ 1
-1----- 1
-0----- 1
--1---- 1
---1--- 1
----1-- 1
-----0- 1
------0 1
.names packl pstarti pvsacki psbcresetpcc nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [1918]
00--1-- 1
0-1-1-- 1
---0-11 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreq psbcresetpcc psinglestep \
[1919]
0-0100 1
-00100 1
.names psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 nv_receive_begin \
nv_transmit_begin [1921]
001-- 1
010-- 1
00-01 1
.names packl pstarti pvsacki psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 nmasterxxxxstate0 [1922]
0--0-111 1
-1100011 1
.names pstarti preseti packi pvsacki nslavexxxxstate0 nslavexxxxstate1 \
nslavexxxxstate2 nintr_req [1935]
-1------ 1
0-0-000- 1
1-10-110 1
0-001110 1
.names ppccconfirm ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreq psinglestep \
[1943]
1--1-0 1
1---00 1
111--0 1
.names ppccack psbcresetpcc nvirmachxxxxstate0 nwd_cnt_test nvirmachxxxxstate1 \
nv_receive_begin nv_transmit_begin [1950]
01----- 1
0-1---- 1
0---01- 1
0---0-0 1
-0100-- 1
.names ppccackcode psbcresetpcc nvirmachxxxxstate0 nwd_cnt_test \
nvirmachxxxxstate1 [1964]
001-0 1
-0100 1
.end