Go
back
LINE 8807
EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T223,T242,T254 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 8844
EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T40,T53,T22 |
1 | 1 | 0 | Covered | T242,T255,T256 |
1 | 1 | 1 | Covered | T228,T229,T232 |
LINE 8881
EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T40,T217,T4 |
1 | 1 | 0 | Covered | T223,T242,T250 |
1 | 1 | 1 | Covered | T217,T218,T219 |
LINE 8884
EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T223,T242,T257 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 8891
EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T242,T255,T256 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 8916
EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T2,T29,T30 |
1 | 1 | 0 | Covered | T254,T258,T257 |
1 | 1 | 1 | Covered | T2,T29,T30 |
LINE 8941
EXPRESSION (addr_hit[7] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T30,T43 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T1,T30,T43 |
LINE 8942
EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T223,T242,T254 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 8945
EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T43,T44,T45 |
1 | 1 | 0 | Covered | T223,T254,T257 |
1 | 1 | 1 | Covered | T43,T44,T45 |
LINE 8948
EXPRESSION (addr_hit[10] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T2,T30,T31 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T2,T30,T31 |
LINE 8949
EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T43,T45,T40 |
1 | 1 | 0 | Covered | T223,T242,T254 |
1 | 1 | 1 | Covered | T43,T45,T91 |
LINE 8974
EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T223,T250,T258 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 8999
EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T43,T45,T40 |
1 | 1 | 0 | Covered | T223,T242,T254 |
1 | 1 | 1 | Covered | T43,T45,T77 |
LINE 9024
EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T2,T31,T33 |
1 | 1 | 0 | Covered | T223,T242,T250 |
1 | 1 | 1 | Covered | T2,T31,T33 |
LINE 9049
EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T43,T45,T40 |
1 | 1 | 0 | Covered | T223,T242,T254 |
1 | 1 | 1 | Covered | T43,T45,T76 |
LINE 9074
EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T43,T45,T32 |
1 | 1 | 0 | Covered | T223,T250,T255 |
1 | 1 | 1 | Covered | T43,T45,T32 |
LINE 9099
EXPRESSION (addr_hit[17] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T30,T45,T31 |
1 | 1 | 0 | Covered | T223,T250,T259 |
1 | 1 | 1 | Covered | T30,T45,T31 |
LINE 9110
EXPRESSION (addr_hit[18] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T2,T31,T34 |
1 | 1 | 0 | Covered | T242,T250,T249 |
1 | 1 | 1 | Covered | T2,T31,T34 |
LINE 9121
EXPRESSION (addr_hit[19] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T30,T45,T31 |
1 | 1 | 0 | Covered | T255,T260,T261 |
1 | 1 | 1 | Covered | T30,T45,T31 |
LINE 9132
EXPRESSION (addr_hit[20] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T29,T30,T43 |
1 | 1 | 0 | Covered | T223,T242,T255 |
1 | 1 | 1 | Covered | T29,T30,T43 |
LINE 9143
EXPRESSION (addr_hit[21] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T31,T32,T40 |
1 | 1 | 0 | Covered | T223,T257,T255 |
1 | 1 | 1 | Covered | T31,T40,T91 |
LINE 9154
EXPRESSION (addr_hit[22] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T31,T40,T53 |
1 | 1 | 0 | Covered | T242,T262,T257 |
1 | 1 | 1 | Covered | T31,T53,T93 |
LINE 9165
EXPRESSION (addr_hit[23] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T43,T31,T39 |
1 | 1 | 0 | Covered | T257,T255,T263 |
1 | 1 | 1 | Covered | T43,T31,T39 |
LINE 9176
EXPRESSION (addr_hit[24] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T30,T31,T40 |
1 | 1 | 0 | Covered | T250,T254,T257 |
1 | 1 | 1 | Covered | T30,T31,T111 |
LINE 9187
EXPRESSION (addr_hit[25] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T30,T31,T38 |
1 | 1 | 0 | Covered | T223,T242,T257 |
1 | 1 | 1 | Covered | T30,T31,T4 |
LINE 9198
EXPRESSION (addr_hit[26] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T31,T36,T40 |
1 | 1 | 0 | Covered | T223,T242,T250 |
1 | 1 | 1 | Covered | T31,T36,T54 |
LINE 9209
EXPRESSION (addr_hit[27] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T30,T31,T40 |
1 | 1 | 0 | Covered | T223,T242,T259 |
1 | 1 | 1 | Covered | T30,T31,T20 |
LINE 9220
EXPRESSION (addr_hit[28] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T30,T43,T31 |
1 | 1 | 0 | Covered | T223,T242,T250 |
1 | 1 | 1 | Covered | T30,T43,T31 |
LINE 9231
EXPRESSION (addr_hit[29] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T43,T45,T40 |
1 | 1 | 0 | Covered | T250,T254,T255 |
1 | 1 | 1 | Covered | T43,T45,T89 |
LINE 9256
EXPRESSION (addr_hit[30] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T43,T45,T34 |
1 | 1 | 0 | Covered | T242,T250,T254 |
1 | 1 | 1 | Covered | T43,T45,T34 |
LINE 9281
EXPRESSION (addr_hit[31] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T29,T30,T37 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T30,T112,T116 |
LINE 9282
EXPRESSION (addr_hit[31] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T29,T30,T37 |
1 | 1 | 0 | Covered | T223,T242,T254 |
1 | 1 | 1 | Covered | T29,T30,T37 |
LINE 9287
EXPRESSION (addr_hit[32] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T29,T30,T40 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T30,T40,T111 |
LINE 9288
EXPRESSION (addr_hit[32] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T29,T30,T40 |
1 | 1 | 0 | Covered | T223,T254,T257 |
1 | 1 | 1 | Covered | T29,T30,T113 |
LINE 9293
EXPRESSION (addr_hit[33] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T41,T40,T26 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T41,T26,T251 |
LINE 9294
EXPRESSION (addr_hit[34] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T40,T26,T22 |
1 | 1 | 0 | Covered | T223,T242,T250 |
1 | 1 | 1 | Covered | T26,T27,T28 |
LINE 9313
EXPRESSION (addr_hit[35] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T223,T242,T250 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 9326
EXPRESSION (addr_hit[36] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T40,T7,T22 |
1 | 1 | 0 | Covered | T223,T242,T250 |
1 | 1 | 1 | Covered | T7,T8,T9 |
LINE 9329
EXPRESSION (addr_hit[38] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T30,T43,T44 |
1 | 1 | 0 | Covered | T242,T257,T255 |
1 | 1 | 1 | Covered | T30,T43,T44 |
LINE 9336
EXPRESSION (addr_hit[39] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T66,T40,T22 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T224,T225,T264 |
LINE 9337
EXPRESSION (addr_hit[39] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T66,T40,T22 |
1 | 1 | 0 | Covered | T223,T242,T250 |
1 | 1 | 1 | Covered | T224,T225,T264 |
LINE 9350
EXPRESSION (addr_hit[40] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T38,T90,T40 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T224,T225,T264 |
LINE 9351
EXPRESSION (addr_hit[40] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T38,T90,T40 |
1 | 1 | 0 | Covered | T223,T242,T257 |
1 | 1 | 1 | Covered | T224,T225,T264 |
LINE 9362
EXPRESSION (addr_hit[41] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T40,T22,T4 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T224,T225,T264 |
LINE 9363
EXPRESSION (addr_hit[41] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T40,T22,T4 |
1 | 1 | 0 | Covered | T242,T250,T254 |
1 | 1 | 1 | Covered | T224,T225,T264 |
LINE 9368
EXPRESSION (addr_hit[42] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T40,T22,T4 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T224,T225,T264 |
LINE 9369
EXPRESSION (addr_hit[42] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T40,T22,T4 |
1 | 1 | 0 | Covered | T242,T257,T255 |
1 | 1 | 1 | Covered | T224,T225,T264 |
LINE 9881
EXPRESSION (reg_busy_sel | shadow_busy)
------1----- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T7,T8,T9 |