| .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 preseti nresetxxxxstate0 [1867] presetxxxxsbcresetpcc |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ppccreqcode1 ppccreqcode2 [478] [1832] pmasterxxxxen_abufo |
| 0-00 1 |
| -000 1 |
| .names [123] [172] [242] [1872] pnubusxxxxnubusactive |
| 1-1- 1 |
| -1-1 1 |
| .names nwd_cnt_test [120] [220] [1873] pphysrecxxxxnextstate0 |
| 1-1- 1 |
| -1-1 1 |
| .names nslavexxxxstate1 nslavexxxxstate2 [227] [422] pslavexxxxsbcreqcode2 |
| ---1 1 |
| 011- 1 |
| .names [421] [1857] [1858] [1879] pslavexxxxsbcreqcode0 |
| 1--- 1 |
| -001 1 |
| .names pvacki nvirmachxxxxstate0 [1882] pvirmachxxxxsbcsetdirty |
| 111 1 |
| .names psbcresetpcc [243] [405] [1891] porxxxxen_start |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names psbcresetpcc n_n157 [142] [1898] porxxxxsbcackcode0 |
| -1-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names ptag_match pvtm0l [245] [1858] pslavexxxxsbcreqcode1 |
| 1110 1 |
| .names nslavexxxxsnoopvtag_w n_n64 pslavexxxxsnoopstate_w |
| 1- 1 |
| -0 1 |
| .names nmasterxxxxp_receive_begin [1860] [1906] porxxxxvsacko |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names preseti nresetxxxxstate2 presetxxxxreset |
| 11 1 |
| .names psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 \ |
| pvirmachxxxxen_vdbufo |
| 010 1 |
| .names preseti [248] [286] [285] porxxxxreseto |
| --0- 1 |
| ---0 1 |
| 01-- 1 |
| .names psbcresetpcc [142] [1898] [1915] porxxxxsbcackcodelatch |
| ---1 1 |
| 01-- 1 |
| 0-1- 1 |
| .names [393] [1857] [1858] [1859] pslavexxxxgeneratenextstate |
| 000- 1 |
| -001 1 |
| .names ppccack pvirmachxxxxen_vdbufo [232] [283] pvirmachxxxxsbcconfigure |
| -1-- 1 |
| 0-0- 1 |
| 0--0 1 |
| .names n_n215 n_n126 [1893] [1916] porxxxxacko |
| 1--- 1 |
| ---1 1 |
| -11- 1 |
| .names psbcresetpcc nmasterxxxxstate0 [1918] pmasterxxxxsbc_writecache |
| 1-- 1 |
| -0- 1 |
| --1 1 |
| .names [114] [230] [250] [1924] porxxxxen_vcntl |
| ---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 nmasterxxxxstate0 [213] [210] pmasterxxxxrqsto |
| ---1 1 |
| 011- 1 |
| .names pvirmachxxxxsbccacherelease [124] [1910] porxxxxvacko |
| 1-- 1 |
| -11 1 |
| .names [253] [204] [1932] [1934] pslavexxxxl_vabufi |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names ptm0i n_n93 [188] [191] porxxxxsbcackcode1 |
| --1- 1 |
| 01-- 1 |
| 0--1 1 |
| .names psbcresetpcc psinglestep n_n107 n_n126 porxxxxstarto |
| 001- 1 |
| 00-1 1 |
| .names [228] [264] [169] [1948] porxxxxsbcackcode2 |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names [218] [227] n_n64 [422] pslavexxxxsbcreq |
| --0- 1 |
| ---1 1 |
| 11-- 1 |
| .names [164] [1951] porxxxxl_dbufo |
| 1- 1 |
| -1 1 |
| .names preseti nresetxxxxstate2 [286] [285] porxxxxsbcackcode3 |
| --0- 1 |
| ---0 1 |
| 01-- 1 |
| .names n_n226 [392] [1900] pslavexxxxsnoopvtagstate_r |
| -1- 1 |
| 1-1 1 |
| .names [123] [124] [1750] [1910] porxxxxtm0o |
| 1-1- 1 |
| -1-1 1 |
| .names [234] [265] [1953] pphysrecxxxxnextstate1 |
| 1-- 1 |
| -11 1 |
| .names psbcresetpcc [344] [345] [1954] pmasterxxxxarb_active |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names [123] [155] [1955] porxxxxen_cntl |
| -1- 1 |
| 1-1 1 |
| .names ppccreqcode0 porxxxxtm0o [173] [150] porxxxxtm1o |
| 1--- 1 |
| -0-- 1 |
| --1- 1 |
| ---1 1 |
| .names ppccreqcode1 ppccreqcode2 ppccreqcode3 ppccreqcode0 \ |
| pencodemuxxxxxmx_ad_8 |
| 100- 1 |
| -000 1 |
| .names nmasterxxxxacko [136] [1962] porxxxxsbcack |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ppccreqcode1 nmasterxxxxp_receive_begin porxxxxvtm1o |
| 11 1 |
| .names nmasterxxxxp_receive_begin nslavexxxxv_transmit_begin [1860] [1964] \ |
| porxxxxvtm0o |
| 0--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names psbcresetpcc nvirmachxxxxstate0 nwd_cnt_test nvirmachxxxxstate1 \ |
| pvirmachxxxxsbccacherelease |
| 0110 1 |
| .names preseti nresetxxxxstate2 [1749] nresetxxxxnextstate0 |
| 101 1 |
| .names [123] [1750] [1753] [1754] nnubusxxxxnextstate1 |
| 11-- 1 |
| --11 1 |
| .names [225] n_n46 [585] [1757] nslavexxxxnextstate0 |
| --1- 1 |
| 11-- 1 |
| 1--1 1 |
| .names preseti n_n46 [1758] [1762] nslavexxxxnextstate1 |
| ---1 1 |
| 011- 1 |
| .names preseti [567] [1770] nslavexxxxnextstate2 |
| 01- 1 |
| 0-1 1 |
| .names psbcresetpcc nmasterxxxxstate0 [304] [1784] nmasterxxxxnextstate1 |
| ---1 1 |
| 01-- 1 |
| 0-1- 1 |
| .names [539] [540] [542] [1792] nmasterxxxxnextstate2 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names psbcresetpcc n_n32 [1807] [1813] nmasterxxxxnextstate3 |
| ---1 1 |
| 01-- 1 |
| 0-1- 1 |
| .names [123] [280] [1814] [1815] nnubusxxxxnextstate0 |
| 11-- 1 |
| --11 1 |
| .names [485] [488] [1826] nmasterxxxxnextstate0 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ppccsawreset preseti nresetxxxxstate2 [284] nresetxxxxnextstate1 |
| -11- 1 |
| 0--1 1 |
| .names ppccreqcode0 [332] [476] norxxxxset_ex_wd_cnt1 |
| --1 1 |
| 11- 1 |
| .names preseti nresetxxxxstate2 [474] nresetxxxxnextstate2 |
| --1 1 |
| 11- 1 |
| .names nmasterxxxxv_receive_begin [159] [470] [471] norxxxxreset_wd_cnt_x |
| 1--- 1 |
| -0-- 1 |
| --1- 1 |
| ---1 1 |
| .names psbcresetpcc [134] [1841] nvirmachxxxxnextstate0 |
| --1 1 |
| 01- 1 |
| .names nwdcntxxxxnextstate0 [127] [1846] nwdcntxxxxwd_cnt_test |
| 1-- 1 |
| -11 1 |
| .names psbcresetpcc [134] [275] [1847] nvirmachxxxxnextstate1 |
| 01-- 1 |
| --11 1 |
| .names [220] [457] [1850] [1852] norxxxxincr_wd_cnt |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names pwdcntxxxxstate3 pwdcntxxxxstate2 [464] [1843] nwdcntxxxxnextstate0 |
| --1- 1 |
| 00-1 1 |
| .names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [1772] \ |
| nmasterxxxxv_receive_begin |
| 0111 1 |
| .names psbcresetpcc [286] [1803] [1804] norxxxxgen_reset |
| -0-- 1 |
| 0-00 1 |
| .names ppccreqcode2 ppccreqcode0 [478] [1832] nmasterxxxxp_receive_begin |
| 11-- 1 |
| -11- 1 |
| -1-1 1 |
| .names pslotspace_id_match nnubusxxxxstate1 nnubusxxxxstate0 [1856] \ |
| nnubusxxxxintr_req |
| -011 1 |
| 1101 1 |
| .names preseti nslavexxxxstate0 [137] nslavexxxxintr_done |
| 1-1 1 |
| -11 1 |
| .names ptag_match pvtm0l [1858] [1859] nslavexxxxv_transmit_begin |
| 1101 1 |
| .names nmasterxxxxp_receive_begin [443] [1860] [1861] nmasterxxxxupdatereq |
| 0--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [227] [257] [256] [1863] nslavexxxxsnoopvtag_w |
| 1111 1 |
| .names pwdcntxxxxstate2 psbcresetpcc nreset_wd_cnt [127] |
| 111 1 |
| .names pwdcntxxxxstate1 pwdcntxxxxstate3 nincr_wd_cnt [239] |
| 1-- 1 |
| -0- 1 |
| --0 1 |
| .names [127] [239] [1868] [1869] nwdcntxxxxwd_cnt1 |
| 11-- 1 |
| --11 1 |
| .names pwdcntxxxxstate3 [432] [433] nwdcntxxxxwd_cnt0 |
| 11- 1 |
| 1-1 1 |
| .names pwdcntxxxxstate3 nincr_wd_cnt [127] [431] nwdcntxxxxwd_cnt2 |
| ---1 1 |
| 111- 1 |
| .names psbcresetpcc nmasterxxxxstate0 n_n74 |
| 1- 1 |
| -0 1 |
| .names packl nmasterxxxxstate2 [216] |
| 01 1 |
| .names packl nmasterxxxxstate2 [1786] nmasterxxxxl_dbufo_if_tm0 |
| 011 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 pphysrecxxxxstate1 pphysrecxxxxstate0 nv_receive_begin [120] |
| -1- 1 |
| 1-1 1 |
| .names ptm0i packi psbcresetpcc pphysrecxxxxstate1 [220] |
| 1001 1 |
| .names nslavexxxxstate1 nslavexxxxstate2 [218] |
| 01 1 |
| .names preseti packi nslavexxxxstate0 [227] |
| 000 1 |
| .names pvsacki nslavexxxxstate1 nslavexxxxstate2 [229] |
| 011 1 |
| .names psbcresetpcc pphysrecxxxxstate1 pphysrecxxxxstate0 np_receive_begin \ |
| [234] |
| 0111 1 |
| .names n_n724 [217] [412] [1890] [243] |
| 1--- 1 |
| ---1 1 |
| -00- 1 |
| .names [309] [1855] n_n157 |
| 11 1 |
| .names ptm1l pvtm1l pcoherencystate2i pcoherencystate1i [245] |
| 001- 1 |
| 1-01 1 |
| 00-0 1 |
| .names [393] [1857] [1858] [1859] n_n64 |
| -1-- 1 |
| --1- 1 |
| 1--0 1 |
| .names psbcresetpcc nvirmachxxxxstate0 nwd_cnt_test nvirmachxxxxstate1 [148] |
| 0100 1 |
| .names preseti nslavexxxxstate0 [225] |
| 01 1 |
| .names [224] [249] [1907] [1909] [248] |
| -11- 1 |
| 1--1 1 |
| .names packi psbcresetpcc [228] |
| 10 1 |
| .names [217] [1828] [1893] [1916] nmasterxxxxacko |
| ---1 1 |
| 111- 1 |
| .names pstarti preseti packi [1750] n_n215 |
| 0001 1 |
| .names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [125] |
| 011 1 |
| .names pstarti nmasterxxxxstate2 [201] |
| 01 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 [235] [217] [1828] [250] |
| -1-- 1 |
| 1-11 1 |
| .names pstarti nnubusxxxxstate1 nnubusxxxxstate0 [224] |
| 000 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [213] |
| 000 1 |
| .names packi nslavexxxxstate0 n_n301 |
| 00 1 |
| .names pstarti packi nslavexxxxstate0 [253] |
| 11- 1 |
| 001 1 |
| .names nslavexxxxstate1 nslavexxxxstate2 [257] |
| 0- 1 |
| -1 1 |
| .names pstarto pstarti pvtm0l nslavexxxxstate2 [256] |
| -0-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names [185] [1940] [1941] nmasterxxxxl_pdbufi |
| 1-1 1 |
| -11 1 |
| .names packl [201] [374] [1911] n_n93 |
| 1-1- 1 |
| 11-1 1 |
| .names [120] [182] [1945] [1946] [264] |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names ppccreqcode2 [478] [1832] [159] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ppccreqcode2 [478] [1832] [173] |
| 11- 1 |
| 1-1 1 |
| .names pstarti nslavexxxxstate1 nslavexxxxstate2 n_n226 |
| 100 1 |
| .names nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [198] |
| 100 1 |
| .names ptm0i pphysrecxxxxstate0 nwd_cnt_test nv_receive_begin [265] |
| -1-- 1 |
| ---0 1 |
| 1-1- 1 |
| .names pstarti pvackl nmasterxxxxstate1 nmasterxxxxstate2 [269] |
| -11- 1 |
| 0--1 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [129] |
| 110 1 |
| .names pvacki nvirmachxxxxstate0 nvirmachxxxxstate1 nv_receive_begin [134] |
| 011- 1 |
| -001 1 |
| .names psbcresetpcc nvirmachxxxxstate0 [232] |
| 00 1 |
| .names nvirmachxxxxstate1 nv_transmit_begin [275] |
| 1- 1 |
| -1 1 |
| .names pstarti nmasterxxxxstate1 nmasterxxxxstate2 [276] |
| -1- 1 |
| 0-1 1 |
| .names [276] [417] [1887] n_n724 |
| -1- 1 |
| 1-1 1 |
| .names pstarti nmasterxxxxstate0 [213] n_n137 |
| 111 1 |
| .names nnubusxxxxstate1 nnubusxxxxstate0 nintr_done [280] |
| 01- 1 |
| 1-0 1 |
| .names ptag_match nslavexxxxstate1 [590] [592] n_n46 |
| 00-- 1 |
| -01- 1 |
| -0-1 1 |
| .names nvirmachxxxxstate1 nv_receive_begin nv_transmit_begin [283] |
| 1-- 1 |
| -01 1 |
| .names preseti nresetxxxxstate0 nresetxxxxstate1 nresetxxxxstate2 [284] |
| ---1 1 |
| 01-- 1 |
| 0-1- 1 |
| .names [309] [113] [1855] [286] |
| 0-- 1 |
| -1- 1 |
| --0 1 |
| .names ppccreqcode3 ppccreq psbcresetpcc [1804] [285] |
| 0--- 1 |
| -0-- 1 |
| --1- 1 |
| ---1 1 |
| .names prqsti nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [235] |
| 0001 1 |
| .names nmasterxxxxstate0 [114] [235] n_n107 |
| 001 1 |
| .names pgranti nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [217] |
| 1110 1 |
| .names pbus_inactive pvsacki [217] n_n126 |
| 101 1 |
| .names ppccreqcode3 ppccreq [199] |
| 1- 1 |
| -0 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 n_n137 [554] [557] [558] [304] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate0 [231] |
| 000 1 |
| .names ptm0i pstarti [308] |
| 1- 1 |
| -1 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 pstarti pvsacki [130] |
| 11 1 |
| 00 1 |
| .names ppccack nslavexxxxstate1 nslavexxxxstate2 [137] |
| 0-- 1 |
| -0- 1 |
| --1 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate3 [214] |
| 10 1 |
| .names ppccreqcode1 ppccreqcode2 [478] [1832] [332] |
| 11-- 1 |
| -11- 1 |
| -1-1 1 |
| .names [237] [533] [1796] [1797] [334] |
| ---1 1 |
| 11-- 1 |
| 1-1- 1 |
| .names prqsti nmasterxxxxstate0 [334] [529] n_n32 |
| ---1 1 |
| 001- 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 nmasterxxxxstate1 nmasterxxxxstate3 [237] |
| 01 1 |
| .names [401] [403] [404] [142] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ppccconfirm ppccreqcode3 pbus_inactive ppccreq [219] |
| 1011 1 |
| .names ptm1l pvtm1l pcoherencystate2i pcoherencystate1i [247] |
| 00-- 1 |
| --01 1 |
| .names packi nnubusxxxxstate1 nintr_done [249] |
| 00- 1 |
| -10 1 |
| .names pslotspace_id_match ppccsync nintr_req [300] |
| -1- 1 |
| 0-0 1 |
| .names ppccreqcode1 ppccreqcode2 prqsti ppccreqcode0 [305] |
| --1- 1 |
| 00-1 1 |
| .names [199] [547] [1788] [1789] [311] |
| -1-- 1 |
| 0-11 1 |
| .names nmasterxxxxstate3 [122] [1800] [1801] [324] |
| 1--- 1 |
| -01- 1 |
| -0-1 1 |
| .names packl pstarti nmasterxxxxstate2 nmasterxxxxstate3 [330] |
| 0-1- 1 |
| -011 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 ppccackcode psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 [116] |
| 0010 1 |
| .names psbcresetpcc [144] [403] [404] [136] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names ppccreqcode2 ppccreqcode0 [1803] [1804] [144] |
| 1-00 1 |
| -100 1 |
| .names ppccreqcode1 ppccreqcode2 [478] [1832] [150] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names psbcresetpcc n_n724 [217] [412] [155] |
| 01-- 1 |
| 0-00 1 |
| .names ppccreqcode2 ppccreqcode0 [478] [1832] [164] |
| 00-- 1 |
| -000 1 |
| .names psbcresetpcc [142] [177] [178] [169] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names preseti nresetxxxxstate1 nresetxxxxstate2 [174] |
| 001 1 |
| .names [114] [217] [1828] [1942] [177] |
| 1111 1 |
| .names ppccreqcode2 ppccreqcode0 [1803] [1804] [178] |
| 1100 1 |
| .names ptm0i pphysrecxxxxstate1 nwd_cnt_test nv_receive_begin [182] |
| -10- 1 |
| 01-0 1 |
| .names pstarti pvsacki nmasterxxxxstate2 [185] |
| 111 1 |
| 001 1 |
| .names [193] [1938] [1939] [188] |
| 1-1 1 |
| -11 1 |
| .names packi psbcresetpcc [120] [191] |
| 101 1 |
| .names ptm0i ptm1i nv_receive_begin [193] |
| 100 1 |
| .names packi nslavexxxxstate0 n_n226 [208] [204] |
| 101- 1 |
| 10-1 1 |
| .names pslotspace_id_match nslavexxxxstate1 nslavexxxxstate2 nintr_req [208] |
| 11-- 1 |
| -11- 1 |
| 1-0- 1 |
| -1-1 1 |
| --01 1 |
| .names psbcresetpcc [342] [344] [345] [210] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [122] [342] |
| 1101 1 |
| .names prqsti nmasterxxxxstate3 [1928] [344] |
| 0-1 1 |
| -11 1 |
| .names psinglestep nmasterxxxxstate3 [199] [1788] [345] |
| 1-01 1 |
| -001 1 |
| .names pstarti packi nnubusxxxxstate1 nnubusxxxxstate0 [346] |
| 0111 1 |
| 1100 1 |
| .names pstarti packi nnubusxxxxstate1 nnubusxxxxstate0 [347] |
| 0000 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 nmasterxxxxstate3 nmasterxxxxstate0 \ |
| [374] |
| 0111 1 |
| .names [225] [247] [388] [1902] [381] |
| 1-1- 1 |
| 11-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 ppccreqcode3 ppccreq ppccreqcode0 [1804] [398] |
| 1110 1 |
| .names ppccreqcode3 ppccreq [1804] [1897] [401] |
| 1101 1 |
| .names ppccreq nmasterxxxxstate0 [124] [1895] [403] |
| 1011 1 |
| .names ppccreqcode1 ppccreqcode3 ppccreq [1804] [404] |
| 1110 1 |
| .names ptm0i ptm1i nv_receive_begin [1885] [405] |
| --11 1 |
| 11-1 1 |
| .names pbus_inactive [124] [113] [1889] [412] |
| 10-- 1 |
| 1-01 1 |
| .names nmasterxxxxstate2 nmasterxxxxstate3 nmasterxxxxstate0 [417] |
| 110 1 |
| .names pvtm1l [1857] [1858] [1859] [421] |
| 1001 1 |
| .names [123] [229] [1877] [422] |
| 111 1 |
| .names pwdcntxxxxstate1 psbcresetpcc nreset_wd_cnt [431] |
| 111 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 psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate0 nupdatedone [442] |
| 0000 1 |
| .names ppccreqcode1 [478] [1832] [443] |
| 01- 1 |
| 0-1 1 |
| .names packl nmasterxxxxstate2 [308] [1786] [457] |
| 0111 1 |
| .names pwdcntxxxxstate1 psbcresetpcc nset_ex_wd_cnt1 nreset_wd_cnt [464] |
| 0011 1 |
| .names pstarto pvtm0l [227] n_n226 [470] |
| 0111 1 |
| .names ppccreqcode1 ppccreqcode0 [478] [1832] [471] |
| 1-1- 1 |
| -11- 1 |
| 1--1 1 |
| -1-1 1 |
| .names preseti nresetxxxxstate0 nresetxxxxstate1 ngen_reset [474] |
| 11-- 1 |
| 1-1- 1 |
| 1--0 1 |
| .names ppccreqcode1 [478] [1832] [1833] [476] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names [217] [292] [1828] [1831] [478] |
| 01-- 1 |
| -10- 1 |
| -1-1 1 |
| .names psbcresetpcc nmasterxxxxstate0 [1818] [1819] [485] |
| 011- 1 |
| 01-1 1 |
| .names nmasterxxxxstate0 [114] [230] [235] [486] |
| 0011 1 |
| .names psbcresetpcc pvackl nmasterxxxxstate3 nmasterxxxxstate0 [487] |
| 0111 1 |
| .names psbcresetpcc [213] [499] [1821] [488] |
| 100- 1 |
| 1-00 1 |
| .names pvsacki pvtm0i nmasterxxxxstate2 nmasterxxxxstate3 [491] |
| 0111 1 |
| .names packl pstarti nmasterxxxxstate1 nmasterxxxxstate2 [493] |
| 0-1- 1 |
| 00-1 1 |
| .names pvackl nmasterxxxxstate1 [495] |
| 10 1 |
| .names pgranti [114] [129] [1823] [499] |
| 0-1- 1 |
| -011 1 |
| .names [125] [115] [507] [504] |
| 11- 1 |
| 1-1 1 |
| .names packl pstarti pvsacki nmasterxxxxstate2 [507] |
| 011- 1 |
| 0001 1 |
| .names packl plastrqsti nmasterxxxxstate1 nmasterxxxxstate3 [511] |
| 0-11 1 |
| -011 1 |
| .names psinglestep nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [513] |
| 1001 1 |
| .names pvsacki pvackl nmasterxxxxstate1 [515] |
| 10- 1 |
| 1-0 1 |
| .names ppccreqcode3 ppccreq [1804] [1805] [519] |
| 1101 1 |
| .names ppccreqcode3 ppccreq nmasterxxxxstate3 [1788] [529] |
| 0101 1 |
| .names ppccreqcode1 ppccreqcode2 ppccreqcode3 psinglestep [533] |
| --01 1 |
| 000- 1 |
| .names packl nmasterxxxxstate2 [130] [1786] [539] |
| 0111 1 |
| .names psbcresetpcc nmasterxxxxstate3 [311] [545] [540] |
| 0--1 1 |
| 011- 1 |
| .names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [115] [542] |
| 1--0 1 |
| -0-0 1 |
| --00 1 |
| .names [217] [219] [1790] [545] |
| 10- 1 |
| 1-1 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate0 [547] |
| 100 1 |
| .names packl psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate0 [550] |
| 0011 1 |
| .names [199] [237] [305] [1781] [554] |
| 001- 1 |
| 0-11 1 |
| .names pvsacki pgranti nmasterxxxxstate1 nmasterxxxxstate3 [557] |
| 1110 1 |
| .names psinglestep [217] [219] [559] [558] |
| 11-- 1 |
| -10- 1 |
| -1-1 1 |
| .names ppccreqcode1 ppccreqcode2 ppccreqcode0 [559] |
| 11- 1 |
| 001 1 |
| .names ptag_match [592] [1764] [564] |
| 0-1 1 |
| -11 1 |
| .names ppccsync [198] [569] [566] |
| 01- 1 |
| 0-1 1 |
| .names nslavexxxxstate2 n_n301 [300] [572] [567] |
| 1--1 1 |
| 111- 1 |
| .names pstarti packi nslavexxxxstate1 nslavexxxxstate2 [569] |
| 1000 1 |
| .names nslavexxxxstate1 [573] [1767] [572] |
| 11- 1 |
| 1-1 1 |
| .names pstarti packi pnubusactive nintr_req [573] |
| 10-- 1 |
| -010 1 |
| .names pstarti nslavexxxxstate1 nslavexxxxstate2 [1755] [585] |
| 1001 1 |
| .names ptm1l pvtm0l pcoherencystate2i pcoherencystate1i [590] |
| 01-- 1 |
| -10- 1 |
| -1-0 1 |
| .names ptm1l pvtm1l pcoherencystate2i pcoherencystate1i [592] |
| --00 1 |
| 000- 1 |
| .names nresetxxxxstate0 nresetxxxxstate1 ngen_reset [1749] |
| 001 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 nslavexxxxstate1 [296] [295] [1760] [1762] |
| 1--- 1 |
| -111 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] [1765] [1768] |
| -0- 1 |
| 1-1 1 |
| .names [564] [566] [1768] [1770] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pstarti pvsacki pvtm0i nmasterxxxxstate2 [1772] |
| 0111 1 |
| .names pvsacki psbcresetpcc nmasterxxxxstate0 [1774] |
| 101 1 |
| .names psinglestep nmasterxxxxstate2 nmasterxxxxstate0 [1781] |
| 1-- 1 |
| -00 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate3 [550] [1774] [1784] |
| --1- 1 |
| 10-1 1 |
| .names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [1786] |
| 001 1 |
| .names prqsti nmasterxxxxstate2 nmasterxxxxstate0 [1788] |
| 000 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 ppccreqcode1 ppccreqcode2 ppccreq ppccreqcode0 [1796] |
| --0- 1 |
| -1-1 1 |
| 1--0 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [1797] |
| -11 1 |
| 100 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 ppccreq ppccreqcode3 [1803] |
| 0- 1 |
| -0 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate0 [1804] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ppccreqcode1 ppccreqcode2 ppccreqcode0 nmasterxxxxstate3 [1805] |
| 1--1 1 |
| -1-1 1 |
| --01 1 |
| .names n_n137 [324] [519] [1802] [1807] |
| 1--- 1 |
| --1- 1 |
| -1-1 1 |
| .names pstarti pvsacki nmasterxxxxstate2 [1809] |
| 0-1 1 |
| -01 1 |
| .names plastrqsti packl [1810] |
| 01 1 |
| .names [235] [511] [1811] |
| 1- 1 |
| -1 1 |
| .names [513] [515] [1809] [1810] [1812] |
| 1--- 1 |
| -1-1 1 |
| --11 1 |
| .names n_n74 [504] [1811] [1812] [1813] |
| -1-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names pstarti ptm1i [1814] |
| 10 1 |
| .names preseti packi nnubusxxxxstate0 [1815] |
| 000 1 |
| .names pvsacki psinglestep [124] [493] [1818] |
| ---1 1 |
| 1-1- 1 |
| -11- 1 |
| .names pvsacki [330] [491] [495] [1819] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names nmasterxxxxstate0 pstarti [1821] |
| 10 1 |
| .names ppccconfirm pbus_inactive pvsacki psinglestep [1823] |
| 1100 1 |
| .names [216] [214] [1774] [1786] [1824] |
| -11- 1 |
| 1--1 1 |
| .names [486] [487] [1824] [1826] |
| 1-- 1 |
| -1- 1 |
| --1 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 ppccreqcode0 ppccreqcode2 [1833] |
| 00 1 |
| .names ppccack psbcresetpcc nvirmachxxxxstate0 [1838] |
| 100 1 |
| .names nvirmachxxxxstate1 nv_transmit_begin [148] [1838] [1841] |
| --1- 1 |
| 1--1 1 |
| -1-1 1 |
| .names psbcresetpcc nreset_wd_cnt nwdcntxxxxstate0 [1843] |
| 111 1 |
| .names pwdcntxxxxstate1 pwdcntxxxxstate3 nincr_wd_cnt [1846] |
| 11- 1 |
| 1-1 1 |
| .names ppccack psbcresetpcc nvirmachxxxxstate0 [1847] |
| 000 1 |
| .names pphysrecxxxxstate0 nwd_cnt_test nv_receive_begin [1850] |
| 000 1 |
| .names pvtm0i psbcresetpcc nv_transmit_begin [148] [1852] |
| ---1 1 |
| 100- 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 ppccreqcode1 [221] [478] [1832] [1860] |
| -1-- 1 |
| 0-00 1 |
| .names ppccreqcode2 [442] [478] [1832] [1861] |
| -1-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names nslavexxxxstate1 nslavexxxxstate2 nupdatereq [1863] |
| 1-1 1 |
| -01 1 |
| .names ppccsawreset nresetxxxxstate1 nresetxxxxstate2 [1867] |
| --1 1 |
| 01- 1 |
| .names pwdcntxxxxstate2 pwdcntxxxxstate3 [1868] |
| 01 1 |
| .names psbcresetpcc nreset_wd_cnt nincr_wd_cnt [1869] |
| 111 1 |
| .names preseti packi nintr_done [1872] |
| 000 1 |
| .names psbcresetpcc packi [1873] |
| 00 1 |
| .names pnubusactive ppccsync nslavexxxxstate0 nintr_req [1877] |
| 1011 1 |
| .names ptm1l pcoherencystate2i pcoherencystate1i [1879] |
| 101 1 |
| .names pvtm0i psbcresetpcc nvirmachxxxxstate1 [1882] |
| 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 packl nmasterxxxxstate2 [234] [1786] [1891] |
| --1- 1 |
| 01-1 1 |
| .names ppccconfirm psinglestep [114] [1893] |
| 00- 1 |
| -01 1 |
| .names ppccreqcode1 ppccreqcode2 prqsti psinglestep [1895] |
| 0-1- 1 |
| -01- 1 |
| 0--1 1 |
| -0-1 1 |
| .names nmasterxxxxstate3 ppccreqcode2 [1897] |
| 11 1 |
| .names [217] [398] [1828] [1893] [1898] |
| -1-- 1 |
| 1-11 1 |
| .names pstarto preseti packi pvtm0l [1900] |
| 0001 1 |
| .names ptag_match pvtm0l nslavexxxxstate1 [1902] |
| 110 1 |
| .names psbcresetpcc pnextstatexxxxcoherencystate2o nvirmachxxxxstate0 [283] \ |
| [1903] |
| -1-- 1 |
| 0-01 1 |
| .names [148] n_n226 [392] [1900] [1904] |
| 1--- 1 |
| --1- 1 |
| -1-1 1 |
| .names [381] [1903] [1904] [1906] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names nnubusxxxxstate0 pstarti [1907] |
| 11 1 |
| .names nintr_done packi [1909] |
| 01 1 |
| .names pvsacki psbcresetpcc psinglestep nmasterxxxxstate0 [1910] |
| 0001 1 |
| .names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [1911] |
| 001 1 |
| .names nupdatedone nmasterxxxxstate2 [1912] |
| 11 1 |
| .names preseti nresetxxxxstate2 [231] [1912] [1913] |
| 01-- 1 |
| --11 1 |
| .names [124] [366] [1910] [1914] |
| -1- 1 |
| 1-1 1 |
| .names n_n93 [1913] [1914] [1915] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names psbcresetpcc [124] [1910] [1916] |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names [125] [360] [361] [1918] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pstarti pvsacki psbcresetpcc nmasterxxxxstate0 [1920] |
| 1101 1 |
| .names psbcresetpcc nvirmachxxxxstate0 nvirmachxxxxstate1 [283] [1921] |
| 010- 1 |
| 00-1 1 |
| .names [216] [125] [124] [1920] [1922] |
| 11-- 1 |
| --11 1 |
| .names nslavexxxxv_transmit_begin [1921] [1922] [1924] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate0 [1928] |
| 100 1 |
| .names packi nslavexxxxstate0 nslavexxxxstate2 [1930] |
| 000 1 |
| .names pvsacki nslavexxxxstate1 nslavexxxxstate2 nintr_req [1932] |
| 0110 1 |
| .names pstarti preseti nslavexxxxstate1 [1930] [1934] |
| -1-- 1 |
| 0-01 1 |
| .names ptm0i ptm1i pphysrecxxxxstate0 nwd_cnt_test [1938] |
| --1- 1 |
| ---0 1 |
| 01-- 1 |
| .names packi psbcresetpcc pphysrecxxxxstate1 [1939] |
| 101 1 |
| .names pvsacki pvtm0i nmasterxxxxstate1 nmasterxxxxstate2 [1940] |
| --1- 1 |
| 1--0 1 |
| -0-0 1 |
| .names packl psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [1941] |
| 0011 1 |
| .names psinglestep ppccconfirm [1942] |
| 01 1 |
| .names ptm1i ptm0i [1945] |
| 01 1 |
| .names ptm0i ptm1i pphysrecxxxxstate1 pphysrecxxxxstate0 [1946] |
| 01-- 1 |
| --11 1 |
| .names ptm0i ptm1i n_n93 [174] [1948] |
| ---1 1 |
| 011- 1 |
| 101- 1 |
| .names ppccack [148] [232] [283] [1950] |
| -1-- 1 |
| 0-0- 1 |
| 0--0 1 |
| .names ppccreqcode2 [478] [1832] [1950] [1951] |
| ---1 1 |
| 000- 1 |
| .names packi psbcresetpcc pphysrecxxxxstate1 [1953] |
| 001 1 |
| .names pstarti nmasterxxxxstate0 [213] [217] [1954] |
| ---1 1 |
| 111- 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 n_n93 [1913] [1961] [1962] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [116] [148] [1964] |
| 1- 1 |
| -1 1 |
| .end |
