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