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