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 | T5,T9,T8 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T48,T49,T60 |
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 | T1,T4,T17 |
| 1 | 1 | 0 | Covered | T22,T31,T38 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T46,T73 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T22,T30,T31 |
| 1 | 1 | 1 | Covered | T1,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 | T3,T5,T18 |
| 1 | 1 | 0 | Covered | T22,T31,T32 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T5,T18,T9 |
| 1 | 1 | 0 | Covered | T22,T31,T47 |
| 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 | T1,T4,T17 |
| 1 | 1 | 0 | Covered | T34 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T1,T4,T17 |
| 1 | 1 | 0 | Covered | T30,T31,T37 |
| 1 | 1 | 1 | Covered | T1,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 | T3,T5,T9 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T48,T49,T60 |
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 | T3,T5,T9 |
| 1 | 1 | 0 | Covered | T22,T31,T38 |
| 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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T22,T30,T31 |
| 1 | 1 | 1 | Covered | T1,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 | T5,T18,T9 |
| 1 | 1 | 0 | Covered | T32,T74 |
| 1 | 1 | 1 | Covered | T48,T49,T60 |
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 | T5,T18,T9 |
| 1 | 1 | 0 | Covered | T22,T30,T31 |
| 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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T22,T31,T38 |
| 1 | 1 | 1 | Covered | T1,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 | T3,T5,T9 |
| 1 | 1 | 0 | Covered | T22,T31,T36 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T3,T5,T9 |
| 1 | 1 | 0 | Covered | T22,T31,T36 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T3,T17,T5 |
| 1 | 1 | 0 | Covered | T21,T22,T30 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T3,T17,T5 |
| 1 | 1 | 0 | Covered | T22,T30,T31 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T3,T17,T5 |
| 1 | 1 | 0 | Covered | T22,T31,T36 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T5,T18,T9 |
| 1 | 1 | 0 | Covered | T30,T31,T38 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T3,T5,T9 |
| 1 | 1 | 0 | Covered | T22,T31,T38 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T21,T31,T35 |
| 1 | 1 | 1 | Covered | T1,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 | T3,T5,T18 |
| 1 | 1 | 0 | Covered | T22,T32,T36 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T3,T17,T5 |
| 1 | 1 | 0 | Covered | T22,T31,T38 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T3,T5,T9 |
| 1 | 1 | 0 | Covered | T31,T38,T45 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T5,T18,T9 |
| 1 | 1 | 0 | Covered | T21,T22,T30 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T3,T5,T9 |
| 1 | 1 | 0 | Covered | T22,T31,T38 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T3,T5,T18 |
| 1 | 1 | 0 | Covered | T22,T31,T36 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T3,T17,T5 |
| 1 | 1 | 0 | Covered | T22,T30,T31 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T22,T30,T31 |
| 1 | 1 | 1 | Covered | T1,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 | T17,T5,T9 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T48,T49,T60 |
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 | T17,T5,T9 |
| 1 | 1 | 0 | Covered | T22,T31,T36 |
| 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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T75,T76 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T22,T31,T45 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T4,T5 |
| 1 | 1 | 0 | Covered | T33,T75,T77 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T37,T78,T77 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T4,T17 |
| 1 | 1 | 0 | Covered | T21,T37,T79 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T4,T5 |
| 1 | 1 | 0 | Covered | T21 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T33 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T4,T17 |
| 1 | 1 | 0 | Covered | T80 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T23,T81 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T34 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T3,T4 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T1,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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T23,T37 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T4,T5 |
| 1 | 1 | 0 | Covered | T46 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T4,T5 |
| 1 | 1 | 0 | Covered | T81 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T82,T73 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T81,T78,T77 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T46,T77 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T75 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T22,T31,T38 |
| 1 | 1 | 1 | Covered | T48,T66,T49 |
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 | T1,T4,T5 |
| 1 | 1 | 0 | Covered | T22,T38,T45 |
| 1 | 1 | 1 | Covered | T1,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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T31,T33,T38 |
| 1 | 1 | 1 | Covered | T1,T5,T6 |
LINE 3354
SUB-EXPRESSION (rst_done & shadow_rst_done)
----1--- -------2-------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T49,T50,T51 |
| 1 | 0 | Covered | T48,T49,T50 |
| 1 | 1 | Covered | T1,T2,T3 |