Go
back
LINE 2848
EXPRESSION (addr_hit[4] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T9,T7,T33 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T44,T53,T22 |
LINE 2849
EXPRESSION (addr_hit[5] & 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,T5 |
| 1 | 1 | 0 | Covered | T49,T54,T55 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2852
EXPRESSION (addr_hit[6] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T56 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2853
EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T42,T43,T48 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2862
EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T9,T7,T33 |
| 1 | 1 | 0 | Covered | T41,T48,T49 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2865
EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T9,T26,T45 |
| 1 | 1 | 0 | Covered | T43,T48,T49 |
| 1 | 1 | 1 | Not Covered | |
LINE 2868
EXPRESSION (addr_hit[9] & 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,T5 |
| 1 | 1 | 0 | Covered | T57,T58,T59 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2869
EXPRESSION (addr_hit[9] & 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,T5 |
| 1 | 1 | 0 | Covered | T43,T48,T49 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2872
EXPRESSION (addr_hit[10] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T9,T7,T33 |
| 1 | 1 | 0 | Covered | T60 |
| 1 | 1 | 1 | Covered | T44,T53,T22 |
LINE 2873
EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T9,T7,T33 |
| 1 | 1 | 0 | Covered | T43,T49,T61 |
| 1 | 1 | 1 | Not Covered | |
LINE 2876
EXPRESSION (addr_hit[11] & 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,T5 |
| 1 | 1 | 0 | Covered | T40,T41,T43 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2883
EXPRESSION (addr_hit[12] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T2,T9,T26 |
| 1 | 1 | 0 | Covered | T62,T63 |
| 1 | 1 | 1 | Covered | T44,T53,T22 |
LINE 2884
EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T2,T9,T26 |
| 1 | 1 | 0 | Covered | T64,T43,T48 |
| 1 | 1 | 1 | Not Covered | |
LINE 2887
EXPRESSION (addr_hit[13] & 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,T5 |
| 1 | 1 | 0 | Covered | T39,T42,T41 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2890
EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T9,T45,T7 |
| 1 | 1 | 0 | Covered | T43,T48,T49 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2893
EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T9,T45,T7 |
| 1 | 1 | 0 | Covered | T40,T43,T48 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2896
EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T9,T46,T45 |
| 1 | 1 | 0 | Covered | T43,T48,T49 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2899
EXPRESSION (addr_hit[17] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T9,T26,T45 |
| 1 | 1 | 0 | Covered | T41,T43,T48 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2902
EXPRESSION (addr_hit[18] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T9,T45,T7 |
| 1 | 1 | 0 | Covered | T43,T48,T61 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2905
EXPRESSION (addr_hit[19] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T9,T46,T7 |
| 1 | 1 | 0 | Covered | T43,T48,T61 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2908
EXPRESSION (addr_hit[20] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T17,T9,T26 |
| 1 | 1 | 0 | Covered | T41,T43,T48 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2911
EXPRESSION (addr_hit[21] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T21,T40,T43 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2914
EXPRESSION (addr_hit[22] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T9,T7,T33 |
| 1 | 1 | 0 | Covered | T20,T41,T43 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2917
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 | T9,T45,T7 |
| 1 | 1 | 0 | Covered | T43,T48,T49 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2920
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 | T17,T9,T45 |
| 1 | 1 | 0 | Covered | T42,T43,T48 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2923
EXPRESSION (addr_hit[25] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T9,T7,T33 |
| 1 | 1 | 0 | Covered | T41,T43,T48 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2926
EXPRESSION (addr_hit[26] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T9,T45,T7 |
| 1 | 1 | 0 | Covered | T43,T48,T49 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2929
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 | T2,T9,T7 |
| 1 | 1 | 0 | Covered | T41,T43,T48 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2932
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 | T2,T17,T9 |
| 1 | 1 | 0 | Covered | T43,T48,T61 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2935
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 | T3,T4,T5 |
| 1 | 1 | 0 | Covered | T43,T49,T61 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2938
EXPRESSION (addr_hit[30] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T9,T46,T7 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T44,T53,T22 |
LINE 2939
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 | T9,T46,T7 |
| 1 | 1 | 0 | Covered | T41,T43,T48 |
| 1 | 1 | 1 | Not Covered | |
LINE 2942
EXPRESSION (addr_hit[31] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T20,T21,T65 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2943
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T48,T49,T61 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2946
EXPRESSION (addr_hit[32] & 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,T5 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2949
EXPRESSION (addr_hit[33] & 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,T5 |
| 1 | 1 | 0 | Covered | T64 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2952
EXPRESSION (addr_hit[34] & 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,T5 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2955
EXPRESSION (addr_hit[35] & 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,T5 |
| 1 | 1 | 0 | Covered | T63 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2958
EXPRESSION (addr_hit[36] & 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,T5 |
| 1 | 1 | 0 | Covered | T62,T65,T63 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2961
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,T5 |
| 1 | 1 | 0 | Covered | T57 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2964
EXPRESSION (addr_hit[38] & 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,T5 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2967
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T56,T66 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2970
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 | T3,T4,T5 |
| 1 | 1 | 0 | Covered | T64,T67 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2973
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,T5 |
| 1 | 1 | 0 | Covered | T64,T56 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2976
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T59,T65,T68 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2979
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 | T3,T4,T5 |
| 1 | 1 | 0 | Covered | T64,T40,T69 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2982
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 | T3,T4,T5 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2985
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 | T3,T4,T5 |
| 1 | 1 | 0 | Covered | T21,T39 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2988
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 | T3,T4,T5 |
| 1 | 1 | 0 | Covered | T21,T67,T68 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2991
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 | T3,T4,T5 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 2994
EXPRESSION (addr_hit[49] & 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,T5 |
| 1 | 1 | 0 | Covered | T41,T43,T48 |
| 1 | 1 | 1 | Covered | T44,T20,T21 |
LINE 2997
EXPRESSION (addr_hit[50] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T20,T42,T41 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 3004
EXPRESSION (addr_hit[52] & 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,T5 |
| 1 | 1 | 0 | Covered | T48,T49,T61 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 3354
SUB-EXPRESSION (rst_done & shadow_rst_done)
----1--- -------2-------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T70,T71,T72 |
| 1 | 0 | Covered | T71,T72,T73 |
| 1 | 1 | Covered | T1,T2,T3 |