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 | T3,T4,T10 |
| 1 | 1 | 0 | Covered | T46,T47,T48 |
| 1 | 1 | 1 | Covered | T18,T36,T49 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T32,T39,T40 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T35,T50,T51 |
| 1 | 1 | 1 | Covered | T18,T36,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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T19,T39,T40 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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,T4,T10 |
| 1 | 1 | 0 | Covered | T32,T52,T39 |
| 1 | 1 | 1 | Covered | T36,T37,T38 |
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 | T3,T4,T10 |
| 1 | 1 | 0 | Covered | T32,T39,T40 |
| 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 | T2,T3,T4 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T18,T36,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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T19,T32,T34 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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,T4,T10 |
| 1 | 1 | 0 | Covered | T20,T46,T53 |
| 1 | 1 | 1 | Covered | T18,T36,T49 |
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,T4,T10 |
| 1 | 1 | 0 | Covered | T35,T39,T54 |
| 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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T19,T40,T55 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T3,T4,T10 |
| 1 | 1 | 0 | Covered | T20,T56 |
| 1 | 1 | 1 | Covered | T18,T36,T49 |
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 | T3,T4,T10 |
| 1 | 1 | 0 | Covered | T39,T40,T57 |
| 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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T32,T39,T40 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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,T4,T10 |
| 1 | 1 | 0 | Covered | T39,T56,T41 |
| 1 | 1 | 1 | Covered | T36,T37,T38 |
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,T4,T10 |
| 1 | 1 | 0 | Covered | T19,T32,T33 |
| 1 | 1 | 1 | Covered | T36,T37,T38 |
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,T4,T10 |
| 1 | 1 | 0 | Covered | T32,T39,T40 |
| 1 | 1 | 1 | Covered | T36,T37,T38 |
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,T4,T10 |
| 1 | 1 | 0 | Covered | T19,T32,T39 |
| 1 | 1 | 1 | Covered | T36,T37,T38 |
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,T4,T10 |
| 1 | 1 | 0 | Covered | T39,T46,T40 |
| 1 | 1 | 1 | Covered | T36,T37,T38 |
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 | T3,T4,T10 |
| 1 | 1 | 0 | Covered | T19,T32,T33 |
| 1 | 1 | 1 | Covered | T36,T37,T38 |
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,T4,T10 |
| 1 | 1 | 0 | Covered | T32,T39,T40 |
| 1 | 1 | 1 | Covered | T36,T37,T38 |
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 | T19,T34,T39 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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,T4,T10 |
| 1 | 1 | 0 | Covered | T32,T39,T40 |
| 1 | 1 | 1 | Covered | T36,T37,T38 |
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,T4,T10 |
| 1 | 1 | 0 | Covered | T19,T32,T39 |
| 1 | 1 | 1 | Covered | T36,T37,T38 |
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,T4,T10 |
| 1 | 1 | 0 | Covered | T39,T40,T41 |
| 1 | 1 | 1 | Covered | T36,T37,T38 |
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 | T3,T4,T10 |
| 1 | 1 | 0 | Covered | T19,T32,T39 |
| 1 | 1 | 1 | Covered | T36,T37,T38 |
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,T4,T10 |
| 1 | 1 | 0 | Covered | T39,T40,T41 |
| 1 | 1 | 1 | Covered | T36,T37,T38 |
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,T4,T10 |
| 1 | 1 | 0 | Covered | T32,T33,T35 |
| 1 | 1 | 1 | Covered | T36,T37,T38 |
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,T4,T10 |
| 1 | 1 | 0 | Covered | T19,T35,T39 |
| 1 | 1 | 1 | Covered | T36,T37,T38 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T19,T32,T52 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T3,T4,T10 |
| 1 | 1 | 0 | Covered | T56,T58 |
| 1 | 1 | 1 | Covered | T18,T36,T49 |
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 | T3,T4,T10 |
| 1 | 1 | 0 | Covered | T39,T40,T42 |
| 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,T59 |
| 1 | 1 | 1 | Covered | T18,T36,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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T19,T39,T40 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T60,T46,T47 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T34,T52 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T60,T59 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T50,T59 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T61,T62 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T46 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T52 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T63 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T60 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Not Covered | |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T63 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T33,T40,T56 |
| 1 | 1 | 1 | Covered | T36,T37,T38 |
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 | T19,T32,T33 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
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 | T2,T3,T4 |
| 1 | 1 | 0 | Covered | T19,T39,T40 |
| 1 | 1 | 1 | Covered | T2,T3,T4 |
LINE 3354
SUB-EXPRESSION (rst_done & shadow_rst_done)
----1--- -------2-------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T49,T64,T38 |
| 1 | 0 | Covered | T49,T64,T38 |
| 1 | 1 | Covered | T1,T2,T3 |