| .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 |
