Go
back
LINE 6682
EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T291,T297,T304 |
1 | 1 | 1 | Covered | T16,T25,T26 |
LINE 6695
EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T183,T299,T300 |
1 | 1 | 1 | Covered | T4,T1,T5 |
LINE 6712
EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T291,T297,T305 |
1 | 1 | 1 | Covered | T4,T1,T5 |
LINE 6721
EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T291,T296,T301 |
1 | 1 | 1 | Covered | T4,T1,T5 |
LINE 6730
EXPRESSION (addr_hit[17] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T32,T291,T296 |
1 | 1 | 1 | Covered | T1,T9,T11 |
LINE 6745
EXPRESSION (addr_hit[18] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T306,T296,T297 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 6747
EXPRESSION (addr_hit[19] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T299,T301,T307 |
1 | 1 | 1 | Covered | T27,T28,T29 |
LINE 6750
EXPRESSION (addr_hit[20] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T295,T297,T299 |
1 | 1 | 1 | Covered | T27,T28,T29 |
LINE 6757
EXPRESSION (addr_hit[21] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T297,T308,T299 |
1 | 1 | 1 | Covered | T3,T6,T7 |
LINE 6763
EXPRESSION (addr_hit[22] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T291,T296,T297 |
1 | 1 | 1 | Covered | T3,T6,T7 |
LINE 6769
EXPRESSION (addr_hit[23] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T2 |
1 | 1 | 0 | Covered | T291,T309,T310 |
1 | 1 | 1 | Covered | T3,T6,T7 |
LINE 6775
EXPRESSION (addr_hit[24] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T1,T5,T2 |
1 | 1 | 0 | Covered | T291,T292,T297 |
1 | 1 | 1 | Covered | T3,T6,T7 |
LINE 6781
EXPRESSION (addr_hit[25] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T91,T291,T296 |
1 | 1 | 1 | Covered | T3,T6,T7 |
LINE 6783
EXPRESSION (addr_hit[26] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T291,T296,T311 |
1 | 1 | 1 | Covered | T3,T6,T7 |
LINE 6785
EXPRESSION (addr_hit[27] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T1,T5,T3 |
1 | 1 | 0 | Covered | T291,T296,T297 |
1 | 1 | 1 | Covered | T3,T6,T7 |
LINE 6787
EXPRESSION (addr_hit[28] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T292,T297,T312 |
1 | 1 | 1 | Covered | T3,T6,T7 |
LINE 6789
EXPRESSION (addr_hit[29] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T295,T291,T313 |
1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 6795
EXPRESSION (addr_hit[30] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T291,T297,T302 |
1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 6801
EXPRESSION (addr_hit[31] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T291,T299,T300 |
1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 6807
EXPRESSION (addr_hit[32] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T291,T299,T314 |
1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 6813
EXPRESSION (addr_hit[33] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T297,T299,T300 |
1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 6815
EXPRESSION (addr_hit[34] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T1,T5,T2 |
1 | 1 | 0 | Covered | T291,T296,T297 |
1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 6817
EXPRESSION (addr_hit[35] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T291,T296,T297 |
1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 6819
EXPRESSION (addr_hit[36] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T2 |
1 | 1 | 0 | Covered | T291,T297,T302 |
1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 6821
EXPRESSION (addr_hit[37] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T291,T292,T297 |
1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 6826
EXPRESSION (addr_hit[38] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T240,T291,T292 |
1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 6831
EXPRESSION (addr_hit[39] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T291,T303,T296 |
1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 6836
EXPRESSION (addr_hit[40] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T1,T5,T2 |
1 | 1 | 0 | Covered | T295,T291,T297 |
1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 6841
EXPRESSION (addr_hit[41] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T2 |
1 | 1 | 0 | Covered | T291,T292,T296 |
1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 6850
EXPRESSION (addr_hit[42] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T1,T5 |
1 | 0 | 1 | Covered | T4,T1,T5 |
1 | 1 | 0 | Covered | T291,T297,T300 |
1 | 1 | 1 | Covered | T1,T9,T11 |
LINE 7105
EXPRESSION (reg_busy_sel | shadow_busy)
------1----- -----2-----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T4,T1,T5 |
0 | 1 | Unreachable | |
1 | 0 | Covered | T4,T1,T5 |