Go
back
LINE 3177
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,T11,T12 |
1 | 1 | 0 | Covered | T48,T53,T54 |
1 | 1 | 1 | Covered | T3,T11,T12 |
LINE 3180
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 | T3,T11,T12 |
1 | 1 | 0 | Covered | T48,T53,T55 |
1 | 1 | 1 | Covered | T3,T11,T12 |
LINE 3183
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 | T3,T11,T12 |
1 | 1 | 0 | Covered | T48,T53,T55 |
1 | 1 | 1 | Covered | T3,T11,T12 |
LINE 3186
EXPRESSION (addr_hit[33] & 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,T12 |
1 | 1 | 0 | Covered | T48,T5,T52 |
1 | 1 | 1 | Covered | T3,T11,T12 |
LINE 3189
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 | T3,T11,T12 |
1 | 1 | 0 | Covered | T48,T38,T5 |
1 | 1 | 1 | Covered | T3,T11,T12 |
LINE 3192
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,T12 |
1 | 1 | 0 | Covered | T48,T53,T56 |
1 | 1 | 1 | Covered | T3,T11,T12 |
LINE 3195
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 | T3,T11,T12 |
1 | 1 | 0 | Covered | T48,T5,T53 |
1 | 1 | 1 | Covered | T3,T11,T12 |
LINE 3198
EXPRESSION (addr_hit[37] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T3,T11,T12 |
1 | 1 | 0 | Covered | T153,T154 |
1 | 1 | 1 | Covered | T48,T5,T51 |
LINE 3199
EXPRESSION (addr_hit[37] & 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,T12 |
1 | 1 | 0 | Covered | T48,T55,T63 |
1 | 1 | 1 | Covered | T3,T11,T12 |
LINE 3202
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 | T3,T11,T12 |
1 | 1 | 0 | Covered | T48,T5,T55 |
1 | 1 | 1 | Covered | T3,T11,T12 |
LINE 3205
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 | T3,T11,T12 |
1 | 1 | 0 | Covered | T155,T154 |
1 | 1 | 1 | Covered | T48,T5,T51 |
LINE 3206
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 | T3,T11,T12 |
1 | 1 | 0 | Covered | T48,T52,T53 |
1 | 1 | 1 | Covered | T3,T11,T12 |
LINE 3209
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 | T3,T11,T12 |
1 | 1 | 0 | Covered | T48,T52,T53 |
1 | 1 | 1 | Covered | T3,T11,T12 |
LINE 3212
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 | T3,T11,T12 |
1 | 1 | 0 | Covered | T146,T154 |
1 | 1 | 1 | Covered | T48,T5,T51 |
LINE 3213
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 | T3,T11,T12 |
1 | 1 | 0 | Covered | T48,T5,T52 |
1 | 1 | 1 | Covered | T3,T11,T12 |
LINE 3216
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 | T1,T2,T3 |
1 | 1 | 0 | Covered | T156,T152,T154 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3219
EXPRESSION (addr_hit[43] & reg_re & ((!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 | Not Covered | |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3222
EXPRESSION (addr_hit[44] & reg_re & ((!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 | T139,T126,T146 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3225
EXPRESSION (addr_hit[45] & reg_re & ((!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 | T157,T158,T154 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3228
EXPRESSION (addr_hit[46] & reg_re & ((!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 | T159,T160 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3231
EXPRESSION (addr_hit[47] & reg_re & ((!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 | T161,T147 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3234
EXPRESSION (addr_hit[48] & reg_re & ((!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 | T151 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3237
EXPRESSION (addr_hit[49] & reg_re & ((!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 | T162 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3240
EXPRESSION (addr_hit[50] & reg_re & ((!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 | T163 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3243
EXPRESSION (addr_hit[51] & reg_re & ((!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 | Not Covered | |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3246
EXPRESSION (addr_hit[52] & reg_re & ((!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 | T160 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3249
EXPRESSION (addr_hit[53] & reg_re & ((!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 | T164,T147 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3252
EXPRESSION (addr_hit[54] & reg_re & ((!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 | Not Covered | |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3255
EXPRESSION (addr_hit[55] & reg_re & ((!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 | T165,T166,T161 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3258
EXPRESSION (addr_hit[56] & reg_re & ((!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 | T166 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3261
EXPRESSION (addr_hit[57] & reg_re & ((!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 | T146 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3264
EXPRESSION (addr_hit[59] & 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 | T48,T52,T55 |
1 | 1 | 1 | Covered | T144,T73,T145 |
LINE 3267
EXPRESSION (addr_hit[60] & 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 | T48,T53,T55 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 3274
EXPRESSION (addr_hit[62] & 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 | T48,T52,T53 |
1 | 1 | 1 | Covered | T13,T14,T17 |
LINE 3665
SUB-EXPRESSION (rst_done & shadow_rst_done)
----1--- -------2-------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T73,T108,T109 |
1 | 0 | Covered | T73,T108,T109 |
1 | 1 | Covered | T1,T2,T3 |