.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_n12 pmasterxxxxen_abufo
0-0 1
-00 1
.names [123] [172] [242] [1872] pnubusxxxxnubusactive
1-1- 1
-1-1 1
.names [424] [425] pphysrecxxxxnextstate0
1- 1
-1 1
.names [123] [229] [423] [1877] pslavexxxxsbcreqcode2
--1- 1
11-1 1
.names pvtm1l [1857] [1858] [1859] [1879] pslavexxxxsbcreqcode0
-00-1 1
1001- 1
.names pvtm0i psbcresetpcc pvacki nvirmachxxxxstate0 nvirmachxxxxstate1 \
pvirmachxxxxsbcsetdirty
10111 1
.names psbcresetpcc n_n724 [277] [1890] [1892] porxxxxen_start
----1 1
01--- 1
0-0-- 1
0--1- 1
.names psbcresetpcc n_n157 [200] [142] [398] porxxxxsbcackcode0
-1--- 1
0-1-- 1
0--1- 1
0---1 1
.names ptag_match pvtm0l [245] [1858] pslavexxxxsbcreqcode1
1110 1
.names n_n64 [256] [1863] [1864] pslavexxxxsnoopstate_w
0--- 1
-111 1
.names pnextstatexxxxcoherencystate2o n_n169 nmasterxxxxvsacko [381] [1904] \
porxxxxvsacko
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names preseti nresetxxxxstate2 presetxxxxreset
11 1
.names psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 \
pvirmachxxxxen_vdbufo
010 1
.names preseti n_n68 [248] porxxxxreseto
-0- 1
0-1 1
.names n_n21 n_n11 [124] [366] [1910] porxxxxsbcackcodelatch
1---- 1
-1--- 1
---1- 1
--1-1 1
.names ptag_match pvtm0l [393] [1858] [1859] pslavexxxxgeneratenextstate
1100- 1
11-01 1
.names ppccack psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 n_n169 \
pvirmachxxxxsbcconfigure
0---0 1
-010- 1
.names [123] [200] [1750] [1916] porxxxxacko
-1-- 1
---1 1
1-1- 1
.names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [360] [361] \
pmasterxxxxsbc_writecache
1---- 1
--0-- 1
---1- 1
----1 1
011-- 1
.names [114] [230] [250] [1922] [1923] porxxxxen_vcntl
---1- 1
----1 1
011-- 1
.names preseti nintr_done [346] [347] pnubusxxxxl_pabufi
0--- 1
-0-- 1
--1- 1
---1 1
.names ptm1l pvtm1l pcoherencystate2i pnextstatexxxxcoherencystate2o
001 1
.names psbcresetpcc [252] [341] pmasterxxxxrqsto
--1 1
01- 1
.names pvirmachxxxxsbccacherelease nmasterxxxxstate1 nmasterxxxxstate2 \
nmasterxxxxstate3 [1910] porxxxxvacko
1---- 1
-0011 1
.names packi nslavexxxxstate0 [254] [1935] pslavexxxxl_vabufi
---1 1
101- 1
.names packi psbcresetpcc pphysrecxxxxstate1 [259] [189] porxxxxsbcackcode1
----1 1
1011- 1
.names [230] [235] [217] [1820] [1828] porxxxxstarto
11-1- 1
1-1-1 1
.names [228] [169] [182] [1947] [1948] porxxxxsbcackcode2
-1--- 1
----1 1
1-1-- 1
1--1- 1
.names [123] [229] n_n64 [423] [1877] pslavexxxxsbcreq
--0-- 1
---1- 1
11--1 1
.names ppccreqcode2 ppccreqcode0 n_n12 [1950] porxxxxl_dbufo
---1 1
00-- 1
0-0- 1
-00- 1
.names preseti nresetxxxxstate2 n_n68 porxxxxsbcackcode3
--0 1
01- 1
.names pstarti nslavexxxxstate1 nslavexxxxstate2 [392] [1900] \
pslavexxxxsnoopvtagstate_r
---1- 1
100-1 1
.names [123] [124] [1750] [1910] porxxxxtm0o
1-1- 1
-1-1 1
.names packi psbcresetpcc pphysrecxxxxstate1 [234] [265] \
pphysrecxxxxnextstate1
---1- 1
001-1 1
.names psbcresetpcc [266] pmasterxxxxarb_active
01 1
.names psbcresetpcc [123] n_n724 [277] [1955] porxxxxen_cntl
0-1-- 1
0--0- 1
-1--1 1
.names ppccreqcode1 ppccreqcode2 n_n12 [1956] porxxxxtm1o
---1 1
01-- 1
0-1- 1
-11- 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreqcode0 \
pencodemuxxxxxmx_ad_8
100- 1
-000 1
.names psbcresetpcc n_n148 n_n11 [200] [1961] porxxxxsbcack
0---- 1
-0--- 1
--1-- 1
---1- 1
----1 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 n_n12 porxxxxvtm1o
111- 1
1-11 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 n_n12 [1965] porxxxxvtm0o
--0-- 1
----1 1
-11-- 1
0--0- 1
-0-0- 1
.names psbcresetpcc nvirmachxxxxstate0 nwd_cnt_test nvirmachxxxxstate1 \
pvirmachxxxxsbccacherelease
0110 1
.names preseti nresetxxxxstate0 nresetxxxxstate1 nresetxxxxstate2 ngen_reset \
nresetxxxxnextstate0
10001 1
.names [123] [1750] [1753] [1754] nnubusxxxxnextstate1
11-- 1
--11 1
.names pstarti nslavexxxxstate1 nslavexxxxstate2 [586] [1755] \
nslavexxxxnextstate0
---1- 1
100-1 1
.names nslavexxxxstate1 [296] [295] [578] [1760] nslavexxxxnextstate1
1---- 1
---1- 1
-11-1 1
.names preseti ppccsync [298] [567] [1769] nslavexxxxnextstate2
0--1- 1
0---1 1
001-- 1
.names psbcresetpcc nmasterxxxxstate0 n_n22 [1783] [1784] \
nmasterxxxxnextstate1
----1 1
01--- 1
0-1-- 1
0--1- 1
.names psbcresetpcc [544] [545] [1794] nmasterxxxxnextstate2
---1 1
01-- 1
0-1- 1
.names psbcresetpcc nmasterxxxxstate0 ni108 [315] [504] nmasterxxxxnextstate3
--1-- 1
----1 1
01-1- 1
.names pstarti preseti packi [280] [502] nnubusxxxxnextstate0
----1 1
0001- 1
.names psbcresetpcc n_n693 [1827] nmasterxxxxnextstate0
--1 1
10- 1
.names ppccsawreset preseti nresetxxxxstate0 nresetxxxxstate1 nresetxxxxstate2 \
nresetxxxxnextstate1
0---1 1
-1--1 1
001-- 1
00-1- 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 n_n12 norxxxxset_ex_wd_cnt1
111- 1
100- 1
-111 1
-001 1
.names preseti nresetxxxxstate0 nresetxxxxstate1 nresetxxxxstate2 ngen_reset \
nresetxxxxnextstate2
11--- 1
1-1-- 1
1--1- 1
1---0 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 n_n12 [1835] \
norxxxxreset_wd_cnt_x
----1 1
1--1- 1
--11- 1
-0-0- 1
.names [148] [465] [466] nvirmachxxxxnextstate0
1-- 1
-1- 1
--1 1
.names [127] [463] [464] [1846] nwdcntxxxxwd_cnt_test
-1-- 1
--1- 1
1--1 1
.names [459] [460] nvirmachxxxxnextstate1
1- 1
-1 1
.names pvtm0i psbcresetpcc nv_transmit_begin [148] [1853] norxxxxincr_wd_cnt
---1- 1
----1 1
100-- 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 psbcresetpcc n_n720 [309] [113] [1855] norxxxxgen_reset
00--- 1
--101 1
.names ppccreqcode2 ppccreqcode0 n_n12 nmasterxxxxp_receive_begin
11- 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 ptag_match pvtm0l pcoherencystate2i [1858] \
nslavexxxxv_transmit_begin
01110 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 n_n12 [442] nmasterxxxxupdatereq
--0-- 1
----1 1
-11-- 1
0--1- 1
-1-1- 1
0--0- 1
-0-0- 1
.names nslavexxxxstate1 nslavexxxxstate2 nupdatereq [256] [1864] \
nslavexxxxsnoopvtag_w
1-111 1
-0111 1
.names pwdcntxxxxstate2 psbcresetpcc nreset_wd_cnt [127]
111 1
.names pwdcntxxxxstate1 pwdcntxxxxstate3 nincr_wd_cnt [239]
1-- 1
-0- 1
--0 1
.names pwdcntxxxxstate2 psbcresetpcc nreset_wd_cnt [239] [434] \
nwdcntxxxxwd_cnt1
----1 1
1111- 1
.names [217] [292] [1828] [1831] [1832] n_n12
----1 1
01--- 1
-10-- 1
-1-1- 1
.names pwdcntxxxxstate3 [432] [433] nwdcntxxxxwd_cnt0
11- 1
1-1 1
.names pwdcntxxxxstate1 psbcresetpcc nreset_wd_cnt [430] nwdcntxxxxwd_cnt2
---1 1
111- 1
.names packl psbcresetpcc nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 nmasterxxxxl_dbufo_if_tm0
00101 1
.names pstarti preseti packi [123]
000 1
.names pstarti nnubusxxxxstate1 nnubusxxxxstate0 [172]
100 1
.names nnubusxxxxstate1 nnubusxxxxstate0 nintr_done [242]
01- 1
1-0 1
.names ptm0i packi psbcresetpcc pphysrecxxxxstate1 [220]
1001 1
.names pvsacki nslavexxxxstate1 nslavexxxxstate2 [229]
011 1
.names psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 np_receive_begin \
[234]
0111 1
.names ptm0i ptm1i nv_receive_begin [244]
--1 1
11- 1
.names psbcresetpcc ppccreqcode0 n_n720 [200] [142] n_n21
0--1- 1
0---1 1
010-- 1
.names ptm0i ptm1i nwd_cnt_test nv_receive_begin [1855] n_n157
--0-1 1
0--01 1
-0-01 1
.names ptm1l pvtm1l pcoherencystate2i pcoherencystate1i [245]
001- 1
1-01 1
00-0 1
.names ptag_match pvtm0l [393] [1858] [1859] n_n64
0---- 1
-0--- 1
---1- 1
--1-0 1
.names psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 nv_receive_begin \
nv_transmit_begin n_n169
001-- 1
00-01 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 n_n12 nmasterxxxxvsacko
--0- 1
-11- 1
0--0 1
-0-0 1
.names psbcresetpcc nvirmachxxxxstate0 nwd_cnt_test nvirmachxxxxstate1 [148]
0100 1
.names preseti nslavexxxxstate0 [225]
01 1
.names psbcresetpcc n_n720 [309] [113] [1855] n_n68
1-0-- 1
-10-- 1
1--1- 1
-1-1- 1
1---0 1
-1--0 1
.names pstarti packi nnubusxxxxstate1 nnubusxxxxstate0 nintr_done [248]
1001- 1
1-110 1
01000 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [1910] n_n148
0011 1
.names packl [226] [370] [373] [374] n_n11
-1--- 1
--1-- 1
1--1- 1
1---1 1
.names packi psbcresetpcc [228]
10 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 ppccconfirm pbus_inactive pvsacki [235] [217] [250]
---1- 1
110-1 1
.names [126] [270] [129] [122] [344] [252]
----1 1
11--- 1
--11- 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 pstarti packi nslavexxxxstate0 [253]
11- 1
001 1
.names pstarto pstarti pvtm0l nslavexxxxstate2 [256]
-0-- 1
---1 1
1-1- 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 preseti nresetxxxxstate2 [226]
01 1
.names ptm0i ptm1i [262]
01 1
10 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 [126] [270] n_n137 [217] [344] [266]
--1-- 1
---1- 1
----1 1
11--- 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 pgranti [114] [129] [498] [1823] n_n693
---1- 1
0-1-- 1
-01-1 1
.names pstarti nmasterxxxxstate1 nmasterxxxxstate2 [417] [1887] n_n724
---1- 1
-1--1 1
0-1-1 1
.names pstarti nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 n_n137
10001 1
.names pbus_inactive [124] [217] [113] [1889] [277]
--1-- 1
10--- 1
1--01 1
.names nnubusxxxxstate1 nnubusxxxxstate0 nintr_done [280]
01- 1
1-0 1
.names prqsti nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [235]
0001 1
.names pgranti nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [217]
1110 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 ptm1l pstarti nslavexxxxstate2 [295]
1-- 1
-0- 1
--1 1
.names ppccreqcode2 ppccreqcode0 [221]
11 1
.names pvsacki psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate3 \
nmasterxxxxstate0 [160]
10101 1
.names ptm0i ptm1i nwd_cnt_test nv_receive_begin [309]
--0- 1
0--0 1
-0-0 1
.names pvsacki pvtm0i nmasterxxxxstate2 [115]
1-0 1
-00 1
.names psbcresetpcc [518] [528] [529] [1806] ni108
01--- 1
0-1-- 1
0--1- 1
0---1 1
.names [235] [317] [511] [513] [1810] [315]
1---- 1
--1-- 1
---1- 1
-1--1 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 [217] [557] [559] [1780] n_n22
-1-- 1
1-1- 1
1--1 1
.names [491] [492] [493] [494] [495] [329]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pbus_inactive pvsacki psinglestep [217] [340] [200]
10011 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 nmasterxxxxstate1 nmasterxxxxstate3 [237]
01 1
.names ppccreqcode1 n_n720 [1895] [1896] [1897] [142]
10--- 1
--11- 1
-0--1 1
.names ppccconfirm ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreq [340]
0---- 1
---1- 1
----0 1
-11-- 1
.names ppccconfirm ppccreqcode3 pbus_inactive ppccreq [219]
1011 1
.names ptm1l pvtm1l pcoherencystate2i pcoherencystate1i [247]
00-- 1
--01 1
.names pstarti packi nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [298]
--100 1
10-00 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 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 psbcresetpcc n_n720 [221] [142] [177] [169]
0--1- 1
0---1 1
001-- 1
.names preseti nresetxxxxstate1 nresetxxxxstate2 [174]
001 1
.names pbus_inactive pvsacki [114] [217] [1942] [177]
10111 1
.names ptm0i pphysrecxxxxstate1 nwd_cnt_test nv_receive_begin [182]
-10- 1
01-0 1
.names ptm0i packl [191] [373] [374] [189]
0-1-- 1
01-1- 1
01--1 1
.names packi psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 \
nv_receive_begin [191]
10-1- 1
101-1 1
.names pstarti packi nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [202]
00000 1
.names psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [341]
00001 1
.names prqsti nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [344]
010-0 1
-1010 1
.names pstarti packi nnubusxxxxstate1 nnubusxxxxstate0 [346]
0111 1
1100 1
.names pstarti packi nnubusxxxxstate1 nnubusxxxxstate0 [347]
0000 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 psbcresetpcc nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [373]
00101 1
.names psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate3 nmasterxxxxstate0 \
[374]
0111 1
.names preseti nslavexxxxstate0 [247] [388] [1902] [381]
01-1- 1
011-1 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 ppccreqcode0 n_n720 [398]
10 1
.names nmasterxxxxstate2 nmasterxxxxstate3 nmasterxxxxstate0 [417]
110 1
.names preseti packi nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [423]
00001 1
.names packi psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 \
nv_receive_begin [424]
00-1- 1
001-1 1
.names ptm0i packi psbcresetpcc pphysrecxxxxstate1 nwd_cnt_test [425]
10011 1
.names pwdcntxxxxstate3 pwdcntxxxxstate2 psbcresetpcc nreset_wd_cnt \
nincr_wd_cnt [430]
11111 1
.names psbcresetpcc nreset_wd_cnt nincr_wd_cnt nwdcntxxxxstate0 [432]
110- 1
11-1 1
.names pwdcntxxxxstate1 pwdcntxxxxstate2 psbcresetpcc nreset_wd_cnt [433]
1111 1
.names pwdcntxxxxstate3 pwdcntxxxxstate2 psbcresetpcc nreset_wd_cnt \
nincr_wd_cnt [434]
10111 1
.names psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate0 nupdatedone [442]
0000 1
.names ppccack psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 \
nv_transmit_begin [459]
0001- 1
000-1 1
.names psbcresetpcc pvacki nvirmachxxxxstate0 nvirmachxxxxstate1 \
nv_receive_begin [460]
0011- 1
0-001 1
.names pwdcntxxxxstate3 pwdcntxxxxstate2 psbcresetpcc nreset_wd_cnt \
nwdcntxxxxstate0 [463]
00111 1
.names pwdcntxxxxstate1 psbcresetpcc nset_ex_wd_cnt1 nreset_wd_cnt [464]
0011 1
.names ppccack psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 \
nv_transmit_begin [465]
1001- 1
100-1 1
.names psbcresetpcc pvacki nvirmachxxxxstate0 nvirmachxxxxstate1 \
nv_receive_begin [466]
0011- 1
0-001 1
.names psbcresetpcc psinglestep [235] [1820] [486]
0011 1
.names psbcresetpcc pvackl nmasterxxxxstate3 nmasterxxxxstate0 [487]
0111 1
.names pvsacki pvtm0i nmasterxxxxstate2 nmasterxxxxstate3 [491]
0111 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 pvackl nmasterxxxxstate1 [495]
10 1
.names pstarti nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 \
nmasterxxxxstate0 [498]
00001 1
.names ptm1i pstarti preseti packi nnubusxxxxstate0 [502]
01000 1
.names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [313] [504]
0111 1
.names packl plastrqsti nmasterxxxxstate1 nmasterxxxxstate3 [511]
0-11 1
-011 1
.names psinglestep nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [513]
1001 1
.names nmasterxxxxstate3 [122] [1800] [1801] [1802] [518]
1---1 1
-01-1 1
-0-11 1
.names [237] [533] [1796] [1797] [1798] [528]
---11 1
11--1 1
1-1-1 1
.names nmasterxxxxstate3 [126] [529]
01 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode3 psinglestep [533]
--01 1
000- 1
.names nmasterxxxxstate3 [126] [547] [1789] [544]
1-1- 1
11-1 1
.names [217] [219] [1790] [545]
10- 1
1-1 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate0 [547]
100 1
.names pvsacki pgranti nmasterxxxxstate1 nmasterxxxxstate3 [557]
1110 1
.names ppccreqcode1 ppccreqcode2 ppccreqcode0 [559]
11- 1
001 1
.names nslavexxxxstate1 nslavexxxxstate2 [571] [573] [1767] [567]
-11-- 1
11-1- 1
11--1 1
.names packi pslotspace_id_match ppccsync nslavexxxxstate0 nintr_req [571]
0-10- 1
00-00 1
.names pstarti packi pnubusactive nintr_req [573]
10-- 1
-010 1
.names preseti nslavexxxxstate1 [117] [590] [1758] [578]
001-1 1
00-11 1
.names nslavexxxxstate1 [225] [117] [590] [1757] [586]
-1--1 1
011-- 1
01-1- 1
.names ptm1l pvtm0l pcoherencystate2i pcoherencystate1i [590]
01-- 1
-10- 1
-1-0 1
.names nnubusxxxxstate1 nnubusxxxxstate0 nintr_done [1750]
011 1
.names preseti packi nintr_done [1753]
10- 1
-01 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 preseti packi pvtm0l [1755]
001 1
.names pvsacki nslavexxxxstate1 nslavexxxxstate2 [1757]
--0 1
11- 1
.names preseti nslavexxxxstate0 nslavexxxxstate2 [1758]
011 1
.names preseti packi nslavexxxxstate0 [1760]
01- 1
0-1 1
.names nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [1764]
101 1
.names pstarto packi pvtm0l nslavexxxxstate0 [1765]
10-0 1
-000 1
.names packi pvsacki nslavexxxxstate0 [1767]
-11 1
0-0 1
.names n_n226 [137] [117] [1764] [1765] [1769]
-0--- 1
--11- 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 psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate0 [160] [1784]
----1 1
0011- 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 [125] [115] [1787] [1792] [1794]
----1 1
-00-- 1
1--1- 1
.names ppccreqcode1 ppccreqcode2 ppccreq ppccreqcode0 [1796]
--0- 1
-1-1 1
1--0 1
.names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [1797]
-11 1
100 1
.names nmasterxxxxstate0 prqsti [1798]
00 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 ppccreqcode1 ppccreqcode2 ppccreqcode0 nmasterxxxxstate3 [1805]
1--1 1
-1-1 1
--01 1
.names n_n137 n_n720 [1805] [1806]
1-- 1
-01 1
.names plastrqsti packl [1810]
01 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 [160] [487] [1825]
1-- 1
-1- 1
--1 1
.names psbcresetpcc nmasterxxxxstate0 [329] [486] [1825] [1827]
---1- 1
----1 1
011-- 1
.names pvsacki pbus_inactive [1828]
01 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 pstarto preseti packi pvtm0l nslavexxxxstate0 [1834]
00010 1
.names [125] n_n226 [1772] [1834] [1835]
1-1- 1
-1-1 1
.names pwdcntxxxxstate1 pwdcntxxxxstate3 nincr_wd_cnt [1846]
11- 1
1-1 1
.names pphysrecxxxxstate0 nwd_cnt_test nv_receive_begin [1850]
000 1
.names ptm0i pstarti nmasterxxxxl_dbufo_if_tm0 [220] [1850] [1853]
1-1-- 1
-11-- 1
---11 1
.names packi psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 [1855]
1010 1
.names pstarti preseti packi nintr_done [1856]
0000 1
.names pvtm0l ptag_match [1857]
0- 1
-0 1
.names preseti nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [1858]
1--- 1
-0-- 1
--1- 1
---0 1
.names pcoherencystate2i ptm1l [1859]
10 1
.names nslavexxxxstate1 nslavexxxxstate2 nupdatereq [1863]
1-1 1
-01 1
.names preseti packi nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [1864]
0000- 1
000-1 1
.names preseti packi nintr_done [1872]
000 1
.names pnubusactive ppccsync nslavexxxxstate0 nintr_req [1877]
1011 1
.names ptm1l pcoherencystate2i pcoherencystate1i [1879]
101 1
.names plastrqsti psbcresetpcc pphysrecxxxxstate1 nwd_cnt_test [1885]
0011 1
.names packl plastrqsti nmasterxxxxstate0 [1887]
101 1
.names ppccreqcode3 ppccreq nmasterxxxxstate0 [1889]
110 1
.names plastrqsti packi pphysrecxxxxstate1 pphysrecxxxxstate0 [1890]
-00- 1
0--1 1
-0-0 1
.names nmasterxxxxl_dbufo_if_tm0 [234] [244] [1885] [1892]
1--- 1
-1-- 1
--11 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 nmasterxxxxstate3 ppccreqcode2 [1897]
11 1
.names pstarto preseti packi pvtm0l [1900]
0001 1
.names ptag_match pvtm0l nslavexxxxstate1 [1902]
110 1
.names [148] n_n226 [392] [1900] [1904]
1--- 1
--1- 1
-1-1 1
.names pvsacki psbcresetpcc psinglestep nmasterxxxxstate0 [1910]
0001 1
.names psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 \
[1910] [1916]
0---- 1
-1--- 1
--1-- 1
---0- 1
----0 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 nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [354] [1920] \
[1922]
---1- 1
001-1 1
.names ptag_match pvtm0l [1858] [1859] [1921] [1923]
----1 1
1101- 1
.names pvsacki nslavexxxxstate1 nslavexxxxstate2 nintr_req [1932]
0110 1
.names preseti [253] [202] [1932] [1935]
1--- 1
--1- 1
-1-1 1
.names psinglestep ppccconfirm [1942]
01 1
.names ptm0i ptm1i pphysrecxxxxstate1 pphysrecxxxxstate0 nv_receive_begin \
[1947]
01--- 1
--11- 1
10-1- 1
101-1 1
.names packl [262] [174] [373] [374] [1948]
--1-- 1
11-1- 1
11--1 1
.names ppccack n_n169 [148] [1950]
--1 1
00- 1
.names pslotspace_id_match nnubusxxxxstate1 nnubusxxxxstate0 nintr_done [1955]
00-- 1
-01- 1
0--1 1
--11 1
.names ppccreqcode0 [123] [124] [1750] [1910] [1956]
1---- 1
-00-- 1
--00- 1
-0--0 1
---00 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
.names ptag_match pvtm0l [1858] [1859] [1964] [1965]
----1 1
1101- 1
.end