Go
back
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 | T3,T11,T89 |
1 | 1 | 0 | Covered | T51,T199,T210 |
1 | 1 | 1 | Covered | T3,T6,T7 |
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 | T11,T89,T87 |
1 | 1 | 0 | Covered | T51,T196,T199 |
1 | 1 | 1 | Covered | T60,T50,T61 |
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 | T46,T11,T89 |
1 | 1 | 0 | Covered | T51,T196,T199 |
1 | 1 | 1 | Covered | T46,T47,T48 |
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 | T11,T89,T87 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T60,T50,T61 |
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 | T11,T89,T87 |
1 | 1 | 0 | Covered | T51,T210,T208 |
1 | 1 | 1 | Covered | T60,T50,T61 |
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 | T11,T89,T87 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T60,T50,T61 |
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 | T11,T89,T87 |
1 | 1 | 0 | Covered | T210,T208,T211 |
1 | 1 | 1 | Covered | T60,T50,T61 |
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 | T11,T89,T87 |
1 | 1 | 0 | Covered | T215 |
1 | 1 | 1 | Covered | T60,T50,T61 |
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 | T11,T89,T87 |
1 | 1 | 0 | Covered | T51,T199,T210 |
1 | 1 | 1 | Covered | T60,T50,T61 |
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 | T11,T89,T87 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T60,T50,T61 |
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 | T11,T89,T87 |
1 | 1 | 0 | Covered | T51,T199,T210 |
1 | 1 | 1 | Covered | T60,T50,T61 |
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 | T60,T50,T61 |