Line Coverage for Module :
i2c_reg_top
| Line No. | Total | Covered | Percent |
| TOTAL | | 320 | 320 | 100.00 |
| ALWAYS | 68 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 77 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 89 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 90 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 118 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 119 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1132 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1147 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1163 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1179 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1195 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1211 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1227 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1243 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1259 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1275 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1291 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1307 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1323 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1339 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1355 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1371 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1377 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1391 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1683 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1711 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1739 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1767 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1795 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1823 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1864 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1892 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1920 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1948 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1989 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2017 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2058 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2086 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2114 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2811 | 1 | 1 | 100.00 |
| ALWAYS | 2929 | 28 | 28 | 100.00 |
| CONT_ASSIGN | 2959 | 1 | 1 | 100.00 |
| ALWAYS | 2963 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2994 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2996 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 2998 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3000 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3002 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3004 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3006 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3008 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3010 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3012 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3013 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3015 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3017 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3019 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3021 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3023 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3025 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3027 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3029 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3031 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3033 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3035 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3037 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3039 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3041 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3043 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3044 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3046 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3048 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3050 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3052 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3054 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3056 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3058 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3060 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3062 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3064 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3066 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3068 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3070 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3072 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3074 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3075 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3077 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3078 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3080 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3082 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3084 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3085 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3086 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3087 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3089 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3091 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3093 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3095 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3097 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3099 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3100 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3102 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3104 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3106 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3108 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3109 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3111 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3113 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3114 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3116 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3118 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3120 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3121 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3122 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3123 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3125 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3127 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3129 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3130 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3131 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3133 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3135 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3136 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3138 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3140 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3141 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3143 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3145 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3146 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3148 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3150 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3151 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3153 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3155 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3156 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3158 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3160 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3161 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3163 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3165 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3167 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3169 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3170 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3171 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3173 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3174 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3176 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3177 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3179 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3181 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3182 | 1 | 1 | 100.00 |
| ALWAYS | 3188 | 28 | 28 | 100.00 |
| ALWAYS | 3220 | 109 | 109 | 100.00 |
| CONT_ASSIGN | 3421 | 0 | 0 | |
| CONT_ASSIGN | 3429 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 3430 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_i2c_0.1/rtl/i2c_reg_top.sv' or '../src/lowrisc_ip_i2c_0.1/rtl/i2c_reg_top.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 68 |
1 |
1 |
| 69 |
1 |
1 |
| 70 |
1 |
1 |
| 71 |
1 |
1 |
|
|
|
MISSING_ELSE |
| 77 |
1 |
1 |
| 89 |
1 |
1 |
| 90 |
1 |
1 |
| 118 |
1 |
1 |
| 119 |
1 |
1 |
| 1132 |
1 |
1 |
| 1147 |
1 |
1 |
| 1163 |
1 |
1 |
| 1179 |
1 |
1 |
| 1195 |
1 |
1 |
| 1211 |
1 |
1 |
| 1227 |
1 |
1 |
| 1243 |
1 |
1 |
| 1259 |
1 |
1 |
| 1275 |
1 |
1 |
| 1291 |
1 |
1 |
| 1307 |
1 |
1 |
| 1323 |
1 |
1 |
| 1339 |
1 |
1 |
| 1355 |
1 |
1 |
| 1371 |
1 |
1 |
| 1377 |
1 |
1 |
| 1391 |
1 |
1 |
| 1683 |
1 |
1 |
| 1711 |
1 |
1 |
| 1739 |
1 |
1 |
| 1767 |
1 |
1 |
| 1795 |
1 |
1 |
| 1823 |
1 |
1 |
| 1864 |
1 |
1 |
| 1892 |
1 |
1 |
| 1920 |
1 |
1 |
| 1948 |
1 |
1 |
| 1989 |
1 |
1 |
| 2017 |
1 |
1 |
| 2058 |
1 |
1 |
| 2086 |
1 |
1 |
| 2114 |
1 |
1 |
| 2811 |
1 |
1 |
| 2929 |
1 |
1 |
| 2930 |
1 |
1 |
| 2931 |
1 |
1 |
| 2932 |
1 |
1 |
| 2933 |
1 |
1 |
| 2934 |
1 |
1 |
| 2935 |
1 |
1 |
| 2936 |
1 |
1 |
| 2937 |
1 |
1 |
| 2938 |
1 |
1 |
| 2939 |
1 |
1 |
| 2940 |
1 |
1 |
| 2941 |
1 |
1 |
| 2942 |
1 |
1 |
| 2943 |
1 |
1 |
| 2944 |
1 |
1 |
| 2945 |
1 |
1 |
| 2946 |
1 |
1 |
| 2947 |
1 |
1 |
| 2948 |
1 |
1 |
| 2949 |
1 |
1 |
| 2950 |
1 |
1 |
| 2951 |
1 |
1 |
| 2952 |
1 |
1 |
| 2953 |
1 |
1 |
| 2954 |
1 |
1 |
| 2955 |
1 |
1 |
| 2956 |
1 |
1 |
| 2959 |
1 |
1 |
| 2963 |
1 |
1 |
| 2994 |
1 |
1 |
| 2996 |
1 |
1 |
| 2998 |
1 |
1 |
| 3000 |
1 |
1 |
| 3002 |
1 |
1 |
| 3004 |
1 |
1 |
| 3006 |
1 |
1 |
| 3008 |
1 |
1 |
| 3010 |
1 |
1 |
| 3012 |
1 |
1 |
| 3013 |
1 |
1 |
| 3015 |
1 |
1 |
| 3017 |
1 |
1 |
| 3019 |
1 |
1 |
| 3021 |
1 |
1 |
| 3023 |
1 |
1 |
| 3025 |
1 |
1 |
| 3027 |
1 |
1 |
| 3029 |
1 |
1 |
| 3031 |
1 |
1 |
| 3033 |
1 |
1 |
| 3035 |
1 |
1 |
| 3037 |
1 |
1 |
| 3039 |
1 |
1 |
| 3041 |
1 |
1 |
| 3043 |
1 |
1 |
| 3044 |
1 |
1 |
| 3046 |
1 |
1 |
| 3048 |
1 |
1 |
| 3050 |
1 |
1 |
| 3052 |
1 |
1 |
| 3054 |
1 |
1 |
| 3056 |
1 |
1 |
| 3058 |
1 |
1 |
| 3060 |
1 |
1 |
| 3062 |
1 |
1 |
| 3064 |
1 |
1 |
| 3066 |
1 |
1 |
| 3068 |
1 |
1 |
| 3070 |
1 |
1 |
| 3072 |
1 |
1 |
| 3074 |
1 |
1 |
| 3075 |
1 |
1 |
| 3077 |
1 |
1 |
| 3078 |
1 |
1 |
| 3080 |
1 |
1 |
| 3082 |
1 |
1 |
| 3084 |
1 |
1 |
| 3085 |
1 |
1 |
| 3086 |
1 |
1 |
| 3087 |
1 |
1 |
| 3089 |
1 |
1 |
| 3091 |
1 |
1 |
| 3093 |
1 |
1 |
| 3095 |
1 |
1 |
| 3097 |
1 |
1 |
| 3099 |
1 |
1 |
| 3100 |
1 |
1 |
| 3102 |
1 |
1 |
| 3104 |
1 |
1 |
| 3106 |
1 |
1 |
| 3108 |
1 |
1 |
| 3109 |
1 |
1 |
| 3111 |
1 |
1 |
| 3113 |
1 |
1 |
| 3114 |
1 |
1 |
| 3116 |
1 |
1 |
| 3118 |
1 |
1 |
| 3120 |
1 |
1 |
| 3121 |
1 |
1 |
| 3122 |
1 |
1 |
| 3123 |
1 |
1 |
| 3125 |
1 |
1 |
| 3127 |
1 |
1 |
| 3129 |
1 |
1 |
| 3130 |
1 |
1 |
| 3131 |
1 |
1 |
| 3133 |
1 |
1 |
| 3135 |
1 |
1 |
| 3136 |
1 |
1 |
| 3138 |
1 |
1 |
| 3140 |
1 |
1 |
| 3141 |
1 |
1 |
| 3143 |
1 |
1 |
| 3145 |
1 |
1 |
| 3146 |
1 |
1 |
| 3148 |
1 |
1 |
| 3150 |
1 |
1 |
| 3151 |
1 |
1 |
| 3153 |
1 |
1 |
| 3155 |
1 |
1 |
| 3156 |
1 |
1 |
| 3158 |
1 |
1 |
| 3160 |
1 |
1 |
| 3161 |
1 |
1 |
| 3163 |
1 |
1 |
| 3165 |
1 |
1 |
| 3167 |
1 |
1 |
| 3169 |
1 |
1 |
| 3170 |
1 |
1 |
| 3171 |
1 |
1 |
| 3173 |
1 |
1 |
| 3174 |
1 |
1 |
| 3176 |
1 |
1 |
| 3177 |
1 |
1 |
| 3179 |
1 |
1 |
| 3181 |
1 |
1 |
| 3182 |
1 |
1 |
| 3188 |
1 |
1 |
| 3189 |
1 |
1 |
| 3190 |
1 |
1 |
| 3191 |
1 |
1 |
| 3192 |
1 |
1 |
| 3193 |
1 |
1 |
| 3194 |
1 |
1 |
| 3195 |
1 |
1 |
| 3196 |
1 |
1 |
| 3197 |
1 |
1 |
| 3198 |
1 |
1 |
| 3199 |
1 |
1 |
| 3200 |
1 |
1 |
| 3201 |
1 |
1 |
| 3202 |
1 |
1 |
| 3203 |
1 |
1 |
| 3204 |
1 |
1 |
| 3205 |
1 |
1 |
| 3206 |
1 |
1 |
| 3207 |
1 |
1 |
| 3208 |
1 |
1 |
| 3209 |
1 |
1 |
| 3210 |
1 |
1 |
| 3211 |
1 |
1 |
| 3212 |
1 |
1 |
| 3213 |
1 |
1 |
| 3214 |
1 |
1 |
| 3215 |
1 |
1 |
| 3220 |
1 |
1 |
| 3221 |
1 |
1 |
| 3223 |
1 |
1 |
| 3224 |
1 |
1 |
| 3225 |
1 |
1 |
| 3226 |
1 |
1 |
| 3227 |
1 |
1 |
| 3228 |
1 |
1 |
| 3229 |
1 |
1 |
| 3230 |
1 |
1 |
| 3231 |
1 |
1 |
| 3232 |
1 |
1 |
| 3233 |
1 |
1 |
| 3234 |
1 |
1 |
| 3235 |
1 |
1 |
| 3236 |
1 |
1 |
| 3237 |
1 |
1 |
| 3241 |
1 |
1 |
| 3242 |
1 |
1 |
| 3243 |
1 |
1 |
| 3244 |
1 |
1 |
| 3245 |
1 |
1 |
| 3246 |
1 |
1 |
| 3247 |
1 |
1 |
| 3248 |
1 |
1 |
| 3249 |
1 |
1 |
| 3250 |
1 |
1 |
| 3251 |
1 |
1 |
| 3252 |
1 |
1 |
| 3253 |
1 |
1 |
| 3254 |
1 |
1 |
| 3255 |
1 |
1 |
| 3259 |
1 |
1 |
| 3260 |
1 |
1 |
| 3261 |
1 |
1 |
| 3262 |
1 |
1 |
| 3263 |
1 |
1 |
| 3264 |
1 |
1 |
| 3265 |
1 |
1 |
| 3266 |
1 |
1 |
| 3267 |
1 |
1 |
| 3268 |
1 |
1 |
| 3269 |
1 |
1 |
| 3270 |
1 |
1 |
| 3271 |
1 |
1 |
| 3272 |
1 |
1 |
| 3273 |
1 |
1 |
| 3277 |
1 |
1 |
| 3281 |
1 |
1 |
| 3282 |
1 |
1 |
| 3283 |
1 |
1 |
| 3287 |
1 |
1 |
| 3288 |
1 |
1 |
| 3289 |
1 |
1 |
| 3290 |
1 |
1 |
| 3291 |
1 |
1 |
| 3292 |
1 |
1 |
| 3293 |
1 |
1 |
| 3294 |
1 |
1 |
| 3295 |
1 |
1 |
| 3296 |
1 |
1 |
| 3300 |
1 |
1 |
| 3304 |
1 |
1 |
| 3305 |
1 |
1 |
| 3306 |
1 |
1 |
| 3307 |
1 |
1 |
| 3308 |
1 |
1 |
| 3309 |
1 |
1 |
| 3313 |
1 |
1 |
| 3314 |
1 |
1 |
| 3315 |
1 |
1 |
| 3316 |
1 |
1 |
| 3320 |
1 |
1 |
| 3321 |
1 |
1 |
| 3325 |
1 |
1 |
| 3326 |
1 |
1 |
| 3327 |
1 |
1 |
| 3331 |
1 |
1 |
| 3332 |
1 |
1 |
| 3336 |
1 |
1 |
| 3337 |
1 |
1 |
| 3341 |
1 |
1 |
| 3342 |
1 |
1 |
| 3343 |
1 |
1 |
| 3347 |
1 |
1 |
| 3348 |
1 |
1 |
| 3352 |
1 |
1 |
| 3353 |
1 |
1 |
| 3357 |
1 |
1 |
| 3358 |
1 |
1 |
| 3362 |
1 |
1 |
| 3363 |
1 |
1 |
| 3367 |
1 |
1 |
| 3368 |
1 |
1 |
| 3372 |
1 |
1 |
| 3373 |
1 |
1 |
| 3377 |
1 |
1 |
| 3378 |
1 |
1 |
| 3382 |
1 |
1 |
| 3383 |
1 |
1 |
| 3384 |
1 |
1 |
| 3385 |
1 |
1 |
| 3389 |
1 |
1 |
| 3390 |
1 |
1 |
| 3394 |
1 |
1 |
| 3398 |
1 |
1 |
| 3402 |
1 |
1 |
| 3403 |
1 |
1 |
| 3407 |
1 |
1 |
| 3421 |
|
unreachable |
| 3429 |
1 |
1 |
| 3430 |
1 |
1 |
Cond Coverage for Module :
i2c_reg_top
| Total | Covered | Percent |
| Conditions | 293 | 292 | 99.66 |
| Logical | 293 | 292 | 99.66 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 58
EXPRESSION (reg_we && ((!addrmiss)))
---1-- ------2------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T111,T130,T131 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 70
EXPRESSION (intg_err || reg_we_err)
----1--- -----2----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T115,T116,T117 |
| 1 | 0 | Covered | T112,T130,T132 |
LINE 77
EXPRESSION (err_q | intg_err | reg_we_err)
--1-- ----2--- -----3----
| -1- | -2- | -3- | Status | Tests |
| 0 | 0 | 0 | Covered | T1,T2,T3 |
| 0 | 0 | 1 | Covered | T115,T116,T117 |
| 0 | 1 | 0 | Covered | T112,T130,T132 |
| 1 | 0 | 0 | Covered | T115,T116,T117 |
LINE 119
EXPRESSION (addrmiss | wr_err | intg_err)
----1--- ---2-- ----3---
| -1- | -2- | -3- | Status | Tests |
| 0 | 0 | 0 | Covered | T1,T2,T3 |
| 0 | 0 | 1 | Covered | T112,T130,T132 |
| 0 | 1 | 0 | Covered | T111,T113,T129 |
| 1 | 0 | 0 | Covered | T111,T113,T133 |
LINE 2930
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_STATE_OFFSET)
------------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 2931
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_ENABLE_OFFSET)
------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2932
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_INTR_TEST_OFFSET)
-----------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T18,T33,T38 |
LINE 2933
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ALERT_TEST_OFFSET)
------------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T18,T33 |
LINE 2934
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_CTRL_OFFSET)
---------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2935
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_STATUS_OFFSET)
----------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2936
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_RDATA_OFFSET)
---------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T18,T11 |
LINE 2937
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_FDATA_OFFSET)
---------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T6,T7 |
LINE 2938
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_FIFO_CTRL_OFFSET)
-----------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2939
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_FIFO_CONFIG_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2940
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_FIFO_CONFIG_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2941
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_FIFO_STATUS_OFFSET)
---------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T18,T11,T12 |
LINE 2942
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_FIFO_STATUS_OFFSET)
----------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T18,T4 |
LINE 2943
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_OVRD_OFFSET)
---------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T18,T19,T33 |
LINE 2944
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_VAL_OFFSET)
--------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T18,T33,T38 |
LINE 2945
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING0_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2946
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING1_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2947
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING2_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2948
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING3_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2949
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMING4_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2950
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TIMEOUT_CTRL_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T2,T3,T6 |
LINE 2951
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_ID_OFFSET)
-----------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T18,T4 |
LINE 2952
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_ACQDATA_OFFSET)
----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T18,T4 |
LINE 2953
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TXDATA_OFFSET)
----------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T18,T4 |
LINE 2954
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_HOST_TIMEOUT_CTRL_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T18,T4 |
LINE 2955
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_TIMEOUT_CTRL_OFFSET)
----------------------------1----------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T18,T33,T38 |
LINE 2956
EXPRESSION (reg_addr == i2c_reg_pkg::I2C_TARGET_NACK_COUNT_OFFSET)
---------------------------1---------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T18,T33,T38 |
LINE 2959
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 2959
SUB-EXPRESSION (reg_re || reg_we)
---1-- ---2--
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
LINE 2963
EXPRESSION
Number Term
1 reg_we &
2 ((addr_hit[0] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[2] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | (addr_hit[5] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1 & (~reg_be))))) | (addr_hit[7] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[8] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[9] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[10] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[11] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[12] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[13] & ((|(4'b1 & (~reg_be))))) | (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[15] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[16] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[17] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[18] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[19] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[20] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[21] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[22] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[23] & ((|(4'b1 & (~reg_be))))) | (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[26] & ((|(4'b1 & (~reg_be)))))))
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T111,T112,T113 |
LINE 2963
SUB-EXPRESSION
Number Term
1 (addr_hit[0] & ((|(4'b0011 & (~reg_be))))) |
2 (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) |
3 (addr_hit[2] & ((|(4'b0011 & (~reg_be))))) |
4 (addr_hit[3] & ((|(4'b1 & (~reg_be))))) |
5 (addr_hit[4] & ((|(4'b1 & (~reg_be))))) |
6 (addr_hit[5] & ((|(4'b0011 & (~reg_be))))) |
7 (addr_hit[6] & ((|(4'b1 & (~reg_be))))) |
8 (addr_hit[7] & ((|(4'b0011 & (~reg_be))))) |
9 (addr_hit[8] & ((|(4'b0011 & (~reg_be))))) |
10 (addr_hit[9] & ((|(4'b1111 & (~reg_be))))) |
11 (addr_hit[10] & ((|(4'b1111 & (~reg_be))))) |
12 (addr_hit[11] & ((|(4'b1111 & (~reg_be))))) |
13 (addr_hit[12] & ((|(4'b1111 & (~reg_be))))) |
14 (addr_hit[13] & ((|(4'b1 & (~reg_be))))) |
15 (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) |
16 (addr_hit[15] & ((|(4'b1111 & (~reg_be))))) |
17 (addr_hit[16] & ((|(4'b1111 & (~reg_be))))) |
18 (addr_hit[17] & ((|(4'b1111 & (~reg_be))))) |
19 (addr_hit[18] & ((|(4'b1111 & (~reg_be))))) |
20 (addr_hit[19] & ((|(4'b1111 & (~reg_be))))) |
21 (addr_hit[20] & ((|(4'b1111 & (~reg_be))))) |
22 (addr_hit[21] & ((|(4'b1111 & (~reg_be))))) |
23 (addr_hit[22] & ((|(4'b0011 & (~reg_be))))) |
24 (addr_hit[23] & ((|(4'b1 & (~reg_be))))) |
25 (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) |
26 (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) |
27 (addr_hit[26] & ((|(4'b1 & (~reg_be))))))
| Sensitive Expression == 1 | Status | Tests |
| ALL ZEROS | Covered | T1,T2,T3 |
| 27 (addr_hit[26] & ((|(4'... | Covered | T18,T33,T38 |
| 26 (addr_hit[25] & ((|(4'... | Covered | T18,T33,T38 |
| 25 (addr_hit[24] & ((|(4'... | Covered | T18,T33,T38 |
| 24 (addr_hit[23] & ((|(4'... | Covered | T18,T33,T38 |
| 23 (addr_hit[22] & ((|(4'... | Covered | T3,T18,T4 |
| 22 (addr_hit[21] & ((|(4'... | Covered | T18,T33,T38 |
| 21 (addr_hit[20] & ((|(4'... | Covered | T18,T33,T38 |
| 20 (addr_hit[19] & ((|(4'... | Covered | T18,T33,T38 |
| 19 (addr_hit[18] & ((|(4'... | Covered | T18,T33,T38 |
| 18 (addr_hit[17] & ((|(4'... | Covered | T18,T33,T38 |
| 17 (addr_hit[16] & ((|(4'... | Covered | T18,T33,T38 |
| 16 (addr_hit[15] & ((|(4'... | Covered | T18,T33,T38 |
| 15 (addr_hit[14] & ((|(4'... | Covered | T18,T33,T38 |
| 14 (addr_hit[13] & ((|(4'... | Covered | T18,T19,T33 |
| 13 (addr_hit[12] & ((|(4'... | Covered | T3,T18,T4 |
| 12 (addr_hit[11] & ((|(4'... | Covered | T18,T11,T12 |
| 11 (addr_hit[10] & ((|(4'... | Covered | T18,T33,T38 |
| 10 (addr_hit[9] & ((|(4'b... | Covered | T18,T11,T12 |
| 9 (addr_hit[8] & ((|(4'b... | Covered | T18,T33,T38 |
| 8 (addr_hit[7] & ((|(4'b... | Covered | T18,T33,T38 |
| 7 (addr_hit[6] & ((|(4'b... | Covered | T2,T18,T11 |
| 6 (addr_hit[5] & ((|(4'b... | Covered | T2,T3,T6 |
| 5 (addr_hit[4] & ((|(4'b... | Covered | T18,T33,T38 |
| 4 (addr_hit[3] & ((|(4'b... | Covered | T18,T33,T38 |
| 3 (addr_hit[2] & ((|(4'b... | Covered | T18,T33,T38 |
| 2 (addr_hit[1] & ((|(4'b... | Covered | T18,T33,T38 |
| 1 (addr_hit[0] & ((|(4'b... | Covered | T1,T2,T3 |
LINE 2963
SUB-EXPRESSION (addr_hit[0] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 2963
SUB-EXPRESSION (addr_hit[1] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[2] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T18,T33,T38 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T18,T33 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[5] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T6,T7 |
| 1 | 1 | Covered | T2,T3,T6 |
LINE 2963
SUB-EXPRESSION (addr_hit[6] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T18,T11 |
| 1 | 1 | Covered | T2,T18,T11 |
LINE 2963
SUB-EXPRESSION (addr_hit[7] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T6,T7 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[8] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T18,T11,T12 |
LINE 2963
SUB-EXPRESSION (addr_hit[10] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T18,T33,T10 |
| 1 | 1 | Covered | T18,T11,T12 |
LINE 2963
SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T18,T33,T38 |
| 1 | 1 | Covered | T3,T18,T4 |
LINE 2963
SUB-EXPRESSION (addr_hit[13] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T18,T19,T33 |
| 1 | 1 | Covered | T18,T19,T33 |
LINE 2963
SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T18,T33,T10 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[15] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[16] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[19] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[20] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T6 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T18,T4 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[22] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T18,T4 |
| 1 | 1 | Covered | T3,T18,T4 |
LINE 2963
SUB-EXPRESSION (addr_hit[23] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T18,T4 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[24] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T18,T4 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[25] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T18,T33,T10 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2963
SUB-EXPRESSION (addr_hit[26] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T18,T33,T38 |
| 1 | 1 | Covered | T18,T33,T38 |
LINE 2994
EXPRESSION (addr_hit[0] & 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 | T129,T133,T134 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 3013
EXPRESSION (addr_hit[1] & 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,T6 |
| 1 | 1 | 0 | Covered | T113,T129,T133 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 3044
EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T18,T33,T38 |
| 1 | 1 | 0 | Covered | T112,T129,T130 |
| 1 | 1 | 1 | Covered | T15,T86,T63 |
LINE 3075
EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T2,T3,T6 |
| 1 | 0 | 1 | Covered | T1,T18,T33 |
| 1 | 1 | 0 | Covered | T129,T133,T135 |
| 1 | 1 | 1 | Covered | T1,T102,T104 |
LINE 3078
EXPRESSION (addr_hit[4] & 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,T6 |
| 1 | 1 | 0 | Covered | T129,T133,T131 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 3085
EXPRESSION (addr_hit[5] & 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,T6 |
| 1 | 1 | 0 | Covered | T136,T137,T138 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 3086
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,T18,T11 |
| 1 | 1 | 0 | Covered | T112,T139,T137 |
| 1 | 1 | 1 | Covered | T2,T11,T12 |
LINE 3087
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 | T2,T6,T7 |
| 1 | 1 | 0 | Covered | T113,T129,T133 |
| 1 | 1 | 1 | Covered | T2,T6,T7 |
LINE 3100
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 | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T113,T129,T133 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 3109
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,T6 |
| 1 | 1 | 0 | Covered | T129,T134,T135 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 3114
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 | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T111,T129,T133 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 3121
EXPRESSION (addr_hit[11] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T18,T11,T12 |
| 1 | 1 | 0 | Covered | T112,T130,T132 |
| 1 | 1 | 1 | Covered | T11,T12,T37 |
LINE 3122
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,T18,T4 |
| 1 | 1 | 0 | Covered | T140,T141 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 3123
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 | T18,T19,T33 |
| 1 | 1 | 0 | Covered | T133,T135,T142 |
| 1 | 1 | 1 | Covered | T19,T20,T56 |
LINE 3130
EXPRESSION (addr_hit[14] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T18,T33,T38 |
| 1 | 1 | 0 | Covered | T143,T137,T144 |
| 1 | 1 | 1 | Not Covered | |
LINE 3131
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 | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T113,T129,T133 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 3136
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 | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T111,T113,T129 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 3141
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 | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T113,T129,T133 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 3146
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 | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T113,T129,T133 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 3151
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 | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T113,T129,T133 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 3156
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 | T2,T3,T6 |
| 1 | 1 | 0 | Covered | T111,T113,T129 |
| 1 | 1 | 1 | Covered | T2,T3,T6 |
LINE 3161
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 | T3,T18,T4 |
| 1 | 1 | 0 | Covered | T111,T113,T129 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 3170
EXPRESSION (addr_hit[22] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T3,T18,T4 |
| 1 | 1 | 0 | Covered | T143,T144,T145 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 3171
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,T18,T4 |
| 1 | 1 | 0 | Covered | T113,T129,T133 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 3174
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,T18,T4 |
| 1 | 1 | 0 | Covered | T129,T131,T146 |
| 1 | 1 | 1 | Covered | T3,T4,T5 |
LINE 3177
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 | T18,T33,T38 |
| 1 | 1 | 0 | Covered | T129,T143,T147 |
| 1 | 1 | 1 | Covered | T83,T84,T85 |
LINE 3182
EXPRESSION (addr_hit[26] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T18,T33,T38 |
| 1 | 1 | 0 | Covered | T148,T149 |
| 1 | 1 | 1 | Covered | T83,T84,T85 |
Branch Coverage for Module :
i2c_reg_top
| Line No. | Total | Covered | Percent |
| Branches |
|
33 |
33 |
100.00 |
| TERNARY |
2959 |
2 |
2 |
100.00 |
| IF |
68 |
3 |
3 |
100.00 |
| CASE |
3221 |
28 |
28 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_i2c_0.1/rtl/i2c_reg_top.sv' or '../src/lowrisc_ip_i2c_0.1/rtl/i2c_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 2959 ((reg_re || reg_we)) ?
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 68 if ((!rst_ni))
-2-: 70 if ((intg_err || reg_we_err))
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T115,T116,T117 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 3221 case (1'b1)
Branches:
| -1- | Status | Tests |
| addr_hit[0] |
Covered |
T1,T2,T3 |
| addr_hit[1] |
Covered |
T1,T2,T3 |
| addr_hit[2] |
Covered |
T1,T2,T3 |
| addr_hit[3] |
Covered |
T1,T2,T3 |
| addr_hit[4] |
Covered |
T1,T2,T3 |
| addr_hit[5] |
Covered |
T1,T2,T3 |
| addr_hit[6] |
Covered |
T1,T2,T3 |
| addr_hit[7] |
Covered |
T1,T2,T3 |
| addr_hit[8] |
Covered |
T1,T2,T3 |
| addr_hit[9] |
Covered |
T1,T2,T3 |
| addr_hit[10] |
Covered |
T1,T2,T3 |
| addr_hit[11] |
Covered |
T1,T2,T3 |
| addr_hit[12] |
Covered |
T1,T2,T3 |
| addr_hit[13] |
Covered |
T1,T2,T3 |
| addr_hit[14] |
Covered |
T1,T2,T3 |
| addr_hit[15] |
Covered |
T1,T2,T3 |
| addr_hit[16] |
Covered |
T1,T2,T3 |
| addr_hit[17] |
Covered |
T1,T2,T3 |
| addr_hit[18] |
Covered |
T1,T2,T3 |
| addr_hit[19] |
Covered |
T1,T2,T3 |
| addr_hit[20] |
Covered |
T1,T2,T3 |
| addr_hit[21] |
Covered |
T1,T2,T3 |
| addr_hit[22] |
Covered |
T1,T2,T3 |
| addr_hit[23] |
Covered |
T1,T2,T3 |
| addr_hit[24] |
Covered |
T1,T2,T3 |
| addr_hit[25] |
Covered |
T1,T2,T3 |
| addr_hit[26] |
Covered |
T1,T2,T3 |
| default |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
i2c_reg_top
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
en2addrHit |
215649222 |
36483855 |
0 |
0 |
|
reAfterRv |
215649222 |
36483739 |
0 |
0 |
|
rePulse |
215649222 |
33452977 |
0 |
0 |
|
wePulse |
215649222 |
3030762 |
0 |
0 |
en2addrHit
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
215649222 |
36483855 |
0 |
0 |
| T1 |
1531 |
3 |
0 |
0 |
| T2 |
38154 |
18639 |
0 |
0 |
| T3 |
116169 |
18598 |
0 |
0 |
| T4 |
26433 |
4139 |
0 |
0 |
| T6 |
3071 |
196 |
0 |
0 |
| T7 |
12887 |
5971 |
0 |
0 |
| T11 |
220660 |
31761 |
0 |
0 |
| T12 |
396593 |
38113 |
0 |
0 |
| T18 |
4795 |
346 |
0 |
0 |
| T19 |
1249 |
28 |
0 |
0 |
reAfterRv
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
215649222 |
36483739 |
0 |
0 |
| T1 |
1531 |
3 |
0 |
0 |
| T2 |
38154 |
18639 |
0 |
0 |
| T3 |
116169 |
18598 |
0 |
0 |
| T4 |
26433 |
4139 |
0 |
0 |
| T6 |
3071 |
195 |
0 |
0 |
| T7 |
12887 |
5971 |
0 |
0 |
| T11 |
220660 |
31761 |
0 |
0 |
| T12 |
396593 |
38113 |
0 |
0 |
| T18 |
4795 |
345 |
0 |
0 |
| T19 |
1249 |
28 |
0 |
0 |
rePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
215649222 |
33452977 |
0 |
0 |
| T1 |
1531 |
1 |
0 |
0 |
| T2 |
38154 |
13978 |
0 |
0 |
| T3 |
116169 |
17978 |
0 |
0 |
| T4 |
26433 |
3981 |
0 |
0 |
| T6 |
3071 |
105 |
0 |
0 |
| T7 |
12887 |
5871 |
0 |
0 |
| T11 |
220660 |
30965 |
0 |
0 |
| T12 |
396593 |
36770 |
0 |
0 |
| T18 |
4795 |
206 |
0 |
0 |
| T19 |
1249 |
15 |
0 |
0 |
wePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
215649222 |
3030762 |
0 |
0 |
| T1 |
1531 |
2 |
0 |
0 |
| T2 |
38154 |
4661 |
0 |
0 |
| T3 |
116169 |
620 |
0 |
0 |
| T4 |
26433 |
158 |
0 |
0 |
| T6 |
3071 |
90 |
0 |
0 |
| T7 |
12887 |
100 |
0 |
0 |
| T11 |
220660 |
796 |
0 |
0 |
| T12 |
396593 |
1343 |
0 |
0 |
| T18 |
4795 |
139 |
0 |
0 |
| T19 |
1249 |
13 |
0 |
0 |