Unified Coverage Report :: Module :: uart_core

Module : uart_core

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
0.00	0.00	0.00			0.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.uart_core	0.00	0.00	0.00			0.00

---

Module Instance : tb.dut.uart_core

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
0.00	0.00	0.00			0.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
0.00	0.00	0.00			0.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
32.95	0.00	0.00	98.86				dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
intr_hw_rx_break_err	0.00	0.00	0.00			0.00
intr_hw_rx_frame_err	0.00	0.00	0.00			0.00
intr_hw_rx_overflow	0.00	0.00	0.00			0.00
intr_hw_rx_parity_err	0.00	0.00	0.00			0.00
intr_hw_rx_timeout	0.00	0.00	0.00			0.00
intr_hw_rx_watermark	0.00	0.00	0.00			0.00
intr_hw_tx_empty	0.00	0.00	0.00			0.00
intr_hw_tx_watermark	0.00	0.00	0.00			0.00
sync_rx	0.00	0.00				0.00
u_uart_rxfifo	0.00	0.00	0.00			0.00
u_uart_txfifo	0.00	0.00	0.00			0.00
uart_rx	0.00	0.00	0.00			0.00
uart_tx	0.00	0.00	0.00			0.00

Line Coverage for Module : uart_core

	Line No.	Total	Covered	Percent
TOTAL		93	0	0.00
CONT_ASSIGN	71	1	0	0.00
CONT_ASSIGN	72	1	0	0.00
CONT_ASSIGN	73	1	0	0.00
CONT_ASSIGN	74	1	0	0.00
CONT_ASSIGN	75	1	0	0.00
CONT_ASSIGN	77	1	0	0.00
CONT_ASSIGN	78	1	0	0.00
CONT_ASSIGN	79	1	0	0.00
CONT_ASSIGN	80	1	0	0.00
CONT_ASSIGN	82	1	0	0.00
CONT_ASSIGN	83	1	0	0.00
CONT_ASSIGN	92	1	0	0.00
CONT_ASSIGN	93	1	0	0.00
CONT_ASSIGN	96	1	0	0.00
ALWAYS	103	4	0	0.00
ALWAYS	111	4	0	0.00
ALWAYS	120	7	0	0.00
CONT_ASSIGN	138	1	0	0.00
CONT_ASSIGN	140	1	0	0.00
CONT_ASSIGN	142	1	0	0.00
CONT_ASSIGN	143	1	0	0.00
CONT_ASSIGN	144	1	0	0.00
CONT_ASSIGN	145	1	0	0.00
CONT_ASSIGN	146	1	0	0.00
CONT_ASSIGN	147	1	0	0.00
CONT_ASSIGN	149	1	0	0.00
CONT_ASSIGN	150	1	0	0.00
ALWAYS	164	4	0	0.00
CONT_ASSIGN	171	1	0	0.00
CONT_ASSIGN	177	1	0	0.00
CONT_ASSIGN	211	1	0	0.00
ALWAYS	213	7	0	0.00
ALWAYS	244	5	0	0.00
CONT_ASSIGN	253	1	0	0.00
CONT_ASSIGN	256	1	0	0.00
CONT_ASSIGN	258	1	0	0.00
CONT_ASSIGN	278	1	0	0.00
ALWAYS	300	4	0	0.00
ALWAYS	312	4	0	0.00
CONT_ASSIGN	330	1	0	0.00
ALWAYS	333	3	0	0.00
ALWAYS	343	6	0	0.00
CONT_ASSIGN	359	1	0	0.00
CONT_ASSIGN	360	1	0	0.00
CONT_ASSIGN	362	1	0	0.00
CONT_ASSIGN	364	1	0	0.00
CONT_ASSIGN	382	1	0	0.00
ALWAYS	385	5	0	0.00
CONT_ASSIGN	394	1	0	0.00
CONT_ASSIGN	395	1	0	0.00
CONT_ASSIGN	505	1	0	0.00

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

Line No.	Covered	Statements
71	0	1
72	0	1
73	0	1
74	0	1
75	0	1
77	0	1
78	0	1
79	0	1
80	0	1
82	0	1
83	0	1
92	0	1
93	0	1
96	0	1
103	0	2
104	0	2
			==> MISSING_ELSE
111	0	1
112	0	1
113	0	1
114	0	1
120	0	2
122	0	1
124	0	2
			==> MISSING_ELSE
128	0	2
			==> MISSING_ELSE
138	0	1
140	0	1
142	0	1
143	0	1
144	0	1
145	0	1
146	0	1
147	0	1
149	0	1
150	0	1
164	0	1
165	0	1
166	0	1
167	0	1
			==> MISSING_ELSE
171	0	1
177	0	1
211	0	1
213	0	1
214	0	1
215	0	1
216	0	1
217	0	1
218	0	1
220	0	1
244	0	1
245	0	1
246	0	1
248	0	1
249	0	1
253	0	1
256	0	1
258	0	1
278	0	1
300	0	2
301	0	2
			==> MISSING_ELSE
312	0	1
313	0	1
315	0	1
317	0	1
330	0	1
333	0	1
334	0	1
336	0	1
343	0	1
346	0	1
347	0	1
349	0	1
351	0	1
353	0	1
359	0	1
360	0	1
362	0	1
364	0	1
382	0	1
385	0	1
386	0	1
387	0	1
389	0	1
390	0	1
394	0	1
395	0	1
505	0	1

---

Cond Coverage for Module : uart_core

	Total	Covered	Percent
Conditions	102	0	0.00
Logical	102	0	0.00
Non-Logical	0	0
Event	0	0

 LINE       77
 EXPRESSION (reg2hw.fifo_ctrl.rxrst.q & reg2hw.fifo_ctrl.rxrst.qe)
             ------------1-----------   ------------2------------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       78
 EXPRESSION (reg2hw.fifo_ctrl.txrst.q & reg2hw.fifo_ctrl.txrst.qe)
             ------------1-----------   ------------2------------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       92
 EXPRESSION (rx_valid & (((~event_rx_frame_err)) | (rx_fifo_data != 8'b0)))
             ----1---   -------------------------2------------------------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       92
 SUB-EXPRESSION (((~event_rx_frame_err)) | (rx_fifo_data != 8'b0))
                 -----------1-----------   -----------2----------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       92
 SUB-EXPRESSION (rx_fifo_data != 8'b0)
                -----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       93
 EXPRESSION (event_rx_frame_err & (rx_fifo_data == 8'b0))
             ---------1--------   -----------2----------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       93
 SUB-EXPRESSION (rx_fifo_data == 8'b0)
                -----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       96
 EXPRESSION (((break_st_q == BRK_WAIT) || not_allzero_char) ? 5'b0 : (allzero_err ? ((allzero_cnt_q + 5'b1)) : allzero_cnt_q))
             -----------------------1----------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       96
 SUB-EXPRESSION ((break_st_q == BRK_WAIT) || not_allzero_char)
                 ------------1-----------    --------2-------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       96
 SUB-EXPRESSION (break_st_q == BRK_WAIT)
                ------------1-----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       96
 SUB-EXPRESSION (allzero_err ? ((allzero_cnt_q + 5'b1)) : allzero_cnt_q)
                 -----1-----

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       144
 EXPRESSION (tx_uart_idle & ((~tx_fifo_rvalid)))
             ------1-----   ---------2---------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       166
 EXPRESSION (tx_enable || rx_enable)
             ----1----    ----2----

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       177
 EXPRESSION (tx_uart_idle & tx_fifo_rvalid & tx_enable)
             ------1-----   -------2------   ----3----

-1-	-2-	-3-	Status	Tests
0	1	1	Not Covered
1	0	1	Not Covered
1	1	0	Not Covered
1	1	1	Not Covered

 LINE       198
 EXPRESSION (((^tx_fifo_data)) ^ reg2hw.ctrl.parity_odd.q)
             --------1--------   ------------2-----------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       211
 EXPRESSION (line_loopback ? rx : tx_out_q)
             ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       253
 EXPRESSION ((rx_sync & rx_sync_q1) | (rx_sync & rx_sync_q2) | (rx_sync_q1 & rx_sync_q2))
             -----------1----------   -----------2----------   ------------3------------

-1-	-2-	-3-	Status	Tests
0	0	0	Not Covered
0	0	1	Not Covered
0	1	0	Not Covered
1	0	0	Not Covered

 LINE       253
 SUB-EXPRESSION (rx_sync & rx_sync_q1)
                 ---1---   -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       253
 SUB-EXPRESSION (rx_sync & rx_sync_q2)
                 ---1---   -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       253
 SUB-EXPRESSION (rx_sync_q1 & rx_sync_q2)
                 -----1----   -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       256
 EXPRESSION (rxnf_enable ? rx_in_maj : rx_sync)
             -----1-----

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       258
 EXPRESSION (sys_loopback ? tx_out : (line_loopback ? 1'b1 : rx_in_mx))
             ------1-----

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       258
 SUB-EXPRESSION (line_loopback ? 1'b1 : rx_in_mx)
                 ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       278
 EXPRESSION (rx_valid & ((~event_rx_frame_err)) & ((~event_rx_parity_err)))
             ----1---   -----------2-----------   ------------3-----------

-1-	-2-	-3-	Status	Tests
0	1	1	Not Covered
1	0	1	Not Covered
1	1	0	Not Covered
1	1	1	Not Covered

 LINE       330
 EXPRESSION (((~tx_fifo_rvalid)) & ((~tx_uart_idle_q)) & tx_uart_idle)
             ---------1---------   ---------2---------   ------3-----

-1-	-2-	-3-	Status	Tests
0	1	1	Not Covered
1	0	1	Not Covered
1	1	0	Not Covered
1	1	1	Not Covered

 LINE       347
 EXPRESSION (uart_fifo_rxilvl == (RxFifoDepthW - 1))
            --------------------1-------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       362
 EXPRESSION (rx_fifo_depth != rx_fifo_depth_prev_q)
            -------------------1-------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       364
 EXPRESSION 
 Number  Term
      1  (uart_rxto_en == 1'b0) ? 24'b0 : (event_rx_timeout ? 24'b0 : (rx_fifo_depth_changed ? 24'b0 : ((rx_fifo_depth == '0) ? 24'b0 : (rx_tick_baud ? ((rx_timeout_count_q + 24'b1)) : rx_timeout_count_q)))))

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       364
 SUB-EXPRESSION (uart_rxto_en == 1'b0)
                -----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       364
 SUB-EXPRESSION 
 Number  Term
      1  event_rx_timeout ? 24'b0 : (rx_fifo_depth_changed ? 24'b0 : ((rx_fifo_depth == '0) ? 24'b0 : (rx_tick_baud ? ((rx_timeout_count_q + 24'b1)) : rx_timeout_count_q))))

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       364
 SUB-EXPRESSION (rx_fifo_depth_changed ? 24'b0 : ((rx_fifo_depth == '0) ? 24'b0 : (rx_tick_baud ? ((rx_timeout_count_q + 24'b1)) : rx_timeout_count_q)))
                 ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       364
 SUB-EXPRESSION ((rx_fifo_depth == '0) ? 24'b0 : (rx_tick_baud ? ((rx_timeout_count_q + 24'b1)) : rx_timeout_count_q))
                 ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       364
 SUB-EXPRESSION (rx_fifo_depth == '0)
                ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       364
 SUB-EXPRESSION (rx_tick_baud ? ((rx_timeout_count_q + 24'b1)) : rx_timeout_count_q)
                 ------1-----

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       382
 EXPRESSION ((rx_timeout_count_q == uart_rxto_val) & uart_rxto_en)
             ------------------1------------------   ------2-----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       382
 SUB-EXPRESSION (rx_timeout_count_q == uart_rxto_val)
                ------------------1------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       394
 EXPRESSION (rx_fifo_wvalid & ((~rx_fifo_wready)))
             -------1------   ---------2---------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       395
 EXPRESSION (break_err & (break_st_q == BRK_CHK))
             ----1----   -----------2-----------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       395
 SUB-EXPRESSION (break_st_q == BRK_CHK)
                -----------1-----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

---

Branch Coverage for Module : uart_core

	Line No.	Total	Covered	Percent
Branches		50	0	0.00
TERNARY	96	3	0	0.00
TERNARY	211	2	0	0.00
TERNARY	256	2	0	0.00
TERNARY	258	3	0	0.00
TERNARY	364	6	0	0.00
IF	103	3	0	0.00
CASE	111	4	0	0.00
IF	120	6	0	0.00
IF	164	3	0	0.00
IF	213	4	0	0.00
IF	244	2	0	0.00
IF	300	3	0	0.00
IF	312	2	0	0.00
IF	333	2	0	0.00
IF	343	3	0	0.00
IF	385	2	0	0.00

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

	LineNo.	Expression
-1-:	96	(((break_st_q == BRK_WAIT) || not_allzero_char)) ? 
-2-:	96	(allzero_err) ? 

Branches:

-1-	-2-	Status	Tests
1	-	Not Covered
0	1	Not Covered
0	0	Not Covered

	LineNo.	Expression
-1-:	211	(line_loopback) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	256	(rxnf_enable) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	258	(sys_loopback) ? 
-2-:	258	(line_loopback) ? 

Branches:

-1-	-2-	Status	Tests
1	-	Not Covered
0	1	Not Covered
0	0	Not Covered

	LineNo.	Expression
-1-:	364	((uart_rxto_en == 1'b0)) ? 
-2-:	364	(event_rx_timeout) ? 
-3-:	364	(rx_fifo_depth_changed) ? 
-4-:	364	((rx_fifo_depth == '0)) ? 
-5-:	364	(rx_tick_baud) ? 

Branches:

-1-	-2-	-3-	-4-	-5-	Status	Tests
1	-	-	-	-	Not Covered
0	1	-	-	-	Not Covered
0	0	1	-	-	Not Covered
0	0	0	1	-	Not Covered
0	0	0	0	1	Not Covered
0	0	0	0	0	Not Covered

	LineNo.	Expression
-1-:	103	if ((!rst_ni))
-2-:	104	if (rx_enable)

Branches:

-1-	-2-	Status	Tests
1	-	Not Covered
0	1	Not Covered
0	0	Not Covered

	LineNo.	Expression
-1-:	111	case (reg2hw.ctrl.rxblvl.q)

Branches:

-1-	Status	Tests
2'h0	Not Covered
2'h1	Not Covered
2'h2	Not Covered
default	Not Covered

	LineNo.	Expression
-1-:	120	if ((!rst_ni))
-2-:	122	case (break_st_q)
-3-:	124	if (event_rx_break_err)
-4-:	128	if (rx_in)

Branches:

-1-	-2-	-3-	-4-	Status	Tests
1	-	-	-	Not Covered
0	BRK_CHK	1	-	Not Covered
0	BRK_CHK	0	-	Not Covered
0	BRK_WAIT	-	1	Not Covered
0	BRK_WAIT	-	0	Not Covered
0	default	-	-	Not Covered

	LineNo.	Expression
-1-:	164	if ((!rst_ni))
-2-:	166	if ((tx_enable || rx_enable))

Branches:

-1-	-2-	Status	Tests
1	-	Not Covered
0	1	Not Covered
0	0	Not Covered

	LineNo.	Expression
-1-:	213	if ((!rst_ni))
-2-:	215	if (ovrd_tx_en)
-3-:	217	if (sys_loopback)

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Not Covered
0	1	-	Not Covered
0	0	1	Not Covered
0	0	0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	300	if ((!rst_ni))
-2-:	301	if (tick_baud_x16)

Branches:

-1-	-2-	Status	Tests
1	-	Not Covered
0	1	Not Covered
0	0	Not Covered

	LineNo.	Expression
-1-:	312	if ((uart_fifo_txilvl >= (TxFifoDepthW - 2)))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	343	if ((uart_fifo_rxilvl > (RxFifoDepthW - 1)))
-2-:	347	if ((uart_fifo_rxilvl == (RxFifoDepthW - 1)))

Branches:

-1-	-2-	Status	Tests
1	-	Not Covered
0	1	Not Covered
0	0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

Line Coverage for Instance : tb.dut.uart_core

	Line No.	Total	Covered	Percent
TOTAL		93	0	0.00
CONT_ASSIGN	71	1	0	0.00
CONT_ASSIGN	72	1	0	0.00
CONT_ASSIGN	73	1	0	0.00
CONT_ASSIGN	74	1	0	0.00
CONT_ASSIGN	75	1	0	0.00
CONT_ASSIGN	77	1	0	0.00
CONT_ASSIGN	78	1	0	0.00
CONT_ASSIGN	79	1	0	0.00
CONT_ASSIGN	80	1	0	0.00
CONT_ASSIGN	82	1	0	0.00
CONT_ASSIGN	83	1	0	0.00
CONT_ASSIGN	92	1	0	0.00
CONT_ASSIGN	93	1	0	0.00
CONT_ASSIGN	96	1	0	0.00
ALWAYS	103	4	0	0.00
ALWAYS	111	4	0	0.00
ALWAYS	120	7	0	0.00
CONT_ASSIGN	138	1	0	0.00
CONT_ASSIGN	140	1	0	0.00
CONT_ASSIGN	142	1	0	0.00
CONT_ASSIGN	143	1	0	0.00
CONT_ASSIGN	144	1	0	0.00
CONT_ASSIGN	145	1	0	0.00
CONT_ASSIGN	146	1	0	0.00
CONT_ASSIGN	147	1	0	0.00
CONT_ASSIGN	149	1	0	0.00
CONT_ASSIGN	150	1	0	0.00
ALWAYS	164	4	0	0.00
CONT_ASSIGN	171	1	0	0.00
CONT_ASSIGN	177	1	0	0.00
CONT_ASSIGN	211	1	0	0.00
ALWAYS	213	7	0	0.00
ALWAYS	244	5	0	0.00
CONT_ASSIGN	253	1	0	0.00
CONT_ASSIGN	256	1	0	0.00
CONT_ASSIGN	258	1	0	0.00
CONT_ASSIGN	278	1	0	0.00
ALWAYS	300	4	0	0.00
ALWAYS	312	4	0	0.00
CONT_ASSIGN	330	1	0	0.00
ALWAYS	333	3	0	0.00
ALWAYS	343	6	0	0.00
CONT_ASSIGN	359	1	0	0.00
CONT_ASSIGN	360	1	0	0.00
CONT_ASSIGN	362	1	0	0.00
CONT_ASSIGN	364	1	0	0.00
CONT_ASSIGN	382	1	0	0.00
ALWAYS	385	5	0	0.00
CONT_ASSIGN	394	1	0	0.00
CONT_ASSIGN	395	1	0	0.00
CONT_ASSIGN	505	1	0	0.00

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

Line No.	Covered	Statements
71	0	1
72	0	1
73	0	1
74	0	1
75	0	1
77	0	1
78	0	1
79	0	1
80	0	1
82	0	1
83	0	1
92	0	1
93	0	1
96	0	1
103	0	2
104	0	2
			==> MISSING_ELSE
111	0	1
112	0	1
113	0	1
114	0	1
120	0	2
122	0	1
124	0	2
			==> MISSING_ELSE
128	0	2
			==> MISSING_ELSE
138	0	1
140	0	1
142	0	1
143	0	1
144	0	1
145	0	1
146	0	1
147	0	1
149	0	1
150	0	1
164	0	1
165	0	1
166	0	1
167	0	1
			==> MISSING_ELSE
171	0	1
177	0	1
211	0	1
213	0	1
214	0	1
215	0	1
216	0	1
217	0	1
218	0	1
220	0	1
244	0	1
245	0	1
246	0	1
248	0	1
249	0	1
253	0	1
256	0	1
258	0	1
278	0	1
300	0	2
301	0	2
			==> MISSING_ELSE
312	0	1
313	0	1
315	0	1
317	0	1
330	0	1
333	0	1
334	0	1
336	0	1
343	0	1
346	0	1
347	0	1
349	0	1
351	0	1
353	0	1
359	0	1
360	0	1
362	0	1
364	0	1
382	0	1
385	0	1
386	0	1
387	0	1
389	0	1
390	0	1
394	0	1
395	0	1
505	0	1

---

Cond Coverage for Instance : tb.dut.uart_core

	Total	Covered	Percent
Conditions	102	0	0.00
Logical	102	0	0.00
Non-Logical	0	0
Event	0	0

 LINE       77
 EXPRESSION (reg2hw.fifo_ctrl.rxrst.q & reg2hw.fifo_ctrl.rxrst.qe)
             ------------1-----------   ------------2------------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       78
 EXPRESSION (reg2hw.fifo_ctrl.txrst.q & reg2hw.fifo_ctrl.txrst.qe)
             ------------1-----------   ------------2------------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       92
 EXPRESSION (rx_valid & (((~event_rx_frame_err)) | (rx_fifo_data != 8'b0)))
             ----1---   -------------------------2------------------------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       92
 SUB-EXPRESSION (((~event_rx_frame_err)) | (rx_fifo_data != 8'b0))
                 -----------1-----------   -----------2----------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       92
 SUB-EXPRESSION (rx_fifo_data != 8'b0)
                -----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       93
 EXPRESSION (event_rx_frame_err & (rx_fifo_data == 8'b0))
             ---------1--------   -----------2----------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       93
 SUB-EXPRESSION (rx_fifo_data == 8'b0)
                -----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       96
 EXPRESSION (((break_st_q == BRK_WAIT) || not_allzero_char) ? 5'b0 : (allzero_err ? ((allzero_cnt_q + 5'b1)) : allzero_cnt_q))
             -----------------------1----------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       96
 SUB-EXPRESSION ((break_st_q == BRK_WAIT) || not_allzero_char)
                 ------------1-----------    --------2-------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       96
 SUB-EXPRESSION (break_st_q == BRK_WAIT)
                ------------1-----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       96
 SUB-EXPRESSION (allzero_err ? ((allzero_cnt_q + 5'b1)) : allzero_cnt_q)
                 -----1-----

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       144
 EXPRESSION (tx_uart_idle & ((~tx_fifo_rvalid)))
             ------1-----   ---------2---------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       166
 EXPRESSION (tx_enable || rx_enable)
             ----1----    ----2----

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       177
 EXPRESSION (tx_uart_idle & tx_fifo_rvalid & tx_enable)
             ------1-----   -------2------   ----3----

-1-	-2-	-3-	Status	Tests
0	1	1	Not Covered
1	0	1	Not Covered
1	1	0	Not Covered
1	1	1	Not Covered

 LINE       198
 EXPRESSION (((^tx_fifo_data)) ^ reg2hw.ctrl.parity_odd.q)
             --------1--------   ------------2-----------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       211
 EXPRESSION (line_loopback ? rx : tx_out_q)
             ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       253
 EXPRESSION ((rx_sync & rx_sync_q1) | (rx_sync & rx_sync_q2) | (rx_sync_q1 & rx_sync_q2))
             -----------1----------   -----------2----------   ------------3------------

-1-	-2-	-3-	Status	Tests
0	0	0	Not Covered
0	0	1	Not Covered
0	1	0	Not Covered
1	0	0	Not Covered

 LINE       253
 SUB-EXPRESSION (rx_sync & rx_sync_q1)
                 ---1---   -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       253
 SUB-EXPRESSION (rx_sync & rx_sync_q2)
                 ---1---   -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       253
 SUB-EXPRESSION (rx_sync_q1 & rx_sync_q2)
                 -----1----   -----2----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       256
 EXPRESSION (rxnf_enable ? rx_in_maj : rx_sync)
             -----1-----

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       258
 EXPRESSION (sys_loopback ? tx_out : (line_loopback ? 1'b1 : rx_in_mx))
             ------1-----

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       258
 SUB-EXPRESSION (line_loopback ? 1'b1 : rx_in_mx)
                 ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       278
 EXPRESSION (rx_valid & ((~event_rx_frame_err)) & ((~event_rx_parity_err)))
             ----1---   -----------2-----------   ------------3-----------

-1-	-2-	-3-	Status	Tests
0	1	1	Not Covered
1	0	1	Not Covered
1	1	0	Not Covered
1	1	1	Not Covered

 LINE       330
 EXPRESSION (((~tx_fifo_rvalid)) & ((~tx_uart_idle_q)) & tx_uart_idle)
             ---------1---------   ---------2---------   ------3-----

-1-	-2-	-3-	Status	Tests
0	1	1	Not Covered
1	0	1	Not Covered
1	1	0	Not Covered
1	1	1	Not Covered

 LINE       347
 EXPRESSION (uart_fifo_rxilvl == (RxFifoDepthW - 1))
            --------------------1-------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       362
 EXPRESSION (rx_fifo_depth != rx_fifo_depth_prev_q)
            -------------------1-------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       364
 EXPRESSION 
 Number  Term
      1  (uart_rxto_en == 1'b0) ? 24'b0 : (event_rx_timeout ? 24'b0 : (rx_fifo_depth_changed ? 24'b0 : ((rx_fifo_depth == '0) ? 24'b0 : (rx_tick_baud ? ((rx_timeout_count_q + 24'b1)) : rx_timeout_count_q)))))

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       364
 SUB-EXPRESSION (uart_rxto_en == 1'b0)
                -----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       364
 SUB-EXPRESSION 
 Number  Term
      1  event_rx_timeout ? 24'b0 : (rx_fifo_depth_changed ? 24'b0 : ((rx_fifo_depth == '0) ? 24'b0 : (rx_tick_baud ? ((rx_timeout_count_q + 24'b1)) : rx_timeout_count_q))))

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       364
 SUB-EXPRESSION (rx_fifo_depth_changed ? 24'b0 : ((rx_fifo_depth == '0) ? 24'b0 : (rx_tick_baud ? ((rx_timeout_count_q + 24'b1)) : rx_timeout_count_q)))
                 ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       364
 SUB-EXPRESSION ((rx_fifo_depth == '0) ? 24'b0 : (rx_tick_baud ? ((rx_timeout_count_q + 24'b1)) : rx_timeout_count_q))
                 ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       364
 SUB-EXPRESSION (rx_fifo_depth == '0)
                ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       364
 SUB-EXPRESSION (rx_tick_baud ? ((rx_timeout_count_q + 24'b1)) : rx_timeout_count_q)
                 ------1-----

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       382
 EXPRESSION ((rx_timeout_count_q == uart_rxto_val) & uart_rxto_en)
             ------------------1------------------   ------2-----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       382
 SUB-EXPRESSION (rx_timeout_count_q == uart_rxto_val)
                ------------------1------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       394
 EXPRESSION (rx_fifo_wvalid & ((~rx_fifo_wready)))
             -------1------   ---------2---------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       395
 EXPRESSION (break_err & (break_st_q == BRK_CHK))
             ----1----   -----------2-----------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       395
 SUB-EXPRESSION (break_st_q == BRK_CHK)
                -----------1-----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

---

Branch Coverage for Instance : tb.dut.uart_core

	Line No.	Total	Covered	Percent
Branches		49	0	0.00
TERNARY	96	3	0	0.00
TERNARY	211	2	0	0.00
TERNARY	256	2	0	0.00
TERNARY	258	3	0	0.00
TERNARY	364	6	0	0.00
IF	103	3	0	0.00
CASE	111	4	0	0.00
IF	120	5	0	0.00
IF	164	3	0	0.00
IF	213	4	0	0.00
IF	244	2	0	0.00
IF	300	3	0	0.00
IF	312	2	0	0.00
IF	333	2	0	0.00
IF	343	3	0	0.00
IF	385	2	0	0.00

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

	LineNo.	Expression
-1-:	96	(((break_st_q == BRK_WAIT) || not_allzero_char)) ? 
-2-:	96	(allzero_err) ? 

Branches:

-1-	-2-	Status	Tests
1	-	Not Covered
0	1	Not Covered
0	0	Not Covered

	LineNo.	Expression
-1-:	211	(line_loopback) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	256	(rxnf_enable) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	258	(sys_loopback) ? 
-2-:	258	(line_loopback) ? 

Branches:

-1-	-2-	Status	Tests
1	-	Not Covered
0	1	Not Covered
0	0	Not Covered

	LineNo.	Expression
-1-:	364	((uart_rxto_en == 1'b0)) ? 
-2-:	364	(event_rx_timeout) ? 
-3-:	364	(rx_fifo_depth_changed) ? 
-4-:	364	((rx_fifo_depth == '0)) ? 
-5-:	364	(rx_tick_baud) ? 

Branches:

-1-	-2-	-3-	-4-	-5-	Status	Tests
1	-	-	-	-	Not Covered
0	1	-	-	-	Not Covered
0	0	1	-	-	Not Covered
0	0	0	1	-	Not Covered
0	0	0	0	1	Not Covered
0	0	0	0	0	Not Covered

	LineNo.	Expression
-1-:	103	if ((!rst_ni))
-2-:	104	if (rx_enable)

Branches:

-1-	-2-	Status	Tests
1	-	Not Covered
0	1	Not Covered
0	0	Not Covered

	LineNo.	Expression
-1-:	111	case (reg2hw.ctrl.rxblvl.q)

Branches:

-1-	Status	Tests
2'h0	Not Covered
2'h1	Not Covered
2'h2	Not Covered
default	Not Covered

	LineNo.	Expression
-1-:	120	if ((!rst_ni))
-2-:	122	case (break_st_q)
-3-:	124	if (event_rx_break_err)
-4-:	128	if (rx_in)

Branches:

-1-	-2-	-3-	-4-	Status	Tests
1	-	-	-	Not Covered
0	BRK_CHK	1	-	Not Covered
0	BRK_CHK	0	-	Not Covered
0	BRK_WAIT	-	1	Not Covered
0	BRK_WAIT	-	0	Not Covered
0	default	-	-	Excluded

	LineNo.	Expression
-1-:	164	if ((!rst_ni))
-2-:	166	if ((tx_enable || rx_enable))

Branches:

-1-	-2-	Status	Tests
1	-	Not Covered
0	1	Not Covered
0	0	Not Covered

	LineNo.	Expression
-1-:	213	if ((!rst_ni))
-2-:	215	if (ovrd_tx_en)
-3-:	217	if (sys_loopback)

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Not Covered
0	1	-	Not Covered
0	0	1	Not Covered
0	0	0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	300	if ((!rst_ni))
-2-:	301	if (tick_baud_x16)

Branches:

-1-	-2-	Status	Tests
1	-	Not Covered
0	1	Not Covered
0	0	Not Covered

	LineNo.	Expression
-1-:	312	if ((uart_fifo_txilvl >= (TxFifoDepthW - 2)))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	343	if ((uart_fifo_rxilvl > (RxFifoDepthW - 1)))
-2-:	347	if ((uart_fifo_rxilvl == (RxFifoDepthW - 1)))

Branches:

-1-	-2-	Status	Tests
1	-	Not Covered
0	1	Not Covered
0	0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered