Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : uart_rx
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_uart_0.1/rtl/uart_rx.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.uart_core.uart_rx 0.00 0.00 0.00 0.00



Module Instance : tb.dut.uart_core.uart_rx

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
0.00 0.00 0.00 0.00 uart_core


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : uart_rx
Line No.TotalCoveredPercent
TOTAL4600.00
CONT_ASSIGN34100.00
CONT_ASSIGN35100.00
ALWAYS381100.00
ALWAYS542600.00
ALWAYS93300.00
CONT_ASSIGN98100.00
CONT_ASSIGN99100.00
CONT_ASSIGN101100.00
CONT_ASSIGN102100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_uart_0.1/rtl/uart_rx.sv' or '../src/lowrisc_ip_uart_0.1/rtl/uart_rx.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
34 0 1
35 0 1
38 0 1
39 0 1
40 0 1
41 0 1
42 0 1
43 0 1
45 0 1
46 0 1
47 0 1
48 0 1
49 0 1
54 0 1
55 0 1
56 0 1
57 0 1
58 0 1
59 0 1
61 0 1
62 0 1
63 0 1
64 0 1
65 0 1
66 0 1
67 0 1
==> MISSING_ELSE
70 0 1
72 0 1
73 0 1
74 0 1
75 0 1
76 0 1
77 0 1
78 0 1
81 0 1
82 0 1
84 0 1
85 0 1
86 0 1
==> MISSING_ELSE
93 0 2
94 0 1
98 0 1
99 0 1
101 0 1
102 0 1


Cond Coverage for Module : uart_rx
TotalCoveredPercent
Conditions2900.00
Logical2900.00
Non-Logical00
Event00

 LINE       70
 EXPRESSION (idle_q && ((!rx)))
             ---1--    ---2---
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       74
 EXPRESSION (parity_enable ? 4'd11 : 4'd10)
             ------1------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       77
 EXPRESSION (((!idle_q)) && tick_baud_q)
             -----1-----    -----2-----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       78
 EXPRESSION ((bit_cnt_q == (parity_enable ? 4'd11 : 4'd10)) && rx)
             -----------------------1----------------------    -2
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       78
 SUB-EXPRESSION (bit_cnt_q == (parity_enable ? 4'd11 : 4'd10))
                -----------------------1----------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       86
 EXPRESSION (bit_cnt_q == 4'b1)
            ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       94
 EXPRESSION (tick_baud_q & (bit_cnt_q == 4'b1))
             -----1-----   ---------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       94
 SUB-EXPRESSION (bit_cnt_q == 4'b1)
                ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       99
 EXPRESSION (parity_enable ? sreg_q[8:1] : sreg_q[9:2])
             ------1------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       101
 EXPRESSION (rx_valid_q & ((~sreg_q[10])))
             -----1----   -------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       102
 EXPRESSION (parity_enable & rx_valid_q & ((^{sreg_q[9:1], parity_odd})))
             ------1------   -----2----   ---------------3--------------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

Branch Coverage for Module : uart_rx
Line No.TotalCoveredPercent
Branches 14 0 0.00
TERNARY 99 2 0 0.00
IF 38 2 0 0.00
IF 54 8 0 0.00
IF 93 2 0 0.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_uart_0.1/rtl/uart_rx.sv' or '../src/lowrisc_ip_uart_0.1/rtl/uart_rx.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 99 (parity_enable) ?

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered


LineNo. Expression -1-: 38 if ((!rst_ni))

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered


LineNo. Expression -1-: 54 if ((!rx_enable)) -2-: 66 if (tick_baud_x16) -3-: 70 if ((idle_q && (!rx))) -4-: 74 (parity_enable) ? -5-: 77 if (((!idle_q) && tick_baud_q)) -6-: 78 if (((bit_cnt_q == (parity_enable ? 4'd11 : 4'd10)) && rx))

Branches:
-1--2--3--4--5--6-StatusTests
1 - - - - - Not Covered
0 1 - - - - Not Covered
0 0 - - - - Not Covered
0 - 1 1 - - Not Covered
0 - 1 0 - - Not Covered
0 - 0 - 1 1 Not Covered
0 - 0 - 1 0 Not Covered
0 - 0 - 0 - Not Covered


LineNo. Expression -1-: 93 if ((!rst_ni))

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%