| .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 nmasterxxxxv_receive_begin n_n74 [1773] pmasterxxxxen_vdbufi |
| -0- 1 |
| 1-0 1 |
| .names preseti nresetxxxxstate0 [1867] presetxxxxsbcresetpcc |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [112] [478] [1832] pmasterxxxxen_abufo |
| 100 1 |
| .names [172] [429] [1872] pnubusxxxxnubusactive |
| -1- 1 |
| 1-1 1 |
| .names [120] [425] [1873] pphysrecxxxxnextstate0 |
| -1- 1 |
| 1-1 1 |
| .names [423] [1877] [1878] pslavexxxxsbcreqcode2 |
| 1-- 1 |
| -11 1 |
| .names n_n82 [421] [1879] pslavexxxxsbcreqcode0 |
| -1- 1 |
| 0-1 1 |
| .names pvacki nvirmachxxxxstate0 [1882] pvirmachxxxxsbcsetdirty |
| 111 1 |
| .names psbcresetpcc [243] [1892] porxxxxen_start |
| --1 1 |
| 01- 1 |
| .names n_n21 [309] [1855] porxxxxsbcackcode0 |
| 1-- 1 |
| -11 1 |
| .names n_n82 [245] pslavexxxxsbcreqcode1 |
| 01 1 |
| .names n_n64 [1864] [1865] pslavexxxxsnoopstate_w |
| 0-- 1 |
| -11 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 [286] [285] [375] porxxxxreseto |
| 0-- 1 |
| -0- 1 |
| --1 1 |
| .names n_n21 [1915] porxxxxsbcackcodelatch |
| 1- 1 |
| -1 1 |
| .names n_n82 [393] [1859] pslavexxxxgeneratenextstate |
| 00- 1 |
| 0-1 1 |
| .names pvirmachxxxxen_vdbufo [364] pvirmachxxxxsbcconfigure |
| 1- 1 |
| -1 1 |
| .names n_n215 [200] [1916] porxxxxacko |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n75 [1918] pmasterxxxxsbc_writecache |
| 1- 1 |
| -1 1 |
| .names [250] [1919] [1924] porxxxxen_vcntl |
| --1 1 |
| 11- 1 |
| .names packi [251] [1927] pnubusxxxxl_pabufi |
| --1 1 |
| 11- 1 |
| .names ptm1l pvtm1l pcoherencystate2i pnextstatexxxxcoherencystate2o |
| 001 1 |
| .names psbcresetpcc [252] [341] pmasterxxxxrqsto |
| --1 1 |
| 01- 1 |
| .names pvirmachxxxxen_vdbufo nwd_cnt_test n_n148 porxxxxvacko |
| --1 1 |
| 11- 1 |
| .names [254] [1933] [1935] pslavexxxxl_vabufi |
| --1 1 |
| 11- 1 |
| .names [259] [189] [1939] porxxxxsbcackcode1 |
| -1- 1 |
| 1-1 1 |
| .names psbcresetpcc psinglestep [260] porxxxxstarto |
| 001 1 |
| .names psbcresetpcc [263] [1949] porxxxxsbcackcode2 |
| --1 1 |
| 01- 1 |
| .names pslavexxxxsbcreqcode2 n_n64 pslavexxxxsbcreq |
| 1- 1 |
| -0 1 |
| .names ppccreqcode0 [173] [1951] porxxxxl_dbufo |
| --1 1 |
| 00- 1 |
| .names [226] [286] [285] porxxxxsbcackcode3 |
| 1-- 1 |
| -0- 1 |
| --0 1 |
| .names preseti [198] [391] pslavexxxxsnoopvtagstate_r |
| --1 1 |
| 01- 1 |
| .names [123] n_n148 [1750] porxxxxtm0o |
| -1- 1 |
| 1-1 1 |
| .names [128] [156] [1883] pphysrecxxxxnextstate1 |
| -1- 1 |
| 1-1 1 |
| .names psbcresetpcc n_n50 [1954] pmasterxxxxarb_active |
| 01- 1 |
| 0-1 1 |
| .names [154] [155] porxxxxen_cntl |
| 1- 1 |
| -1 1 |
| .names ppccreqcode1 [159] [1957] porxxxxtm1o |
| --1 1 |
| 01- 1 |
| .names ppccreqcode1 ppccreqcode0 [1958] pencodemuxxxxxmx_ad_8 |
| 1-1 1 |
| -01 1 |
| .names n_n11 [1961] [1963] porxxxxsbcack |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ppccreqcode1 ppccreqcode0 [159] porxxxxvtm1o |
| 111 1 |
| .names nmasterxxxxp_receive_begin [1860] [1965] porxxxxvtm0o |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names pvirmachxxxxen_vdbufo nwd_cnt_test pvirmachxxxxsbccacherelease |
| 11 1 |
| .names preseti nresetxxxxstate2 [1749] nresetxxxxnextstate0 |
| 101 1 |
| .names n_n215 [1753] [1754] nnubusxxxxnextstate1 |
| 1-- 1 |
| -11 1 |
| .names n_n226 [586] [1755] nslavexxxxnextstate0 |
| -1- 1 |
| 1-1 1 |
| .names n_n46 [1759] [1762] nslavexxxxnextstate1 |
| --1 1 |
| 11- 1 |
| .names preseti [567] [1770] nslavexxxxnextstate2 |
| 01- 1 |
| 0-1 1 |
| .names psbcresetpcc [304] [1785] nmasterxxxxnextstate1 |
| --1 1 |
| 01- 1 |
| .names psbcresetpcc [310] [1794] nmasterxxxxnextstate2 |
| --1 1 |
| 01- 1 |
| .names psbcresetpcc [323] [1813] nmasterxxxxnextstate3 |
| --1 1 |
| 01- 1 |
| .names [503] [1814] [1815] nnubusxxxxnextstate0 |
| 1-- 1 |
| -11 1 |
| .names psbcresetpcc n_n693 [1827] nmasterxxxxnextstate0 |
| --1 1 |
| 10- 1 |
| .names preseti nresetxxxxstate2 [481] nresetxxxxnextstate1 |
| --1 1 |
| 11- 1 |
| .names [333] [477] [1833] norxxxxset_ex_wd_cnt1 |
| -1- 1 |
| 1-1 1 |
| .names preseti nresetxxxxstate2 [289] nresetxxxxnextstate2 |
| 11- 1 |
| 1-1 1 |
| .names [159] [471] [1835] norxxxxreset_wd_cnt_x |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names [148] [465] [466] nvirmachxxxxnextstate0 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [461] [463] [464] nwdcntxxxxwd_cnt_test |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [275] [460] [1847] nvirmachxxxxnextstate1 |
| -1- 1 |
| 1-1 1 |
| .names [455] [457] [1852] norxxxxincr_wd_cnt |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [464] [1842] [1843] nwdcntxxxxnextstate0 |
| 1-- 1 |
| -11 1 |
| .names [125] [201] [1771] nmasterxxxxv_receive_begin |
| 111 1 |
| .names [286] [285] norxxxxgen_reset |
| 0- 1 |
| -0 1 |
| .names ppccreqcode0 [159] nmasterxxxxp_receive_begin |
| 11 1 |
| .names nintr_done [123] [303] nnubusxxxxintr_req |
| 011 1 |
| .names preseti nslavexxxxstate0 [137] nslavexxxxintr_done |
| 1-1 1 |
| -11 1 |
| .names ptm1l pcoherencystate2i n_n82 nslavexxxxv_transmit_begin |
| 010 1 |
| .names nmasterxxxxp_receive_begin [1860] [1862] nmasterxxxxupdatereq |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names [227] [257] [1865] nslavexxxxsnoopvtag_w |
| 111 1 |
| .names nmasterxxxxv_receive_begin n_n74 [1773] n_n75 |
| 01- 1 |
| -11 1 |
| .names pwdcntxxxxstate2 psbcresetpcc nreset_wd_cnt [127] |
| 111 1 |
| .names pwdcntxxxxstate1 pwdcntxxxxstate3 nincr_wd_cnt [239] |
| 1-- 1 |
| -0- 1 |
| --0 1 |
| .names [435] [1868] [1869] nwdcntxxxxwd_cnt1 |
| 1-- 1 |
| -11 1 |
| .names ppccreqcode1 ppccreqcode2 [112] |
| 0- 1 |
| -0 1 |
| .names pwdcntxxxxstate3 [432] [433] nwdcntxxxxwd_cnt0 |
| 11- 1 |
| 1-1 1 |
| .names [127] [431] [1871] nwdcntxxxxwd_cnt2 |
| -1- 1 |
| 1-1 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 preseti packi [211] |
| 00 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 nslavexxxxstate1 nslavexxxxstate2 [218] |
| 01 1 |
| .names preseti packi nslavexxxxstate0 [227] |
| 000 1 |
| .names pvsacki nslavexxxxstate1 nslavexxxxstate2 [229] |
| 011 1 |
| .names [218] [225] [1857] n_n82 |
| 0-- 1 |
| -0- 1 |
| --1 1 |
| .names pcoherencystate2i pcoherencystate1i [143] |
| 1- 1 |
| -0 1 |
| .names psbcresetpcc pphysrecxxxxstate1 [128] |
| 01 1 |
| .names psbcresetpcc pphysrecxxxxstate1 [1883] [234] |
| 011 1 |
| .names ptm0i ptm1i nv_receive_begin [244] |
| --1 1 |
| 11- 1 |
| .names n_n724 [277] [1890] [243] |
| 1-- 1 |
| -0- 1 |
| --1 1 |
| .names psbcresetpcc [142] [1898] n_n21 |
| 01- 1 |
| 0-1 1 |
| .names pnextstatexxxxcoherencystate2o [395] [396] [245] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n82 [393] [1859] n_n64 |
| 1-- 1 |
| -10 1 |
| .names pvirmachxxxxen_vdbufo nwd_cnt_test [148] |
| 10 1 |
| .names preseti nslavexxxxstate0 [225] |
| 01 1 |
| .names n_n74 [124] [170] n_n148 |
| 010 1 |
| .names n_n93 [1913] n_n11 |
| 1- 1 |
| -1 1 |
| .names pphysrecxxxxstate1 pphysrecxxxxstate0 [140] |
| 0- 1 |
| -0 1 |
| .names packi psbcresetpcc [228] |
| 10 1 |
| .names [123] [1750] n_n215 |
| 11 1 |
| .names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [125] |
| 011 1 |
| .names pstarti nmasterxxxxstate2 [201] |
| 01 1 |
| .names ppccreqcode1 ppccreqcode2 [199] [114] |
| --1 1 |
| 11- 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [124] |
| 001 1 |
| .names pstarti pvsacki [222] |
| 11 1 |
| .names psbcresetpcc psinglestep [230] |
| 00 1 |
| .names ppccconfirm [235] n_n126 [250] |
| -1- 1 |
| 1-1 1 |
| .names pstarti nnubusxxxxstate1 nnubusxxxxstate0 [224] |
| 000 1 |
| .names pstarti nnubusxxxxstate1 nnubusxxxxstate0 [251] |
| 011 1 |
| 100 1 |
| .names ptm1l pvtm1l [215] |
| 00 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [213] |
| 000 1 |
| .names [342] [344] [345] [252] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names packi nslavexxxxstate0 n_n301 |
| 00 1 |
| .names [218] n_n226 [255] [254] |
| -1- 1 |
| 0-1 1 |
| .names pstarti packi nslavexxxxstate0 [253] |
| 11- 1 |
| 001 1 |
| .names nslavexxxxstate1 nslavexxxxstate2 [257] |
| 0- 1 |
| -1 1 |
| .names [193] [194] [1937] [259] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [235] n_n126 [1820] [260] |
| -1- 1 |
| 1-1 1 |
| .names nmasterxxxxstate1 [115] [185] [261] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names packl [125] [261] nmasterxxxxl_pdbufi |
| 011 1 |
| .names packl [373] [374] n_n93 |
| 11- 1 |
| 1-1 1 |
| .names preseti nresetxxxxstate2 [226] |
| 01 1 |
| .names [181] [182] [1946] [264] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n57 [401] [1944] [263] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ptm0i ptm1i [262] |
| 01 1 |
| 10 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 pstarto pvtm0l [190] |
| 1- 1 |
| -0 1 |
| .names nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [198] |
| 100 1 |
| .names pslotspace_id_match nnubusxxxxstate0 [121] |
| 0- 1 |
| -1 1 |
| .names nnubusxxxxstate1 nintr_done [180] |
| 0- 1 |
| -1 1 |
| .names ppccreqcode1 ppccreqcode0 [158] |
| 1- 1 |
| -0 1 |
| .names ppccreqcode3 ppccreq [1788] [126] |
| 011 1 |
| .names prqsti nmasterxxxxstate3 [271] |
| 0- 1 |
| -1 1 |
| .names psinglestep nmasterxxxxstate3 [270] |
| 1- 1 |
| -0 1 |
| .names [271] [345] [1928] n_n50 |
| -1- 1 |
| 1-1 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [129] |
| 110 1 |
| .names pgranti [114] [1823] [272] |
| 0-- 1 |
| -01 1 |
| .names [129] [272] [498] n_n693 |
| --1 1 |
| 11- 1 |
| .names pvsacki psinglestep [170] |
| 1- 1 |
| -1 1 |
| .names psbcresetpcc nvirmachxxxxstate0 [232] |
| 00 1 |
| .names nvirmachxxxxstate1 nv_transmit_begin [275] |
| 1- 1 |
| -1 1 |
| .names nmasterxxxxstate2 nmasterxxxxstate3 [236] |
| 11 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 pbus_inactive [217] [278] [277] |
| -1- 1 |
| 1-1 1 |
| .names nnubusxxxxstate1 nnubusxxxxstate0 nintr_done [280] |
| 01- 1 |
| 1-0 1 |
| .names nslavexxxxstate1 [117] [590] n_n46 |
| 01- 1 |
| 0-1 1 |
| .names nvirmachxxxxstate1 nv_receive_begin nv_transmit_begin [283] |
| 1-- 1 |
| -01 1 |
| .names [309] [113] [1855] [286] |
| 0-- 1 |
| -1- 1 |
| --0 1 |
| .names psbcresetpcc [1803] [1804] [285] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names prqsti [124] [235] |
| 01 1 |
| .names pgranti [129] [217] |
| 11 1 |
| .names pgranti [129] [1828] n_n126 |
| 111 1 |
| .names nresetxxxxstate0 nresetxxxxstate1 ngen_reset [289] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names ppccreqcode3 ppccreq [1804] n_n720 |
| 0-- 1 |
| -0- 1 |
| --1 1 |
| .names [404] [1895] [1896] n_n57 |
| 1-- 1 |
| -11 1 |
| .names ppccreqcode3 ppccreq [199] |
| 1- 1 |
| -0 1 |
| .names nmasterxxxxstate3 nmasterxxxxstate0 [292] |
| 0- 1 |
| -1 1 |
| .names nslavexxxxstate2 [583] [296] |
| 0- 1 |
| -1 1 |
| .names ptm1l pstarti nslavexxxxstate2 [295] |
| 1-- 1 |
| -0- 1 |
| --1 1 |
| .names preseti pnubusactive [123] [294] |
| 0-- 1 |
| -11 1 |
| .names ppccreqcode2 ppccreqcode0 [221] |
| 11 1 |
| .names pslotspace_id_match nnubusxxxxstate1 nnubusxxxxstate0 [303] |
| -01 1 |
| 110 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate3 [1774] [160] |
| 101 1 |
| .names [557] [558] [1783] [304] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names psbcresetpcc nmasterxxxxstate1 nmasterxxxxstate0 [231] |
| 000 1 |
| .names ptm0i pstarti [308] |
| 1- 1 |
| -1 1 |
| .names pstarti nslavexxxxstate2 [223] |
| 10 1 |
| .names ptm1i nv_receive_begin [135] [309] |
| --1 1 |
| 00- 1 |
| .names pvsacki pvtm0i nmasterxxxxstate2 [115] |
| 1-0 1 |
| -00 1 |
| .names pstarti pvsacki [130] |
| 11 1 |
| 00 1 |
| .names nmasterxxxxstate3 [311] [545] [310] |
| --1 1 |
| 11- 1 |
| .names packl [115] [314] [313] |
| -1- 1 |
| 0-1 1 |
| .names ppccack nslavexxxxstate1 nslavexxxxstate2 [137] |
| 0-- 1 |
| -0- 1 |
| --1 1 |
| .names [528] [529] [1807] [323] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ppccreqcode1 [478] [1832] [333] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ppccreqcode1 ppccreqcode0 [337] |
| 1- 1 |
| -1 1 |
| .names psinglestep n_n126 [340] [200] |
| 011 1 |
| .names ppccreqcode1 ppccreqcode2 ppccreqcode0 [113] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names ptm1l pvtm1l pcoherencystate1i [339] |
| --0 1 |
| 00- 1 |
| .names ptag_match pcoherencystate2i [339] [117] |
| 0-- 1 |
| -01 1 |
| .names ppccreqcode1 ppccreqcode2 ppccreqcode0 [118] |
| 10- 1 |
| 0-0 1 |
| .names pvsacki psinglestep [1799] [122] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate3 [237] |
| 01 1 |
| .names ptm0i nwd_cnt_test nv_receive_begin [135] |
| -0- 1 |
| 0-0 1 |
| .names n_n57 [401] [142] |
| 1- 1 |
| -1 1 |
| .names ppccconfirm [112] [199] [340] |
| 0-- 1 |
| -0- 1 |
| --1 1 |
| .names ppccreqcode3 ppccreq [1779] [219] |
| 011 1 |
| .names nincr_wd_cnt nwdcntxxxxstate0 [241] |
| 0- 1 |
| -1 1 |
| .names packi nnubusxxxxstate1 nintr_done [249] |
| 00- 1 |
| -10 1 |
| .names pslotspace_id_match nslavexxxxstate2 nintr_req [255] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ppccreqcode2 ppccreqcode0 [268] |
| 1- 1 |
| -1 1 |
| .names [124] [113] [1889] [278] |
| 0-- 1 |
| -01 1 |
| .names ptm1l pcoherencystate2i pcoherencystate1i [282] |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names nslavexxxxstate1 [301] [571] [299] |
| --1 1 |
| 11- 1 |
| .names packi n_n226 [198] [298] |
| --1 1 |
| 01- 1 |
| .names packi [302] [1767] [301] |
| --1 1 |
| 01- 1 |
| .names pslotspace_id_match ppccsync nintr_req [300] |
| -1- 1 |
| 0-0 1 |
| .names pstarti pnubusactive nintr_req [302] |
| 1-- 1 |
| -10 1 |
| .names prqsti [113] [305] |
| 1- 1 |
| -0 1 |
| .names [126] [547] [1789] [311] |
| -1- 1 |
| 1-1 1 |
| .names pstarti pvsacki nmasterxxxxstate2 [314] |
| 11- 1 |
| 001 1 |
| .names nmasterxxxxstate3 [122] [325] [324] |
| 1-- 1 |
| -01 1 |
| .names [1800] [1801] [325] |
| 1- 1 |
| -1 1 |
| .names pstarti nmasterxxxxstate1 nmasterxxxxstate2 [331] |
| -1- 1 |
| 0-1 1 |
| .names ppccreqcode1 ppccreqcode2 psinglestep [336] |
| --1 1 |
| 00- 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 [201] [146] [1960] [133] |
| 1-1 1 |
| -11 1 |
| .names psbcresetpcc n_n57 [144] [136] |
| 01- 1 |
| 0-1 1 |
| .names [268] [1803] [1804] [144] |
| 100 1 |
| .names pvackl nmasterxxxxstate1 [146] |
| 11 1 |
| .names [123] [121] [180] [154] |
| 111 1 |
| .names psbcresetpcc n_n724 [277] [155] |
| 01- 1 |
| 0-0 1 |
| .names [161] [1952] [1953] [156] |
| 1-1 1 |
| -11 1 |
| .names ptm0i nwd_cnt_test [161] |
| 11 1 |
| .names ppccack [232] [283] [165] |
| 00- 1 |
| 0-0 1 |
| .names preseti nresetxxxxstate1 nresetxxxxstate2 [174] |
| 001 1 |
| .names [221] [1803] [1804] [178] |
| 100 1 |
| .names ptm0i ptm1i [120] [181] |
| 101 1 |
| .names pphysrecxxxxstate1 [135] [182] |
| 11 1 |
| .names pstarti pvsacki nmasterxxxxstate2 [185] |
| 111 1 |
| 001 1 |
| .names ptm0i n_n93 [191] [189] |
| 01- 1 |
| 0-1 1 |
| .names packi psbcresetpcc [120] [191] |
| 101 1 |
| .names ptm0i ptm1i nv_receive_begin [193] |
| 100 1 |
| .names ptm0i ptm1i [194] |
| 01 1 |
| .names nintr_req [229] [253] [203] |
| 011 1 |
| .names psbcresetpcc nmasterxxxxstate0 [213] [341] |
| 011 1 |
| .names [129] [170] [1799] [342] |
| 11- 1 |
| 1-1 1 |
| .names prqsti nmasterxxxxstate3 [1928] [344] |
| 0-1 1 |
| -11 1 |
| .names [270] [199] [1788] [345] |
| 101 1 |
| .names n_n74 [124] [222] [353] |
| 011 1 |
| .names packl nmasterxxxxstate2 [125] [354] |
| 011 1 |
| .names packl pvsacki nmasterxxxxstate2 [360] |
| 011 1 |
| .names packl pstarti nmasterxxxxstate2 [361] |
| 001 1 |
| .names ppccack [232] [283] [364] |
| 00- 1 |
| 0-0 1 |
| .names pstarti nmasterxxxxstate2 [1911] [373] |
| 011 1 |
| .names nmasterxxxxstate1 [125] [374] |
| 11 1 |
| .names preseti [377] [378] [375] |
| 01- 1 |
| 0-1 1 |
| .names pstarti nnubusxxxxstate0 [249] [377] |
| 111 1 |
| .names packi nintr_done [224] [378] |
| 101 1 |
| .names [225] [387] [388] [381] |
| 11- 1 |
| 1-1 1 |
| .names [143] [215] [1902] [387] |
| 0-1 1 |
| -11 1 |
| .names ppccack nslavexxxxstate2 [388] |
| 00 1 |
| .names [211] n_n226 [190] [391] |
| 110 1 |
| .names preseti [198] [392] |
| 01 1 |
| .names pcoherencystate2i pcoherencystate1i [215] [393] |
| 1-0 1 |
| -00 1 |
| .names ptm1l pvtm1l pcoherencystate1i [395] |
| 000 1 |
| .names ptm1l pcoherencystate2i pcoherencystate1i [396] |
| 101 1 |
| .names ppccreqcode0 [1803] [1804] [398] |
| 100 1 |
| .names [1803] [1804] [1897] [401] |
| 001 1 |
| .names ppccreqcode1 [1803] [1804] [404] |
| 100 1 |
| .names [128] [244] [1884] [405] |
| 111 1 |
| .names packi pphysrecxxxxstate1 pphysrecxxxxstate0 [409] |
| 00- 1 |
| 0-0 1 |
| .names nmasterxxxxstate2 nmasterxxxxstate3 nmasterxxxxstate0 [417] |
| 110 1 |
| .names pvtm1l n_n82 [1859] [421] |
| 101 1 |
| .names nslavexxxxstate1 nslavexxxxstate2 [227] [423] |
| 011 1 |
| .names nwd_cnt_test [128] [1848] [425] |
| 111 1 |
| .names [123] [242] [429] |
| 11 1 |
| .names pwdcntxxxxstate1 psbcresetpcc nreset_wd_cnt [431] |
| 111 1 |
| .names psbcresetpcc nreset_wd_cnt [241] [432] |
| 111 1 |
| .names pwdcntxxxxstate1 [127] [433] |
| 11 1 |
| .names [127] [239] [435] |
| 11 1 |
| .names pstarto pvtm0l [440] |
| 11 1 |
| .names nupdatedone [231] [442] |
| 01 1 |
| .names ppccreqcode1 [478] [1832] [443] |
| 01- 1 |
| 0-1 1 |
| .names ppccreqcode1 [478] [1832] [446] |
| 000 1 |
| .names [128] [1848] [1850] [455] |
| 111 1 |
| .names pvtm0i psbcresetpcc nv_transmit_begin [456] |
| 100 1 |
| .names [216] [308] [1786] [457] |
| 111 1 |
| .names psbcresetpcc [468] [469] [460] |
| 01- 1 |
| 0-1 1 |
| .names [127] [1846] [461] |
| 11 1 |
| .names pwdcntxxxxstate3 pwdcntxxxxstate2 [1843] [463] |
| 001 1 |
| .names pwdcntxxxxstate1 psbcresetpcc [1845] [464] |
| 001 1 |
| .names nvirmachxxxxstate1 nv_transmit_begin [1838] [465] |
| 1-1 1 |
| -11 1 |
| .names psbcresetpcc [468] [469] [466] |
| 01- 1 |
| 0-1 1 |
| .names nvirmachxxxxstate0 nvirmachxxxxstate1 nv_receive_begin [468] |
| 001 1 |
| .names pvacki nvirmachxxxxstate0 nvirmachxxxxstate1 [469] |
| 011 1 |
| .names [227] n_n226 [190] [470] |
| 110 1 |
| .names [337] [478] [1832] [471] |
| 11- 1 |
| 1-1 1 |
| .names ppccreqcode0 [112] [173] [477] |
| 10- 1 |
| 1-1 1 |
| .names n_n126 [292] [1831] [478] |
| 01- 1 |
| -11 1 |
| .names ppccsawreset nresetxxxxstate2 [483] [481] |
| 01- 1 |
| 0-1 1 |
| .names preseti nresetxxxxstate0 nresetxxxxstate1 [483] |
| 01- 1 |
| 0-1 1 |
| .names n_n74 [1818] [1819] [485] |
| 01- 1 |
| 0-1 1 |
| .names [230] [235] [1820] [486] |
| 111 1 |
| .names pvackl [125] [487] |
| 11 1 |
| .names pvsacki [216] [496] [492] |
| 11- 1 |
| 1-1 1 |
| .names pvsacki psinglestep [124] [494] |
| 1-1 1 |
| -11 1 |
| .names pvackl nmasterxxxxstate1 [495] |
| 10 1 |
| .names pstarti nmasterxxxxstate2 nmasterxxxxstate3 [496] |
| 011 1 |
| .names pstarti nmasterxxxxstate0 [213] [498] |
| 011 1 |
| .names [123] [280] [503] |
| 11 1 |
| .names n_n74 [1811] [1812] [505] |
| 01- 1 |
| 0-1 1 |
| .names packl plastrqsti [1808] [511] |
| 0-1 1 |
| -01 1 |
| .names [515] [1809] [1810] [512] |
| 1-1 1 |
| -11 1 |
| .names pvsacki pvackl nmasterxxxxstate1 [515] |
| 10- 1 |
| 1-0 1 |
| .names [530] [1797] [1798] [528] |
| 1-1 1 |
| -11 1 |
| .names nmasterxxxxstate3 [199] [1788] [529] |
| 001 1 |
| .names [237] [533] [1796] [530] |
| 11- 1 |
| 1-1 1 |
| .names ppccreqcode3 [336] [533] |
| 01 1 |
| .names [216] [130] [1786] [539] |
| 111 1 |
| .names [125] [115] [542] |
| 00 1 |
| .names [217] [219] [1790] [545] |
| 10- 1 |
| 1-1 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate0 [547] |
| 100 1 |
| .names psbcresetpcc nmasterxxxxstate0 [1775] [550] |
| 011 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate3 [1778] [557] |
| 101 1 |
| .names [217] [559] [1780] [558] |
| 11- 1 |
| 1-1 1 |
| .names ppccreqcode1 ppccreqcode2 ppccreqcode0 [559] |
| 11- 1 |
| 001 1 |
| .names [117] [1764] [564] |
| 11 1 |
| .names n_n301 n_n226 [190] [565] |
| 111 1 |
| .names ppccsync [298] [566] |
| 01 1 |
| .names nslavexxxxstate2 [299] [567] |
| 11 1 |
| .names packi nslavexxxxstate0 [300] [571] |
| 001 1 |
| .names pslotspace_id_match ppccsync nintr_req [583] |
| 11- 1 |
| -11 1 |
| .names [225] n_n46 [1757] [586] |
| 11- 1 |
| 1-1 1 |
| .names pvtm0l [282] [590] |
| 11 1 |
| .names nresetxxxxstate0 nresetxxxxstate1 ngen_reset [1749] |
| 001 1 |
| .names nnubusxxxxstate1 nnubusxxxxstate0 nintr_done [1750] |
| 011 1 |
| .names nnubusxxxxstate1 pstarti [1752] |
| 0- 1 |
| -1 1 |
| .names preseti packi nintr_done [1753] |
| 10- 1 |
| -01 1 |
| .names [172] [121] [1752] [1754] |
| 00- 1 |
| 0-1 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 [294] [1758] [1759] |
| 11 1 |
| .names preseti packi nslavexxxxstate0 [1760] |
| 01- 1 |
| 0-1 1 |
| .names [1760] [295] [1761] |
| 11 1 |
| .names nslavexxxxstate1 [296] [1761] [1762] |
| 1-- 1 |
| -11 1 |
| .names nslavexxxxstate0 nslavexxxxstate1 nslavexxxxstate2 [1764] |
| 101 1 |
| .names packi pvsacki nslavexxxxstate0 [1767] |
| -11 1 |
| 0-0 1 |
| .names [565] [137] [1768] |
| 1- 1 |
| -0 1 |
| .names [564] [566] [1768] [1770] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pvtm0i pvsacki [1771] |
| 11 1 |
| .names pvackl nmasterxxxxstate1 nmasterxxxxstate3 [1773] |
| 0-- 1 |
| -10 1 |
| .names pvsacki psbcresetpcc nmasterxxxxstate0 [1774] |
| 101 1 |
| .names nmasterxxxxstate1 packl [1775] |
| 10 1 |
| .names pgranti pvsacki [1778] |
| 11 1 |
| .names pbus_inactive ppccconfirm [1779] |
| 11 1 |
| .names psinglestep [199] [1779] [1780] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names psinglestep nmasterxxxxstate2 nmasterxxxxstate0 [1781] |
| 1-- 1 |
| -00 1 |
| .names [199] [237] [1781] [1782] |
| 00- 1 |
| 0-1 1 |
| .names n_n137 [305] [1782] [1783] |
| 1-- 1 |
| -11 1 |
| .names n_n75 [160] [550] [1785] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [1786] |
| 001 1 |
| .names prqsti nmasterxxxxstate2 nmasterxxxxstate0 [1788] |
| 000 1 |
| .names [118] psinglestep [1789] |
| 10 1 |
| .names pvsacki psinglestep [158] [1790] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names nupdatedone n_n74 [231] [1792] |
| -0- 1 |
| 0-1 1 |
| .names [539] [542] [1792] [1794] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ppccreqcode2 ppccreq ppccreqcode0 [1795] |
| -0- 1 |
| 1-1 1 |
| .names ppccreqcode1 ppccreqcode0 [1795] [1796] |
| --1 1 |
| 10- 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate3 [1797] |
| -11 1 |
| 100 1 |
| .names nmasterxxxxstate0 prqsti [1798] |
| 00 1 |
| .names pgranti pbus_inactive [1799] |
| 0- 1 |
| -0 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 [113] nmasterxxxxstate3 [1805] |
| 11 1 |
| .names n_n137 n_n720 [1805] [1806] |
| 1-- 1 |
| -01 1 |
| .names [324] [1802] [1806] [1807] |
| --1 1 |
| 11- 1 |
| .names nmasterxxxxstate3 nmasterxxxxstate1 [1808] |
| 11 1 |
| .names pstarti pvsacki nmasterxxxxstate2 [1809] |
| 0-1 1 |
| -01 1 |
| .names plastrqsti packl [1810] |
| 01 1 |
| .names prqsti [124] [511] [1811] |
| --1 1 |
| 01- 1 |
| .names psinglestep [124] [512] [1812] |
| --1 1 |
| 11- 1 |
| .names [125] [313] [505] [1813] |
| --1 1 |
| 11- 1 |
| .names pstarti ptm1i [1814] |
| 10 1 |
| .names preseti packi nnubusxxxxstate0 [1815] |
| 000 1 |
| .names pvtm0i pvsacki [1816] |
| 10 1 |
| .names [236] [495] [1816] [1817] |
| -1- 1 |
| 1-1 1 |
| .names packl [331] [494] [1818] |
| --1 1 |
| 01- 1 |
| .names [492] [1817] [1819] |
| 1- 1 |
| -1 1 |
| .names nmasterxxxxstate0 [112] [199] [1820] |
| 010 1 |
| .names ppccconfirm pbus_inactive [170] [1823] |
| 110 1 |
| .names nmasterxxxxl_dbufo_if_tm0 [160] [487] [1825] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [485] [486] [1825] [1827] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pvsacki pbus_inactive [1828] |
| 01 1 |
| .names prqsti ppccconfirm [1829] |
| 1- 1 |
| -0 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate2 [1829] [1831] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ppccreqcode3 ppccreq [230] [1832] |
| 1-- 1 |
| -0- 1 |
| --0 1 |
| .names ppccreqcode0 ppccreqcode2 [1833] |
| 00 1 |
| .names [470] nmasterxxxxv_receive_begin [1835] |
| 1- 1 |
| -1 1 |
| .names ppccack psbcresetpcc nvirmachxxxxstate0 [1838] |
| 100 1 |
| .names pwdcntxxxxstate2 pwdcntxxxxstate3 [1842] |
| 00 1 |
| .names psbcresetpcc nreset_wd_cnt nwdcntxxxxstate0 [1843] |
| 111 1 |
| .names nreset_wd_cnt nset_ex_wd_cnt1 [1845] |
| 11 1 |
| .names pwdcntxxxxstate1 pwdcntxxxxstate3 nincr_wd_cnt [1846] |
| 11- 1 |
| 1-1 1 |
| .names ppccack psbcresetpcc nvirmachxxxxstate0 [1847] |
| 000 1 |
| .names packi ptm0i [1848] |
| 01 1 |
| .names pphysrecxxxxstate0 nwd_cnt_test nv_receive_begin [1850] |
| 000 1 |
| .names pvirmachxxxxen_vdbufo nwd_cnt_test [456] [1852] |
| --1 1 |
| 10- 1 |
| .names packi pphysrecxxxxstate0 [128] [1855] |
| 101 1 |
| .names pvtm0l ptag_match [1857] |
| 0- 1 |
| -0 1 |
| .names pcoherencystate2i ptm1l [1859] |
| 10 1 |
| .names ppccreqcode2 ppccreqcode0 [446] [1860] |
| --1 1 |
| 11- 1 |
| .names [173] [442] [443] [1862] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names nslavexxxxstate1 nslavexxxxstate2 nupdatereq [1863] |
| 1-1 1 |
| -01 1 |
| .names nslavexxxxstate1 nslavexxxxstate2 [227] [1864] |
| 0-1 1 |
| -11 1 |
| .names [223] [440] [1863] [1865] |
| 0-1 1 |
| -11 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 nincr_wd_cnt pwdcntxxxxstate3 [1871] |
| 11 1 |
| .names preseti packi nintr_done [1872] |
| 000 1 |
| .names psbcresetpcc packi [1873] |
| 00 1 |
| .names ppccsync pnubusactive [1875] |
| 01 1 |
| .names nslavexxxxstate0 nintr_req [1875] [1877] |
| 111 1 |
| .names [229] [123] [1878] |
| 11 1 |
| .names ptm1l pcoherencystate2i pcoherencystate1i [1879] |
| 101 1 |
| .names pvtm0i psbcresetpcc nvirmachxxxxstate1 [1882] |
| 101 1 |
| .names np_receive_begin pphysrecxxxxstate0 [1883] |
| 11 1 |
| .names nwd_cnt_test plastrqsti [1884] |
| 10 1 |
| .names packl plastrqsti nmasterxxxxstate0 [1887] |
| 101 1 |
| .names ppccreqcode3 ppccreq nmasterxxxxstate0 [1889] |
| 110 1 |
| .names plastrqsti pphysrecxxxxstate0 [409] [1890] |
| --1 1 |
| 01- 1 |
| .names nmasterxxxxl_dbufo_if_tm0 [234] [405] [1892] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names prqsti psinglestep [112] [1895] |
| 1-1 1 |
| -11 1 |
| .names ppccreq nmasterxxxxstate0 [124] [1896] |
| 101 1 |
| .names nmasterxxxxstate3 ppccreqcode2 [1897] |
| 11 1 |
| .names [200] [398] [1898] |
| 1- 1 |
| -1 1 |
| .names ptag_match pvtm0l nslavexxxxstate1 [1902] |
| 110 1 |
| .names pnextstatexxxxcoherencystate2o [232] [283] [1903] |
| 1-- 1 |
| -11 1 |
| .names [148] [391] [392] [1904] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [381] [1903] [1904] [1906] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names psbcresetpcc nmasterxxxxstate3 nmasterxxxxstate0 [1911] |
| 001 1 |
| .names nupdatedone nmasterxxxxstate2 [1912] |
| 11 1 |
| .names [226] [231] [1912] [1913] |
| 1-- 1 |
| -11 1 |
| .names n_n148 [140] [228] [1914] |
| 1-- 1 |
| -11 1 |
| .names n_n93 [1913] [1914] [1915] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n148 psbcresetpcc [1916] |
| 0- 1 |
| -0 1 |
| .names [125] [360] [361] [1918] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [112] [230] [199] [1919] |
| 110 1 |
| .names pvirmachxxxxen_vdbufo [232] [283] [1921] |
| 1-- 1 |
| -11 1 |
| .names n_n82 [1859] [1921] [1923] |
| --1 1 |
| 01- 1 |
| .names [353] [354] [1923] [1924] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names nintr_done preseti [1926] |
| 0- 1 |
| -0 1 |
| .names packi [224] [1926] [1927] |
| --1 1 |
| 01- 1 |
| .names nmasterxxxxstate1 nmasterxxxxstate2 nmasterxxxxstate0 [1928] |
| 100 1 |
| .names nslavexxxxstate1 pstarti [1929] |
| 00 1 |
| .names packi nslavexxxxstate0 nslavexxxxstate2 [1930] |
| 000 1 |
| .names nslavexxxxstate0 packi [1933] |
| 01 1 |
| .names preseti [1929] [1930] [1934] |
| 1-- 1 |
| -11 1 |
| .names [1934] [203] [1935] |
| 1- 1 |
| -1 1 |
| .names nwd_cnt_test pphysrecxxxxstate0 [1937] |
| 0- 1 |
| -1 1 |
| .names packi psbcresetpcc pphysrecxxxxstate1 [1939] |
| 101 1 |
| .names psinglestep ppccconfirm [1942] |
| 01 1 |
| .names [112] [199] [1942] [1943] |
| 0-1 1 |
| -11 1 |
| .names n_n126 [178] [1943] [1944] |
| -1- 1 |
| 1-1 1 |
| .names ptm0i ptm1i [140] [1946] |
| --0 1 |
| 01- 1 |
| .names n_n93 [262] [174] [1948] |
| --1 1 |
| 11- 1 |
| .names [228] [264] [1948] [1949] |
| --1 1 |
| 11- 1 |
| .names [148] [159] [165] [1951] |
| 1-- 1 |
| -0- 1 |
| --1 1 |
| .names nv_receive_begin pphysrecxxxxstate0 [1952] |
| 0- 1 |
| -1 1 |
| .names packi psbcresetpcc pphysrecxxxxstate1 [1953] |
| 001 1 |
| .names pgranti [129] n_n137 [1954] |
| --1 1 |
| 11- 1 |
| .names ppccreqcode0 n_n148 n_n215 [1956] |
| 1-- 1 |
| -00 1 |
| .names [173] [1956] [1957] |
| 1- 1 |
| -1 1 |
| .names ppccreqcode3 ppccreqcode2 [1958] |
| 00 1 |
| .names packl pvsacki n_n74 [1960] |
| 100 1 |
| .names [309] [133] [1855] [1961] |
| -1- 1 |
| 1-1 1 |
| .names [200] [136] [1916] [1963] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ppccackcode pvirmachxxxxen_vdbufo nwd_cnt_test [1964] |
| 01- 1 |
| -10 1 |
| .names n_n82 [1859] [1964] [1965] |
| --1 1 |
| 01- 1 |
| .end |
