Line Coverage for Module :
lc_ctrl_reg_top
| Line No. | Total | Covered | Percent |
TOTAL | | 227 | 227 | 100.00 |
ALWAYS | 71 | 4 | 4 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 121 | 1 | 1 | 100.00 |
CONT_ASSIGN | 122 | 1 | 1 | 100.00 |
CONT_ASSIGN | 236 | 1 | 1 | 100.00 |
CONT_ASSIGN | 251 | 1 | 1 | 100.00 |
CONT_ASSIGN | 267 | 1 | 1 | 100.00 |
CONT_ASSIGN | 283 | 1 | 1 | 100.00 |
CONT_ASSIGN | 499 | 1 | 1 | 100.00 |
CONT_ASSIGN | 502 | 1 | 1 | 100.00 |
CONT_ASSIGN | 516 | 1 | 1 | 100.00 |
CONT_ASSIGN | 538 | 1 | 1 | 100.00 |
CONT_ASSIGN | 541 | 1 | 1 | 100.00 |
CONT_ASSIGN | 555 | 1 | 1 | 100.00 |
CONT_ASSIGN | 561 | 1 | 1 | 100.00 |
CONT_ASSIGN | 564 | 1 | 1 | 100.00 |
CONT_ASSIGN | 579 | 1 | 1 | 100.00 |
CONT_ASSIGN | 595 | 1 | 1 | 100.00 |
CONT_ASSIGN | 602 | 1 | 1 | 100.00 |
CONT_ASSIGN | 605 | 1 | 1 | 100.00 |
CONT_ASSIGN | 619 | 1 | 1 | 100.00 |
CONT_ASSIGN | 626 | 1 | 1 | 100.00 |
CONT_ASSIGN | 629 | 1 | 1 | 100.00 |
CONT_ASSIGN | 643 | 1 | 1 | 100.00 |
CONT_ASSIGN | 650 | 1 | 1 | 100.00 |
CONT_ASSIGN | 653 | 1 | 1 | 100.00 |
CONT_ASSIGN | 667 | 1 | 1 | 100.00 |
CONT_ASSIGN | 674 | 1 | 1 | 100.00 |
CONT_ASSIGN | 677 | 1 | 1 | 100.00 |
CONT_ASSIGN | 691 | 1 | 1 | 100.00 |
CONT_ASSIGN | 697 | 1 | 1 | 100.00 |
CONT_ASSIGN | 700 | 1 | 1 | 100.00 |
CONT_ASSIGN | 714 | 1 | 1 | 100.00 |
CONT_ASSIGN | 720 | 1 | 1 | 100.00 |
CONT_ASSIGN | 723 | 1 | 1 | 100.00 |
CONT_ASSIGN | 737 | 1 | 1 | 100.00 |
ALWAYS | 1143 | 36 | 36 | 100.00 |
CONT_ASSIGN | 1181 | 1 | 1 | 100.00 |
ALWAYS | 1185 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1224 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1226 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1228 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1230 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1231 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1232 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1234 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1235 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1236 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1238 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1239 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1240 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1242 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1243 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1244 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1246 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1248 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1249 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1250 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1252 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1253 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1254 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1256 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1257 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1258 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1260 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1261 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1262 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1264 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1265 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1266 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1268 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1269 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1270 | 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 |
CONT_ASSIGN | 1292 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1293 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1294 | 1 | 1 | 100.00 |
ALWAYS | 1298 | 36 | 36 | 100.00 |
ALWAYS | 1338 | 53 | 53 | 100.00 |
CONT_ASSIGN | 1507 | 0 | 0 | |
CONT_ASSIGN | 1515 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1516 | 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 | |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
74 |
1 |
1 |
|
|
|
MISSING_ELSE |
80 |
1 |
1 |
92 |
1 |
1 |
93 |
1 |
1 |
121 |
1 |
1 |
122 |
1 |
1 |
236 |
1 |
1 |
251 |
1 |
1 |
267 |
1 |
1 |
283 |
1 |
1 |
499 |
1 |
1 |
502 |
1 |
1 |
516 |
1 |
1 |
538 |
1 |
1 |
541 |
1 |
1 |
555 |
1 |
1 |
561 |
1 |
1 |
564 |
1 |
1 |
579 |
1 |
1 |
595 |
1 |
1 |
602 |
1 |
1 |
605 |
1 |
1 |
619 |
1 |
1 |
626 |
1 |
1 |
629 |
1 |
1 |
643 |
1 |
1 |
650 |
1 |
1 |
653 |
1 |
1 |
667 |
1 |
1 |
674 |
1 |
1 |
677 |
1 |
1 |
691 |
1 |
1 |
697 |
1 |
1 |
700 |
1 |
1 |
714 |
1 |
1 |
720 |
1 |
1 |
723 |
1 |
1 |
737 |
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 |
1176 |
1 |
1 |
1177 |
1 |
1 |
1178 |
1 |
1 |
1181 |
1 |
1 |
1185 |
1 |
1 |
1224 |
1 |
1 |
1226 |
1 |
1 |
1228 |
1 |
1 |
1230 |
1 |
1 |
1231 |
1 |
1 |
1232 |
1 |
1 |
1234 |
1 |
1 |
1235 |
1 |
1 |
1236 |
1 |
1 |
1238 |
1 |
1 |
1239 |
1 |
1 |
1240 |
1 |
1 |
1242 |
1 |
1 |
1243 |
1 |
1 |
1244 |
1 |
1 |
1246 |
1 |
1 |
1248 |
1 |
1 |
1249 |
1 |
1 |
1250 |
1 |
1 |
1252 |
1 |
1 |
1253 |
1 |
1 |
1254 |
1 |
1 |
1256 |
1 |
1 |
1257 |
1 |
1 |
1258 |
1 |
1 |
1260 |
1 |
1 |
1261 |
1 |
1 |
1262 |
1 |
1 |
1264 |
1 |
1 |
1265 |
1 |
1 |
1266 |
1 |
1 |
1268 |
1 |
1 |
1269 |
1 |
1 |
1270 |
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 |
1292 |
1 |
1 |
1293 |
1 |
1 |
1294 |
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 |
1331 |
1 |
1 |
1332 |
1 |
1 |
1333 |
1 |
1 |
1338 |
1 |
1 |
1339 |
1 |
1 |
1341 |
1 |
1 |
1342 |
1 |
1 |
1343 |
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 |
1356 |
1 |
1 |
1357 |
1 |
1 |
1358 |
1 |
1 |
1362 |
1 |
1 |
1366 |
1 |
1 |
1370 |
1 |
1 |
1374 |
1 |
1 |
1378 |
1 |
1 |
1379 |
1 |
1 |
1383 |
1 |
1 |
1387 |
1 |
1 |
1391 |
1 |
1 |
1395 |
1 |
1 |
1399 |
1 |
1 |
1403 |
1 |
1 |
1407 |
1 |
1 |
1411 |
1 |
1 |
1415 |
1 |
1 |
1419 |
1 |
1 |
1423 |
1 |
1 |
1424 |
1 |
1 |
1428 |
1 |
1 |
1429 |
1 |
1 |
1433 |
1 |
1 |
1437 |
1 |
1 |
1441 |
1 |
1 |
1445 |
1 |
1 |
1449 |
1 |
1 |
1453 |
1 |
1 |
1457 |
1 |
1 |
1461 |
1 |
1 |
1465 |
1 |
1 |
1469 |
1 |
1 |
1473 |
1 |
1 |
1477 |
1 |
1 |
1481 |
1 |
1 |
1485 |
1 |
1 |
1489 |
1 |
1 |
1493 |
1 |
1 |
1507 |
|
unreachable |
1515 |
1 |
1 |
1516 |
1 |
1 |
Cond Coverage for Module :
lc_ctrl_reg_top
| Total | Covered | Percent |
Conditions | 434 | 400 | 92.17 |
Logical | 434 | 400 | 92.17 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
This module contains a very large number of conditions, so the report has been split into multiple pages, by source line number. Click on the line number range in the table below to see the condition coverage for that section of the module.
Branch Coverage for Module :
lc_ctrl_reg_top
| Line No. | Total | Covered | Percent |
Branches |
|
41 |
41 |
100.00 |
TERNARY |
1181 |
2 |
2 |
100.00 |
IF |
71 |
3 |
3 |
100.00 |
CASE |
1339 |
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-: 1181 ((reg_re || reg_we)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T46,T69,T70 |
0 |
Covered |
T46,T69,T70 |
LineNo. Expression
-1-: 71 if ((!rst_ni))
-2-: 73 if ((intg_err || reg_we_err))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T46,T69,T70 |
0 |
1 |
Covered |
T78,T79,T80 |
0 |
0 |
Covered |
T46,T69,T70 |
LineNo. Expression
-1-: 1339 case (1'b1)
Branches:
-1- | Status | Tests |
addr_hit[0] |
Covered |
T46,T69,T70 |
addr_hit[1] |
Covered |
T46,T69,T70 |
addr_hit[2] |
Covered |
T46,T69,T70 |
addr_hit[3] |
Covered |
T46,T69,T70 |
addr_hit[4] |
Covered |
T46,T69,T70 |
addr_hit[5] |
Covered |
T46,T69,T70 |
addr_hit[6] |
Covered |
T46,T69,T70 |
addr_hit[7] |
Covered |
T46,T69,T70 |
addr_hit[8] |
Covered |
T46,T69,T70 |
addr_hit[9] |
Covered |
T46,T69,T70 |
addr_hit[10] |
Covered |
T46,T69,T70 |
addr_hit[11] |
Covered |
T46,T69,T70 |
addr_hit[12] |
Covered |
T46,T69,T70 |
addr_hit[13] |
Covered |
T46,T69,T70 |
addr_hit[14] |
Covered |
T46,T69,T70 |
addr_hit[15] |
Covered |
T46,T69,T70 |
addr_hit[16] |
Covered |
T46,T69,T70 |
addr_hit[17] |
Covered |
T46,T69,T70 |
addr_hit[18] |
Covered |
T46,T69,T70 |
addr_hit[19] |
Covered |
T46,T69,T70 |
addr_hit[20] |
Covered |
T46,T69,T70 |
addr_hit[21] |
Covered |
T46,T69,T70 |
addr_hit[22] |
Covered |
T46,T69,T70 |
addr_hit[23] |
Covered |
T46,T69,T70 |
addr_hit[24] |
Covered |
T46,T69,T70 |
addr_hit[25] |
Covered |
T46,T69,T70 |
addr_hit[26] |
Covered |
T46,T69,T70 |
addr_hit[27] |
Covered |
T46,T69,T70 |
addr_hit[28] |
Covered |
T46,T69,T70 |
addr_hit[29] |
Covered |
T46,T69,T70 |
addr_hit[30] |
Covered |
T46,T69,T70 |
addr_hit[31] |
Covered |
T46,T69,T70 |
addr_hit[32] |
Covered |
T46,T69,T70 |
addr_hit[33] |
Covered |
T46,T69,T70 |
addr_hit[34] |
Covered |
T46,T69,T70 |
default |
Covered |
T46,T69,T70 |
Assert Coverage for Module :
lc_ctrl_reg_top
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
en2addrHit |
299073800 |
1442435 |
0 |
0 |
reAfterRv |
299073800 |
1442435 |
0 |
0 |
rePulse |
299073800 |
1043230 |
0 |
0 |
wePulse |
299073800 |
399205 |
0 |
0 |
en2addrHit
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
299073800 |
1442435 |
0 |
0 |
T46 |
3751 |
375 |
0 |
0 |
T69 |
2305 |
79 |
0 |
0 |
T70 |
3751 |
375 |
0 |
0 |
T71 |
4610 |
79 |
0 |
0 |
T73 |
24620 |
43 |
0 |
0 |
T74 |
22122 |
57 |
0 |
0 |
T75 |
40382 |
90 |
0 |
0 |
T76 |
205762 |
330 |
0 |
0 |
T81 |
1866 |
84 |
0 |
0 |
T92 |
15746 |
768 |
0 |
0 |
T93 |
7502 |
375 |
0 |
0 |
T95 |
12310 |
43 |
0 |
0 |
T97 |
13521 |
72 |
0 |
0 |
T98 |
0 |
70 |
0 |
0 |
T99 |
0 |
30 |
0 |
0 |
T100 |
0 |
57 |
0 |
0 |
T101 |
0 |
330 |
0 |
0 |
T102 |
0 |
768 |
0 |
0 |
T103 |
0 |
330 |
0 |
0 |
T104 |
0 |
72 |
0 |
0 |
reAfterRv
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
299073800 |
1442435 |
0 |
0 |
T46 |
3751 |
375 |
0 |
0 |
T69 |
2305 |
79 |
0 |
0 |
T70 |
3751 |
375 |
0 |
0 |
T71 |
4610 |
79 |
0 |
0 |
T73 |
24620 |
43 |
0 |
0 |
T74 |
22122 |
57 |
0 |
0 |
T75 |
40382 |
90 |
0 |
0 |
T76 |
205762 |
330 |
0 |
0 |
T81 |
1866 |
84 |
0 |
0 |
T92 |
15746 |
768 |
0 |
0 |
T93 |
7502 |
375 |
0 |
0 |
T95 |
12310 |
43 |
0 |
0 |
T97 |
13521 |
72 |
0 |
0 |
T98 |
0 |
70 |
0 |
0 |
T99 |
0 |
30 |
0 |
0 |
T100 |
0 |
57 |
0 |
0 |
T101 |
0 |
330 |
0 |
0 |
T102 |
0 |
768 |
0 |
0 |
T103 |
0 |
330 |
0 |
0 |
T104 |
0 |
72 |
0 |
0 |
rePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
299073800 |
1043230 |
0 |
0 |
T46 |
3751 |
26 |
0 |
0 |
T69 |
2305 |
26 |
0 |
0 |
T70 |
3751 |
26 |
0 |
0 |
T71 |
2305 |
26 |
0 |
0 |
T72 |
2305 |
0 |
0 |
0 |
T73 |
12310 |
6 |
0 |
0 |
T74 |
11061 |
0 |
0 |
0 |
T75 |
40382 |
24 |
0 |
0 |
T76 |
205762 |
264 |
0 |
0 |
T81 |
1866 |
23 |
0 |
0 |
T92 |
7873 |
384 |
0 |
0 |
T93 |
7502 |
26 |
0 |
0 |
T95 |
12310 |
6 |
0 |
0 |
T96 |
12310 |
0 |
0 |
0 |
T97 |
13521 |
6 |
0 |
0 |
T98 |
1391 |
7 |
0 |
0 |
T99 |
0 |
24 |
0 |
0 |
T101 |
0 |
264 |
0 |
0 |
T102 |
0 |
384 |
0 |
0 |
T103 |
0 |
264 |
0 |
0 |
T104 |
0 |
6 |
0 |
0 |
T105 |
0 |
384 |
0 |
0 |
T106 |
0 |
24 |
0 |
0 |
T107 |
12310 |
0 |
0 |
0 |
wePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
299073800 |
399205 |
0 |
0 |
T46 |
3751 |
349 |
0 |
0 |
T69 |
2305 |
53 |
0 |
0 |
T70 |
3751 |
349 |
0 |
0 |
T71 |
4610 |
53 |
0 |
0 |
T73 |
24620 |
37 |
0 |
0 |
T74 |
22122 |
57 |
0 |
0 |
T75 |
40382 |
66 |
0 |
0 |
T76 |
205762 |
66 |
0 |
0 |
T81 |
1866 |
61 |
0 |
0 |
T92 |
15746 |
384 |
0 |
0 |
T93 |
7502 |
349 |
0 |
0 |
T95 |
12310 |
37 |
0 |
0 |
T97 |
13521 |
66 |
0 |
0 |
T98 |
0 |
63 |
0 |
0 |
T99 |
0 |
6 |
0 |
0 |
T100 |
0 |
57 |
0 |
0 |
T101 |
0 |
66 |
0 |
0 |
T102 |
0 |
384 |
0 |
0 |
T103 |
0 |
66 |
0 |
0 |
T104 |
0 |
66 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg
| Line No. | Total | Covered | Percent |
TOTAL | | 227 | 227 | 100.00 |
ALWAYS | 71 | 4 | 4 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 121 | 1 | 1 | 100.00 |
CONT_ASSIGN | 122 | 1 | 1 | 100.00 |
CONT_ASSIGN | 236 | 1 | 1 | 100.00 |
CONT_ASSIGN | 251 | 1 | 1 | 100.00 |
CONT_ASSIGN | 267 | 1 | 1 | 100.00 |
CONT_ASSIGN | 283 | 1 | 1 | 100.00 |
CONT_ASSIGN | 499 | 1 | 1 | 100.00 |
CONT_ASSIGN | 502 | 1 | 1 | 100.00 |
CONT_ASSIGN | 516 | 1 | 1 | 100.00 |
CONT_ASSIGN | 538 | 1 | 1 | 100.00 |
CONT_ASSIGN | 541 | 1 | 1 | 100.00 |
CONT_ASSIGN | 555 | 1 | 1 | 100.00 |
CONT_ASSIGN | 561 | 1 | 1 | 100.00 |
CONT_ASSIGN | 564 | 1 | 1 | 100.00 |
CONT_ASSIGN | 579 | 1 | 1 | 100.00 |
CONT_ASSIGN | 595 | 1 | 1 | 100.00 |
CONT_ASSIGN | 602 | 1 | 1 | 100.00 |
CONT_ASSIGN | 605 | 1 | 1 | 100.00 |
CONT_ASSIGN | 619 | 1 | 1 | 100.00 |
CONT_ASSIGN | 626 | 1 | 1 | 100.00 |
CONT_ASSIGN | 629 | 1 | 1 | 100.00 |
CONT_ASSIGN | 643 | 1 | 1 | 100.00 |
CONT_ASSIGN | 650 | 1 | 1 | 100.00 |
CONT_ASSIGN | 653 | 1 | 1 | 100.00 |
CONT_ASSIGN | 667 | 1 | 1 | 100.00 |
CONT_ASSIGN | 674 | 1 | 1 | 100.00 |
CONT_ASSIGN | 677 | 1 | 1 | 100.00 |
CONT_ASSIGN | 691 | 1 | 1 | 100.00 |
CONT_ASSIGN | 697 | 1 | 1 | 100.00 |
CONT_ASSIGN | 700 | 1 | 1 | 100.00 |
CONT_ASSIGN | 714 | 1 | 1 | 100.00 |
CONT_ASSIGN | 720 | 1 | 1 | 100.00 |
CONT_ASSIGN | 723 | 1 | 1 | 100.00 |
CONT_ASSIGN | 737 | 1 | 1 | 100.00 |
ALWAYS | 1143 | 36 | 36 | 100.00 |
CONT_ASSIGN | 1181 | 1 | 1 | 100.00 |
ALWAYS | 1185 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1224 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1226 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1228 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1230 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1231 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1232 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1234 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1235 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1236 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1238 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1239 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1240 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1242 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1243 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1244 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1246 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1248 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1249 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1250 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1252 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1253 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1254 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1256 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1257 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1258 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1260 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1261 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1262 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1264 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1265 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1266 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1268 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1269 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1270 | 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 |
CONT_ASSIGN | 1292 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1293 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1294 | 1 | 1 | 100.00 |
ALWAYS | 1298 | 36 | 36 | 100.00 |
ALWAYS | 1338 | 53 | 53 | 100.00 |
CONT_ASSIGN | 1507 | 0 | 0 | |
CONT_ASSIGN | 1515 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1516 | 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 | |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
74 |
1 |
1 |
|
|
|
MISSING_ELSE |
80 |
1 |
1 |
92 |
1 |
1 |
93 |
1 |
1 |
121 |
1 |
1 |
122 |
1 |
1 |
236 |
1 |
1 |
251 |
1 |
1 |
267 |
1 |
1 |
283 |
1 |
1 |
499 |
1 |
1 |
502 |
1 |
1 |
516 |
1 |
1 |
538 |
1 |
1 |
541 |
1 |
1 |
555 |
1 |
1 |
561 |
1 |
1 |
564 |
1 |
1 |
579 |
1 |
1 |
595 |
1 |
1 |
602 |
1 |
1 |
605 |
1 |
1 |
619 |
1 |
1 |
626 |
1 |
1 |
629 |
1 |
1 |
643 |
1 |
1 |
650 |
1 |
1 |
653 |
1 |
1 |
667 |
1 |
1 |
674 |
1 |
1 |
677 |
1 |
1 |
691 |
1 |
1 |
697 |
1 |
1 |
700 |
1 |
1 |
714 |
1 |
1 |
720 |
1 |
1 |
723 |
1 |
1 |
737 |
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 |
1176 |
1 |
1 |
1177 |
1 |
1 |
1178 |
1 |
1 |
1181 |
1 |
1 |
1185 |
1 |
1 |
1224 |
1 |
1 |
1226 |
1 |
1 |
1228 |
1 |
1 |
1230 |
1 |
1 |
1231 |
1 |
1 |
1232 |
1 |
1 |
1234 |
1 |
1 |
1235 |
1 |
1 |
1236 |
1 |
1 |
1238 |
1 |
1 |
1239 |
1 |
1 |
1240 |
1 |
1 |
1242 |
1 |
1 |
1243 |
1 |
1 |
1244 |
1 |
1 |
1246 |
1 |
1 |
1248 |
1 |
1 |
1249 |
1 |
1 |
1250 |
1 |
1 |
1252 |
1 |
1 |
1253 |
1 |
1 |
1254 |
1 |
1 |
1256 |
1 |
1 |
1257 |
1 |
1 |
1258 |
1 |
1 |
1260 |
1 |
1 |
1261 |
1 |
1 |
1262 |
1 |
1 |
1264 |
1 |
1 |
1265 |
1 |
1 |
1266 |
1 |
1 |
1268 |
1 |
1 |
1269 |
1 |
1 |
1270 |
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 |
1292 |
1 |
1 |
1293 |
1 |
1 |
1294 |
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 |
1331 |
1 |
1 |
1332 |
1 |
1 |
1333 |
1 |
1 |
1338 |
1 |
1 |
1339 |
1 |
1 |
1341 |
1 |
1 |
1342 |
1 |
1 |
1343 |
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 |
1356 |
1 |
1 |
1357 |
1 |
1 |
1358 |
1 |
1 |
1362 |
1 |
1 |
1366 |
1 |
1 |
1370 |
1 |
1 |
1374 |
1 |
1 |
1378 |
1 |
1 |
1379 |
1 |
1 |
1383 |
1 |
1 |
1387 |
1 |
1 |
1391 |
1 |
1 |
1395 |
1 |
1 |
1399 |
1 |
1 |
1403 |
1 |
1 |
1407 |
1 |
1 |
1411 |
1 |
1 |
1415 |
1 |
1 |
1419 |
1 |
1 |
1423 |
1 |
1 |
1424 |
1 |
1 |
1428 |
1 |
1 |
1429 |
1 |
1 |
1433 |
1 |
1 |
1437 |
1 |
1 |
1441 |
1 |
1 |
1445 |
1 |
1 |
1449 |
1 |
1 |
1453 |
1 |
1 |
1457 |
1 |
1 |
1461 |
1 |
1 |
1465 |
1 |
1 |
1469 |
1 |
1 |
1473 |
1 |
1 |
1477 |
1 |
1 |
1481 |
1 |
1 |
1485 |
1 |
1 |
1489 |
1 |
1 |
1493 |
1 |
1 |
1507 |
|
unreachable |
1515 |
1 |
1 |
1516 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg
| Total | Covered | Percent |
Conditions | 434 | 400 | 92.17 |
Logical | 434 | 400 | 92.17 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
This module contains a very large number of conditions, so the report has been split into multiple pages, by source line number. Click on the line number range in the table below to see the condition coverage for that section of the module.
Branch Coverage for Instance : tb.dut.u_reg
| Line No. | Total | Covered | Percent |
Branches |
|
41 |
41 |
100.00 |
TERNARY |
1181 |
2 |
2 |
100.00 |
IF |
71 |
3 |
3 |
100.00 |
CASE |
1339 |
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-: 1181 ((reg_re || reg_we)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T46,T69,T70 |
0 |
Covered |
T46,T69,T70 |
LineNo. Expression
-1-: 71 if ((!rst_ni))
-2-: 73 if ((intg_err || reg_we_err))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T46,T69,T70 |
0 |
1 |
Covered |
T78,T79,T80 |
0 |
0 |
Covered |
T46,T69,T70 |
LineNo. Expression
-1-: 1339 case (1'b1)
Branches:
-1- | Status | Tests |
addr_hit[0] |
Covered |
T46,T69,T70 |
addr_hit[1] |
Covered |
T46,T69,T70 |
addr_hit[2] |
Covered |
T46,T69,T70 |
addr_hit[3] |
Covered |
T46,T69,T70 |
addr_hit[4] |
Covered |
T46,T69,T70 |
addr_hit[5] |
Covered |
T46,T69,T70 |
addr_hit[6] |
Covered |
T46,T69,T70 |
addr_hit[7] |
Covered |
T46,T69,T70 |
addr_hit[8] |
Covered |
T46,T69,T70 |
addr_hit[9] |
Covered |
T46,T69,T70 |
addr_hit[10] |
Covered |
T46,T69,T70 |
addr_hit[11] |
Covered |
T46,T69,T70 |
addr_hit[12] |
Covered |
T46,T69,T70 |
addr_hit[13] |
Covered |
T46,T69,T70 |
addr_hit[14] |
Covered |
T46,T69,T70 |
addr_hit[15] |
Covered |
T46,T69,T70 |
addr_hit[16] |
Covered |
T46,T69,T70 |
addr_hit[17] |
Covered |
T46,T69,T70 |
addr_hit[18] |
Covered |
T46,T69,T70 |
addr_hit[19] |
Covered |
T46,T69,T70 |
addr_hit[20] |
Covered |
T46,T69,T70 |
addr_hit[21] |
Covered |
T46,T69,T70 |
addr_hit[22] |
Covered |
T46,T69,T70 |
addr_hit[23] |
Covered |
T46,T69,T70 |
addr_hit[24] |
Covered |
T46,T69,T70 |
addr_hit[25] |
Covered |
T46,T69,T70 |
addr_hit[26] |
Covered |
T46,T69,T70 |
addr_hit[27] |
Covered |
T46,T69,T70 |
addr_hit[28] |
Covered |
T46,T69,T70 |
addr_hit[29] |
Covered |
T46,T69,T70 |
addr_hit[30] |
Covered |
T46,T69,T70 |
addr_hit[31] |
Covered |
T46,T69,T70 |
addr_hit[32] |
Covered |
T46,T69,T70 |
addr_hit[33] |
Covered |
T46,T69,T70 |
addr_hit[34] |
Covered |
T46,T69,T70 |
default |
Covered |
T46,T69,T70 |
Assert Coverage for Instance : tb.dut.u_reg
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
en2addrHit |
149536900 |
1007105 |
0 |
0 |
reAfterRv |
149536900 |
1007105 |
0 |
0 |
rePulse |
149536900 |
747350 |
0 |
0 |
wePulse |
149536900 |
259755 |
0 |
0 |
en2addrHit
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
149536900 |
1007105 |
0 |
0 |
T46 |
3751 |
375 |
0 |
0 |
T69 |
2305 |
79 |
0 |
0 |
T70 |
3751 |
375 |
0 |
0 |
T71 |
2305 |
79 |
0 |
0 |
T73 |
12310 |
43 |
0 |
0 |
T74 |
11061 |
0 |
0 |
0 |
T75 |
20191 |
0 |
0 |
0 |
T76 |
102881 |
0 |
0 |
0 |
T81 |
0 |
84 |
0 |
0 |
T92 |
7873 |
768 |
0 |
0 |
T93 |
3751 |
375 |
0 |
0 |
T95 |
0 |
43 |
0 |
0 |
T98 |
0 |
70 |
0 |
0 |
reAfterRv
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
149536900 |
1007105 |
0 |
0 |
T46 |
3751 |
375 |
0 |
0 |
T69 |
2305 |
79 |
0 |
0 |
T70 |
3751 |
375 |
0 |
0 |
T71 |
2305 |
79 |
0 |
0 |
T73 |
12310 |
43 |
0 |
0 |
T74 |
11061 |
0 |
0 |
0 |
T75 |
20191 |
0 |
0 |
0 |
T76 |
102881 |
0 |
0 |
0 |
T81 |
0 |
84 |
0 |
0 |
T92 |
7873 |
768 |
0 |
0 |
T93 |
3751 |
375 |
0 |
0 |
T95 |
0 |
43 |
0 |
0 |
T98 |
0 |
70 |
0 |
0 |
rePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
149536900 |
747350 |
0 |
0 |
T46 |
3751 |
26 |
0 |
0 |
T69 |
2305 |
26 |
0 |
0 |
T70 |
3751 |
26 |
0 |
0 |
T71 |
2305 |
26 |
0 |
0 |
T73 |
12310 |
6 |
0 |
0 |
T74 |
11061 |
0 |
0 |
0 |
T75 |
20191 |
0 |
0 |
0 |
T76 |
102881 |
0 |
0 |
0 |
T81 |
0 |
23 |
0 |
0 |
T92 |
7873 |
384 |
0 |
0 |
T93 |
3751 |
26 |
0 |
0 |
T95 |
0 |
6 |
0 |
0 |
T98 |
0 |
7 |
0 |
0 |
wePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
149536900 |
259755 |
0 |
0 |
T46 |
3751 |
349 |
0 |
0 |
T69 |
2305 |
53 |
0 |
0 |
T70 |
3751 |
349 |
0 |
0 |
T71 |
2305 |
53 |
0 |
0 |
T73 |
12310 |
37 |
0 |
0 |
T74 |
11061 |
0 |
0 |
0 |
T75 |
20191 |
0 |
0 |
0 |
T76 |
102881 |
0 |
0 |
0 |
T81 |
0 |
61 |
0 |
0 |
T92 |
7873 |
384 |
0 |
0 |
T93 |
3751 |
349 |
0 |
0 |
T95 |
0 |
37 |
0 |
0 |
T98 |
0 |
63 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_reg_tap
| Line No. | Total | Covered | Percent |
TOTAL | | 227 | 226 | 99.56 |
ALWAYS | 71 | 4 | 4 | 100.00 |
CONT_ASSIGN | 80 | 1 | 1 | 100.00 |
CONT_ASSIGN | 92 | 1 | 1 | 100.00 |
CONT_ASSIGN | 93 | 1 | 1 | 100.00 |
CONT_ASSIGN | 121 | 1 | 1 | 100.00 |
CONT_ASSIGN | 122 | 1 | 0 | 0.00 |
CONT_ASSIGN | 236 | 1 | 1 | 100.00 |
CONT_ASSIGN | 251 | 1 | 1 | 100.00 |
CONT_ASSIGN | 267 | 1 | 1 | 100.00 |
CONT_ASSIGN | 283 | 1 | 1 | 100.00 |
CONT_ASSIGN | 499 | 1 | 1 | 100.00 |
CONT_ASSIGN | 502 | 1 | 1 | 100.00 |
CONT_ASSIGN | 516 | 1 | 1 | 100.00 |
CONT_ASSIGN | 538 | 1 | 1 | 100.00 |
CONT_ASSIGN | 541 | 1 | 1 | 100.00 |
CONT_ASSIGN | 555 | 1 | 1 | 100.00 |
CONT_ASSIGN | 561 | 1 | 1 | 100.00 |
CONT_ASSIGN | 564 | 1 | 1 | 100.00 |
CONT_ASSIGN | 579 | 1 | 1 | 100.00 |
CONT_ASSIGN | 595 | 1 | 1 | 100.00 |
CONT_ASSIGN | 602 | 1 | 1 | 100.00 |
CONT_ASSIGN | 605 | 1 | 1 | 100.00 |
CONT_ASSIGN | 619 | 1 | 1 | 100.00 |
CONT_ASSIGN | 626 | 1 | 1 | 100.00 |
CONT_ASSIGN | 629 | 1 | 1 | 100.00 |
CONT_ASSIGN | 643 | 1 | 1 | 100.00 |
CONT_ASSIGN | 650 | 1 | 1 | 100.00 |
CONT_ASSIGN | 653 | 1 | 1 | 100.00 |
CONT_ASSIGN | 667 | 1 | 1 | 100.00 |
CONT_ASSIGN | 674 | 1 | 1 | 100.00 |
CONT_ASSIGN | 677 | 1 | 1 | 100.00 |
CONT_ASSIGN | 691 | 1 | 1 | 100.00 |
CONT_ASSIGN | 697 | 1 | 1 | 100.00 |
CONT_ASSIGN | 700 | 1 | 1 | 100.00 |
CONT_ASSIGN | 714 | 1 | 1 | 100.00 |
CONT_ASSIGN | 720 | 1 | 1 | 100.00 |
CONT_ASSIGN | 723 | 1 | 1 | 100.00 |
CONT_ASSIGN | 737 | 1 | 1 | 100.00 |
ALWAYS | 1143 | 36 | 36 | 100.00 |
CONT_ASSIGN | 1181 | 1 | 1 | 100.00 |
ALWAYS | 1185 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1224 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1226 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1228 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1230 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1231 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1232 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1234 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1235 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1236 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1238 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1239 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1240 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1242 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1243 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1244 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1246 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1248 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1249 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1250 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1252 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1253 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1254 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1256 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1257 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1258 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1260 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1261 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1262 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1264 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1265 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1266 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1268 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1269 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1270 | 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 |
CONT_ASSIGN | 1292 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1293 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1294 | 1 | 1 | 100.00 |
ALWAYS | 1298 | 36 | 36 | 100.00 |
ALWAYS | 1338 | 53 | 53 | 100.00 |
CONT_ASSIGN | 1507 | 0 | 0 | |
CONT_ASSIGN | 1515 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1516 | 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 | |
71 |
1 |
1 |
72 |
1 |
1 |
73 |
1 |
1 |
74 |
1 |
1 |
|
|
|
MISSING_ELSE |
80 |
1 |
1 |
92 |
1 |
1 |
93 |
1 |
1 |
121 |
1 |
1 |
122 |
0 |
1 |
236 |
1 |
1 |
251 |
1 |
1 |
267 |
1 |
1 |
283 |
1 |
1 |
499 |
1 |
1 |
502 |
1 |
1 |
516 |
1 |
1 |
538 |
1 |
1 |
541 |
1 |
1 |
555 |
1 |
1 |
561 |
1 |
1 |
564 |
1 |
1 |
579 |
1 |
1 |
595 |
1 |
1 |
602 |
1 |
1 |
605 |
1 |
1 |
619 |
1 |
1 |
626 |
1 |
1 |
629 |
1 |
1 |
643 |
1 |
1 |
650 |
1 |
1 |
653 |
1 |
1 |
667 |
1 |
1 |
674 |
1 |
1 |
677 |
1 |
1 |
691 |
1 |
1 |
697 |
1 |
1 |
700 |
1 |
1 |
714 |
1 |
1 |
720 |
1 |
1 |
723 |
1 |
1 |
737 |
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 |
1176 |
1 |
1 |
1177 |
1 |
1 |
1178 |
1 |
1 |
1181 |
1 |
1 |
1185 |
1 |
1 |
1224 |
1 |
1 |
1226 |
1 |
1 |
1228 |
1 |
1 |
1230 |
1 |
1 |
1231 |
1 |
1 |
1232 |
1 |
1 |
1234 |
1 |
1 |
1235 |
1 |
1 |
1236 |
1 |
1 |
1238 |
1 |
1 |
1239 |
1 |
1 |
1240 |
1 |
1 |
1242 |
1 |
1 |
1243 |
1 |
1 |
1244 |
1 |
1 |
1246 |
1 |
1 |
1248 |
1 |
1 |
1249 |
1 |
1 |
1250 |
1 |
1 |
1252 |
1 |
1 |
1253 |
1 |
1 |
1254 |
1 |
1 |
1256 |
1 |
1 |
1257 |
1 |
1 |
1258 |
1 |
1 |
1260 |
1 |
1 |
1261 |
1 |
1 |
1262 |
1 |
1 |
1264 |
1 |
1 |
1265 |
1 |
1 |
1266 |
1 |
1 |
1268 |
1 |
1 |
1269 |
1 |
1 |
1270 |
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 |
1292 |
1 |
1 |
1293 |
1 |
1 |
1294 |
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 |
1331 |
1 |
1 |
1332 |
1 |
1 |
1333 |
1 |
1 |
1338 |
1 |
1 |
1339 |
1 |
1 |
1341 |
1 |
1 |
1342 |
1 |
1 |
1343 |
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 |
1356 |
1 |
1 |
1357 |
1 |
1 |
1358 |
1 |
1 |
1362 |
1 |
1 |
1366 |
1 |
1 |
1370 |
1 |
1 |
1374 |
1 |
1 |
1378 |
1 |
1 |
1379 |
1 |
1 |
1383 |
1 |
1 |
1387 |
1 |
1 |
1391 |
1 |
1 |
1395 |
1 |
1 |
1399 |
1 |
1 |
1403 |
1 |
1 |
1407 |
1 |
1 |
1411 |
1 |
1 |
1415 |
1 |
1 |
1419 |
1 |
1 |
1423 |
1 |
1 |
1424 |
1 |
1 |
1428 |
1 |
1 |
1429 |
1 |
1 |
1433 |
1 |
1 |
1437 |
1 |
1 |
1441 |
1 |
1 |
1445 |
1 |
1 |
1449 |
1 |
1 |
1453 |
1 |
1 |
1457 |
1 |
1 |
1461 |
1 |
1 |
1465 |
1 |
1 |
1469 |
1 |
1 |
1473 |
1 |
1 |
1477 |
1 |
1 |
1481 |
1 |
1 |
1485 |
1 |
1 |
1489 |
1 |
1 |
1493 |
1 |
1 |
1507 |
|
unreachable |
1515 |
1 |
1 |
1516 |
1 |
1 |
Cond Coverage for Instance : tb.dut.u_reg_tap
| Total | Covered | Percent |
Conditions | 280 | 276 | 98.57 |
Logical | 280 | 276 | 98.57 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
This module contains a very large number of conditions, so the report has been split into multiple pages, by source line number. Click on the line number range in the table below to see the condition coverage for that section of the module.
Branch Coverage for Instance : tb.dut.u_reg_tap
| Line No. | Total | Covered | Percent |
Branches |
|
41 |
41 |
100.00 |
TERNARY |
1181 |
2 |
2 |
100.00 |
IF |
71 |
3 |
3 |
100.00 |
CASE |
1339 |
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-: 1181 ((reg_re || reg_we)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T74,T75,T76 |
0 |
Covered |
T46,T69,T70 |
LineNo. Expression
-1-: 71 if ((!rst_ni))
-2-: 73 if ((intg_err || reg_we_err))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T46,T69,T70 |
0 |
1 |
Covered |
T63,T64,T65 |
0 |
0 |
Covered |
T46,T69,T70 |
LineNo. Expression
-1-: 1339 case (1'b1)
Branches:
-1- | Status | Tests |
addr_hit[0] |
Covered |
T46,T69,T70 |
addr_hit[1] |
Covered |
T46,T69,T70 |
addr_hit[2] |
Covered |
T46,T69,T70 |
addr_hit[3] |
Covered |
T46,T69,T70 |
addr_hit[4] |
Covered |
T46,T69,T70 |
addr_hit[5] |
Covered |
T46,T69,T70 |
addr_hit[6] |
Covered |
T46,T69,T70 |
addr_hit[7] |
Covered |
T46,T69,T70 |
addr_hit[8] |
Covered |
T46,T69,T70 |
addr_hit[9] |
Covered |
T46,T69,T70 |
addr_hit[10] |
Covered |
T46,T69,T70 |
addr_hit[11] |
Covered |
T46,T69,T70 |
addr_hit[12] |
Covered |
T46,T69,T70 |
addr_hit[13] |
Covered |
T46,T69,T70 |
addr_hit[14] |
Covered |
T46,T69,T70 |
addr_hit[15] |
Covered |
T46,T69,T70 |
addr_hit[16] |
Covered |
T46,T69,T70 |
addr_hit[17] |
Covered |
T46,T69,T70 |
addr_hit[18] |
Covered |
T46,T69,T70 |
addr_hit[19] |
Covered |
T46,T69,T70 |
addr_hit[20] |
Covered |
T46,T69,T70 |
addr_hit[21] |
Covered |
T46,T69,T70 |
addr_hit[22] |
Covered |
T46,T69,T70 |
addr_hit[23] |
Covered |
T46,T69,T70 |
addr_hit[24] |
Covered |
T46,T69,T70 |
addr_hit[25] |
Covered |
T46,T69,T70 |
addr_hit[26] |
Covered |
T46,T69,T70 |
addr_hit[27] |
Covered |
T46,T69,T70 |
addr_hit[28] |
Covered |
T46,T69,T70 |
addr_hit[29] |
Covered |
T46,T69,T70 |
addr_hit[30] |
Covered |
T46,T69,T70 |
addr_hit[31] |
Covered |
T46,T69,T70 |
addr_hit[32] |
Covered |
T46,T69,T70 |
addr_hit[33] |
Covered |
T46,T69,T70 |
addr_hit[34] |
Covered |
T46,T69,T70 |
default |
Covered |
T46,T69,T70 |
Assert Coverage for Instance : tb.dut.u_reg_tap
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
en2addrHit |
149536900 |
435330 |
0 |
0 |
reAfterRv |
149536900 |
435330 |
0 |
0 |
rePulse |
149536900 |
295880 |
0 |
0 |
wePulse |
149536900 |
139450 |
0 |
0 |
en2addrHit
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
149536900 |
435330 |
0 |
0 |
T71 |
2305 |
0 |
0 |
0 |
T73 |
12310 |
0 |
0 |
0 |
T74 |
11061 |
57 |
0 |
0 |
T75 |
20191 |
90 |
0 |
0 |
T76 |
102881 |
330 |
0 |
0 |
T81 |
1866 |
0 |
0 |
0 |
T92 |
7873 |
0 |
0 |
0 |
T93 |
3751 |
0 |
0 |
0 |
T95 |
12310 |
0 |
0 |
0 |
T97 |
13521 |
72 |
0 |
0 |
T99 |
0 |
30 |
0 |
0 |
T100 |
0 |
57 |
0 |
0 |
T101 |
0 |
330 |
0 |
0 |
T102 |
0 |
768 |
0 |
0 |
T103 |
0 |
330 |
0 |
0 |
T104 |
0 |
72 |
0 |
0 |
reAfterRv
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
149536900 |
435330 |
0 |
0 |
T71 |
2305 |
0 |
0 |
0 |
T73 |
12310 |
0 |
0 |
0 |
T74 |
11061 |
57 |
0 |
0 |
T75 |
20191 |
90 |
0 |
0 |
T76 |
102881 |
330 |
0 |
0 |
T81 |
1866 |
0 |
0 |
0 |
T92 |
7873 |
0 |
0 |
0 |
T93 |
3751 |
0 |
0 |
0 |
T95 |
12310 |
0 |
0 |
0 |
T97 |
13521 |
72 |
0 |
0 |
T99 |
0 |
30 |
0 |
0 |
T100 |
0 |
57 |
0 |
0 |
T101 |
0 |
330 |
0 |
0 |
T102 |
0 |
768 |
0 |
0 |
T103 |
0 |
330 |
0 |
0 |
T104 |
0 |
72 |
0 |
0 |
rePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
149536900 |
295880 |
0 |
0 |
T72 |
2305 |
0 |
0 |
0 |
T75 |
20191 |
24 |
0 |
0 |
T76 |
102881 |
264 |
0 |
0 |
T81 |
1866 |
0 |
0 |
0 |
T93 |
3751 |
0 |
0 |
0 |
T95 |
12310 |
0 |
0 |
0 |
T96 |
12310 |
0 |
0 |
0 |
T97 |
13521 |
6 |
0 |
0 |
T98 |
1391 |
0 |
0 |
0 |
T99 |
0 |
24 |
0 |
0 |
T101 |
0 |
264 |
0 |
0 |
T102 |
0 |
384 |
0 |
0 |
T103 |
0 |
264 |
0 |
0 |
T104 |
0 |
6 |
0 |
0 |
T105 |
0 |
384 |
0 |
0 |
T106 |
0 |
24 |
0 |
0 |
T107 |
12310 |
0 |
0 |
0 |
wePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
149536900 |
139450 |
0 |
0 |
T71 |
2305 |
0 |
0 |
0 |
T73 |
12310 |
0 |
0 |
0 |
T74 |
11061 |
57 |
0 |
0 |
T75 |
20191 |
66 |
0 |
0 |
T76 |
102881 |
66 |
0 |
0 |
T81 |
1866 |
0 |
0 |
0 |
T92 |
7873 |
0 |
0 |
0 |
T93 |
3751 |
0 |
0 |
0 |
T95 |
12310 |
0 |
0 |
0 |
T97 |
13521 |
66 |
0 |
0 |
T99 |
0 |
6 |
0 |
0 |
T100 |
0 |
57 |
0 |
0 |
T101 |
0 |
66 |
0 |
0 |
T102 |
0 |
384 |
0 |
0 |
T103 |
0 |
66 |
0 |
0 |
T104 |
0 |
66 |
0 |
0 |