Line Coverage for Module :
uart_reg_top
| Line No. | Total | Covered | Percent |
TOTAL | | 172 | 172 | 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 | 718 | 1 | 1 | 100.00 |
CONT_ASSIGN | 733 | 1 | 1 | 100.00 |
CONT_ASSIGN | 749 | 1 | 1 | 100.00 |
CONT_ASSIGN | 765 | 1 | 1 | 100.00 |
CONT_ASSIGN | 781 | 1 | 1 | 100.00 |
CONT_ASSIGN | 797 | 1 | 1 | 100.00 |
CONT_ASSIGN | 813 | 1 | 1 | 100.00 |
CONT_ASSIGN | 829 | 1 | 1 | 100.00 |
CONT_ASSIGN | 845 | 1 | 1 | 100.00 |
CONT_ASSIGN | 861 | 1 | 1 | 100.00 |
CONT_ASSIGN | 867 | 1 | 1 | 100.00 |
CONT_ASSIGN | 881 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1274 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1315 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1343 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1371 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1399 | 1 | 1 | 100.00 |
ALWAYS | 1565 | 14 | 14 | 100.00 |
CONT_ASSIGN | 1581 | 1 | 1 | 100.00 |
ALWAYS | 1585 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1602 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1604 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1606 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1608 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1610 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1612 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1614 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1615 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1617 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1619 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1621 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1623 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1625 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1627 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1629 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1631 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1633 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1634 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1636 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1638 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1640 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1642 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1644 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1646 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1648 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1650 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1652 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1653 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1655 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1656 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1658 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1660 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1662 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1664 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1666 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1668 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1670 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1672 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1674 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1675 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1676 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1677 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1679 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1680 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1682 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1684 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1686 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1688 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1689 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1690 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1692 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1694 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1695 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1696 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1698 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1700 | 1 | 1 | 100.00 |
ALWAYS | 1704 | 14 | 14 | 100.00 |
ALWAYS | 1722 | 58 | 58 | 100.00 |
CONT_ASSIGN | 1830 | 0 | 0 | |
CONT_ASSIGN | 1838 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1839 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_uart_0.1/rtl/uart_reg_top.sv' or '../src/lowrisc_ip_uart_0.1/rtl/uart_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 |
718 |
1 |
1 |
733 |
1 |
1 |
749 |
1 |
1 |
765 |
1 |
1 |
781 |
1 |
1 |
797 |
1 |
1 |
813 |
1 |
1 |
829 |
1 |
1 |
845 |
1 |
1 |
861 |
1 |
1 |
867 |
1 |
1 |
881 |
1 |
1 |
1274 |
1 |
1 |
1315 |
1 |
1 |
1343 |
1 |
1 |
1371 |
1 |
1 |
1399 |
1 |
1 |
1565 |
1 |
1 |
1566 |
1 |
1 |
1567 |
1 |
1 |
1568 |
1 |
1 |
1569 |
1 |
1 |
1570 |
1 |
1 |
1571 |
1 |
1 |
1572 |
1 |
1 |
1573 |
1 |
1 |
1574 |
1 |
1 |
1575 |
1 |
1 |
1576 |
1 |
1 |
1577 |
1 |
1 |
1578 |
1 |
1 |
1581 |
1 |
1 |
1585 |
1 |
1 |
1602 |
1 |
1 |
1604 |
1 |
1 |
1606 |
1 |
1 |
1608 |
1 |
1 |
1610 |
1 |
1 |
1612 |
1 |
1 |
1614 |
1 |
1 |
1615 |
1 |
1 |
1617 |
1 |
1 |
1619 |
1 |
1 |
1621 |
1 |
1 |
1623 |
1 |
1 |
1625 |
1 |
1 |
1627 |
1 |
1 |
1629 |
1 |
1 |
1631 |
1 |
1 |
1633 |
1 |
1 |
1634 |
1 |
1 |
1636 |
1 |
1 |
1638 |
1 |
1 |
1640 |
1 |
1 |
1642 |
1 |
1 |
1644 |
1 |
1 |
1646 |
1 |
1 |
1648 |
1 |
1 |
1650 |
1 |
1 |
1652 |
1 |
1 |
1653 |
1 |
1 |
1655 |
1 |
1 |
1656 |
1 |
1 |
1658 |
1 |
1 |
1660 |
1 |
1 |
1662 |
1 |
1 |
1664 |
1 |
1 |
1666 |
1 |
1 |
1668 |
1 |
1 |
1670 |
1 |
1 |
1672 |
1 |
1 |
1674 |
1 |
1 |
1675 |
1 |
1 |
1676 |
1 |
1 |
1677 |
1 |
1 |
1679 |
1 |
1 |
1680 |
1 |
1 |
1682 |
1 |
1 |
1684 |
1 |
1 |
1686 |
1 |
1 |
1688 |
1 |
1 |
1689 |
1 |
1 |
1690 |
1 |
1 |
1692 |
1 |
1 |
1694 |
1 |
1 |
1695 |
1 |
1 |
1696 |
1 |
1 |
1698 |
1 |
1 |
1700 |
1 |
1 |
1704 |
1 |
1 |
1705 |
1 |
1 |
1706 |
1 |
1 |
1707 |
1 |
1 |
1708 |
1 |
1 |
1709 |
1 |
1 |
1710 |
1 |
1 |
1711 |
1 |
1 |
1712 |
1 |
1 |
1713 |
1 |
1 |
1714 |
1 |
1 |
1715 |
1 |
1 |
1716 |
1 |
1 |
1717 |
1 |
1 |
1722 |
1 |
1 |
1723 |
1 |
1 |
1725 |
1 |
1 |
1726 |
1 |
1 |
1727 |
1 |
1 |
1728 |
1 |
1 |
1729 |
1 |
1 |
1730 |
1 |
1 |
1731 |
1 |
1 |
1732 |
1 |
1 |
1733 |
1 |
1 |
1737 |
1 |
1 |
1738 |
1 |
1 |
1739 |
1 |
1 |
1740 |
1 |
1 |
1741 |
1 |
1 |
1742 |
1 |
1 |
1743 |
1 |
1 |
1744 |
1 |
1 |
1745 |
1 |
1 |
1749 |
1 |
1 |
1750 |
1 |
1 |
1751 |
1 |
1 |
1752 |
1 |
1 |
1753 |
1 |
1 |
1754 |
1 |
1 |
1755 |
1 |
1 |
1756 |
1 |
1 |
1757 |
1 |
1 |
1761 |
1 |
1 |
1765 |
1 |
1 |
1766 |
1 |
1 |
1767 |
1 |
1 |
1768 |
1 |
1 |
1769 |
1 |
1 |
1770 |
1 |
1 |
1771 |
1 |
1 |
1772 |
1 |
1 |
1773 |
1 |
1 |
1777 |
1 |
1 |
1778 |
1 |
1 |
1779 |
1 |
1 |
1780 |
1 |
1 |
1781 |
1 |
1 |
1782 |
1 |
1 |
1786 |
1 |
1 |
1790 |
1 |
1 |
1794 |
1 |
1 |
1795 |
1 |
1 |
1796 |
1 |
1 |
1797 |
1 |
1 |
1801 |
1 |
1 |
1802 |
1 |
1 |
1806 |
1 |
1 |
1807 |
1 |
1 |
1811 |
1 |
1 |
1815 |
1 |
1 |
1816 |
1 |
1 |
1830 |
|
unreachable |
1838 |
1 |
1 |
1839 |
1 |
1 |
Cond Coverage for Module :
uart_reg_top
| Total | Covered | Percent |
Conditions | 153 | 153 | 100.00 |
Logical | 153 | 153 | 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 | T6,T14,T22 |
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 | T26,T27,T28 |
1 | 0 | Covered | T63,T64,T65 |
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 | T26,T27,T28 |
0 | 1 | 0 | Covered | T63,T64,T65 |
1 | 0 | 0 | Covered | T26,T27,T28 |
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 | T63,T64,T65 |
0 | 1 | 0 | Covered | T6,T14,T22 |
1 | 0 | 0 | Covered | T6,T14,T22 |
LINE 1566
EXPRESSION (reg_addr == uart_reg_pkg::UART_INTR_STATE_OFFSET)
-------------------------1------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1567
EXPRESSION (reg_addr == uart_reg_pkg::UART_INTR_ENABLE_OFFSET)
-------------------------1-------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1568
EXPRESSION (reg_addr == uart_reg_pkg::UART_INTR_TEST_OFFSET)
------------------------1------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1569
EXPRESSION (reg_addr == uart_reg_pkg::UART_ALERT_TEST_OFFSET)
-------------------------1------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1570
EXPRESSION (reg_addr == uart_reg_pkg::UART_CTRL_OFFSET)
----------------------1---------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1571
EXPRESSION (reg_addr == uart_reg_pkg::UART_STATUS_OFFSET)
-----------------------1----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1572
EXPRESSION (reg_addr == uart_reg_pkg::UART_RDATA_OFFSET)
----------------------1----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1573
EXPRESSION (reg_addr == uart_reg_pkg::UART_WDATA_OFFSET)
----------------------1----------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1574
EXPRESSION (reg_addr == uart_reg_pkg::UART_FIFO_CTRL_OFFSET)
------------------------1------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1575
EXPRESSION (reg_addr == uart_reg_pkg::UART_FIFO_STATUS_OFFSET)
-------------------------1-------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1576
EXPRESSION (reg_addr == uart_reg_pkg::UART_OVRD_OFFSET)
----------------------1---------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1577
EXPRESSION (reg_addr == uart_reg_pkg::UART_VAL_OFFSET)
---------------------1---------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1578
EXPRESSION (reg_addr == uart_reg_pkg::UART_TIMEOUT_CTRL_OFFSET)
--------------------------1-------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1581
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 1581
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 1585
EXPRESSION
Number Term
1 reg_we &
2 ((addr_hit[0] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[2] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | (addr_hit[4] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[5] & ((|(4'b1 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1 & (~reg_be))))) | (addr_hit[7] & ((|(4'b1 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1 & (~reg_be))))) | (addr_hit[9] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[10] & ((|(4'b1 & (~reg_be))))) | (addr_hit[11] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[12] & ((|(4'b1111 & (~reg_be)))))))
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T6,T14,T22 |
LINE 1585
SUB-EXPRESSION
Number Term
1 (addr_hit[0] & ((|(4'b0011 & (~reg_be))))) |
2 (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) |
3 (addr_hit[2] & ((|(4'b0011 & (~reg_be))))) |
4 (addr_hit[3] & ((|(4'b1 & (~reg_be))))) |
5 (addr_hit[4] & ((|(4'b1111 & (~reg_be))))) |
6 (addr_hit[5] & ((|(4'b1 & (~reg_be))))) |
7 (addr_hit[6] & ((|(4'b1 & (~reg_be))))) |
8 (addr_hit[7] & ((|(4'b1 & (~reg_be))))) |
9 (addr_hit[8] & ((|(4'b1 & (~reg_be))))) |
10 (addr_hit[9] & ((|(4'b0111 & (~reg_be))))) |
11 (addr_hit[10] & ((|(4'b1 & (~reg_be))))) |
12 (addr_hit[11] & ((|(4'b0011 & (~reg_be))))) |
13 (addr_hit[12] & ((|(4'b1111 & (~reg_be))))))
-1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | -9- | -10- | -11- | -12- | -13- | Status | Tests |
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 | 1 | Covered | T1,T2,T3 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | Covered | T1,T2,T3 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T1,T2,T3 |
LINE 1585
SUB-EXPRESSION (addr_hit[0] & ((|(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,T2,T3 |
LINE 1585
SUB-EXPRESSION (addr_hit[1] & ((|(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,T2,T3 |
LINE 1585
SUB-EXPRESSION (addr_hit[2] & ((|(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,T2,T3 |
LINE 1585
SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 1585
SUB-EXPRESSION (addr_hit[4] & ((|(4'b1111 & (~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 1585
SUB-EXPRESSION (addr_hit[5] & ((|(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 1585
SUB-EXPRESSION (addr_hit[6] & ((|(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 1585
SUB-EXPRESSION (addr_hit[7] & ((|(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 1585
SUB-EXPRESSION (addr_hit[8] & ((|(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 1585
SUB-EXPRESSION (addr_hit[9] & ((|(4'b0111 & (~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 1585
SUB-EXPRESSION (addr_hit[10] & ((|(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 1585
SUB-EXPRESSION (addr_hit[11] & ((|(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,T2,T3 |
LINE 1585
SUB-EXPRESSION (addr_hit[12] & ((|(4'b1111 & (~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 1602
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 | T6,T14,T22 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1615
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,T2,T3 |
1 | 1 | 0 | Covered | T6,T14,T22 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 1634
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 | T1,T2,T3 |
1 | 1 | 0 | Covered | T6,T14,T22 |
1 | 1 | 1 | Covered | T14,T15,T41 |
LINE 1653
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,T2,T3 |
1 | 1 | 0 | Covered | T6,T14,T22 |
1 | 1 | 1 | Covered | T23,T24,T25 |
LINE 1656
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,T2,T3 |
1 | 1 | 0 | Covered | T6,T14,T22 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1675
EXPRESSION (addr_hit[5] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T64,T66,T67 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1676
EXPRESSION (addr_hit[6] & reg_re & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T64,T68,T67 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1677
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 | T6,T14,T22 |
1 | 1 | 1 | Covered | T1,T2,T3 |
LINE 1680
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,T3 |
1 | 1 | 0 | Covered | T6,T14,T22 |
1 | 1 | 1 | Covered | T1,T3,T4 |
LINE 1689
EXPRESSION (addr_hit[9] & reg_re & ((!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 | T65,T69,T68 |
1 | 1 | 1 | Covered | T1,T3,T5 |
LINE 1690
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 | T1,T2,T3 |
1 | 1 | 0 | Covered | T6,T14,T22 |
1 | 1 | 1 | Covered | T2,T6,T15 |
LINE 1695
EXPRESSION (addr_hit[11] & reg_re & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T1,T2,T3 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Covered | T68,T70,T71 |
1 | 1 | 1 | Covered | T6,T13,T14 |
LINE 1696
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,T2,T3 |
1 | 1 | 0 | Covered | T6,T14,T22 |
1 | 1 | 1 | Covered | T1,T3,T4 |
Branch Coverage for Module :
uart_reg_top
| Line No. | Total | Covered | Percent |
Branches |
|
19 |
19 |
100.00 |
TERNARY |
1581 |
2 |
2 |
100.00 |
IF |
68 |
3 |
3 |
100.00 |
CASE |
1723 |
14 |
14 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_uart_0.1/rtl/uart_reg_top.sv' or '../src/lowrisc_ip_uart_0.1/rtl/uart_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 1581 ((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 |
T26,T27,T28 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 1723 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 |
default |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
uart_reg_top
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
en2addrHit |
2147483647 |
78893492 |
0 |
0 |
reAfterRv |
2147483647 |
78893492 |
0 |
0 |
rePulse |
2147483647 |
78296392 |
0 |
0 |
wePulse |
2147483647 |
597100 |
0 |
0 |
en2addrHit
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
78893492 |
0 |
0 |
T1 |
146507 |
416 |
0 |
0 |
T2 |
93679 |
8191 |
0 |
0 |
T3 |
163117 |
1692 |
0 |
0 |
T4 |
171815 |
77 |
0 |
0 |
T5 |
181801 |
46813 |
0 |
0 |
T6 |
339740 |
24523 |
0 |
0 |
T7 |
327892 |
558 |
0 |
0 |
T8 |
303990 |
5661 |
0 |
0 |
T9 |
233437 |
3977 |
0 |
0 |
T10 |
437142 |
544 |
0 |
0 |
reAfterRv
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
78893492 |
0 |
0 |
T1 |
146507 |
416 |
0 |
0 |
T2 |
93679 |
8191 |
0 |
0 |
T3 |
163117 |
1692 |
0 |
0 |
T4 |
171815 |
77 |
0 |
0 |
T5 |
181801 |
46813 |
0 |
0 |
T6 |
339740 |
24523 |
0 |
0 |
T7 |
327892 |
558 |
0 |
0 |
T8 |
303990 |
5661 |
0 |
0 |
T9 |
233437 |
3977 |
0 |
0 |
T10 |
437142 |
544 |
0 |
0 |
rePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
78296392 |
0 |
0 |
T1 |
146507 |
41 |
0 |
0 |
T2 |
93679 |
8138 |
0 |
0 |
T3 |
163117 |
1513 |
0 |
0 |
T4 |
171815 |
25 |
0 |
0 |
T5 |
181801 |
46642 |
0 |
0 |
T6 |
339740 |
23155 |
0 |
0 |
T7 |
327892 |
444 |
0 |
0 |
T8 |
303990 |
5389 |
0 |
0 |
T9 |
233437 |
3791 |
0 |
0 |
T10 |
437142 |
223 |
0 |
0 |
wePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
2147483647 |
597100 |
0 |
0 |
T1 |
146507 |
375 |
0 |
0 |
T2 |
93679 |
53 |
0 |
0 |
T3 |
163117 |
179 |
0 |
0 |
T4 |
171815 |
52 |
0 |
0 |
T5 |
181801 |
171 |
0 |
0 |
T6 |
339740 |
1368 |
0 |
0 |
T7 |
327892 |
114 |
0 |
0 |
T8 |
303990 |
272 |
0 |
0 |
T9 |
233437 |
186 |
0 |
0 |
T10 |
437142 |
321 |
0 |
0 |