Go
back
LINE 4143
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 | T3,T5,T8 |
1 | 1 | 0 | Covered | T69,T72,T73 |
1 | 1 | 1 | Covered | T3,T8,T12 |
LINE 4148
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 | T3,T5,T8 |
1 | 1 | 0 | Covered | T73,T74,T75 |
1 | 1 | 1 | Covered | T3,T8,T12 |
LINE 4153
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 | T3,T5,T8 |
1 | 1 | 0 | Covered | T72,T74,T75 |
1 | 1 | 1 | Covered | T8,T13,T14 |
LINE 4156
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 | T3,T5,T8 |
1 | 1 | 0 | Covered | T72,T74,T76 |
1 | 1 | 1 | Covered | T3,T8,T12 |
LINE 4159
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 | T1,T3,T5 |
1 | 1 | 0 | Covered | T71,T72,T73 |
1 | 1 | 1 | Covered | T3,T5,T6 |
LINE 4166
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 | T3,T5,T6 |
1 | 1 | 0 | Covered | T72,T73,T74 |
1 | 1 | 1 | Covered | T3,T5,T6 |
LINE 4173
EXPRESSION (addr_hit[31] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T3,T5 |
1 | 0 | 1 | Covered | T3,T5,T8 |
1 | 1 | 0 | Covered | T66,T79 |
1 | 1 | 1 | Covered | T3,T8,T14 |
LINE 4334
EXPRESSION (reg_busy_sel | shadow_busy)
------1----- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T1,T2,T3 |