Line Coverage for Module : 
lc_ctrl_reg_top
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 227 | 227 | 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 | 233 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 248 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 264 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 280 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 496 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 499 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 513 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 535 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 538 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 552 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 558 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 561 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 576 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 592 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 599 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 602 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 616 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 623 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 626 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 640 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 647 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 650 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 664 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 671 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 674 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 688 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 694 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 697 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 711 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 717 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 720 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 734 | 1 | 1 | 100.00 | 
| ALWAYS | 1140 | 36 | 36 | 100.00 | 
| CONT_ASSIGN | 1178 | 1 | 1 | 100.00 | 
| ALWAYS | 1182 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1221 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1223 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1225 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1227 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1228 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1229 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1231 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1232 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1233 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1235 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1236 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1237 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1239 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1240 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1241 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1243 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1245 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1246 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1247 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1249 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1250 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1251 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1253 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1254 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1255 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1257 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1258 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1259 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1261 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1262 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1263 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1265 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1266 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1267 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1269 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1270 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1271 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1272 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1273 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1274 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1275 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1276 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1277 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1278 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1279 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1280 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1281 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1282 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1283 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1284 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1285 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1286 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1287 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1288 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1289 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1290 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1291 | 1 | 1 | 100.00 | 
| ALWAYS | 1295 | 36 | 36 | 100.00 | 
| ALWAYS | 1335 | 53 | 53 | 100.00 | 
| CONT_ASSIGN | 1504 | 0 | 0 |  | 
| CONT_ASSIGN | 1512 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1513 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv' or '../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_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 | 
| 233 | 
1 | 
1 | 
| 248 | 
1 | 
1 | 
| 264 | 
1 | 
1 | 
| 280 | 
1 | 
1 | 
| 496 | 
1 | 
1 | 
| 499 | 
1 | 
1 | 
| 513 | 
1 | 
1 | 
| 535 | 
1 | 
1 | 
| 538 | 
1 | 
1 | 
| 552 | 
1 | 
1 | 
| 558 | 
1 | 
1 | 
| 561 | 
1 | 
1 | 
| 576 | 
1 | 
1 | 
| 592 | 
1 | 
1 | 
| 599 | 
1 | 
1 | 
| 602 | 
1 | 
1 | 
| 616 | 
1 | 
1 | 
| 623 | 
1 | 
1 | 
| 626 | 
1 | 
1 | 
| 640 | 
1 | 
1 | 
| 647 | 
1 | 
1 | 
| 650 | 
1 | 
1 | 
| 664 | 
1 | 
1 | 
| 671 | 
1 | 
1 | 
| 674 | 
1 | 
1 | 
| 688 | 
1 | 
1 | 
| 694 | 
1 | 
1 | 
| 697 | 
1 | 
1 | 
| 711 | 
1 | 
1 | 
| 717 | 
1 | 
1 | 
| 720 | 
1 | 
1 | 
| 734 | 
1 | 
1 | 
| 1140 | 
1 | 
1 | 
| 1141 | 
1 | 
1 | 
| 1142 | 
1 | 
1 | 
| 1143 | 
1 | 
1 | 
| 1144 | 
1 | 
1 | 
| 1145 | 
1 | 
1 | 
| 1146 | 
1 | 
1 | 
| 1147 | 
1 | 
1 | 
| 1148 | 
1 | 
1 | 
| 1149 | 
1 | 
1 | 
| 1150 | 
1 | 
1 | 
| 1151 | 
1 | 
1 | 
| 1152 | 
1 | 
1 | 
| 1153 | 
1 | 
1 | 
| 1154 | 
1 | 
1 | 
| 1155 | 
1 | 
1 | 
| 1156 | 
1 | 
1 | 
| 1157 | 
1 | 
1 | 
| 1158 | 
1 | 
1 | 
| 1159 | 
1 | 
1 | 
| 1160 | 
1 | 
1 | 
| 1161 | 
1 | 
1 | 
| 1162 | 
1 | 
1 | 
| 1163 | 
1 | 
1 | 
| 1164 | 
1 | 
1 | 
| 1165 | 
1 | 
1 | 
| 1166 | 
1 | 
1 | 
| 1167 | 
1 | 
1 | 
| 1168 | 
1 | 
1 | 
| 1169 | 
1 | 
1 | 
| 1170 | 
1 | 
1 | 
| 1171 | 
1 | 
1 | 
| 1172 | 
1 | 
1 | 
| 1173 | 
1 | 
1 | 
| 1174 | 
1 | 
1 | 
| 1175 | 
1 | 
1 | 
| 1178 | 
1 | 
1 | 
| 1182 | 
1 | 
1 | 
| 1221 | 
1 | 
1 | 
| 1223 | 
1 | 
1 | 
| 1225 | 
1 | 
1 | 
| 1227 | 
1 | 
1 | 
| 1228 | 
1 | 
1 | 
| 1229 | 
1 | 
1 | 
| 1231 | 
1 | 
1 | 
| 1232 | 
1 | 
1 | 
| 1233 | 
1 | 
1 | 
| 1235 | 
1 | 
1 | 
| 1236 | 
1 | 
1 | 
| 1237 | 
1 | 
1 | 
| 1239 | 
1 | 
1 | 
| 1240 | 
1 | 
1 | 
| 1241 | 
1 | 
1 | 
| 1243 | 
1 | 
1 | 
| 1245 | 
1 | 
1 | 
| 1246 | 
1 | 
1 | 
| 1247 | 
1 | 
1 | 
| 1249 | 
1 | 
1 | 
| 1250 | 
1 | 
1 | 
| 1251 | 
1 | 
1 | 
| 1253 | 
1 | 
1 | 
| 1254 | 
1 | 
1 | 
| 1255 | 
1 | 
1 | 
| 1257 | 
1 | 
1 | 
| 1258 | 
1 | 
1 | 
| 1259 | 
1 | 
1 | 
| 1261 | 
1 | 
1 | 
| 1262 | 
1 | 
1 | 
| 1263 | 
1 | 
1 | 
| 1265 | 
1 | 
1 | 
| 1266 | 
1 | 
1 | 
| 1267 | 
1 | 
1 | 
| 1269 | 
1 | 
1 | 
| 1270 | 
1 | 
1 | 
| 1271 | 
1 | 
1 | 
| 1272 | 
1 | 
1 | 
| 1273 | 
1 | 
1 | 
| 1274 | 
1 | 
1 | 
| 1275 | 
1 | 
1 | 
| 1276 | 
1 | 
1 | 
| 1277 | 
1 | 
1 | 
| 1278 | 
1 | 
1 | 
| 1279 | 
1 | 
1 | 
| 1280 | 
1 | 
1 | 
| 1281 | 
1 | 
1 | 
| 1282 | 
1 | 
1 | 
| 1283 | 
1 | 
1 | 
| 1284 | 
1 | 
1 | 
| 1285 | 
1 | 
1 | 
| 1286 | 
1 | 
1 | 
| 1287 | 
1 | 
1 | 
| 1288 | 
1 | 
1 | 
| 1289 | 
1 | 
1 | 
| 1290 | 
1 | 
1 | 
| 1291 | 
1 | 
1 | 
| 1295 | 
1 | 
1 | 
| 1296 | 
1 | 
1 | 
| 1297 | 
1 | 
1 | 
| 1298 | 
1 | 
1 | 
| 1299 | 
1 | 
1 | 
| 1300 | 
1 | 
1 | 
| 1301 | 
1 | 
1 | 
| 1302 | 
1 | 
1 | 
| 1303 | 
1 | 
1 | 
| 1304 | 
1 | 
1 | 
| 1305 | 
1 | 
1 | 
| 1306 | 
1 | 
1 | 
| 1307 | 
1 | 
1 | 
| 1308 | 
1 | 
1 | 
| 1309 | 
1 | 
1 | 
| 1310 | 
1 | 
1 | 
| 1311 | 
1 | 
1 | 
| 1312 | 
1 | 
1 | 
| 1313 | 
1 | 
1 | 
| 1314 | 
1 | 
1 | 
| 1315 | 
1 | 
1 | 
| 1316 | 
1 | 
1 | 
| 1317 | 
1 | 
1 | 
| 1318 | 
1 | 
1 | 
| 1319 | 
1 | 
1 | 
| 1320 | 
1 | 
1 | 
| 1321 | 
1 | 
1 | 
| 1322 | 
1 | 
1 | 
| 1323 | 
1 | 
1 | 
| 1324 | 
1 | 
1 | 
| 1325 | 
1 | 
1 | 
| 1326 | 
1 | 
1 | 
| 1327 | 
1 | 
1 | 
| 1328 | 
1 | 
1 | 
| 1329 | 
1 | 
1 | 
| 1330 | 
1 | 
1 | 
| 1335 | 
1 | 
1 | 
| 1336 | 
1 | 
1 | 
| 1338 | 
1 | 
1 | 
| 1339 | 
1 | 
1 | 
| 1340 | 
1 | 
1 | 
| 1344 | 
1 | 
1 | 
| 1345 | 
1 | 
1 | 
| 1346 | 
1 | 
1 | 
| 1347 | 
1 | 
1 | 
| 1348 | 
1 | 
1 | 
| 1349 | 
1 | 
1 | 
| 1350 | 
1 | 
1 | 
| 1351 | 
1 | 
1 | 
| 1352 | 
1 | 
1 | 
| 1353 | 
1 | 
1 | 
| 1354 | 
1 | 
1 | 
| 1355 | 
1 | 
1 | 
| 1359 | 
1 | 
1 | 
| 1363 | 
1 | 
1 | 
| 1367 | 
1 | 
1 | 
| 1371 | 
1 | 
1 | 
| 1375 | 
1 | 
1 | 
| 1376 | 
1 | 
1 | 
| 1380 | 
1 | 
1 | 
| 1384 | 
1 | 
1 | 
| 1388 | 
1 | 
1 | 
| 1392 | 
1 | 
1 | 
| 1396 | 
1 | 
1 | 
| 1400 | 
1 | 
1 | 
| 1404 | 
1 | 
1 | 
| 1408 | 
1 | 
1 | 
| 1412 | 
1 | 
1 | 
| 1416 | 
1 | 
1 | 
| 1420 | 
1 | 
1 | 
| 1421 | 
1 | 
1 | 
| 1425 | 
1 | 
1 | 
| 1426 | 
1 | 
1 | 
| 1430 | 
1 | 
1 | 
| 1434 | 
1 | 
1 | 
| 1438 | 
1 | 
1 | 
| 1442 | 
1 | 
1 | 
| 1446 | 
1 | 
1 | 
| 1450 | 
1 | 
1 | 
| 1454 | 
1 | 
1 | 
| 1458 | 
1 | 
1 | 
| 1462 | 
1 | 
1 | 
| 1466 | 
1 | 
1 | 
| 1470 | 
1 | 
1 | 
| 1474 | 
1 | 
1 | 
| 1478 | 
1 | 
1 | 
| 1482 | 
1 | 
1 | 
| 1486 | 
1 | 
1 | 
| 1490 | 
1 | 
1 | 
| 1504 | 
 | 
unreachable | 
| 1512 | 
1 | 
1 | 
| 1513 | 
1 | 
1 | 
Cond Coverage for Module : 
lc_ctrl_reg_top
 | Total | Covered | Percent | 
| Conditions | 432 | 425 | 98.38 | 
| Logical | 432 | 425 | 98.38 | 
| 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 | T97,T99,T101 | 
| 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 | T14,T91,T92 | 
| 1 | 0 | Covered | T98,T101,T102 | 
 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 | T14,T91,T92 | 
| 0 | 1 | 0 | Covered | T98,T101,T102 | 
| 1 | 0 | 0 | Covered | T14,T91,T92 | 
 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 | T98,T101,T102 | 
| 0 | 1 | 0 | Covered | T100,T97,T99 | 
| 1 | 0 | 0 | Covered | T97,T99,T103 | 
 LINE       499
 EXPRESSION (claim_transition_if_we & claim_transition_if_regwen_qs)
             -----------1----------   --------------2--------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Covered | T98,T104,T105 | 
| 1 | 1 | Covered | T2,T4,T5 | 
 LINE       538
 EXPRESSION (transition_cmd_we & transition_regwen_qs)
             --------1--------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T4,T6 | 
| 1 | 0 | Covered | T4,T5,T6 | 
| 1 | 1 | Covered | T2,T4,T6 | 
 LINE       561
 EXPRESSION (transition_ctrl_we & transition_regwen_qs)
             ---------1--------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T4,T6 | 
| 1 | 0 | Covered | T6,T11,T12 | 
| 1 | 1 | Covered | T6,T10,T11 | 
 LINE       602
 EXPRESSION (transition_token_0_we & transition_regwen_qs)
             ----------1----------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T4,T6 | 
| 1 | 0 | Covered | T4,T5,T6 | 
| 1 | 1 | Covered | T2,T4,T6 | 
 LINE       626
 EXPRESSION (transition_token_1_we & transition_regwen_qs)
             ----------1----------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T4,T6 | 
| 1 | 0 | Covered | T4,T5,T6 | 
| 1 | 1 | Covered | T2,T4,T6 | 
 LINE       650
 EXPRESSION (transition_token_2_we & transition_regwen_qs)
             ----------1----------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T4,T6 | 
| 1 | 0 | Covered | T4,T5,T6 | 
| 1 | 1 | Covered | T2,T4,T6 | 
 LINE       674
 EXPRESSION (transition_token_3_we & transition_regwen_qs)
             ----------1----------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T4,T6 | 
| 1 | 0 | Covered | T4,T5,T6 | 
| 1 | 1 | Covered | T2,T4,T6 | 
 LINE       697
 EXPRESSION (transition_target_we & transition_regwen_qs)
             ----------1---------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T4,T6 | 
| 1 | 0 | Covered | T4,T5,T6 | 
| 1 | 1 | Covered | T2,T4,T6 | 
 LINE       720
 EXPRESSION (otp_vendor_test_ctrl_we & transition_regwen_qs)
             -----------1-----------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T4,T6 | 
| 1 | 0 | Covered | T4,T5,T6 | 
| 1 | 1 | Covered | T2,T4,T6 | 
 LINE       1141
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_ALERT_TEST_OFFSET)
            ----------------------------1---------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T3,T4 | 
 LINE       1142
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_STATUS_OFFSET)
            --------------------------1-------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T4,T5 | 
 LINE       1143
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_CLAIM_TRANSITION_IF_REGWEN_OFFSET)
            ------------------------------------1-----------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T4,T12,T14 | 
 LINE       1144
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_CLAIM_TRANSITION_IF_OFFSET)
            --------------------------------1--------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T4,T5 | 
 LINE       1145
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_REGWEN_OFFSET)
            -------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T4,T6 | 
 LINE       1146
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_CMD_OFFSET)
            ------------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T4,T5 | 
 LINE       1147
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_CTRL_OFFSET)
            ------------------------------1------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T4,T6,T10 | 
 LINE       1148
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_0_OFFSET)
            --------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T4 | 
 LINE       1149
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_1_OFFSET)
            --------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T4,T5 | 
 LINE       1150
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_2_OFFSET)
            --------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T4 | 
 LINE       1151
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_3_OFFSET)
            --------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T4,T5 | 
 LINE       1152
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TARGET_OFFSET)
            -------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T3,T4 | 
 LINE       1153
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_OTP_VENDOR_TEST_CTRL_OFFSET)
            ---------------------------------1--------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T4,T5 | 
 LINE       1154
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_OTP_VENDOR_TEST_STATUS_OFFSET)
            ----------------------------------1---------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T3,T4 | 
 LINE       1155
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_LC_STATE_OFFSET)
            ---------------------------1--------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T4 | 
 LINE       1156
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_LC_TRANSITION_CNT_OFFSET)
            -------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T4 | 
 LINE       1157
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_LC_ID_STATE_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T4,T12,T14 | 
 LINE       1158
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_HW_REVISION0_OFFSET)
            -----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T4 | 
 LINE       1159
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_HW_REVISION1_OFFSET)
            -----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T4,T5 | 
 LINE       1160
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_0_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T4 | 
 LINE       1161
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_1_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T4 | 
 LINE       1162
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_2_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T4 | 
 LINE       1163
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_3_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T4,T5 | 
 LINE       1164
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_4_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T3,T4 | 
 LINE       1165
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_5_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T4 | 
 LINE       1166
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_6_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T4,T5 | 
 LINE       1167
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_7_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T4,T5 | 
 LINE       1168
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_0_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T4 | 
 LINE       1169
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_1_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T4,T5 | 
 LINE       1170
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_2_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T4,T5 | 
 LINE       1171
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_3_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T4,T5 | 
 LINE       1172
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_4_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T4 | 
 LINE       1173
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_5_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T4 | 
 LINE       1174
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_6_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T4,T5 | 
 LINE       1175
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_7_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T4,T5 | 
 LINE       1178
 EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
             ---------1--------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T2,T3 | 
 LINE       1178
 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 | T2,T4,T5 | 
 LINE       1182
 EXPRESSION 
 Number  Term
      1  reg_we & 
      2  ((addr_hit[0] & ((|(4'b1 & (~reg_be))))) | (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | (addr_hit[5] & ((|(4'b1 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1 & (~reg_be))))) | (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1111 & (~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'b1111 & (~reg_be))))) | (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[15] & ((|(4'b1 & (~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'b1111 & (~reg_be))))) | (addr_hit[23] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[26] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[27] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[28] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[29] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[30] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[31] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[32] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[33] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[34] & ((|(4'b1111 & (~reg_be)))))))
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T1,T2,T3 | 
| 1 | 1 | Covered | T100,T97,T98 | 
 LINE       1182
 SUB-EXPRESSION 
 Number  Term
      1  (addr_hit[0] & ((|(4'b1 & (~reg_be))))) | 
      2  (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) | 
      3  (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | 
      4  (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | 
      5  (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | 
      6  (addr_hit[5] & ((|(4'b1 & (~reg_be))))) | 
      7  (addr_hit[6] & ((|(4'b1 & (~reg_be))))) | 
      8  (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) | 
      9  (addr_hit[8] & ((|(4'b1111 & (~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'b1111 & (~reg_be))))) | 
     15  (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) | 
     16  (addr_hit[15] & ((|(4'b1 & (~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'b1111 & (~reg_be))))) | 
     24  (addr_hit[23] & ((|(4'b1111 & (~reg_be))))) | 
     25  (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) | 
     26  (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) | 
     27  (addr_hit[26] & ((|(4'b1111 & (~reg_be))))) | 
     28  (addr_hit[27] & ((|(4'b1111 & (~reg_be))))) | 
     29  (addr_hit[28] & ((|(4'b1111 & (~reg_be))))) | 
     30  (addr_hit[29] & ((|(4'b1111 & (~reg_be))))) | 
     31  (addr_hit[30] & ((|(4'b1111 & (~reg_be))))) | 
     32  (addr_hit[31] & ((|(4'b1111 & (~reg_be))))) | 
     33  (addr_hit[32] & ((|(4'b1111 & (~reg_be))))) | 
     34  (addr_hit[33] & ((|(4'b1111 & (~reg_be))))) | 
     35  (addr_hit[34] & ((|(4'b1111 & (~reg_be))))))
| Sensitive Expression == 1 | Status | Tests |                       
| ALL ZEROS | Covered | T1,T2,T3 | 
| 35 (addr_hit[34] & ((|(4'... | Covered | T4,T6,T12 | 
| 34 (addr_hit[33] & ((|(4'... | Covered | T4,T6,T11 | 
| 33 (addr_hit[32] & ((|(4'... | Covered | T1,T4,T6 | 
| 32 (addr_hit[31] & ((|(4'... | Covered | T1,T4,T6 | 
| 31 (addr_hit[30] & ((|(4'... | Covered | T4,T6,T12 | 
| 30 (addr_hit[29] & ((|(4'... | Covered | T4,T6,T11 | 
| 29 (addr_hit[28] & ((|(4'... | Covered | T4,T6,T11 | 
| 28 (addr_hit[27] & ((|(4'... | Covered | T1,T4,T6 | 
| 27 (addr_hit[26] & ((|(4'... | Covered | T4,T6,T11 | 
| 26 (addr_hit[25] & ((|(4'... | Covered | T4,T6,T11 | 
| 25 (addr_hit[24] & ((|(4'... | Covered | T1,T4,T6 | 
| 24 (addr_hit[23] & ((|(4'... | Covered | T3,T4,T6 | 
| 23 (addr_hit[22] & ((|(4'... | Covered | T4,T6,T11 | 
| 22 (addr_hit[21] & ((|(4'... | Covered | T1,T4,T6 | 
| 21 (addr_hit[20] & ((|(4'... | Covered | T1,T4,T6 | 
| 20 (addr_hit[19] & ((|(4'... | Covered | T1,T4,T6 | 
| 19 (addr_hit[18] & ((|(4'... | Covered | T4,T6,T11 | 
| 18 (addr_hit[17] & ((|(4'... | Covered | T1,T4,T6 | 
| 17 (addr_hit[16] & ((|(4'... | Covered | T4,T12,T14 | 
| 16 (addr_hit[15] & ((|(4'... | Covered | T1,T4,T6 | 
| 15 (addr_hit[14] & ((|(4'... | Covered | T1,T4,T6 | 
| 14 (addr_hit[13] & ((|(4'... | Covered | T3,T4,T6 | 
| 13 (addr_hit[12] & ((|(4'... | Covered | T4,T6,T11 | 
| 12 (addr_hit[11] & ((|(4'... | Covered | T3,T4,T6 | 
| 11 (addr_hit[10] & ((|(4'... | Covered | T4,T6,T11 | 
| 10 (addr_hit[9] & ((|(4'b... | Covered | T1,T4,T6 | 
| 9 (addr_hit[8] & ((|(4'b... | Covered | T4,T6,T11 | 
| 8 (addr_hit[7] & ((|(4'b... | Covered | T1,T4,T6 | 
| 7 (addr_hit[6] & ((|(4'b... | Covered | T4,T6,T11 | 
| 6 (addr_hit[5] & ((|(4'b... | Covered | T4,T6,T11 | 
| 5 (addr_hit[4] & ((|(4'b... | Covered | T1,T4,T6 | 
| 4 (addr_hit[3] & ((|(4'b... | Covered | T4,T6,T11 | 
| 3 (addr_hit[2] & ((|(4'b... | Covered | T4,T12,T14 | 
| 2 (addr_hit[1] & ((|(4'b... | Covered | T4,T6,T10 | 
| 1 (addr_hit[0] & ((|(4'b... | Covered | T1,T4,T12 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T1,T3,T4 | 
| 1 | 1 | Covered | T1,T4,T12 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[1] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T4,T6,T10 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[2] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T12,T14 | 
| 1 | 1 | Covered | T4,T12,T14 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[5] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[6] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T10 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[7] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[8] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[10] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T3,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[13] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T3,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[15] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[16] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T19,T32 | 
| 1 | 1 | Covered | T4,T12,T14 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T1,T2,T4 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[19] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[20] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[22] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[23] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T3,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[24] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[25] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[26] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[27] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[28] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[29] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[30] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T4,T6,T12 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[31] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[32] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[33] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[34] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T2,T4,T5 | 
| 1 | 1 | Covered | T4,T6,T12 | 
 LINE       1221
 EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 1 | 0 | Covered | T97,T99,T106 | 
| 1 | 1 | 1 | Covered | T1,T3,T29 | 
 LINE       1228
 EXPRESSION (addr_hit[1] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T4,T5 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1229
 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 | T4,T12,T14 | 
| 1 | 1 | 0 | Covered | T97,T99,T103 | 
| 1 | 1 | 1 | Covered | T107,T108,T98 | 
 LINE       1232
 EXPRESSION (addr_hit[3] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T4,T5 | 
| 1 | 1 | 0 | Covered | T102,T109,T110 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1233
 EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | 1 | Covered | T2,T4,T5 | 
| 1 | 1 | 0 | Covered | T97,T111,T112 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1236
 EXPRESSION (addr_hit[4] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T1,T4,T6 | 
| 1 | 1 | 0 | Covered | T113 | 
| 1 | 1 | 1 | Covered | T6,T11,T19 | 
 LINE       1237
 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,T4,T5 | 
| 1 | 1 | 0 | Covered | T97,T103,T106 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1240
 EXPRESSION (addr_hit[6] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 1 | 0 | Covered | T114,T115,T113 | 
| 1 | 1 | 1 | Covered | T6,T10,T11 | 
 LINE       1241
 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 | T4,T6,T10 | 
| 1 | 1 | 0 | Covered | T97,T103,T111 | 
| 1 | 1 | 1 | Covered | T6,T10,T11 | 
 LINE       1246
 EXPRESSION (addr_hit[7] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T1,T2,T4 | 
| 1 | 1 | 0 | Covered | T116 | 
| 1 | 1 | 1 | Covered | T6,T11,T19 | 
 LINE       1247
 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 | T1,T2,T4 | 
| 1 | 1 | 0 | Covered | T106,T111,T112 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1250
 EXPRESSION (addr_hit[8] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T4,T5 | 
| 1 | 1 | 0 | Covered | T117,T118,T119 | 
| 1 | 1 | 1 | Covered | T6,T11,T19 | 
 LINE       1251
 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,T4,T5 | 
| 1 | 1 | 0 | Covered | T97,T103,T106 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1254
 EXPRESSION (addr_hit[9] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T1,T2,T4 | 
| 1 | 1 | 0 | Covered | T120 | 
| 1 | 1 | 1 | Covered | T6,T11,T19 | 
 LINE       1255
 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,T2,T4 | 
| 1 | 1 | 0 | Covered | T98,T103,T106 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1258
 EXPRESSION (addr_hit[10] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T4,T5 | 
| 1 | 1 | 0 | Covered | T98,T109 | 
| 1 | 1 | 1 | Covered | T6,T11,T19 | 
 LINE       1259
 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,T4,T5 | 
| 1 | 1 | 0 | Covered | T97,T103,T106 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1262
 EXPRESSION (addr_hit[11] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T3,T4 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T6,T11,T19 | 
 LINE       1263
 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 | T97,T99,T103 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1266
 EXPRESSION (addr_hit[12] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T4,T5 | 
| 1 | 1 | 0 | Covered | T121,T113 | 
| 1 | 1 | 1 | Covered | T6,T11,T19 | 
 LINE       1267
 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,T4,T5 | 
| 1 | 1 | 0 | Covered | T97,T103,T106 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1270
 EXPRESSION (addr_hit[13] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T3,T4 | 
| 1 | 1 | 0 | Covered | T121,T122 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1271
 EXPRESSION (addr_hit[14] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T1,T2,T4 | 
| 1 | 1 | 0 | Covered | T98,T109,T119 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1272
 EXPRESSION (addr_hit[15] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T1,T2,T4 | 
| 1 | 1 | 0 | Covered | T119 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1273
 EXPRESSION (addr_hit[16] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T4,T12,T14 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Not Covered |  | 
 LINE       1274
 EXPRESSION (addr_hit[17] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T1,T2,T4 | 
| 1 | 1 | 0 | Covered | T120 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1275
 EXPRESSION (addr_hit[18] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T4,T5 | 
| 1 | 1 | 0 | Covered | T98,T118 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1276
 EXPRESSION (addr_hit[19] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T1,T2,T4 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1277
 EXPRESSION (addr_hit[20] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T1,T2,T4 | 
| 1 | 1 | 0 | Covered | T101,T102,T121 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1278
 EXPRESSION (addr_hit[21] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T1,T2,T4 | 
| 1 | 1 | 0 | Covered | T118 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1279
 EXPRESSION (addr_hit[22] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T4,T5 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1280
 EXPRESSION (addr_hit[23] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T3,T4 | 
| 1 | 1 | 0 | Covered | T123 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1281
 EXPRESSION (addr_hit[24] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T1,T2,T4 | 
| 1 | 1 | 0 | Covered | T122,T115,T124 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1282
 EXPRESSION (addr_hit[25] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T4,T5 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1283
 EXPRESSION (addr_hit[26] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T4,T5 | 
| 1 | 1 | 0 | Covered | T120,T119 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1284
 EXPRESSION (addr_hit[27] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T1,T2,T4 | 
| 1 | 1 | 0 | Covered | T119 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1285
 EXPRESSION (addr_hit[28] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T4,T5 | 
| 1 | 1 | 0 | Covered | T115 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1286
 EXPRESSION (addr_hit[29] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T4,T5 | 
| 1 | 1 | 0 | Covered | T102,T114 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1287
 EXPRESSION (addr_hit[30] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T4,T5 | 
| 1 | 1 | 0 | Covered | T110,T125,T120 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1288
 EXPRESSION (addr_hit[31] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T1,T2,T4 | 
| 1 | 1 | 0 | Covered | T101 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1289
 EXPRESSION (addr_hit[32] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T1,T2,T4 | 
| 1 | 1 | 0 | Covered | T122 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1290
 EXPRESSION (addr_hit[33] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T4,T5 | 
| 1 | 1 | 0 | Covered | T102,T126,T109 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
 LINE       1291
 EXPRESSION (addr_hit[34] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T2,T4,T5 | 
| 1 | 0 | 1 | Covered | T2,T4,T5 | 
| 1 | 1 | 0 | Covered | T98,T109,T110 | 
| 1 | 1 | 1 | Covered | T2,T4,T5 | 
Branch Coverage for Module : 
lc_ctrl_reg_top
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
41 | 
41 | 
100.00 | 
| TERNARY | 
1178 | 
2 | 
2 | 
100.00 | 
| IF | 
68 | 
3 | 
3 | 
100.00 | 
| CASE | 
1336 | 
36 | 
36 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv' or '../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	1178	((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 | 
T14,T91,T92 | 
| 0 | 
0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	1336	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 | 
| addr_hit[27]  | 
Covered | 
T1,T2,T3 | 
| addr_hit[28]  | 
Covered | 
T1,T2,T3 | 
| addr_hit[29]  | 
Covered | 
T1,T2,T3 | 
| addr_hit[30]  | 
Covered | 
T1,T2,T3 | 
| addr_hit[31]  | 
Covered | 
T1,T2,T3 | 
| addr_hit[32]  | 
Covered | 
T1,T2,T3 | 
| addr_hit[33]  | 
Covered | 
T1,T2,T3 | 
| addr_hit[34]  | 
Covered | 
T1,T2,T3 | 
| default | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Module : 
lc_ctrl_reg_top
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
en2addrHit | 
213844974 | 
3471633 | 
0 | 
0 | 
| 
reAfterRv | 
213844974 | 
3471633 | 
0 | 
0 | 
| 
rePulse | 
213844974 | 
2977437 | 
0 | 
0 | 
| 
wePulse | 
213844974 | 
494196 | 
0 | 
0 | 
en2addrHit
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
213844974 | 
3471633 | 
0 | 
0 | 
| T1 | 
2055 | 
31 | 
0 | 
0 | 
| T2 | 
100942 | 
383 | 
0 | 
0 | 
| T3 | 
2208 | 
5 | 
0 | 
0 | 
| T4 | 
60352 | 
1365 | 
0 | 
0 | 
| T5 | 
463252 | 
1232 | 
0 | 
0 | 
| T6 | 
1062666 | 
85318 | 
0 | 
0 | 
| T7 | 
0 | 
124 | 
0 | 
0 | 
| T10 | 
2012 | 
58 | 
0 | 
0 | 
| T11 | 
1745992 | 
21142 | 
0 | 
0 | 
| T12 | 
4588 | 
377 | 
0 | 
0 | 
| T13 | 
9494 | 
335 | 
0 | 
0 | 
| T14 | 
20536 | 
158 | 
0 | 
0 | 
| T15 | 
0 | 
64 | 
0 | 
0 | 
| T16 | 
0 | 
156 | 
0 | 
0 | 
| T17 | 
0 | 
1342 | 
0 | 
0 | 
| T18 | 
0 | 
1499 | 
0 | 
0 | 
| T19 | 
0 | 
2400 | 
0 | 
0 | 
| T20 | 
0 | 
40 | 
0 | 
0 | 
reAfterRv
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
213844974 | 
3471633 | 
0 | 
0 | 
| T1 | 
2055 | 
31 | 
0 | 
0 | 
| T2 | 
100942 | 
383 | 
0 | 
0 | 
| T3 | 
2208 | 
5 | 
0 | 
0 | 
| T4 | 
60352 | 
1365 | 
0 | 
0 | 
| T5 | 
463252 | 
1232 | 
0 | 
0 | 
| T6 | 
1062666 | 
85318 | 
0 | 
0 | 
| T7 | 
0 | 
124 | 
0 | 
0 | 
| T10 | 
2012 | 
58 | 
0 | 
0 | 
| T11 | 
1745992 | 
21142 | 
0 | 
0 | 
| T12 | 
4588 | 
377 | 
0 | 
0 | 
| T13 | 
9494 | 
335 | 
0 | 
0 | 
| T14 | 
20536 | 
158 | 
0 | 
0 | 
| T15 | 
0 | 
64 | 
0 | 
0 | 
| T16 | 
0 | 
156 | 
0 | 
0 | 
| T17 | 
0 | 
1342 | 
0 | 
0 | 
| T18 | 
0 | 
1499 | 
0 | 
0 | 
| T19 | 
0 | 
2400 | 
0 | 
0 | 
| T20 | 
0 | 
40 | 
0 | 
0 | 
rePulse
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
213844974 | 
2977437 | 
0 | 
0 | 
| T2 | 
50471 | 
223 | 
0 | 
0 | 
| T3 | 
1104 | 
0 | 
0 | 
0 | 
| T4 | 
60352 | 
749 | 
0 | 
0 | 
| T5 | 
463252 | 
640 | 
0 | 
0 | 
| T6 | 
1062666 | 
83398 | 
0 | 
0 | 
| T7 | 
0 | 
68 | 
0 | 
0 | 
| T10 | 
2012 | 
42 | 
0 | 
0 | 
| T11 | 
1745992 | 
18985 | 
0 | 
0 | 
| T12 | 
4588 | 
316 | 
0 | 
0 | 
| T13 | 
9494 | 
271 | 
0 | 
0 | 
| T14 | 
41072 | 
158 | 
0 | 
0 | 
| T15 | 
2778 | 
40 | 
0 | 
0 | 
| T16 | 
0 | 
62 | 
0 | 
0 | 
| T17 | 
0 | 
646 | 
0 | 
0 | 
| T18 | 
0 | 
739 | 
0 | 
0 | 
| T19 | 
0 | 
1434 | 
0 | 
0 | 
| T20 | 
0 | 
22 | 
0 | 
0 | 
| T36 | 
1481 | 
140 | 
0 | 
0 | 
| T88 | 
0 | 
432 | 
0 | 
0 | 
wePulse
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
213844974 | 
494196 | 
0 | 
0 | 
| T1 | 
2055 | 
31 | 
0 | 
0 | 
| T2 | 
100942 | 
160 | 
0 | 
0 | 
| T3 | 
2208 | 
5 | 
0 | 
0 | 
| T4 | 
60352 | 
616 | 
0 | 
0 | 
| T5 | 
463252 | 
592 | 
0 | 
0 | 
| T6 | 
1062666 | 
1920 | 
0 | 
0 | 
| T7 | 
0 | 
56 | 
0 | 
0 | 
| T10 | 
2012 | 
16 | 
0 | 
0 | 
| T11 | 
1745992 | 
2157 | 
0 | 
0 | 
| T12 | 
4588 | 
61 | 
0 | 
0 | 
| T13 | 
9494 | 
64 | 
0 | 
0 | 
| T14 | 
20536 | 
0 | 
0 | 
0 | 
| T15 | 
0 | 
24 | 
0 | 
0 | 
| T16 | 
0 | 
94 | 
0 | 
0 | 
| T17 | 
0 | 
696 | 
0 | 
0 | 
| T18 | 
0 | 
760 | 
0 | 
0 | 
| T19 | 
0 | 
966 | 
0 | 
0 | 
| T20 | 
0 | 
18 | 
0 | 
0 | 
| T36 | 
0 | 
16 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_reg
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 227 | 227 | 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 | 233 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 248 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 264 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 280 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 496 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 499 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 513 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 535 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 538 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 552 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 558 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 561 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 576 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 592 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 599 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 602 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 616 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 623 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 626 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 640 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 647 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 650 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 664 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 671 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 674 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 688 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 694 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 697 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 711 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 717 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 720 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 734 | 1 | 1 | 100.00 | 
| ALWAYS | 1140 | 36 | 36 | 100.00 | 
| CONT_ASSIGN | 1178 | 1 | 1 | 100.00 | 
| ALWAYS | 1182 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1221 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1223 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1225 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1227 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1228 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1229 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1231 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1232 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1233 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1235 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1236 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1237 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1239 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1240 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1241 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1243 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1245 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1246 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1247 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1249 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1250 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1251 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1253 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1254 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1255 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1257 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1258 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1259 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1261 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1262 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1263 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1265 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1266 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1267 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1269 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1270 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1271 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1272 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1273 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1274 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1275 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1276 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1277 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1278 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1279 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1280 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1281 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1282 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1283 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1284 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1285 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1286 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1287 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1288 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1289 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1290 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1291 | 1 | 1 | 100.00 | 
| ALWAYS | 1295 | 36 | 36 | 100.00 | 
| ALWAYS | 1335 | 53 | 53 | 100.00 | 
| CONT_ASSIGN | 1504 | 0 | 0 |  | 
| CONT_ASSIGN | 1512 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1513 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv' or '../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_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 | 
| 233 | 
1 | 
1 | 
| 248 | 
1 | 
1 | 
| 264 | 
1 | 
1 | 
| 280 | 
1 | 
1 | 
| 496 | 
1 | 
1 | 
| 499 | 
1 | 
1 | 
| 513 | 
1 | 
1 | 
| 535 | 
1 | 
1 | 
| 538 | 
1 | 
1 | 
| 552 | 
1 | 
1 | 
| 558 | 
1 | 
1 | 
| 561 | 
1 | 
1 | 
| 576 | 
1 | 
1 | 
| 592 | 
1 | 
1 | 
| 599 | 
1 | 
1 | 
| 602 | 
1 | 
1 | 
| 616 | 
1 | 
1 | 
| 623 | 
1 | 
1 | 
| 626 | 
1 | 
1 | 
| 640 | 
1 | 
1 | 
| 647 | 
1 | 
1 | 
| 650 | 
1 | 
1 | 
| 664 | 
1 | 
1 | 
| 671 | 
1 | 
1 | 
| 674 | 
1 | 
1 | 
| 688 | 
1 | 
1 | 
| 694 | 
1 | 
1 | 
| 697 | 
1 | 
1 | 
| 711 | 
1 | 
1 | 
| 717 | 
1 | 
1 | 
| 720 | 
1 | 
1 | 
| 734 | 
1 | 
1 | 
| 1140 | 
1 | 
1 | 
| 1141 | 
1 | 
1 | 
| 1142 | 
1 | 
1 | 
| 1143 | 
1 | 
1 | 
| 1144 | 
1 | 
1 | 
| 1145 | 
1 | 
1 | 
| 1146 | 
1 | 
1 | 
| 1147 | 
1 | 
1 | 
| 1148 | 
1 | 
1 | 
| 1149 | 
1 | 
1 | 
| 1150 | 
1 | 
1 | 
| 1151 | 
1 | 
1 | 
| 1152 | 
1 | 
1 | 
| 1153 | 
1 | 
1 | 
| 1154 | 
1 | 
1 | 
| 1155 | 
1 | 
1 | 
| 1156 | 
1 | 
1 | 
| 1157 | 
1 | 
1 | 
| 1158 | 
1 | 
1 | 
| 1159 | 
1 | 
1 | 
| 1160 | 
1 | 
1 | 
| 1161 | 
1 | 
1 | 
| 1162 | 
1 | 
1 | 
| 1163 | 
1 | 
1 | 
| 1164 | 
1 | 
1 | 
| 1165 | 
1 | 
1 | 
| 1166 | 
1 | 
1 | 
| 1167 | 
1 | 
1 | 
| 1168 | 
1 | 
1 | 
| 1169 | 
1 | 
1 | 
| 1170 | 
1 | 
1 | 
| 1171 | 
1 | 
1 | 
| 1172 | 
1 | 
1 | 
| 1173 | 
1 | 
1 | 
| 1174 | 
1 | 
1 | 
| 1175 | 
1 | 
1 | 
| 1178 | 
1 | 
1 | 
| 1182 | 
1 | 
1 | 
| 1221 | 
1 | 
1 | 
| 1223 | 
1 | 
1 | 
| 1225 | 
1 | 
1 | 
| 1227 | 
1 | 
1 | 
| 1228 | 
1 | 
1 | 
| 1229 | 
1 | 
1 | 
| 1231 | 
1 | 
1 | 
| 1232 | 
1 | 
1 | 
| 1233 | 
1 | 
1 | 
| 1235 | 
1 | 
1 | 
| 1236 | 
1 | 
1 | 
| 1237 | 
1 | 
1 | 
| 1239 | 
1 | 
1 | 
| 1240 | 
1 | 
1 | 
| 1241 | 
1 | 
1 | 
| 1243 | 
1 | 
1 | 
| 1245 | 
1 | 
1 | 
| 1246 | 
1 | 
1 | 
| 1247 | 
1 | 
1 | 
| 1249 | 
1 | 
1 | 
| 1250 | 
1 | 
1 | 
| 1251 | 
1 | 
1 | 
| 1253 | 
1 | 
1 | 
| 1254 | 
1 | 
1 | 
| 1255 | 
1 | 
1 | 
| 1257 | 
1 | 
1 | 
| 1258 | 
1 | 
1 | 
| 1259 | 
1 | 
1 | 
| 1261 | 
1 | 
1 | 
| 1262 | 
1 | 
1 | 
| 1263 | 
1 | 
1 | 
| 1265 | 
1 | 
1 | 
| 1266 | 
1 | 
1 | 
| 1267 | 
1 | 
1 | 
| 1269 | 
1 | 
1 | 
| 1270 | 
1 | 
1 | 
| 1271 | 
1 | 
1 | 
| 1272 | 
1 | 
1 | 
| 1273 | 
1 | 
1 | 
| 1274 | 
1 | 
1 | 
| 1275 | 
1 | 
1 | 
| 1276 | 
1 | 
1 | 
| 1277 | 
1 | 
1 | 
| 1278 | 
1 | 
1 | 
| 1279 | 
1 | 
1 | 
| 1280 | 
1 | 
1 | 
| 1281 | 
1 | 
1 | 
| 1282 | 
1 | 
1 | 
| 1283 | 
1 | 
1 | 
| 1284 | 
1 | 
1 | 
| 1285 | 
1 | 
1 | 
| 1286 | 
1 | 
1 | 
| 1287 | 
1 | 
1 | 
| 1288 | 
1 | 
1 | 
| 1289 | 
1 | 
1 | 
| 1290 | 
1 | 
1 | 
| 1291 | 
1 | 
1 | 
| 1295 | 
1 | 
1 | 
| 1296 | 
1 | 
1 | 
| 1297 | 
1 | 
1 | 
| 1298 | 
1 | 
1 | 
| 1299 | 
1 | 
1 | 
| 1300 | 
1 | 
1 | 
| 1301 | 
1 | 
1 | 
| 1302 | 
1 | 
1 | 
| 1303 | 
1 | 
1 | 
| 1304 | 
1 | 
1 | 
| 1305 | 
1 | 
1 | 
| 1306 | 
1 | 
1 | 
| 1307 | 
1 | 
1 | 
| 1308 | 
1 | 
1 | 
| 1309 | 
1 | 
1 | 
| 1310 | 
1 | 
1 | 
| 1311 | 
1 | 
1 | 
| 1312 | 
1 | 
1 | 
| 1313 | 
1 | 
1 | 
| 1314 | 
1 | 
1 | 
| 1315 | 
1 | 
1 | 
| 1316 | 
1 | 
1 | 
| 1317 | 
1 | 
1 | 
| 1318 | 
1 | 
1 | 
| 1319 | 
1 | 
1 | 
| 1320 | 
1 | 
1 | 
| 1321 | 
1 | 
1 | 
| 1322 | 
1 | 
1 | 
| 1323 | 
1 | 
1 | 
| 1324 | 
1 | 
1 | 
| 1325 | 
1 | 
1 | 
| 1326 | 
1 | 
1 | 
| 1327 | 
1 | 
1 | 
| 1328 | 
1 | 
1 | 
| 1329 | 
1 | 
1 | 
| 1330 | 
1 | 
1 | 
| 1335 | 
1 | 
1 | 
| 1336 | 
1 | 
1 | 
| 1338 | 
1 | 
1 | 
| 1339 | 
1 | 
1 | 
| 1340 | 
1 | 
1 | 
| 1344 | 
1 | 
1 | 
| 1345 | 
1 | 
1 | 
| 1346 | 
1 | 
1 | 
| 1347 | 
1 | 
1 | 
| 1348 | 
1 | 
1 | 
| 1349 | 
1 | 
1 | 
| 1350 | 
1 | 
1 | 
| 1351 | 
1 | 
1 | 
| 1352 | 
1 | 
1 | 
| 1353 | 
1 | 
1 | 
| 1354 | 
1 | 
1 | 
| 1355 | 
1 | 
1 | 
| 1359 | 
1 | 
1 | 
| 1363 | 
1 | 
1 | 
| 1367 | 
1 | 
1 | 
| 1371 | 
1 | 
1 | 
| 1375 | 
1 | 
1 | 
| 1376 | 
1 | 
1 | 
| 1380 | 
1 | 
1 | 
| 1384 | 
1 | 
1 | 
| 1388 | 
1 | 
1 | 
| 1392 | 
1 | 
1 | 
| 1396 | 
1 | 
1 | 
| 1400 | 
1 | 
1 | 
| 1404 | 
1 | 
1 | 
| 1408 | 
1 | 
1 | 
| 1412 | 
1 | 
1 | 
| 1416 | 
1 | 
1 | 
| 1420 | 
1 | 
1 | 
| 1421 | 
1 | 
1 | 
| 1425 | 
1 | 
1 | 
| 1426 | 
1 | 
1 | 
| 1430 | 
1 | 
1 | 
| 1434 | 
1 | 
1 | 
| 1438 | 
1 | 
1 | 
| 1442 | 
1 | 
1 | 
| 1446 | 
1 | 
1 | 
| 1450 | 
1 | 
1 | 
| 1454 | 
1 | 
1 | 
| 1458 | 
1 | 
1 | 
| 1462 | 
1 | 
1 | 
| 1466 | 
1 | 
1 | 
| 1470 | 
1 | 
1 | 
| 1474 | 
1 | 
1 | 
| 1478 | 
1 | 
1 | 
| 1482 | 
1 | 
1 | 
| 1486 | 
1 | 
1 | 
| 1490 | 
1 | 
1 | 
| 1504 | 
 | 
unreachable | 
| 1512 | 
1 | 
1 | 
| 1513 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_reg
 | Total | Covered | Percent | 
| Conditions | 432 | 425 | 98.38 | 
| Logical | 432 | 425 | 98.38 | 
| 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 | T97,T99,T101 | 
| 1 | 1 | Covered | T1,T3,T4 | 
 LINE       70
 EXPRESSION (intg_err || reg_we_err)
             ----1---    -----2----
| -1- | -2- | Status | Tests |                       
| 0 | 0 | Covered | T1,T2,T3 | 
| 0 | 1 | Covered | T14,T91,T92 | 
| 1 | 0 | Covered | T98,T101,T102 | 
 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 | T14,T91,T92 | 
| 0 | 1 | 0 | Covered | T98,T101,T102 | 
| 1 | 0 | 0 | Covered | T14,T91,T92 | 
 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 | T98,T101,T102 | 
| 0 | 1 | 0 | Covered | T100,T97,T99 | 
| 1 | 0 | 0 | Covered | T97,T99,T103 | 
 LINE       499
 EXPRESSION (claim_transition_if_we & claim_transition_if_regwen_qs)
             -----------1----------   --------------2--------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Covered | T98,T105,T101 | 
| 1 | 1 | Covered | T4,T6,T10 | 
 LINE       538
 EXPRESSION (transition_cmd_we & transition_regwen_qs)
             --------1--------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T4,T6,T10 | 
 LINE       561
 EXPRESSION (transition_ctrl_we & transition_regwen_qs)
             ---------1--------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | Covered | T6,T11,T12 | 
| 1 | 1 | Covered | T6,T10,T11 | 
 LINE       602
 EXPRESSION (transition_token_0_we & transition_regwen_qs)
             ----------1----------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T4,T6,T10 | 
 LINE       626
 EXPRESSION (transition_token_1_we & transition_regwen_qs)
             ----------1----------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T4,T6,T10 | 
 LINE       650
 EXPRESSION (transition_token_2_we & transition_regwen_qs)
             ----------1----------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T4,T6,T10 | 
 LINE       674
 EXPRESSION (transition_token_3_we & transition_regwen_qs)
             ----------1----------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T4,T6,T10 | 
 LINE       697
 EXPRESSION (transition_target_we & transition_regwen_qs)
             ----------1---------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T4,T6,T10 | 
 LINE       720
 EXPRESSION (otp_vendor_test_ctrl_we & transition_regwen_qs)
             -----------1-----------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1141
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_ALERT_TEST_OFFSET)
            ----------------------------1---------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T3,T4 | 
 LINE       1142
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_STATUS_OFFSET)
            --------------------------1-------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T6,T10 | 
 LINE       1143
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_CLAIM_TRANSITION_IF_REGWEN_OFFSET)
            ------------------------------------1-----------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T12,T14 | 
 LINE       1144
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_CLAIM_TRANSITION_IF_OFFSET)
            --------------------------------1--------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T6,T10 | 
 LINE       1145
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_REGWEN_OFFSET)
            -------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T4,T6 | 
 LINE       1146
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_CMD_OFFSET)
            ------------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T6,T10 | 
 LINE       1147
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_CTRL_OFFSET)
            ------------------------------1------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T6,T10 | 
 LINE       1148
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_0_OFFSET)
            --------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T4,T6 | 
 LINE       1149
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_1_OFFSET)
            --------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T6,T10 | 
 LINE       1150
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_2_OFFSET)
            --------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T4,T6 | 
 LINE       1151
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_3_OFFSET)
            --------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T6,T10 | 
 LINE       1152
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TARGET_OFFSET)
            -------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T3,T4,T6 | 
 LINE       1153
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_OTP_VENDOR_TEST_CTRL_OFFSET)
            ---------------------------------1--------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T6,T11 | 
 LINE       1154
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_OTP_VENDOR_TEST_STATUS_OFFSET)
            ----------------------------------1---------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T3,T4,T6 | 
 LINE       1155
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_LC_STATE_OFFSET)
            ---------------------------1--------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T4,T6 | 
 LINE       1156
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_LC_TRANSITION_CNT_OFFSET)
            -------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T4,T6 | 
 LINE       1157
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_LC_ID_STATE_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T12,T14 | 
 LINE       1158
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_HW_REVISION0_OFFSET)
            -----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T4,T6 | 
 LINE       1159
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_HW_REVISION1_OFFSET)
            -----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T6,T11 | 
 LINE       1160
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_0_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T4,T6 | 
 LINE       1161
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_1_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T4,T6 | 
 LINE       1162
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_2_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T4,T6 | 
 LINE       1163
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_3_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T6,T11 | 
 LINE       1164
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_4_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T3,T4,T6 | 
 LINE       1165
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_5_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T4,T6 | 
 LINE       1166
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_6_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T6,T11 | 
 LINE       1167
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_7_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T6,T11 | 
 LINE       1168
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_0_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T4,T6 | 
 LINE       1169
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_1_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T6,T11 | 
 LINE       1170
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_2_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T6,T11 | 
 LINE       1171
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_3_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T6,T11 | 
 LINE       1172
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_4_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T4,T6 | 
 LINE       1173
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_5_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T1,T4,T6 | 
 LINE       1174
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_6_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T6,T11 | 
 LINE       1175
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_7_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T3,T4 | 
| 1 | Covered | T4,T6,T11 | 
 LINE       1178
 EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
             ---------1--------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T1,T3,T4 | 
 LINE       1178
 SUB-EXPRESSION (reg_re || reg_we)
                 ---1--    ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 0 | Covered | T1,T2,T3 | 
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T10 | 
 LINE       1182
 EXPRESSION 
 Number  Term
      1  reg_we & 
      2  ((addr_hit[0] & ((|(4'b1 & (~reg_be))))) | (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | (addr_hit[5] & ((|(4'b1 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1 & (~reg_be))))) | (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1111 & (~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'b1111 & (~reg_be))))) | (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[15] & ((|(4'b1 & (~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'b1111 & (~reg_be))))) | (addr_hit[23] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[26] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[27] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[28] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[29] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[30] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[31] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[32] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[33] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[34] & ((|(4'b1111 & (~reg_be)))))))
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T1,T3,T4 | 
| 1 | 1 | Covered | T100,T97,T98 | 
 LINE       1182
 SUB-EXPRESSION 
 Number  Term
      1  (addr_hit[0] & ((|(4'b1 & (~reg_be))))) | 
      2  (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) | 
      3  (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | 
      4  (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | 
      5  (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | 
      6  (addr_hit[5] & ((|(4'b1 & (~reg_be))))) | 
      7  (addr_hit[6] & ((|(4'b1 & (~reg_be))))) | 
      8  (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) | 
      9  (addr_hit[8] & ((|(4'b1111 & (~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'b1111 & (~reg_be))))) | 
     15  (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) | 
     16  (addr_hit[15] & ((|(4'b1 & (~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'b1111 & (~reg_be))))) | 
     24  (addr_hit[23] & ((|(4'b1111 & (~reg_be))))) | 
     25  (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) | 
     26  (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) | 
     27  (addr_hit[26] & ((|(4'b1111 & (~reg_be))))) | 
     28  (addr_hit[27] & ((|(4'b1111 & (~reg_be))))) | 
     29  (addr_hit[28] & ((|(4'b1111 & (~reg_be))))) | 
     30  (addr_hit[29] & ((|(4'b1111 & (~reg_be))))) | 
     31  (addr_hit[30] & ((|(4'b1111 & (~reg_be))))) | 
     32  (addr_hit[31] & ((|(4'b1111 & (~reg_be))))) | 
     33  (addr_hit[32] & ((|(4'b1111 & (~reg_be))))) | 
     34  (addr_hit[33] & ((|(4'b1111 & (~reg_be))))) | 
     35  (addr_hit[34] & ((|(4'b1111 & (~reg_be))))))
| Sensitive Expression == 1 | Status | Tests |                       
| ALL ZEROS | Covered | T1,T3,T4 | 
| 35 (addr_hit[34] & ((|(4'... | Covered | T4,T6,T12 | 
| 34 (addr_hit[33] & ((|(4'... | Covered | T4,T6,T11 | 
| 33 (addr_hit[32] & ((|(4'... | Covered | T1,T4,T6 | 
| 32 (addr_hit[31] & ((|(4'... | Covered | T1,T4,T6 | 
| 31 (addr_hit[30] & ((|(4'... | Covered | T4,T6,T12 | 
| 30 (addr_hit[29] & ((|(4'... | Covered | T4,T6,T11 | 
| 29 (addr_hit[28] & ((|(4'... | Covered | T4,T6,T11 | 
| 28 (addr_hit[27] & ((|(4'... | Covered | T1,T4,T6 | 
| 27 (addr_hit[26] & ((|(4'... | Covered | T4,T6,T11 | 
| 26 (addr_hit[25] & ((|(4'... | Covered | T4,T6,T11 | 
| 25 (addr_hit[24] & ((|(4'... | Covered | T1,T4,T6 | 
| 24 (addr_hit[23] & ((|(4'... | Covered | T3,T4,T6 | 
| 23 (addr_hit[22] & ((|(4'... | Covered | T4,T6,T11 | 
| 22 (addr_hit[21] & ((|(4'... | Covered | T1,T4,T6 | 
| 21 (addr_hit[20] & ((|(4'... | Covered | T1,T4,T6 | 
| 20 (addr_hit[19] & ((|(4'... | Covered | T1,T4,T6 | 
| 19 (addr_hit[18] & ((|(4'... | Covered | T4,T6,T11 | 
| 18 (addr_hit[17] & ((|(4'... | Covered | T1,T4,T6 | 
| 17 (addr_hit[16] & ((|(4'... | Covered | T4,T12,T14 | 
| 16 (addr_hit[15] & ((|(4'... | Covered | T1,T4,T6 | 
| 15 (addr_hit[14] & ((|(4'... | Covered | T1,T4,T6 | 
| 14 (addr_hit[13] & ((|(4'... | Covered | T3,T4,T6 | 
| 13 (addr_hit[12] & ((|(4'... | Covered | T4,T6,T11 | 
| 12 (addr_hit[11] & ((|(4'... | Covered | T3,T4,T6 | 
| 11 (addr_hit[10] & ((|(4'... | Covered | T4,T6,T11 | 
| 10 (addr_hit[9] & ((|(4'b... | Covered | T1,T4,T6 | 
| 9 (addr_hit[8] & ((|(4'b... | Covered | T4,T6,T11 | 
| 8 (addr_hit[7] & ((|(4'b... | Covered | T1,T4,T6 | 
| 7 (addr_hit[6] & ((|(4'b... | Covered | T4,T6,T11 | 
| 6 (addr_hit[5] & ((|(4'b... | Covered | T4,T6,T11 | 
| 5 (addr_hit[4] & ((|(4'b... | Covered | T1,T4,T6 | 
| 4 (addr_hit[3] & ((|(4'b... | Covered | T4,T6,T11 | 
| 3 (addr_hit[2] & ((|(4'b... | Covered | T4,T12,T14 | 
| 2 (addr_hit[1] & ((|(4'b... | Covered | T4,T6,T10 | 
| 1 (addr_hit[0] & ((|(4'b... | Covered | T1,T4,T12 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T1,T3,T4 | 
| 1 | 1 | Covered | T1,T4,T12 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[1] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T4,T6,T10 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[2] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T12,T14 | 
| 1 | 1 | Covered | T4,T12,T14 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T10 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[5] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T10 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[6] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T10 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[7] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T10 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[8] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T10 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T10 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[10] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T10 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T10 | 
| 1 | 1 | Covered | T3,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[13] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T3,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T10 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[15] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[16] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T19,T32 | 
| 1 | 1 | Covered | T4,T12,T14 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T1,T4,T6 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[19] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[20] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[22] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T6,T11,T12 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[23] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T3,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[24] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T12 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[25] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[26] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[27] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T6,T11,T13 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[28] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T6,T11,T12 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[29] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[30] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T4,T6,T12 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[31] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[32] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T1,T4,T6 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[33] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[34] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | Covered | T4,T6,T11 | 
| 1 | 1 | Covered | T4,T6,T12 | 
 LINE       1221
 EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T1,T3,T4 | 
| 1 | 1 | 0 | Covered | T97,T99,T106 | 
| 1 | 1 | 1 | Covered | T1,T3,T29 | 
 LINE       1228
 EXPRESSION (addr_hit[1] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T4,T6,T10 | 
 LINE       1229
 EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | 1 | Covered | T4,T12,T14 | 
| 1 | 1 | 0 | Covered | T97,T99,T103 | 
| 1 | 1 | 1 | Covered | T107,T98,T127 | 
 LINE       1232
 EXPRESSION (addr_hit[3] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 1 | 0 | Covered | T102,T109,T110 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1233
 EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 1 | 0 | Covered | T97,T111,T112 | 
| 1 | 1 | 1 | Covered | T4,T6,T10 | 
 LINE       1236
 EXPRESSION (addr_hit[4] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T1,T4,T6 | 
| 1 | 1 | 0 | Covered | T113 | 
| 1 | 1 | 1 | Covered | T6,T11,T19 | 
 LINE       1237
 EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 1 | 0 | Covered | T97,T103,T106 | 
| 1 | 1 | 1 | Covered | T4,T6,T10 | 
 LINE       1240
 EXPRESSION (addr_hit[6] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 1 | 0 | Covered | T114,T115,T113 | 
| 1 | 1 | 1 | Covered | T6,T10,T11 | 
 LINE       1241
 EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 1 | 0 | Covered | T97,T103,T111 | 
| 1 | 1 | 1 | Covered | T6,T10,T11 | 
 LINE       1246
 EXPRESSION (addr_hit[7] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T1,T4,T6 | 
| 1 | 1 | 0 | Covered | T116 | 
| 1 | 1 | 1 | Covered | T6,T11,T19 | 
 LINE       1247
 EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | 1 | Covered | T1,T4,T6 | 
| 1 | 1 | 0 | Covered | T106,T111,T112 | 
| 1 | 1 | 1 | Covered | T4,T6,T10 | 
 LINE       1250
 EXPRESSION (addr_hit[8] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 1 | 0 | Covered | T117,T118,T119 | 
| 1 | 1 | 1 | Covered | T6,T11,T19 | 
 LINE       1251
 EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 1 | 0 | Covered | T97,T103,T106 | 
| 1 | 1 | 1 | Covered | T4,T6,T10 | 
 LINE       1254
 EXPRESSION (addr_hit[9] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T1,T4,T6 | 
| 1 | 1 | 0 | Covered | T120 | 
| 1 | 1 | 1 | Covered | T6,T11,T19 | 
 LINE       1255
 EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | 1 | Covered | T1,T4,T6 | 
| 1 | 1 | 0 | Covered | T98,T103,T106 | 
| 1 | 1 | 1 | Covered | T4,T6,T10 | 
 LINE       1258
 EXPRESSION (addr_hit[10] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 1 | 0 | Covered | T98,T109 | 
| 1 | 1 | 1 | Covered | T6,T11,T19 | 
 LINE       1259
 EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | 1 | Covered | T4,T6,T10 | 
| 1 | 1 | 0 | Covered | T97,T103,T106 | 
| 1 | 1 | 1 | Covered | T4,T6,T10 | 
 LINE       1262
 EXPRESSION (addr_hit[11] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T3,T4,T6 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T6,T11,T19 | 
 LINE       1263
 EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | 1 | Covered | T3,T4,T6 | 
| 1 | 1 | 0 | Covered | T97,T99,T103 | 
| 1 | 1 | 1 | Covered | T4,T6,T10 | 
 LINE       1266
 EXPRESSION (addr_hit[12] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T4,T6,T11 | 
| 1 | 1 | 0 | Covered | T121,T113 | 
| 1 | 1 | 1 | Covered | T6,T11,T19 | 
 LINE       1267
 EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T1,T3,T4 | 
| 1 | 0 | 1 | Covered | T4,T6,T11 | 
| 1 | 1 | 0 | Covered | T97,T103,T106 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1270
 EXPRESSION (addr_hit[13] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T3,T4,T6 | 
| 1 | 1 | 0 | Covered | T121,T122 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1271
 EXPRESSION (addr_hit[14] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T1,T4,T6 | 
| 1 | 1 | 0 | Covered | T98,T109,T119 | 
| 1 | 1 | 1 | Covered | T4,T6,T10 | 
 LINE       1272
 EXPRESSION (addr_hit[15] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T1,T4,T6 | 
| 1 | 1 | 0 | Covered | T119 | 
| 1 | 1 | 1 | Covered | T4,T6,T10 | 
 LINE       1273
 EXPRESSION (addr_hit[16] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T4,T12,T14 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Not Covered |  | 
 LINE       1274
 EXPRESSION (addr_hit[17] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T1,T4,T6 | 
| 1 | 1 | 0 | Covered | T120 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1275
 EXPRESSION (addr_hit[18] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T4,T6,T11 | 
| 1 | 1 | 0 | Covered | T98,T118 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1276
 EXPRESSION (addr_hit[19] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T1,T4,T6 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1277
 EXPRESSION (addr_hit[20] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T1,T4,T6 | 
| 1 | 1 | 0 | Covered | T101,T102,T121 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1278
 EXPRESSION (addr_hit[21] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T1,T4,T6 | 
| 1 | 1 | 0 | Covered | T118 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1279
 EXPRESSION (addr_hit[22] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T4,T6,T11 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1280
 EXPRESSION (addr_hit[23] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T3,T4,T6 | 
| 1 | 1 | 0 | Covered | T123 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1281
 EXPRESSION (addr_hit[24] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T1,T4,T6 | 
| 1 | 1 | 0 | Covered | T122,T115,T124 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1282
 EXPRESSION (addr_hit[25] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T4,T6,T11 | 
| 1 | 1 | 0 | Not Covered |  | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1283
 EXPRESSION (addr_hit[26] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T4,T6,T11 | 
| 1 | 1 | 0 | Covered | T120,T119 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1284
 EXPRESSION (addr_hit[27] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T1,T4,T6 | 
| 1 | 1 | 0 | Covered | T119 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1285
 EXPRESSION (addr_hit[28] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T4,T6,T11 | 
| 1 | 1 | 0 | Covered | T115 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1286
 EXPRESSION (addr_hit[29] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T4,T6,T11 | 
| 1 | 1 | 0 | Covered | T102,T114 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1287
 EXPRESSION (addr_hit[30] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T4,T6,T11 | 
| 1 | 1 | 0 | Covered | T110,T125,T120 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1288
 EXPRESSION (addr_hit[31] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T1,T4,T6 | 
| 1 | 1 | 0 | Covered | T101 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1289
 EXPRESSION (addr_hit[32] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T1,T4,T6 | 
| 1 | 1 | 0 | Covered | T122 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1290
 EXPRESSION (addr_hit[33] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T4,T6,T11 | 
| 1 | 1 | 0 | Covered | T102,T126,T109 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
 LINE       1291
 EXPRESSION (addr_hit[34] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests |                       
| 0 | 1 | 1 | Covered | T4,T6,T10 | 
| 1 | 0 | 1 | Covered | T4,T6,T11 | 
| 1 | 1 | 0 | Covered | T98,T109,T110 | 
| 1 | 1 | 1 | Covered | T4,T6,T11 | 
Branch Coverage for Instance : tb.dut.u_reg
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
41 | 
41 | 
100.00 | 
| TERNARY | 
1178 | 
2 | 
2 | 
100.00 | 
| IF | 
68 | 
3 | 
3 | 
100.00 | 
| CASE | 
1336 | 
36 | 
36 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv' or '../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	1178	((reg_re || reg_we)) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T3,T4 | 
| 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 | 
T14,T91,T92 | 
| 0 | 
0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	1336	case (1'b1)
Branches:
| -1- | Status | Tests | 
| addr_hit[0]  | 
Covered | 
T1,T2,T3 | 
| addr_hit[1]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[2]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[3]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[4]  | 
Covered | 
T1,T2,T4 | 
| addr_hit[5]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[6]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[7]  | 
Covered | 
T1,T2,T4 | 
| addr_hit[8]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[9]  | 
Covered | 
T1,T2,T4 | 
| addr_hit[10]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[11]  | 
Covered | 
T2,T3,T4 | 
| addr_hit[12]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[13]  | 
Covered | 
T2,T3,T4 | 
| addr_hit[14]  | 
Covered | 
T1,T2,T4 | 
| addr_hit[15]  | 
Covered | 
T1,T2,T4 | 
| addr_hit[16]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[17]  | 
Covered | 
T1,T2,T4 | 
| addr_hit[18]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[19]  | 
Covered | 
T1,T2,T4 | 
| addr_hit[20]  | 
Covered | 
T1,T2,T4 | 
| addr_hit[21]  | 
Covered | 
T1,T2,T4 | 
| addr_hit[22]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[23]  | 
Covered | 
T2,T3,T4 | 
| addr_hit[24]  | 
Covered | 
T1,T2,T4 | 
| addr_hit[25]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[26]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[27]  | 
Covered | 
T1,T2,T4 | 
| addr_hit[28]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[29]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[30]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[31]  | 
Covered | 
T1,T2,T4 | 
| addr_hit[32]  | 
Covered | 
T1,T2,T4 | 
| addr_hit[33]  | 
Covered | 
T2,T4,T5 | 
| addr_hit[34]  | 
Covered | 
T2,T4,T5 | 
| default | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_reg
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
en2addrHit | 
106922487 | 
3048553 | 
0 | 
0 | 
| 
reAfterRv | 
106922487 | 
3048553 | 
0 | 
0 | 
| 
rePulse | 
106922487 | 
2709540 | 
0 | 
0 | 
| 
wePulse | 
106922487 | 
339013 | 
0 | 
0 | 
en2addrHit
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
106922487 | 
3048553 | 
0 | 
0 | 
| T1 | 
2055 | 
31 | 
0 | 
0 | 
| T2 | 
50471 | 
0 | 
0 | 
0 | 
| T3 | 
1104 | 
5 | 
0 | 
0 | 
| T4 | 
30176 | 
1365 | 
0 | 
0 | 
| T5 | 
231626 | 
0 | 
0 | 
0 | 
| T6 | 
531333 | 
84809 | 
0 | 
0 | 
| T10 | 
1006 | 
58 | 
0 | 
0 | 
| T11 | 
872996 | 
18644 | 
0 | 
0 | 
| T12 | 
2294 | 
377 | 
0 | 
0 | 
| T13 | 
4747 | 
335 | 
0 | 
0 | 
| T14 | 
0 | 
158 | 
0 | 
0 | 
| T15 | 
0 | 
64 | 
0 | 
0 | 
reAfterRv
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
106922487 | 
3048553 | 
0 | 
0 | 
| T1 | 
2055 | 
31 | 
0 | 
0 | 
| T2 | 
50471 | 
0 | 
0 | 
0 | 
| T3 | 
1104 | 
5 | 
0 | 
0 | 
| T4 | 
30176 | 
1365 | 
0 | 
0 | 
| T5 | 
231626 | 
0 | 
0 | 
0 | 
| T6 | 
531333 | 
84809 | 
0 | 
0 | 
| T10 | 
1006 | 
58 | 
0 | 
0 | 
| T11 | 
872996 | 
18644 | 
0 | 
0 | 
| T12 | 
2294 | 
377 | 
0 | 
0 | 
| T13 | 
4747 | 
335 | 
0 | 
0 | 
| T14 | 
0 | 
158 | 
0 | 
0 | 
| T15 | 
0 | 
64 | 
0 | 
0 | 
rePulse
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
106922487 | 
2709540 | 
0 | 
0 | 
| T4 | 
30176 | 
749 | 
0 | 
0 | 
| T5 | 
231626 | 
0 | 
0 | 
0 | 
| T6 | 
531333 | 
83107 | 
0 | 
0 | 
| T10 | 
1006 | 
42 | 
0 | 
0 | 
| T11 | 
872996 | 
17711 | 
0 | 
0 | 
| T12 | 
2294 | 
316 | 
0 | 
0 | 
| T13 | 
4747 | 
271 | 
0 | 
0 | 
| T14 | 
20536 | 
158 | 
0 | 
0 | 
| T15 | 
2778 | 
40 | 
0 | 
0 | 
| T36 | 
1481 | 
140 | 
0 | 
0 | 
| T88 | 
0 | 
432 | 
0 | 
0 | 
wePulse
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
106922487 | 
339013 | 
0 | 
0 | 
| T1 | 
2055 | 
31 | 
0 | 
0 | 
| T2 | 
50471 | 
0 | 
0 | 
0 | 
| T3 | 
1104 | 
5 | 
0 | 
0 | 
| T4 | 
30176 | 
616 | 
0 | 
0 | 
| T5 | 
231626 | 
0 | 
0 | 
0 | 
| T6 | 
531333 | 
1702 | 
0 | 
0 | 
| T10 | 
1006 | 
16 | 
0 | 
0 | 
| T11 | 
872996 | 
933 | 
0 | 
0 | 
| T12 | 
2294 | 
61 | 
0 | 
0 | 
| T13 | 
4747 | 
64 | 
0 | 
0 | 
| T15 | 
0 | 
24 | 
0 | 
0 | 
| T36 | 
0 | 
16 | 
0 | 
0 | 
 
Line Coverage for Instance : tb.dut.u_reg_tap
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 227 | 227 | 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 | 233 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 248 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 264 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 280 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 496 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 499 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 513 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 535 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 538 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 552 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 558 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 561 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 576 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 592 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 599 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 602 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 616 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 623 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 626 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 640 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 647 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 650 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 664 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 671 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 674 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 688 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 694 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 697 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 711 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 717 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 720 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 734 | 1 | 1 | 100.00 | 
| ALWAYS | 1140 | 36 | 36 | 100.00 | 
| CONT_ASSIGN | 1178 | 1 | 1 | 100.00 | 
| ALWAYS | 1182 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1221 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1223 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1225 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1227 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1228 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1229 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1231 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1232 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1233 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1235 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1236 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1237 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1239 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1240 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1241 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1243 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1245 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1246 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1247 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1249 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1250 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1251 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1253 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1254 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1255 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1257 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1258 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1259 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1261 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1262 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1263 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1265 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1266 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1267 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1269 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1270 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1271 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1272 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1273 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1274 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1275 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1276 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1277 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1278 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1279 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1280 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1281 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1282 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1283 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1284 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1285 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1286 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1287 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1288 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1289 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1290 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1291 | 1 | 1 | 100.00 | 
| ALWAYS | 1295 | 36 | 36 | 100.00 | 
| ALWAYS | 1335 | 53 | 53 | 100.00 | 
| CONT_ASSIGN | 1504 | 0 | 0 |  | 
| CONT_ASSIGN | 1512 | 1 | 1 | 100.00 | 
| CONT_ASSIGN | 1513 | 1 | 1 | 100.00 | 
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv' or '../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_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 | 
| 233 | 
1 | 
1 | 
| 248 | 
1 | 
1 | 
| 264 | 
1 | 
1 | 
| 280 | 
1 | 
1 | 
| 496 | 
1 | 
1 | 
| 499 | 
1 | 
1 | 
| 513 | 
1 | 
1 | 
| 535 | 
1 | 
1 | 
| 538 | 
1 | 
1 | 
| 552 | 
1 | 
1 | 
| 558 | 
1 | 
1 | 
| 561 | 
1 | 
1 | 
| 576 | 
1 | 
1 | 
| 592 | 
1 | 
1 | 
| 599 | 
1 | 
1 | 
| 602 | 
1 | 
1 | 
| 616 | 
1 | 
1 | 
| 623 | 
1 | 
1 | 
| 626 | 
1 | 
1 | 
| 640 | 
1 | 
1 | 
| 647 | 
1 | 
1 | 
| 650 | 
1 | 
1 | 
| 664 | 
1 | 
1 | 
| 671 | 
1 | 
1 | 
| 674 | 
1 | 
1 | 
| 688 | 
1 | 
1 | 
| 694 | 
1 | 
1 | 
| 697 | 
1 | 
1 | 
| 711 | 
1 | 
1 | 
| 717 | 
1 | 
1 | 
| 720 | 
1 | 
1 | 
| 734 | 
1 | 
1 | 
| 1140 | 
1 | 
1 | 
| 1141 | 
1 | 
1 | 
| 1142 | 
1 | 
1 | 
| 1143 | 
1 | 
1 | 
| 1144 | 
1 | 
1 | 
| 1145 | 
1 | 
1 | 
| 1146 | 
1 | 
1 | 
| 1147 | 
1 | 
1 | 
| 1148 | 
1 | 
1 | 
| 1149 | 
1 | 
1 | 
| 1150 | 
1 | 
1 | 
| 1151 | 
1 | 
1 | 
| 1152 | 
1 | 
1 | 
| 1153 | 
1 | 
1 | 
| 1154 | 
1 | 
1 | 
| 1155 | 
1 | 
1 | 
| 1156 | 
1 | 
1 | 
| 1157 | 
1 | 
1 | 
| 1158 | 
1 | 
1 | 
| 1159 | 
1 | 
1 | 
| 1160 | 
1 | 
1 | 
| 1161 | 
1 | 
1 | 
| 1162 | 
1 | 
1 | 
| 1163 | 
1 | 
1 | 
| 1164 | 
1 | 
1 | 
| 1165 | 
1 | 
1 | 
| 1166 | 
1 | 
1 | 
| 1167 | 
1 | 
1 | 
| 1168 | 
1 | 
1 | 
| 1169 | 
1 | 
1 | 
| 1170 | 
1 | 
1 | 
| 1171 | 
1 | 
1 | 
| 1172 | 
1 | 
1 | 
| 1173 | 
1 | 
1 | 
| 1174 | 
1 | 
1 | 
| 1175 | 
1 | 
1 | 
| 1178 | 
1 | 
1 | 
| 1182 | 
1 | 
1 | 
| 1221 | 
1 | 
1 | 
| 1223 | 
1 | 
1 | 
| 1225 | 
1 | 
1 | 
| 1227 | 
1 | 
1 | 
| 1228 | 
1 | 
1 | 
| 1229 | 
1 | 
1 | 
| 1231 | 
1 | 
1 | 
| 1232 | 
1 | 
1 | 
| 1233 | 
1 | 
1 | 
| 1235 | 
1 | 
1 | 
| 1236 | 
1 | 
1 | 
| 1237 | 
1 | 
1 | 
| 1239 | 
1 | 
1 | 
| 1240 | 
1 | 
1 | 
| 1241 | 
1 | 
1 | 
| 1243 | 
1 | 
1 | 
| 1245 | 
1 | 
1 | 
| 1246 | 
1 | 
1 | 
| 1247 | 
1 | 
1 | 
| 1249 | 
1 | 
1 | 
| 1250 | 
1 | 
1 | 
| 1251 | 
1 | 
1 | 
| 1253 | 
1 | 
1 | 
| 1254 | 
1 | 
1 | 
| 1255 | 
1 | 
1 | 
| 1257 | 
1 | 
1 | 
| 1258 | 
1 | 
1 | 
| 1259 | 
1 | 
1 | 
| 1261 | 
1 | 
1 | 
| 1262 | 
1 | 
1 | 
| 1263 | 
1 | 
1 | 
| 1265 | 
1 | 
1 | 
| 1266 | 
1 | 
1 | 
| 1267 | 
1 | 
1 | 
| 1269 | 
1 | 
1 | 
| 1270 | 
1 | 
1 | 
| 1271 | 
1 | 
1 | 
| 1272 | 
1 | 
1 | 
| 1273 | 
1 | 
1 | 
| 1274 | 
1 | 
1 | 
| 1275 | 
1 | 
1 | 
| 1276 | 
1 | 
1 | 
| 1277 | 
1 | 
1 | 
| 1278 | 
1 | 
1 | 
| 1279 | 
1 | 
1 | 
| 1280 | 
1 | 
1 | 
| 1281 | 
1 | 
1 | 
| 1282 | 
1 | 
1 | 
| 1283 | 
1 | 
1 | 
| 1284 | 
1 | 
1 | 
| 1285 | 
1 | 
1 | 
| 1286 | 
1 | 
1 | 
| 1287 | 
1 | 
1 | 
| 1288 | 
1 | 
1 | 
| 1289 | 
1 | 
1 | 
| 1290 | 
1 | 
1 | 
| 1291 | 
1 | 
1 | 
| 1295 | 
1 | 
1 | 
| 1296 | 
1 | 
1 | 
| 1297 | 
1 | 
1 | 
| 1298 | 
1 | 
1 | 
| 1299 | 
1 | 
1 | 
| 1300 | 
1 | 
1 | 
| 1301 | 
1 | 
1 | 
| 1302 | 
1 | 
1 | 
| 1303 | 
1 | 
1 | 
| 1304 | 
1 | 
1 | 
| 1305 | 
1 | 
1 | 
| 1306 | 
1 | 
1 | 
| 1307 | 
1 | 
1 | 
| 1308 | 
1 | 
1 | 
| 1309 | 
1 | 
1 | 
| 1310 | 
1 | 
1 | 
| 1311 | 
1 | 
1 | 
| 1312 | 
1 | 
1 | 
| 1313 | 
1 | 
1 | 
| 1314 | 
1 | 
1 | 
| 1315 | 
1 | 
1 | 
| 1316 | 
1 | 
1 | 
| 1317 | 
1 | 
1 | 
| 1318 | 
1 | 
1 | 
| 1319 | 
1 | 
1 | 
| 1320 | 
1 | 
1 | 
| 1321 | 
1 | 
1 | 
| 1322 | 
1 | 
1 | 
| 1323 | 
1 | 
1 | 
| 1324 | 
1 | 
1 | 
| 1325 | 
1 | 
1 | 
| 1326 | 
1 | 
1 | 
| 1327 | 
1 | 
1 | 
| 1328 | 
1 | 
1 | 
| 1329 | 
1 | 
1 | 
| 1330 | 
1 | 
1 | 
| 1335 | 
1 | 
1 | 
| 1336 | 
1 | 
1 | 
| 1338 | 
1 | 
1 | 
| 1339 | 
1 | 
1 | 
| 1340 | 
1 | 
1 | 
| 1344 | 
1 | 
1 | 
| 1345 | 
1 | 
1 | 
| 1346 | 
1 | 
1 | 
| 1347 | 
1 | 
1 | 
| 1348 | 
1 | 
1 | 
| 1349 | 
1 | 
1 | 
| 1350 | 
1 | 
1 | 
| 1351 | 
1 | 
1 | 
| 1352 | 
1 | 
1 | 
| 1353 | 
1 | 
1 | 
| 1354 | 
1 | 
1 | 
| 1355 | 
1 | 
1 | 
| 1359 | 
1 | 
1 | 
| 1363 | 
1 | 
1 | 
| 1367 | 
1 | 
1 | 
| 1371 | 
1 | 
1 | 
| 1375 | 
1 | 
1 | 
| 1376 | 
1 | 
1 | 
| 1380 | 
1 | 
1 | 
| 1384 | 
1 | 
1 | 
| 1388 | 
1 | 
1 | 
| 1392 | 
1 | 
1 | 
| 1396 | 
1 | 
1 | 
| 1400 | 
1 | 
1 | 
| 1404 | 
1 | 
1 | 
| 1408 | 
1 | 
1 | 
| 1412 | 
1 | 
1 | 
| 1416 | 
1 | 
1 | 
| 1420 | 
1 | 
1 | 
| 1421 | 
1 | 
1 | 
| 1425 | 
1 | 
1 | 
| 1426 | 
1 | 
1 | 
| 1430 | 
1 | 
1 | 
| 1434 | 
1 | 
1 | 
| 1438 | 
1 | 
1 | 
| 1442 | 
1 | 
1 | 
| 1446 | 
1 | 
1 | 
| 1450 | 
1 | 
1 | 
| 1454 | 
1 | 
1 | 
| 1458 | 
1 | 
1 | 
| 1462 | 
1 | 
1 | 
| 1466 | 
1 | 
1 | 
| 1470 | 
1 | 
1 | 
| 1474 | 
1 | 
1 | 
| 1478 | 
1 | 
1 | 
| 1482 | 
1 | 
1 | 
| 1486 | 
1 | 
1 | 
| 1490 | 
1 | 
1 | 
| 1504 | 
 | 
unreachable | 
| 1512 | 
1 | 
1 | 
| 1513 | 
1 | 
1 | 
Cond Coverage for Instance : tb.dut.u_reg_tap
 | Total | Covered | Percent | 
| Conditions | 278 | 275 | 98.92 | 
| Logical | 278 | 275 | 98.92 | 
| 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 | Not Covered |  | 
| 1 | 1 | Covered | T2,T5,T6 | 
 LINE       70
 EXPRESSION (intg_err || reg_we_err)
             ----1---    -----2----
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 0 | Covered | T1,T2,T3 | 
| 0 | 1 | Covered | T14,T91,T92 | 
| 1 | 0 | Excluded |  | 
VC_COV_UNR | 
 LINE       77
 EXPRESSION (err_q | intg_err | reg_we_err)
             --1--   ----2---   -----3----
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 0 | 0 | Covered | T1,T2,T3 | 
| 0 | 0 | 1 | Covered | T14,T91,T92 | 
| 0 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | 0 | Covered | T14,T91,T92 | 
 LINE       119
 EXPRESSION (addrmiss | wr_err | intg_err)
             ----1---   ---2--   ----3---
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 0 | 0 | Covered | T1,T2,T3 | 
| 0 | 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 0 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | 0 | Not Covered |  | 
 LINE       499
 EXPRESSION (claim_transition_if_we & claim_transition_if_regwen_qs)
             -----------1----------   --------------2--------------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T1,T2,T3 | 
| 1 | 0 | Covered | T104,T128,T129 | 
| 1 | 1 | Covered | T2,T5,T6 | 
 LINE       538
 EXPRESSION (transition_cmd_we & transition_regwen_qs)
             --------1--------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T6,T11 | 
| 1 | 0 | Covered | T5,T11,T19 | 
| 1 | 1 | Covered | T2,T6,T11 | 
 LINE       561
 EXPRESSION (transition_ctrl_we & transition_regwen_qs)
             ---------1--------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T6,T11 | 
| 1 | 0 | Covered | T6,T20,T7 | 
| 1 | 1 | Covered | T6,T16,T19 | 
 LINE       602
 EXPRESSION (transition_token_0_we & transition_regwen_qs)
             ----------1----------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T6,T11 | 
| 1 | 0 | Covered | T5,T11,T19 | 
| 1 | 1 | Covered | T2,T6,T11 | 
 LINE       626
 EXPRESSION (transition_token_1_we & transition_regwen_qs)
             ----------1----------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T6,T11 | 
| 1 | 0 | Covered | T5,T11,T19 | 
| 1 | 1 | Covered | T2,T6,T11 | 
 LINE       650
 EXPRESSION (transition_token_2_we & transition_regwen_qs)
             ----------1----------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T6,T11 | 
| 1 | 0 | Covered | T5,T11,T19 | 
| 1 | 1 | Covered | T2,T6,T11 | 
 LINE       674
 EXPRESSION (transition_token_3_we & transition_regwen_qs)
             ----------1----------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T6,T11 | 
| 1 | 0 | Covered | T5,T11,T19 | 
| 1 | 1 | Covered | T2,T6,T11 | 
 LINE       697
 EXPRESSION (transition_target_we & transition_regwen_qs)
             ----------1---------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T6,T11 | 
| 1 | 0 | Covered | T5,T11,T19 | 
| 1 | 1 | Covered | T2,T6,T11 | 
 LINE       720
 EXPRESSION (otp_vendor_test_ctrl_we & transition_regwen_qs)
             -----------1-----------   ----------2---------
| -1- | -2- | Status | Tests |                       
| 0 | 1 | Covered | T2,T6,T11 | 
| 1 | 0 | Covered | T5,T11,T19 | 
| 1 | 1 | Covered | T2,T6,T11 | 
 LINE       1141
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_ALERT_TEST_OFFSET)
            ----------------------------1---------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T28,T87,T93 | 
 LINE       1142
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_STATUS_OFFSET)
            --------------------------1-------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1143
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_CLAIM_TRANSITION_IF_REGWEN_OFFSET)
            ------------------------------------1-----------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T28,T87,T93 | 
 LINE       1144
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_CLAIM_TRANSITION_IF_OFFSET)
            --------------------------------1--------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1145
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_REGWEN_OFFSET)
            -------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T20,T7,T28 | 
 LINE       1146
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_CMD_OFFSET)
            ------------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1147
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_CTRL_OFFSET)
            ------------------------------1------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T6,T16,T19 | 
 LINE       1148
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_0_OFFSET)
            --------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1149
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_1_OFFSET)
            --------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1150
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_2_OFFSET)
            --------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1151
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TOKEN_3_OFFSET)
            --------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1152
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_TRANSITION_TARGET_OFFSET)
            -------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1153
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_OTP_VENDOR_TEST_CTRL_OFFSET)
            ---------------------------------1--------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1154
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_OTP_VENDOR_TEST_STATUS_OFFSET)
            ----------------------------------1---------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1155
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_LC_STATE_OFFSET)
            ---------------------------1--------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1156
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_LC_TRANSITION_CNT_OFFSET)
            -------------------------------1-------------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1157
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_LC_ID_STATE_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T108,T104,T106 | 
 LINE       1158
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_HW_REVISION0_OFFSET)
            -----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1159
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_HW_REVISION1_OFFSET)
            -----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1160
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_0_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1161
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_1_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1162
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_2_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1163
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_3_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1164
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_4_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1165
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_5_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1166
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_6_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1167
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_DEVICE_ID_7_OFFSET)
            ----------------------------1----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1168
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_0_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1169
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_1_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1170
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_2_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1171
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_3_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1172
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_4_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1173
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_5_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1174
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_6_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1175
 EXPRESSION (reg_addr == lc_ctrl_reg_pkg::LC_CTRL_MANUF_STATE_7_OFFSET)
            -----------------------------1-----------------------------
| -1- | Status | Tests |                       
| 0 | Covered | T2,T5,T6 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1178
 EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
             ---------1--------
| -1- | Status | Tests |                       
| 0 | Covered | T1,T2,T3 | 
| 1 | Covered | T2,T5,T6 | 
 LINE       1178
 SUB-EXPRESSION (reg_re || reg_we)
                 ---1--    ---2--
| -1- | -2- | Status | Tests |                       
| 0 | 0 | Covered | T1,T2,T3 | 
| 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | Covered | T2,T5,T6 | 
 LINE       1182
 EXPRESSION 
 Number  Term
      1  reg_we & 
      2  ((addr_hit[0] & ((|(4'b1 & (~reg_be))))) | (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | (addr_hit[5] & ((|(4'b1 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1 & (~reg_be))))) | (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1111 & (~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'b1111 & (~reg_be))))) | (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[15] & ((|(4'b1 & (~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'b1111 & (~reg_be))))) | (addr_hit[23] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[26] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[27] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[28] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[29] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[30] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[31] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[32] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[33] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[34] & ((|(4'b1111 & (~reg_be)))))))
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION 
 Number  Term
      1  (addr_hit[0] & ((|(4'b1 & (~reg_be))))) | 
      2  (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) | 
      3  (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | 
      4  (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | 
      5  (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | 
      6  (addr_hit[5] & ((|(4'b1 & (~reg_be))))) | 
      7  (addr_hit[6] & ((|(4'b1 & (~reg_be))))) | 
      8  (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) | 
      9  (addr_hit[8] & ((|(4'b1111 & (~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'b1111 & (~reg_be))))) | 
     15  (addr_hit[14] & ((|(4'b1111 & (~reg_be))))) | 
     16  (addr_hit[15] & ((|(4'b1 & (~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'b1111 & (~reg_be))))) | 
     24  (addr_hit[23] & ((|(4'b1111 & (~reg_be))))) | 
     25  (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) | 
     26  (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) | 
     27  (addr_hit[26] & ((|(4'b1111 & (~reg_be))))) | 
     28  (addr_hit[27] & ((|(4'b1111 & (~reg_be))))) | 
     29  (addr_hit[28] & ((|(4'b1111 & (~reg_be))))) | 
     30  (addr_hit[29] & ((|(4'b1111 & (~reg_be))))) | 
     31  (addr_hit[30] & ((|(4'b1111 & (~reg_be))))) | 
     32  (addr_hit[31] & ((|(4'b1111 & (~reg_be))))) | 
     33  (addr_hit[32] & ((|(4'b1111 & (~reg_be))))) | 
     34  (addr_hit[33] & ((|(4'b1111 & (~reg_be))))) | 
     35  (addr_hit[34] & ((|(4'b1111 & (~reg_be))))))
| Sensitive Expression == 1 | Status | Tests | Exclude Annotation | 
| ALL ZEROS | Covered | T2,T5,T6 | 
| 35 (addr_hit[34] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 34 (addr_hit[33] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 33 (addr_hit[32] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 32 (addr_hit[31] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 31 (addr_hit[30] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 30 (addr_hit[29] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 29 (addr_hit[28] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 28 (addr_hit[27] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 27 (addr_hit[26] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 26 (addr_hit[25] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 25 (addr_hit[24] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 24 (addr_hit[23] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 23 (addr_hit[22] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 22 (addr_hit[21] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 21 (addr_hit[20] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 20 (addr_hit[19] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 19 (addr_hit[18] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 18 (addr_hit[17] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 17 (addr_hit[16] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 16 (addr_hit[15] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 15 (addr_hit[14] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 14 (addr_hit[13] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 13 (addr_hit[12] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 12 (addr_hit[11] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 11 (addr_hit[10] & ((|(4'... | Excluded |  | 
VC_COV_UNR | 
| 10 (addr_hit[9] & ((|(4'b... | Excluded |  | 
VC_COV_UNR | 
| 9 (addr_hit[8] & ((|(4'b... | Excluded |  | 
VC_COV_UNR | 
| 8 (addr_hit[7] & ((|(4'b... | Excluded |  | 
VC_COV_UNR | 
| 7 (addr_hit[6] & ((|(4'b... | Excluded |  | 
VC_COV_UNR | 
| 6 (addr_hit[5] & ((|(4'b... | Excluded |  | 
VC_COV_UNR | 
| 5 (addr_hit[4] & ((|(4'b... | Excluded |  | 
VC_COV_UNR | 
| 4 (addr_hit[3] & ((|(4'b... | Excluded |  | 
VC_COV_UNR | 
| 3 (addr_hit[2] & ((|(4'b... | Excluded |  | 
VC_COV_UNR | 
| 2 (addr_hit[1] & ((|(4'b... | Excluded |  | 
VC_COV_UNR | 
| 1 (addr_hit[0] & ((|(4'b... | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T28,T87,T93 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[1] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[2] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T28,T87,T93 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T20,T7,T28 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[5] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[6] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T6,T16,T19 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[7] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[8] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[10] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[13] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[14] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[15] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[16] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T108,T104,T106 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[19] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[20] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[22] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[23] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[24] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[25] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[26] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[27] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[28] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[29] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[30] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[31] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[32] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[33] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1182
 SUB-EXPRESSION (addr_hit[34] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
| -1- | -2- | Status | Tests | Exclude Annotation | 
| 0 | 1 | Excluded |  | 
VC_COV_UNR | 
| 1 | 0 | Covered | T2,T5,T6 | 
| 1 | 1 | Excluded |  | 
VC_COV_UNR | 
 LINE       1221
 EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T28,T87,T93 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T108,T104,T130 | 
 LINE       1228
 EXPRESSION (addr_hit[1] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1229
 EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T28,T87,T93 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T108,T104,T130 | 
 LINE       1232
 EXPRESSION (addr_hit[3] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1233
 EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1236
 EXPRESSION (addr_hit[4] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T20,T7,T28 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T20,T7,T28 | 
 LINE       1237
 EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1240
 EXPRESSION (addr_hit[6] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T6,T16,T19 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T20,T7,T28 | 
 LINE       1241
 EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T6,T16,T19 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T6,T16,T19 | 
 LINE       1246
 EXPRESSION (addr_hit[7] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T20,T7,T28 | 
 LINE       1247
 EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1250
 EXPRESSION (addr_hit[8] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T20,T7,T28 | 
 LINE       1251
 EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1254
 EXPRESSION (addr_hit[9] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T20,T7,T28 | 
 LINE       1255
 EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1258
 EXPRESSION (addr_hit[10] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T20,T7,T28 | 
 LINE       1259
 EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1262
 EXPRESSION (addr_hit[11] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T20,T7,T28 | 
 LINE       1263
 EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1266
 EXPRESSION (addr_hit[12] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T20,T7,T28 | 
 LINE       1267
 EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1270
 EXPRESSION (addr_hit[13] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1271
 EXPRESSION (addr_hit[14] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1272
 EXPRESSION (addr_hit[15] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1273
 EXPRESSION (addr_hit[16] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T108,T104,T106 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Not Covered |  | 
 LINE       1274
 EXPRESSION (addr_hit[17] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1275
 EXPRESSION (addr_hit[18] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1276
 EXPRESSION (addr_hit[19] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1277
 EXPRESSION (addr_hit[20] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1278
 EXPRESSION (addr_hit[21] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1279
 EXPRESSION (addr_hit[22] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1280
 EXPRESSION (addr_hit[23] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1281
 EXPRESSION (addr_hit[24] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1282
 EXPRESSION (addr_hit[25] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1283
 EXPRESSION (addr_hit[26] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1284
 EXPRESSION (addr_hit[27] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1285
 EXPRESSION (addr_hit[28] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1286
 EXPRESSION (addr_hit[29] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1287
 EXPRESSION (addr_hit[30] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1288
 EXPRESSION (addr_hit[31] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1289
 EXPRESSION (addr_hit[32] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1290
 EXPRESSION (addr_hit[33] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
 LINE       1291
 EXPRESSION (addr_hit[34] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
| -1- | -2- | -3- | Status | Tests | Exclude Annotation | 
| 0 | 1 | 1 | Covered | T2,T5,T6 | 
| 1 | 0 | 1 | Covered | T2,T5,T6 | 
| 1 | 1 | 0 | Excluded |  | 
VC_COV_UNR | 
| 1 | 1 | 1 | Covered | T2,T5,T6 | 
Branch Coverage for Instance : tb.dut.u_reg_tap
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
41 | 
41 | 
100.00 | 
| TERNARY | 
1178 | 
2 | 
2 | 
100.00 | 
| IF | 
68 | 
3 | 
3 | 
100.00 | 
| CASE | 
1336 | 
36 | 
36 | 
100.00 | 
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv' or '../src/lowrisc_ip_lc_ctrl_0.1/rtl/lc_ctrl_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
	LineNo.	Expression
-1-:	1178	((reg_re || reg_we)) ? 
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T2,T5,T6 | 
| 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 | 
T14,T91,T92 | 
| 0 | 
0 | 
Covered | 
T1,T2,T3 | 
	LineNo.	Expression
-1-:	1336	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 | 
| addr_hit[27]  | 
Covered | 
T1,T2,T3 | 
| addr_hit[28]  | 
Covered | 
T1,T2,T3 | 
| addr_hit[29]  | 
Covered | 
T1,T2,T3 | 
| addr_hit[30]  | 
Covered | 
T1,T2,T3 | 
| addr_hit[31]  | 
Covered | 
T1,T2,T3 | 
| addr_hit[32]  | 
Covered | 
T1,T2,T3 | 
| addr_hit[33]  | 
Covered | 
T1,T2,T3 | 
| addr_hit[34]  | 
Covered | 
T1,T2,T3 | 
| default | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Instance : tb.dut.u_reg_tap
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
en2addrHit | 
106922487 | 
423080 | 
0 | 
0 | 
| 
reAfterRv | 
106922487 | 
423080 | 
0 | 
0 | 
| 
rePulse | 
106922487 | 
267897 | 
0 | 
0 | 
| 
wePulse | 
106922487 | 
155183 | 
0 | 
0 | 
en2addrHit
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
106922487 | 
423080 | 
0 | 
0 | 
| T2 | 
50471 | 
383 | 
0 | 
0 | 
| T3 | 
1104 | 
0 | 
0 | 
0 | 
| T4 | 
30176 | 
0 | 
0 | 
0 | 
| T5 | 
231626 | 
1232 | 
0 | 
0 | 
| T6 | 
531333 | 
509 | 
0 | 
0 | 
| T7 | 
0 | 
124 | 
0 | 
0 | 
| T10 | 
1006 | 
0 | 
0 | 
0 | 
| T11 | 
872996 | 
2498 | 
0 | 
0 | 
| T12 | 
2294 | 
0 | 
0 | 
0 | 
| T13 | 
4747 | 
0 | 
0 | 
0 | 
| T14 | 
20536 | 
0 | 
0 | 
0 | 
| T16 | 
0 | 
156 | 
0 | 
0 | 
| T17 | 
0 | 
1342 | 
0 | 
0 | 
| T18 | 
0 | 
1499 | 
0 | 
0 | 
| T19 | 
0 | 
2400 | 
0 | 
0 | 
| T20 | 
0 | 
40 | 
0 | 
0 | 
reAfterRv
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
106922487 | 
423080 | 
0 | 
0 | 
| T2 | 
50471 | 
383 | 
0 | 
0 | 
| T3 | 
1104 | 
0 | 
0 | 
0 | 
| T4 | 
30176 | 
0 | 
0 | 
0 | 
| T5 | 
231626 | 
1232 | 
0 | 
0 | 
| T6 | 
531333 | 
509 | 
0 | 
0 | 
| T7 | 
0 | 
124 | 
0 | 
0 | 
| T10 | 
1006 | 
0 | 
0 | 
0 | 
| T11 | 
872996 | 
2498 | 
0 | 
0 | 
| T12 | 
2294 | 
0 | 
0 | 
0 | 
| T13 | 
4747 | 
0 | 
0 | 
0 | 
| T14 | 
20536 | 
0 | 
0 | 
0 | 
| T16 | 
0 | 
156 | 
0 | 
0 | 
| T17 | 
0 | 
1342 | 
0 | 
0 | 
| T18 | 
0 | 
1499 | 
0 | 
0 | 
| T19 | 
0 | 
2400 | 
0 | 
0 | 
| T20 | 
0 | 
40 | 
0 | 
0 | 
rePulse
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
106922487 | 
267897 | 
0 | 
0 | 
| T2 | 
50471 | 
223 | 
0 | 
0 | 
| T3 | 
1104 | 
0 | 
0 | 
0 | 
| T4 | 
30176 | 
0 | 
0 | 
0 | 
| T5 | 
231626 | 
640 | 
0 | 
0 | 
| T6 | 
531333 | 
291 | 
0 | 
0 | 
| T7 | 
0 | 
68 | 
0 | 
0 | 
| T10 | 
1006 | 
0 | 
0 | 
0 | 
| T11 | 
872996 | 
1274 | 
0 | 
0 | 
| T12 | 
2294 | 
0 | 
0 | 
0 | 
| T13 | 
4747 | 
0 | 
0 | 
0 | 
| T14 | 
20536 | 
0 | 
0 | 
0 | 
| T16 | 
0 | 
62 | 
0 | 
0 | 
| T17 | 
0 | 
646 | 
0 | 
0 | 
| T18 | 
0 | 
739 | 
0 | 
0 | 
| T19 | 
0 | 
1434 | 
0 | 
0 | 
| T20 | 
0 | 
22 | 
0 | 
0 | 
wePulse
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
106922487 | 
155183 | 
0 | 
0 | 
| T2 | 
50471 | 
160 | 
0 | 
0 | 
| T3 | 
1104 | 
0 | 
0 | 
0 | 
| T4 | 
30176 | 
0 | 
0 | 
0 | 
| T5 | 
231626 | 
592 | 
0 | 
0 | 
| T6 | 
531333 | 
218 | 
0 | 
0 | 
| T7 | 
0 | 
56 | 
0 | 
0 | 
| T10 | 
1006 | 
0 | 
0 | 
0 | 
| T11 | 
872996 | 
1224 | 
0 | 
0 | 
| T12 | 
2294 | 
0 | 
0 | 
0 | 
| T13 | 
4747 | 
0 | 
0 | 
0 | 
| T14 | 
20536 | 
0 | 
0 | 
0 | 
| T16 | 
0 | 
94 | 
0 | 
0 | 
| T17 | 
0 | 
696 | 
0 | 
0 | 
| T18 | 
0 | 
760 | 
0 | 
0 | 
| T19 | 
0 | 
966 | 
0 | 
0 | 
| T20 | 
0 | 
18 | 
0 | 
0 |