Line Coverage for Module :
rstmgr_reg_top
| Line No. | Total | Covered | Percent |
TOTAL | | 178 | 178 | 100.00 |
ALWAYS | 73 | 4 | 4 | 100.00 |
CONT_ASSIGN | 82 | 1 | 1 | 100.00 |
CONT_ASSIGN | 94 | 1 | 1 | 100.00 |
CONT_ASSIGN | 95 | 1 | 1 | 100.00 |
CONT_ASSIGN | 123 | 1 | 1 | 100.00 |
CONT_ASSIGN | 124 | 1 | 1 | 100.00 |
CONT_ASSIGN | 226 | 1 | 1 | 100.00 |
CONT_ASSIGN | 241 | 1 | 1 | 100.00 |
CONT_ASSIGN | 257 | 1 | 1 | 100.00 |
CONT_ASSIGN | 433 | 1 | 1 | 100.00 |
CONT_ASSIGN | 554 | 1 | 1 | 100.00 |
CONT_ASSIGN | 880 | 1 | 1 | 100.00 |
CONT_ASSIGN | 912 | 1 | 1 | 100.00 |
CONT_ASSIGN | 944 | 1 | 1 | 100.00 |
CONT_ASSIGN | 976 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1008 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1040 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1072 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1104 | 1 | 1 | 100.00 |
ALWAYS | 1218 | 29 | 29 | 100.00 |
CONT_ASSIGN | 1249 | 1 | 1 | 100.00 |
ALWAYS | 1253 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1285 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1287 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1289 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1290 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1292 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1293 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1295 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1297 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1299 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1301 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1302 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1304 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1305 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1307 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1309 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1310 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1311 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1312 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1314 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1315 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1317 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1319 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1320 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1321 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1322 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1324 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1325 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1327 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1328 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1330 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1331 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1333 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1334 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1336 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1337 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1339 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1340 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1342 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1343 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1345 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1346 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1348 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1349 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1351 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1352 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1354 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1355 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1357 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1358 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1360 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1361 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1363 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1364 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1366 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1367 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1369 | 1 | 1 | 100.00 |
ALWAYS | 1373 | 29 | 29 | 100.00 |
ALWAYS | 1406 | 38 | 38 | 100.00 |
CONT_ASSIGN | 1539 | 0 | 0 | |
CONT_ASSIGN | 1547 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1548 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_systems_rstmgr_reg_0.1/rtl/autogen/rstmgr_reg_top.sv' or '../src/lowrisc_systems_rstmgr_reg_0.1/rtl/autogen/rstmgr_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
73 |
1 |
1 |
74 |
1 |
1 |
75 |
1 |
1 |
76 |
1 |
1 |
|
|
|
MISSING_ELSE |
82 |
1 |
1 |
94 |
1 |
1 |
95 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
226 |
1 |
1 |
241 |
1 |
1 |
257 |
1 |
1 |
433 |
1 |
1 |
554 |
1 |
1 |
880 |
1 |
1 |
912 |
1 |
1 |
944 |
1 |
1 |
976 |
1 |
1 |
1008 |
1 |
1 |
1040 |
1 |
1 |
1072 |
1 |
1 |
1104 |
1 |
1 |
1218 |
1 |
1 |
1219 |
1 |
1 |
1220 |
1 |
1 |
1221 |
1 |
1 |
1222 |
1 |
1 |
1223 |
1 |
1 |
1224 |
1 |
1 |
1225 |
1 |
1 |
1226 |
1 |
1 |
1227 |
1 |
1 |
1228 |
1 |
1 |
1229 |
1 |
1 |
1230 |
1 |
1 |
1231 |
1 |
1 |
1232 |
1 |
1 |
1233 |
1 |
1 |
1234 |
1 |
1 |
1235 |
1 |
1 |
1236 |
1 |
1 |
1237 |
1 |
1 |
1238 |
1 |
1 |
1239 |
1 |
1 |
1240 |
1 |
1 |
1241 |
1 |
1 |
1242 |
1 |
1 |
1243 |
1 |
1 |
1244 |
1 |
1 |
1245 |
1 |
1 |
1246 |
1 |
1 |
1249 |
1 |
1 |
1253 |
1 |
1 |
1285 |
1 |
1 |
1287 |
1 |
1 |
1289 |
1 |
1 |
1290 |
1 |
1 |
1292 |
1 |
1 |
1293 |
1 |
1 |
1295 |
1 |
1 |
1297 |
1 |
1 |
1299 |
1 |
1 |
1301 |
1 |
1 |
1302 |
1 |
1 |
1304 |
1 |
1 |
1305 |
1 |
1 |
1307 |
1 |
1 |
1309 |
1 |
1 |
1310 |
1 |
1 |
1311 |
1 |
1 |
1312 |
1 |
1 |
1314 |
1 |
1 |
1315 |
1 |
1 |
1317 |
1 |
1 |
1319 |
1 |
1 |
1320 |
1 |
1 |
1321 |
1 |
1 |
1322 |
1 |
1 |
1324 |
1 |
1 |
1325 |
1 |
1 |
1327 |
1 |
1 |
1328 |
1 |
1 |
1330 |
1 |
1 |
1331 |
1 |
1 |
1333 |
1 |
1 |
1334 |
1 |
1 |
1336 |
1 |
1 |
1337 |
1 |
1 |
1339 |
1 |
1 |
1340 |
1 |
1 |
1342 |
1 |
1 |
1343 |
1 |
1 |
1345 |
1 |
1 |
1346 |
1 |
1 |
1348 |
1 |
1 |
1349 |
1 |
1 |
1351 |
1 |
1 |
1352 |
1 |
1 |
1354 |
1 |
1 |
1355 |
1 |
1 |
1357 |
1 |
1 |
1358 |
1 |
1 |
1360 |
1 |
1 |
1361 |
1 |
1 |
1363 |
1 |
1 |
1364 |
1 |
1 |
1366 |
1 |
1 |
1367 |
1 |
1 |
1369 |
1 |
1 |
1373 |
1 |
1 |
1374 |
1 |
1 |
1375 |
1 |
1 |
1376 |
1 |
1 |
1377 |
1 |
1 |
1378 |
1 |
1 |
1379 |
1 |
1 |
1380 |
1 |
1 |
1381 |
1 |
1 |
1382 |
1 |
1 |
1383 |
1 |
1 |
1384 |
1 |
1 |
1385 |
1 |
1 |
1386 |
1 |
1 |
1387 |
1 |
1 |
1388 |
1 |
1 |
1389 |
1 |
1 |
1390 |
1 |
1 |
1391 |
1 |
1 |
1392 |
1 |
1 |
1393 |
1 |
1 |
1394 |
1 |
1 |
1395 |
1 |
1 |
1396 |
1 |
1 |
1397 |
1 |
1 |
1398 |
1 |
1 |
1399 |
1 |
1 |
1400 |
1 |
1 |
1401 |
1 |
1 |
1406 |
1 |
1 |
1407 |
1 |
1 |
1409 |
1 |
1 |
1410 |
1 |
1 |
1414 |
1 |
1 |
1418 |
1 |
1 |
1419 |
1 |
1 |
1420 |
1 |
1 |
1421 |
1 |
1 |
1425 |
1 |
1 |
1429 |
1 |
1 |
1430 |
1 |
1 |
1434 |
1 |
1 |
1438 |
1 |
1 |
1442 |
1 |
1 |
1446 |
1 |
1 |
1447 |
1 |
1 |
1451 |
1 |
1 |
1455 |
1 |
1 |
1459 |
1 |
1 |
1463 |
1 |
1 |
1467 |
1 |
1 |
1471 |
1 |
1 |
1475 |
1 |
1 |
1479 |
1 |
1 |
1483 |
1 |
1 |
1487 |
1 |
1 |
1491 |
1 |
1 |
1495 |
1 |
1 |
1499 |
1 |
1 |
1503 |
1 |
1 |
1507 |
1 |
1 |
1511 |
1 |
1 |
1515 |
1 |
1 |
1519 |
1 |
1 |
1523 |
1 |
1 |
1524 |
1 |
1 |
1525 |
1 |
1 |
1539 |
|
unreachable |
1547 |
1 |
1 |
1548 |
1 |
1 |
Cond Coverage for Module :
rstmgr_reg_top
| Total | Covered | Percent |
Conditions | 331 | 317 | 95.77 |
Logical | 331 | 317 | 95.77 |
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 :
rstmgr_reg_top
| Line No. | Total | Covered | Percent |
Branches |
|
34 |
34 |
100.00 |
TERNARY |
1249 |
2 |
2 |
100.00 |
IF |
73 |
3 |
3 |
100.00 |
CASE |
1407 |
29 |
29 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_systems_rstmgr_reg_0.1/rtl/autogen/rstmgr_reg_top.sv' or '../src/lowrisc_systems_rstmgr_reg_0.1/rtl/autogen/rstmgr_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 1249 ((reg_re || reg_we)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 73 if ((!rst_ni))
-2-: 75 if ((intg_err || reg_we_err))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T56,T46,T53 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 1407 case (1'b1)
Branches:
-1- | Status | Tests |
addr_hit[0] |
Covered |
T1,T3,T4 |
addr_hit[1] |
Covered |
T1,T3,T4 |
addr_hit[2] |
Covered |
T1,T2,T3 |
addr_hit[3] |
Covered |
T1,T3,T4 |
addr_hit[4] |
Covered |
T1,T3,T4 |
addr_hit[5] |
Covered |
T1,T2,T3 |
addr_hit[6] |
Covered |
T1,T3,T4 |
addr_hit[7] |
Covered |
T1,T3,T4 |
addr_hit[8] |
Covered |
T1,T3,T4 |
addr_hit[9] |
Covered |
T1,T3,T4 |
addr_hit[10] |
Covered |
T1,T3,T4 |
addr_hit[11] |
Covered |
T1,T3,T4 |
addr_hit[12] |
Covered |
T1,T3,T4 |
addr_hit[13] |
Covered |
T1,T3,T4 |
addr_hit[14] |
Covered |
T1,T2,T3 |
addr_hit[15] |
Covered |
T1,T3,T4 |
addr_hit[16] |
Covered |
T1,T3,T4 |
addr_hit[17] |
Covered |
T1,T3,T4 |
addr_hit[18] |
Covered |
T1,T3,T4 |
addr_hit[19] |
Covered |
T1,T3,T4 |
addr_hit[20] |
Covered |
T1,T3,T4 |
addr_hit[21] |
Covered |
T1,T3,T4 |
addr_hit[22] |
Covered |
T1,T3,T4 |
addr_hit[23] |
Covered |
T1,T3,T4 |
addr_hit[24] |
Covered |
T1,T3,T4 |
addr_hit[25] |
Covered |
T1,T3,T4 |
addr_hit[26] |
Covered |
T1,T3,T4 |
addr_hit[27] |
Covered |
T1,T3,T4 |
default |
Covered |
T1,T3,T4 |
Assert Coverage for Module :
rstmgr_reg_top
Assertion Details
en2addrHit
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
19487580 |
1320540 |
0 |
0 |
T1 |
5127 |
379 |
0 |
0 |
T2 |
5480 |
1 |
0 |
0 |
T3 |
5127 |
379 |
0 |
0 |
T4 |
35870 |
2818 |
0 |
0 |
T5 |
35870 |
2818 |
0 |
0 |
T6 |
35870 |
2818 |
0 |
0 |
T7 |
235091 |
17710 |
0 |
0 |
T8 |
11330 |
1080 |
0 |
0 |
T9 |
11330 |
1080 |
0 |
0 |
T10 |
11330 |
1080 |
0 |
0 |
reAfterRv
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
19487580 |
1320390 |
0 |
0 |
T1 |
5127 |
379 |
0 |
0 |
T2 |
5480 |
1 |
0 |
0 |
T3 |
5127 |
379 |
0 |
0 |
T4 |
35870 |
2818 |
0 |
0 |
T5 |
35870 |
2818 |
0 |
0 |
T6 |
35870 |
2818 |
0 |
0 |
T7 |
235091 |
17710 |
0 |
0 |
T8 |
11330 |
1080 |
0 |
0 |
T9 |
11330 |
1080 |
0 |
0 |
T10 |
11330 |
1080 |
0 |
0 |
rePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
19487580 |
719380 |
0 |
0 |
T1 |
5127 |
186 |
0 |
0 |
T2 |
5480 |
1 |
0 |
0 |
T3 |
5127 |
186 |
0 |
0 |
T4 |
35870 |
1590 |
0 |
0 |
T5 |
35870 |
1590 |
0 |
0 |
T6 |
35870 |
1590 |
0 |
0 |
T7 |
235091 |
9908 |
0 |
0 |
T8 |
11330 |
563 |
0 |
0 |
T9 |
11330 |
563 |
0 |
0 |
T10 |
11330 |
563 |
0 |
0 |
wePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
19487580 |
601010 |
0 |
0 |
T1 |
5127 |
193 |
0 |
0 |
T2 |
5480 |
0 |
0 |
0 |
T3 |
5127 |
193 |
0 |
0 |
T4 |
35870 |
1228 |
0 |
0 |
T5 |
35870 |
1228 |
0 |
0 |
T6 |
35870 |
1228 |
0 |
0 |
T7 |
235091 |
7802 |
0 |
0 |
T8 |
11330 |
517 |
0 |
0 |
T9 |
11330 |
517 |
0 |
0 |
T10 |
11330 |
517 |
0 |
0 |
T23 |
0 |
517 |
0 |
0 |