Go
back
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 | T117,T45,T129 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T110,T221,T111 |
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 | T117,T45,T129 |
1 | 1 | 0 | Covered | T299,T286,T293 |
1 | 1 | 1 | Covered | T129,T130,T131 |
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 | T22,T61,T117 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T61,T62,T110 |
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 | T22,T61,T117 |
1 | 1 | 0 | Covered | T242,T292,T293 |
1 | 1 | 1 | Covered | T129,T130,T131 |
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 | T1,T25,T23 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T1,T25,T24 |
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 | T1,T25,T117 |
1 | 1 | 0 | Covered | T244,T279,T286 |
1 | 1 | 1 | Covered | T1,T25,T26 |
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 | T2,T3,T27 |
1 | 1 | 0 | Covered | T293,T300,T295 |
1 | 1 | 1 | Covered | T2,T3,T27 |
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 | T7,T8,T9 |
1 | 1 | 0 | Covered | T279,T286,T292 |
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 | T4,T91,T5 |
1 | 1 | 0 | Covered | T244,T279,T286 |
1 | 1 | 1 | Covered | T4,T91,T5 |
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 | T287,T117,T45 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T242,T280,T301 |
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 | T287,T117,T45 |
1 | 1 | 0 | Covered | T243,T279,T286 |
1 | 1 | 1 | Covered | T242,T280,T301 |
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 | T36,T117,T45 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T242,T280,T301 |
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 | T36,T117,T45 |
1 | 1 | 0 | Covered | T243,T279,T286 |
1 | 1 | 1 | Covered | T242,T280,T301 |
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 | T117,T45,T288 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T242,T280,T301 |
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 | T117,T45,T288 |
1 | 1 | 0 | Covered | T243,T279,T286 |
1 | 1 | 1 | Covered | T242,T280,T301 |
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 | T117,T26,T45 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T242,T280,T301 |
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 | T117,T26,T45 |
1 | 1 | 0 | Covered | T243,T279,T292 |
1 | 1 | 1 | Covered | T242,T280,T301 |
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 |