Line Coverage for Module :
edn_reg_top
| Line No. | Total | Covered | Percent |
| TOTAL | | 152 | 152 | 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 | 318 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 333 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 349 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 355 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 370 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 386 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 420 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 589 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 603 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 856 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 870 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 876 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 890 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 930 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1352 | 1 | 1 | 100.00 |
| ALWAYS | 1386 | 19 | 19 | 100.00 |
| CONT_ASSIGN | 1407 | 1 | 1 | 100.00 |
| ALWAYS | 1411 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1433 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1435 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1437 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1438 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1440 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1442 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1443 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1445 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1447 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1448 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1450 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1452 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1453 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1455 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1456 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1458 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1460 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1462 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1464 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1465 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1467 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1468 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1470 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1471 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1473 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1474 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1476 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1477 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1479 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1480 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1482 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1483 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1485 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1487 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1489 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1491 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1493 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1495 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1496 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1498 | 1 | 1 | 100.00 |
| ALWAYS | 1502 | 19 | 19 | 100.00 |
| ALWAYS | 1525 | 46 | 46 | 100.00 |
| CONT_ASSIGN | 1636 | 0 | 0 | |
| CONT_ASSIGN | 1644 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 1645 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_reg_top.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_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 |
| 318 |
1 |
1 |
| 333 |
1 |
1 |
| 349 |
1 |
1 |
| 355 |
1 |
1 |
| 370 |
1 |
1 |
| 386 |
1 |
1 |
| 420 |
1 |
1 |
| 589 |
1 |
1 |
| 603 |
1 |
1 |
| 856 |
1 |
1 |
| 870 |
1 |
1 |
| 876 |
1 |
1 |
| 890 |
1 |
1 |
| 930 |
1 |
1 |
| 1352 |
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 |
| 1402 |
1 |
1 |
| 1403 |
1 |
1 |
| 1404 |
1 |
1 |
| 1407 |
1 |
1 |
| 1411 |
1 |
1 |
| 1433 |
1 |
1 |
| 1435 |
1 |
1 |
| 1437 |
1 |
1 |
| 1438 |
1 |
1 |
| 1440 |
1 |
1 |
| 1442 |
1 |
1 |
| 1443 |
1 |
1 |
| 1445 |
1 |
1 |
| 1447 |
1 |
1 |
| 1448 |
1 |
1 |
| 1450 |
1 |
1 |
| 1452 |
1 |
1 |
| 1453 |
1 |
1 |
| 1455 |
1 |
1 |
| 1456 |
1 |
1 |
| 1458 |
1 |
1 |
| 1460 |
1 |
1 |
| 1462 |
1 |
1 |
| 1464 |
1 |
1 |
| 1465 |
1 |
1 |
| 1467 |
1 |
1 |
| 1468 |
1 |
1 |
| 1470 |
1 |
1 |
| 1471 |
1 |
1 |
| 1473 |
1 |
1 |
| 1474 |
1 |
1 |
| 1476 |
1 |
1 |
| 1477 |
1 |
1 |
| 1479 |
1 |
1 |
| 1480 |
1 |
1 |
| 1482 |
1 |
1 |
| 1483 |
1 |
1 |
| 1485 |
1 |
1 |
| 1487 |
1 |
1 |
| 1489 |
1 |
1 |
| 1491 |
1 |
1 |
| 1493 |
1 |
1 |
| 1495 |
1 |
1 |
| 1496 |
1 |
1 |
| 1498 |
1 |
1 |
| 1502 |
1 |
1 |
| 1503 |
1 |
1 |
| 1504 |
1 |
1 |
| 1505 |
1 |
1 |
| 1506 |
1 |
1 |
| 1507 |
1 |
1 |
| 1508 |
1 |
1 |
| 1509 |
1 |
1 |
| 1510 |
1 |
1 |
| 1511 |
1 |
1 |
| 1512 |
1 |
1 |
| 1513 |
1 |
1 |
| 1514 |
1 |
1 |
| 1515 |
1 |
1 |
| 1516 |
1 |
1 |
| 1517 |
1 |
1 |
| 1518 |
1 |
1 |
| 1519 |
1 |
1 |
| 1520 |
1 |
1 |
| 1525 |
1 |
1 |
| 1526 |
1 |
1 |
| 1528 |
1 |
1 |
| 1529 |
1 |
1 |
| 1533 |
1 |
1 |
| 1534 |
1 |
1 |
| 1538 |
1 |
1 |
| 1539 |
1 |
1 |
| 1543 |
1 |
1 |
| 1544 |
1 |
1 |
| 1548 |
1 |
1 |
| 1552 |
1 |
1 |
| 1553 |
1 |
1 |
| 1554 |
1 |
1 |
| 1555 |
1 |
1 |
| 1559 |
1 |
1 |
| 1563 |
1 |
1 |
| 1567 |
1 |
1 |
| 1571 |
1 |
1 |
| 1572 |
1 |
1 |
| 1573 |
1 |
1 |
| 1574 |
1 |
1 |
| 1578 |
1 |
1 |
| 1579 |
1 |
1 |
| 1580 |
1 |
1 |
| 1581 |
1 |
1 |
| 1582 |
1 |
1 |
| 1586 |
1 |
1 |
| 1590 |
1 |
1 |
| 1594 |
1 |
1 |
| 1598 |
1 |
1 |
| 1599 |
1 |
1 |
| 1600 |
1 |
1 |
| 1601 |
1 |
1 |
| 1602 |
1 |
1 |
| 1603 |
1 |
1 |
| 1607 |
1 |
1 |
| 1608 |
1 |
1 |
| 1609 |
1 |
1 |
| 1610 |
1 |
1 |
| 1611 |
1 |
1 |
| 1612 |
1 |
1 |
| 1613 |
1 |
1 |
| 1614 |
1 |
1 |
| 1618 |
1 |
1 |
| 1622 |
1 |
1 |
| 1636 |
|
unreachable |
| 1644 |
1 |
1 |
| 1645 |
1 |
1 |
Cond Coverage for Module :
edn_reg_top
| Total | Covered | Percent |
| Conditions | 190 | 190 | 100.00 |
| Logical | 190 | 190 | 100.00 |
| 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 | T36,T37,T38 |
| 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 | T18,T19,T20 |
| 1 | 0 | Covered | T278,T279,T280 |
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 | T18,T19,T20 |
| 0 | 1 | 0 | Covered | T278,T279,T280 |
| 1 | 0 | 0 | Covered | T18,T19,T20 |
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 | T278,T279,T280 |
| 0 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 0 | 0 | Covered | T36,T37,T38 |
LINE 420
EXPRESSION (ctrl_we & regwen_qs)
---1--- ----2----
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T27,T28 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 1387
EXPRESSION (reg_addr == edn_reg_pkg::EDN_INTR_STATE_OFFSET)
------------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 1388
EXPRESSION (reg_addr == edn_reg_pkg::EDN_INTR_ENABLE_OFFSET)
------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T3,T4 |
LINE 1389
EXPRESSION (reg_addr == edn_reg_pkg::EDN_INTR_TEST_OFFSET)
-----------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T10,T11,T39 |
LINE 1390
EXPRESSION (reg_addr == edn_reg_pkg::EDN_ALERT_TEST_OFFSET)
------------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T24,T10 |
LINE 1391
EXPRESSION (reg_addr == edn_reg_pkg::EDN_REGWEN_OFFSET)
----------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T3,T10 |
LINE 1392
EXPRESSION (reg_addr == edn_reg_pkg::EDN_CTRL_OFFSET)
---------------------1--------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 1393
EXPRESSION (reg_addr == edn_reg_pkg::EDN_BOOT_INS_CMD_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 1394
EXPRESSION (reg_addr == edn_reg_pkg::EDN_BOOT_GEN_CMD_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 1395
EXPRESSION (reg_addr == edn_reg_pkg::EDN_SW_CMD_REQ_OFFSET)
------------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T5 |
LINE 1396
EXPRESSION (reg_addr == edn_reg_pkg::EDN_SW_CMD_STS_OFFSET)
------------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T5 |
LINE 1397
EXPRESSION (reg_addr == edn_reg_pkg::EDN_HW_CMD_STS_OFFSET)
------------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T4 |
LINE 1398
EXPRESSION (reg_addr == edn_reg_pkg::EDN_RESEED_CMD_OFFSET)
------------------------1-----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T3,T4 |
LINE 1399
EXPRESSION (reg_addr == edn_reg_pkg::EDN_GENERATE_CMD_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T3,T9 |
LINE 1400
EXPRESSION (reg_addr == edn_reg_pkg::EDN_MAX_NUM_REQS_BETWEEN_RESEEDS_OFFSET)
---------------------------------1--------------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T4,T9 |
LINE 1401
EXPRESSION (reg_addr == edn_reg_pkg::EDN_RECOV_ALERT_STS_OFFSET)
--------------------------1--------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T10 |
LINE 1402
EXPRESSION (reg_addr == edn_reg_pkg::EDN_ERR_CODE_OFFSET)
-----------------------1----------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T4,T10 |
LINE 1403
EXPRESSION (reg_addr == edn_reg_pkg::EDN_ERR_CODE_TEST_OFFSET)
-------------------------1-------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 1404
EXPRESSION (reg_addr == edn_reg_pkg::EDN_MAIN_SM_STATE_OFFSET)
-------------------------1-------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T4 |
LINE 1407
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T3 |
LINE 1407
SUB-EXPRESSION (reg_re || reg_we)
---1-- ---2--
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
LINE 1411
EXPRESSION
Number Term
1 reg_we &
2 ((addr_hit[0] & ((|(4'b1 & (~reg_be))))) | (addr_hit[1] & ((|(4'b1 & (~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'b0011 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[9] & ((|(4'b1 & (~reg_be))))) | (addr_hit[10] & ((|(4'b0011 & (~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'b0011 & (~reg_be))))) | (addr_hit[15] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[16] & ((|(4'b1 & (~reg_be))))) | (addr_hit[17] & ((|(4'b0011 & (~reg_be)))))))
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T36,T37,T38 |
LINE 1411
SUB-EXPRESSION
Number Term
1 (addr_hit[0] & ((|(4'b1 & (~reg_be))))) |
2 (addr_hit[1] & ((|(4'b1 & (~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'b0011 & (~reg_be))))) |
7 (addr_hit[6] & ((|(4'b1111 & (~reg_be))))) |
8 (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) |
9 (addr_hit[8] & ((|(4'b1111 & (~reg_be))))) |
10 (addr_hit[9] & ((|(4'b1 & (~reg_be))))) |
11 (addr_hit[10] & ((|(4'b0011 & (~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'b0011 & (~reg_be))))) |
16 (addr_hit[15] & ((|(4'b1111 & (~reg_be))))) |
17 (addr_hit[16] & ((|(4'b1 & (~reg_be))))) |
18 (addr_hit[17] & ((|(4'b0011 & (~reg_be))))))
| -1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | -9- | -10- | -11- | -12- | -13- | -14- | -15- | -16- | -17- | -18- | Status | Tests |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | Covered | T2,T4,T10 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | Covered | T1,T26,T39 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | Covered | T3,T4,T10 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | Covered | T1,T10,T26 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | Covered | T1,T4,T10 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T10,T39 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T4,T10 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T4 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T25 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T4,T10 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T4,T10 |
| 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T4,T10 |
| 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T3,T4 |
| 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T10,T11,T39 |
| 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T10,T39 |
| 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T10,T11,T39 |
| 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T11,T51,T36 |
| 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
LINE 1411
SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T3 |
LINE 1411
SUB-EXPRESSION (addr_hit[1] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T3,T4 |
| 1 | 1 | Covered | T11,T51,T36 |
LINE 1411
SUB-EXPRESSION (addr_hit[2] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T10,T11,T51 |
| 1 | 1 | Covered | T10,T11,T39 |
LINE 1411
SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T24,T10,T36 |
| 1 | 1 | Covered | T1,T10,T39 |
LINE 1411
SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T3,T10 |
| 1 | 1 | Covered | T10,T11,T39 |
LINE 1411
SUB-EXPRESSION (addr_hit[5] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T3,T4 |
LINE 1411
SUB-EXPRESSION (addr_hit[6] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T4 |
| 1 | 1 | Covered | T1,T4,T10 |
LINE 1411
SUB-EXPRESSION (addr_hit[7] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T3,T25 |
| 1 | 1 | Covered | T1,T4,T10 |
LINE 1411
SUB-EXPRESSION (addr_hit[8] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T5 |
| 1 | 1 | Covered | T1,T4,T10 |
LINE 1411
SUB-EXPRESSION (addr_hit[9] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T5 |
| 1 | 1 | Covered | T1,T2,T25 |
LINE 1411
SUB-EXPRESSION (addr_hit[10] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T4,T77 |
| 1 | 1 | Covered | T1,T2,T4 |
LINE 1411
SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T9,T10 |
| 1 | 1 | Covered | T1,T4,T10 |
LINE 1411
SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T9,T10 |
| 1 | 1 | Covered | T1,T10,T39 |
LINE 1411
SUB-EXPRESSION (addr_hit[13] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T9,T10,T11 |
| 1 | 1 | Covered | T1,T4,T10 |
LINE 1411
SUB-EXPRESSION (addr_hit[14] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T2,T10,T26 |
| 1 | 1 | Covered | T1,T10,T26 |
LINE 1411
SUB-EXPRESSION (addr_hit[15] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T3,T10,T11 |
| 1 | 1 | Covered | T3,T4,T10 |
LINE 1411
SUB-EXPRESSION (addr_hit[16] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T26,T39 |
LINE 1411
SUB-EXPRESSION (addr_hit[17] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T10,T26 |
| 1 | 1 | Covered | T2,T4,T10 |
LINE 1433
EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1438
EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 1443
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 | T10,T11,T39 |
| 1 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 1 | 1 | Covered | T51,T36,T37 |
LINE 1448
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 | T1,T24,T10 |
| 1 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 1 | 1 | Covered | T24,T74,T75 |
LINE 1453
EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T3,T10 |
| 1 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 1 | 1 | Covered | T3,T27,T28 |
LINE 1456
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 | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1465
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 | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 1 | 1 | Covered | T2,T3,T25 |
LINE 1468
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,T3 |
| 1 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 1 | 1 | Covered | T2,T3,T25 |
LINE 1471
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 | T1,T2,T5 |
| 1 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 1 | 1 | Covered | T1,T2,T5 |
LINE 1474
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 | T1,T3,T4 |
| 1 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 1 | 1 | Covered | T3,T9,T10 |
LINE 1477
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 | T1,T3,T9 |
| 1 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 1 | 1 | Covered | T3,T9,T10 |
LINE 1480
EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T4,T9 |
| 1 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 1 | 1 | Covered | T9,T10,T11 |
LINE 1483
EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T10 |
| 1 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 1 | 1 | Covered | T2,T10,T26 |
LINE 1496
EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
| -1- | -2- | -3- | Status | Tests |
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T1,T2,T3 |
| 1 | 1 | 0 | Covered | T36,T37,T38 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
Branch Coverage for Module :
edn_reg_top
| Line No. | Total | Covered | Percent |
| Branches |
|
24 |
24 |
100.00 |
| TERNARY |
1407 |
2 |
2 |
100.00 |
| IF |
68 |
3 |
3 |
100.00 |
| CASE |
1526 |
19 |
19 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_edn_0.1/rtl/edn_reg_top.sv' or '../src/lowrisc_ip_edn_0.1/rtl/edn_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 1407 ((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 |
T18,T19,T20 |
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 1526 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 |
T2,T3,T24 |
| 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 |
T2,T3,T24 |
| addr_hit[16] |
Covered |
T1,T2,T3 |
| addr_hit[17] |
Covered |
T1,T2,T3 |
| default |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
edn_reg_top
Assertion Details
en2addrHit
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
13896097 |
251287 |
0 |
0 |
| T1 |
1905 |
44 |
0 |
0 |
| T2 |
2052 |
55 |
0 |
0 |
| T3 |
1811 |
25 |
0 |
0 |
| T4 |
1189 |
29 |
0 |
0 |
| T5 |
2279 |
245 |
0 |
0 |
| T9 |
3016 |
108 |
0 |
0 |
| T10 |
2338 |
76 |
0 |
0 |
| T24 |
1261 |
18 |
0 |
0 |
| T25 |
2486 |
124 |
0 |
0 |
| T26 |
2601 |
59 |
0 |
0 |
reAfterRv
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
13896097 |
251287 |
0 |
0 |
| T1 |
1905 |
44 |
0 |
0 |
| T2 |
2052 |
55 |
0 |
0 |
| T3 |
1811 |
25 |
0 |
0 |
| T4 |
1189 |
29 |
0 |
0 |
| T5 |
2279 |
245 |
0 |
0 |
| T9 |
3016 |
108 |
0 |
0 |
| T10 |
2338 |
76 |
0 |
0 |
| T24 |
1261 |
18 |
0 |
0 |
| T25 |
2486 |
124 |
0 |
0 |
| T26 |
2601 |
59 |
0 |
0 |
rePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
13896097 |
154478 |
0 |
0 |
| T1 |
1905 |
32 |
0 |
0 |
| T2 |
2052 |
31 |
0 |
0 |
| T3 |
1811 |
6 |
0 |
0 |
| T4 |
1189 |
19 |
0 |
0 |
| T5 |
2279 |
219 |
0 |
0 |
| T9 |
3016 |
32 |
0 |
0 |
| T10 |
2338 |
49 |
0 |
0 |
| T24 |
1261 |
1 |
0 |
0 |
| T25 |
2486 |
96 |
0 |
0 |
| T26 |
2601 |
35 |
0 |
0 |
wePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
13896097 |
96809 |
0 |
0 |
| T1 |
1905 |
12 |
0 |
0 |
| T2 |
2052 |
24 |
0 |
0 |
| T3 |
1811 |
19 |
0 |
0 |
| T4 |
1189 |
10 |
0 |
0 |
| T5 |
2279 |
26 |
0 |
0 |
| T9 |
3016 |
76 |
0 |
0 |
| T10 |
2338 |
27 |
0 |
0 |
| T24 |
1261 |
17 |
0 |
0 |
| T25 |
2486 |
28 |
0 |
0 |
| T26 |
2601 |
24 |
0 |
0 |