Go
back
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,T4,T13 |
1 | 1 | 0 | Covered | T44,T45,T46 |
1 | 1 | 1 | Covered | T3,T4,T14 |
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,T4,T13 |
1 | 1 | 0 | Covered | T44,T45,T46 |
1 | 1 | 1 | Covered | T3,T4,T14 |
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,T4,T13 |
1 | 1 | 0 | Covered | T44,T45,T47 |
1 | 1 | 1 | Covered | T3,T4,T14 |
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,T4,T13 |
1 | 1 | 0 | Covered | T44,T45,T46 |
1 | 1 | 1 | Covered | T3,T4,T14 |
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,T4,T13 |
1 | 1 | 0 | Covered | T44,T45,T46 |
1 | 1 | 1 | Covered | T3,T4,T14 |
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,T4,T13 |
1 | 1 | 0 | Covered | T38,T44,T45 |
1 | 1 | 1 | Covered | T3,T4,T14 |
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,T4,T13 |
1 | 1 | 0 | Covered | T165 |
1 | 1 | 1 | Covered | T44,T45,T46 |
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,T4,T13 |
1 | 1 | 0 | Covered | T44,T45,T49 |
1 | 1 | 1 | Covered | T3,T4,T14 |
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,T4,T13 |
1 | 1 | 0 | Covered | T44,T45,T46 |
1 | 1 | 1 | Covered | T3,T4,T14 |
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,T4,T13 |
1 | 1 | 0 | Covered | T166 |
1 | 1 | 1 | Covered | T44,T45,T46 |
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,T4,T13 |
1 | 1 | 0 | Covered | T44,T45,T46 |
1 | 1 | 1 | Covered | T3,T4,T14 |
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,T4,T13 |
1 | 1 | 0 | Covered | T44,T45,T46 |
1 | 1 | 1 | Covered | T3,T4,T14 |
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,T4,T13 |
1 | 1 | 0 | Covered | T164 |
1 | 1 | 1 | Covered | T44,T45,T46 |
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,T4,T13 |
1 | 1 | 0 | Covered | T44,T45,T49 |
1 | 1 | 1 | Covered | T3,T4,T14 |
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 | Not Covered | |
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 | T167,T168 |
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 | T167,T169 |
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 | Not Covered | |
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 | T170 |
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 | Not Covered | |
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 | T170,T171,T169 |
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 | Not Covered | |
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 | Covered | T167,T172,T173 |
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 | T174,T175 |
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 | T168,T175 |
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 | Covered | T174,T175,T164 |
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 | T176,T174 |
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 | T177,T174 |
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 | T174,T164 |
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 | T44,T45,T46 |
1 | 1 | 1 | Covered | T156,T78,T79 |
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 | T44,T45,T46 |
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 | T44,T45,T46 |
1 | 1 | 1 | Covered | T19,T20,T5 |
LINE 3665
SUB-EXPRESSION (rst_done & shadow_rst_done)
----1--- -------2-------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T118,T119,T120 |
1 | 0 | Covered | T118,T119,T120 |
1 | 1 | Covered | T1,T2,T3 |