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 | T12,T25,T21 |
| 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 | T30,T31,T32 |
| 1 | 0 | Covered | T79,T80,T81 |
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 | T30,T31,T32 |
| 0 | 1 | 0 | Covered | T79,T80,T81 |
| 1 | 0 | 0 | Covered | T30,T31,T32 |
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 | T79,T80,T81 |
| 0 | 1 | 0 | Covered | T12,T25,T21 |
| 1 | 0 | 0 | Covered | T12,T25,T21 |
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 | T3,T6,T8 |
LINE 1569
EXPRESSION (reg_addr == uart_reg_pkg::UART_ALERT_TEST_OFFSET)
-------------------------1------------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T6,T8 |
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 | T3,T6,T8 |
LINE 1577
EXPRESSION (reg_addr == uart_reg_pkg::UART_VAL_OFFSET)
---------------------1---------------------
| -1- | Status | Tests |
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T3,T6,T8 |
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 | T12,T25,T21 |
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 | T3,T6,T8 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | Covered | T3,T6,T8 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | Covered | T3,T6,T8 |
| 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 | T6,T8,T10 |
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | Covered | T3,T6,T8 |
| 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 | T2,T3,T5 |
| 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T3,T6,T8 |
| 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T3,T6,T8 |
| 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T3,T6,T8 |
| 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | Covered | T3,T6,T8 |
| 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 | T3,T6,T8 |
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 | T6,T8,T10 |
| 1 | 1 | Covered | T3,T6,T8 |
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 | T3,T6,T8 |
| 1 | 1 | Covered | T3,T6,T8 |
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 | T3,T6,T8 |
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,T4 |
| 1 | 1 | Covered | T2,T3,T5 |
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,T4 |
| 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,T4 |
| 1 | 1 | Covered | T3,T6,T8 |
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 | T6,T8,T10 |
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,T4 |
| 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 | T6,T8,T10 |
| 1 | 1 | Covered | T3,T6,T8 |
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 | T6,T8,T10 |
| 1 | 1 | Covered | T3,T6,T8 |
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 | T3,T6,T8 |
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 | T12,T25,T21 |
| 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 | T12,T25,T21 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
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 | T3,T6,T8 |
| 1 | 1 | 0 | Covered | T12,T25,T21 |
| 1 | 1 | 1 | Covered | T12,T14,T15 |
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 | T3,T6,T8 |
| 1 | 1 | 0 | Covered | T12,T25,T21 |
| 1 | 1 | 1 | Covered | T27,T28,T29 |
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 | T12,T25,T21 |
| 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 | T80,T81,T82 |
| 1 | 1 | 1 | Covered | T1,T2,T4 |
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 | T81,T83,T84 |
| 1 | 1 | 1 | Covered | T1,T2,T4 |
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 | T12,T25,T21 |
| 1 | 1 | 1 | Covered | T1,T2,T4 |
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 | T12,T25,T21 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
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 | T80,T85,T86 |
| 1 | 1 | 1 | Covered | T1,T2,T4 |
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 | T3,T6,T8 |
| 1 | 1 | 0 | Covered | T12,T25,T21 |
| 1 | 1 | 1 | Covered | T14,T18,T19 |
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 | T3,T6,T8 |
| 1 | 1 | 0 | Covered | T80,T81,T87 |
| 1 | 1 | 1 | Covered | T13,T12,T25 |
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 | T12,T25,T21 |
| 1 | 1 | 1 | Covered | T1,T2,T3 |
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 |
T30,T31,T32 |
| 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 |
96773585 |
0 |
0 |
|
reAfterRv |
2147483647 |
96773585 |
0 |
0 |
|
rePulse |
2147483647 |
95526355 |
0 |
0 |
|
wePulse |
2147483647 |
1247230 |
0 |
0 |
en2addrHit
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
96773585 |
0 |
0 |
| T1 |
989733 |
894 |
0 |
0 |
| T2 |
122355 |
153 |
0 |
0 |
| T3 |
427899 |
55 |
0 |
0 |
| T4 |
173695 |
1240 |
0 |
0 |
| T5 |
248721 |
110046 |
0 |
0 |
| T6 |
42849 |
1323 |
0 |
0 |
| T7 |
87265 |
1038 |
0 |
0 |
| T8 |
989247 |
18336 |
0 |
0 |
| T9 |
151711 |
20241 |
0 |
0 |
| T10 |
105226 |
520660 |
0 |
0 |
reAfterRv
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
96773585 |
0 |
0 |
| T1 |
989733 |
894 |
0 |
0 |
| T2 |
122355 |
153 |
0 |
0 |
| T3 |
427899 |
55 |
0 |
0 |
| T4 |
173695 |
1240 |
0 |
0 |
| T5 |
248721 |
110046 |
0 |
0 |
| T6 |
42849 |
1323 |
0 |
0 |
| T7 |
87265 |
1038 |
0 |
0 |
| T8 |
989247 |
18336 |
0 |
0 |
| T9 |
151711 |
20241 |
0 |
0 |
| T10 |
105226 |
520660 |
0 |
0 |
rePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
95526355 |
0 |
0 |
| T1 |
989733 |
530 |
0 |
0 |
| T2 |
122355 |
46 |
0 |
0 |
| T3 |
427899 |
10 |
0 |
0 |
| T4 |
173695 |
1044 |
0 |
0 |
| T5 |
248721 |
109850 |
0 |
0 |
| T6 |
42849 |
1310 |
0 |
0 |
| T7 |
87265 |
940 |
0 |
0 |
| T8 |
989247 |
18079 |
0 |
0 |
| T9 |
151711 |
19964 |
0 |
0 |
| T10 |
105226 |
519418 |
0 |
0 |
wePulse
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
2147483647 |
1247230 |
0 |
0 |
| T1 |
989733 |
364 |
0 |
0 |
| T2 |
122355 |
107 |
0 |
0 |
| T3 |
427899 |
45 |
0 |
0 |
| T4 |
173695 |
196 |
0 |
0 |
| T5 |
248721 |
196 |
0 |
0 |
| T6 |
42849 |
13 |
0 |
0 |
| T7 |
87265 |
98 |
0 |
0 |
| T8 |
989247 |
257 |
0 |
0 |
| T9 |
151711 |
277 |
0 |
0 |
| T10 |
105226 |
1242 |
0 |
0 |