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

Module : uart_core
SCORELINECONDTOGGLEFSMBRANCHASSERT
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 :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.uart_core 0.00 0.00 0.00 0.00



Module Instance : tb.dut.uart_core

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
33.14 0.00 0.00 99.43 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
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.TotalCoveredPercent
TOTAL10500.00
CONT_ASSIGN73100.00
CONT_ASSIGN74100.00
CONT_ASSIGN75100.00
CONT_ASSIGN76100.00
CONT_ASSIGN77100.00
CONT_ASSIGN79100.00
CONT_ASSIGN80100.00
CONT_ASSIGN81100.00
CONT_ASSIGN82100.00
CONT_ASSIGN84100.00
CONT_ASSIGN85100.00
CONT_ASSIGN94100.00
CONT_ASSIGN95100.00
CONT_ASSIGN98100.00
ALWAYS105400.00
ALWAYS113400.00
ALWAYS122700.00
CONT_ASSIGN140100.00
CONT_ASSIGN142100.00
CONT_ASSIGN144100.00
CONT_ASSIGN145100.00
CONT_ASSIGN146100.00
CONT_ASSIGN147100.00
CONT_ASSIGN148100.00
CONT_ASSIGN149100.00
CONT_ASSIGN151100.00
CONT_ASSIGN152100.00
ALWAYS166400.00
CONT_ASSIGN173100.00
CONT_ASSIGN179100.00
CONT_ASSIGN213100.00
ALWAYS215700.00
ALWAYS246500.00
CONT_ASSIGN255100.00
CONT_ASSIGN258100.00
CONT_ASSIGN260100.00
CONT_ASSIGN280100.00
ALWAYS302400.00
ALWAYS311700.00
CONT_ASSIGN322100.00
CONT_ASSIGN334100.00
ALWAYS337700.00
ALWAYS349900.00
CONT_ASSIGN362100.00
CONT_ASSIGN365100.00
CONT_ASSIGN366100.00
CONT_ASSIGN368100.00
CONT_ASSIGN370100.00
CONT_ASSIGN388100.00
ALWAYS391500.00
CONT_ASSIGN400100.00
CONT_ASSIGN401100.00
CONT_ASSIGN511100.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.CoveredStatements
73 0 1
74 0 1
75 0 1
76 0 1
77 0 1
79 0 1
80 0 1
81 0 1
82 0 1
84 0 1
85 0 1
94 0 1
95 0 1
98 0 1
105 0 2
106 0 2
==> MISSING_ELSE
113 0 1
114 0 1
115 0 1
116 0 1
122 0 2
124 0 1
126 0 2
==> MISSING_ELSE
130 0 2
==> MISSING_ELSE
140 0 1
142 0 1
144 0 1
145 0 1
146 0 1
147 0 1
148 0 1
149 0 1
151 0 1
152 0 1
166 0 1
167 0 1
168 0 1
169 0 1
==> MISSING_ELSE
173 0 1
179 0 1
213 0 1
215 0 1
216 0 1
217 0 1
218 0 1
219 0 1
220 0 1
222 0 1
246 0 1
247 0 1
248 0 1
250 0 1
251 0 1
255 0 1
258 0 1
260 0 1
280 0 1
302 0 2
303 0 2
==> MISSING_ELSE
311 0 1
312 0 1
313 0 1
314 0 1
315 0 1
316 0 1
317 0 1
322 0 1
334 0 1
337 0 1
338 0 1
339 0 1
340 0 1
342 0 1
343 0 1
344 0 1
349 0 1
350 0 1
351 0 1
352 0 1
353 0 1
354 0 1
355 0 1
356 0 1
357 0 1
362 0 1
365 0 1
366 0 1
368 0 1
370 0 1
388 0 1
391 0 1
392 0 1
393 0 1
395 0 1
396 0 1
400 0 1
401 0 1
511 0 1


Cond Coverage for Module : uart_core
TotalCoveredPercent
Conditions10600.00
Logical10600.00
Non-Logical00
Event00

 LINE       79
 EXPRESSION (reg2hw.fifo_ctrl.rxrst.q & reg2hw.fifo_ctrl.rxrst.qe)
             ------------1-----------   ------------2------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       80
 EXPRESSION (reg2hw.fifo_ctrl.txrst.q & reg2hw.fifo_ctrl.txrst.qe)
             ------------1-----------   ------------2------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       94
 EXPRESSION (rx_valid & (((~event_rx_frame_err)) | (rx_fifo_data != 8'b0)))
             ----1---   -------------------------2------------------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       94
 SUB-EXPRESSION (((~event_rx_frame_err)) | (rx_fifo_data != 8'b0))
                 -----------1-----------   -----------2----------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       94
 SUB-EXPRESSION (rx_fifo_data != 8'b0)
                -----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       95
 EXPRESSION (event_rx_frame_err & (rx_fifo_data == 8'b0))
             ---------1--------   -----------2----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       95
 SUB-EXPRESSION (rx_fifo_data == 8'b0)
                -----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       98
 EXPRESSION (((break_st_q == BRK_WAIT) || not_allzero_char) ? 5'b0 : (allzero_err ? ((allzero_cnt_q + 5'b1)) : allzero_cnt_q))
             -----------------------1----------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       98
 SUB-EXPRESSION ((break_st_q == BRK_WAIT) || not_allzero_char)
                 ------------1-----------    --------2-------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       98
 SUB-EXPRESSION (break_st_q == BRK_WAIT)
                ------------1-----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       98
 SUB-EXPRESSION (allzero_err ? ((allzero_cnt_q + 5'b1)) : allzero_cnt_q)
                 -----1-----
-1-StatusTests
0Not Covered
1Not Covered

 LINE       146
 EXPRESSION (tx_uart_idle & ((~tx_fifo_rvalid)))
             ------1-----   ---------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       168
 EXPRESSION (tx_enable || rx_enable)
             ----1----    ----2----
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       179
 EXPRESSION (tx_uart_idle & tx_fifo_rvalid & tx_enable)
             ------1-----   -------2------   ----3----
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       200
 EXPRESSION (((^tx_fifo_data)) ^ reg2hw.ctrl.parity_odd.q)
             --------1--------   ------------2-----------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered
11Not Covered

 LINE       213
 EXPRESSION (line_loopback ? rx : tx_out_q)
             ------1------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       255
 EXPRESSION ((rx_sync & rx_sync_q1) | (rx_sync & rx_sync_q2) | (rx_sync_q1 & rx_sync_q2))
             -----------1----------   -----------2----------   ------------3------------
-1--2--3-StatusTests
000Not Covered
001Not Covered
010Not Covered
100Not Covered

 LINE       255
 SUB-EXPRESSION (rx_sync & rx_sync_q1)
                 ---1---   -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       255
 SUB-EXPRESSION (rx_sync & rx_sync_q2)
                 ---1---   -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       255
 SUB-EXPRESSION (rx_sync_q1 & rx_sync_q2)
                 -----1----   -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       258
 EXPRESSION (rxnf_enable ? rx_in_maj : rx_sync)
             -----1-----
-1-StatusTests
0Not Covered
1Not Covered

 LINE       260
 EXPRESSION (sys_loopback ? tx_out : (line_loopback ? 1'b1 : rx_in_mx))
             ------1-----
-1-StatusTests
0Not Covered
1Not Covered

 LINE       260
 SUB-EXPRESSION (line_loopback ? 1'b1 : rx_in_mx)
                 ------1------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       280
 EXPRESSION (rx_valid & ((~event_rx_frame_err)) & ((~event_rx_parity_err)))
             ----1---   -----------2-----------   ------------3-----------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       322
 EXPRESSION (tx_watermark_d & ((~tx_watermark_prev_q)))
             -------1------   ------------2-----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       334
 EXPRESSION (((~tx_fifo_rvalid)) & ((~tx_uart_idle_q)) & tx_uart_idle)
             ---------1---------   ---------2---------   ------3-----
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       362
 EXPRESSION (rx_watermark_d & ((~rx_watermark_prev_q)))
             -------1------   ------------2-----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       368
 EXPRESSION (rx_fifo_depth != rx_fifo_depth_prev_q)
            -------------------1-------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       370
 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-StatusTests
0Not Covered
1Not Covered

 LINE       370
 SUB-EXPRESSION (uart_rxto_en == 1'b0)
                -----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       370
 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-StatusTests
0Not Covered
1Not Covered

 LINE       370
 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-StatusTests
0Not Covered
1Not Covered

 LINE       370
 SUB-EXPRESSION ((rx_fifo_depth == '0) ? 24'b0 : (rx_tick_baud ? ((rx_timeout_count_q + 24'b1)) : rx_timeout_count_q))
                 ----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       370
 SUB-EXPRESSION (rx_fifo_depth == '0)
                ----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       370
 SUB-EXPRESSION (rx_tick_baud ? ((rx_timeout_count_q + 24'b1)) : rx_timeout_count_q)
                 ------1-----
-1-StatusTests
0Not Covered
1Not Covered

 LINE       388
 EXPRESSION ((rx_timeout_count_q == uart_rxto_val) & uart_rxto_en)
             ------------------1------------------   ------2-----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       388
 SUB-EXPRESSION (rx_timeout_count_q == uart_rxto_val)
                ------------------1------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       400
 EXPRESSION (rx_fifo_wvalid & ((~rx_fifo_wready)))
             -------1------   ---------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       401
 EXPRESSION (break_err & (break_st_q == BRK_CHK))
             ----1----   -----------2-----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       401
 SUB-EXPRESSION (break_st_q == BRK_CHK)
                -----------1-----------
-1-StatusTests
0Not Covered
1Not Covered

Branch Coverage for Module : uart_core
Line No.TotalCoveredPercent
Branches 61 0 0.00
TERNARY 98 3 0 0.00
TERNARY 213 2 0 0.00
TERNARY 258 2 0 0.00
TERNARY 260 3 0 0.00
TERNARY 370 6 0 0.00
IF 105 3 0 0.00
CASE 113 4 0 0.00
IF 122 6 0 0.00
IF 166 3 0 0.00
IF 215 4 0 0.00
IF 246 2 0 0.00
IF 302 3 0 0.00
CASE 311 7 0 0.00
IF 337 2 0 0.00
CASE 349 9 0 0.00
IF 391 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-: 98 (((break_st_q == BRK_WAIT) || not_allzero_char)) ? -2-: 98 (allzero_err) ?

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


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

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


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

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


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

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


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

Branches:
-1--2--3--4--5-StatusTests
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-: 105 if ((!rst_ni)) -2-: 106 if (rx_enable)

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


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

Branches:
-1-StatusTests
2'h0 Not Covered
2'h1 Not Covered
2'h2 Not Covered
default Not Covered


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

Branches:
-1--2--3--4-StatusTests
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-: 166 if ((!rst_ni)) -2-: 168 if ((tx_enable || rx_enable))

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


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

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


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

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


LineNo. Expression -1-: 302 if ((!rst_ni)) -2-: 303 if (tick_baud_x16)

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


LineNo. Expression -1-: 311 case (uart_fifo_txilvl)

Branches:
-1-StatusTests
3'h0 Not Covered
3'h1 Not Covered
3'h2 Not Covered
3'h3 Not Covered
3'h4 Not Covered
3'h5 Not Covered
default Not Covered


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

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


LineNo. Expression -1-: 349 case (uart_fifo_rxilvl)

Branches:
-1-StatusTests
3'h0 Not Covered
3'h1 Not Covered
3'h2 Not Covered
3'h3 Not Covered
3'h4 Not Covered
3'h5 Not Covered
3'h6 Not Covered
3'h7 Not Covered
default Not Covered


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

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

Line Coverage for Instance : tb.dut.uart_core
Line No.TotalCoveredPercent
TOTAL10500.00
CONT_ASSIGN73100.00
CONT_ASSIGN74100.00
CONT_ASSIGN75100.00
CONT_ASSIGN76100.00
CONT_ASSIGN77100.00
CONT_ASSIGN79100.00
CONT_ASSIGN80100.00
CONT_ASSIGN81100.00
CONT_ASSIGN82100.00
CONT_ASSIGN84100.00
CONT_ASSIGN85100.00
CONT_ASSIGN94100.00
CONT_ASSIGN95100.00
CONT_ASSIGN98100.00
ALWAYS105400.00
ALWAYS113400.00
ALWAYS122700.00
CONT_ASSIGN140100.00
CONT_ASSIGN142100.00
CONT_ASSIGN144100.00
CONT_ASSIGN145100.00
CONT_ASSIGN146100.00
CONT_ASSIGN147100.00
CONT_ASSIGN148100.00
CONT_ASSIGN149100.00
CONT_ASSIGN151100.00
CONT_ASSIGN152100.00
ALWAYS166400.00
CONT_ASSIGN173100.00
CONT_ASSIGN179100.00
CONT_ASSIGN213100.00
ALWAYS215700.00
ALWAYS246500.00
CONT_ASSIGN255100.00
CONT_ASSIGN258100.00
CONT_ASSIGN260100.00
CONT_ASSIGN280100.00
ALWAYS302400.00
ALWAYS311700.00
CONT_ASSIGN322100.00
CONT_ASSIGN334100.00
ALWAYS337700.00
ALWAYS349900.00
CONT_ASSIGN362100.00
CONT_ASSIGN365100.00
CONT_ASSIGN366100.00
CONT_ASSIGN368100.00
CONT_ASSIGN370100.00
CONT_ASSIGN388100.00
ALWAYS391500.00
CONT_ASSIGN400100.00
CONT_ASSIGN401100.00
CONT_ASSIGN511100.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.CoveredStatements
73 0 1
74 0 1
75 0 1
76 0 1
77 0 1
79 0 1
80 0 1
81 0 1
82 0 1
84 0 1
85 0 1
94 0 1
95 0 1
98 0 1
105 0 2
106 0 2
==> MISSING_ELSE
113 0 1
114 0 1
115 0 1
116 0 1
122 0 2
124 0 1
126 0 2
==> MISSING_ELSE
130 0 2
==> MISSING_ELSE
140 0 1
142 0 1
144 0 1
145 0 1
146 0 1
147 0 1
148 0 1
149 0 1
151 0 1
152 0 1
166 0 1
167 0 1
168 0 1
169 0 1
==> MISSING_ELSE
173 0 1
179 0 1
213 0 1
215 0 1
216 0 1
217 0 1
218 0 1
219 0 1
220 0 1
222 0 1
246 0 1
247 0 1
248 0 1
250 0 1
251 0 1
255 0 1
258 0 1
260 0 1
280 0 1
302 0 2
303 0 2
==> MISSING_ELSE
311 0 1
312 0 1
313 0 1
314 0 1
315 0 1
316 0 1
317 0 1
322 0 1
334 0 1
337 0 1
338 0 1
339 0 1
340 0 1
342 0 1
343 0 1
344 0 1
349 0 1
350 0 1
351 0 1
352 0 1
353 0 1
354 0 1
355 0 1
356 0 1
357 0 1
362 0 1
365 0 1
366 0 1
368 0 1
370 0 1
388 0 1
391 0 1
392 0 1
393 0 1
395 0 1
396 0 1
400 0 1
401 0 1
511 0 1


Cond Coverage for Instance : tb.dut.uart_core
TotalCoveredPercent
Conditions10600.00
Logical10600.00
Non-Logical00
Event00

 LINE       79
 EXPRESSION (reg2hw.fifo_ctrl.rxrst.q & reg2hw.fifo_ctrl.rxrst.qe)
             ------------1-----------   ------------2------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       80
 EXPRESSION (reg2hw.fifo_ctrl.txrst.q & reg2hw.fifo_ctrl.txrst.qe)
             ------------1-----------   ------------2------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       94
 EXPRESSION (rx_valid & (((~event_rx_frame_err)) | (rx_fifo_data != 8'b0)))
             ----1---   -------------------------2------------------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       94
 SUB-EXPRESSION (((~event_rx_frame_err)) | (rx_fifo_data != 8'b0))
                 -----------1-----------   -----------2----------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       94
 SUB-EXPRESSION (rx_fifo_data != 8'b0)
                -----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       95
 EXPRESSION (event_rx_frame_err & (rx_fifo_data == 8'b0))
             ---------1--------   -----------2----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       95
 SUB-EXPRESSION (rx_fifo_data == 8'b0)
                -----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       98
 EXPRESSION (((break_st_q == BRK_WAIT) || not_allzero_char) ? 5'b0 : (allzero_err ? ((allzero_cnt_q + 5'b1)) : allzero_cnt_q))
             -----------------------1----------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       98
 SUB-EXPRESSION ((break_st_q == BRK_WAIT) || not_allzero_char)
                 ------------1-----------    --------2-------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       98
 SUB-EXPRESSION (break_st_q == BRK_WAIT)
                ------------1-----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       98
 SUB-EXPRESSION (allzero_err ? ((allzero_cnt_q + 5'b1)) : allzero_cnt_q)
                 -----1-----
-1-StatusTests
0Not Covered
1Not Covered

 LINE       146
 EXPRESSION (tx_uart_idle & ((~tx_fifo_rvalid)))
             ------1-----   ---------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       168
 EXPRESSION (tx_enable || rx_enable)
             ----1----    ----2----
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       179
 EXPRESSION (tx_uart_idle & tx_fifo_rvalid & tx_enable)
             ------1-----   -------2------   ----3----
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       200
 EXPRESSION (((^tx_fifo_data)) ^ reg2hw.ctrl.parity_odd.q)
             --------1--------   ------------2-----------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered
11Not Covered

 LINE       213
 EXPRESSION (line_loopback ? rx : tx_out_q)
             ------1------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       255
 EXPRESSION ((rx_sync & rx_sync_q1) | (rx_sync & rx_sync_q2) | (rx_sync_q1 & rx_sync_q2))
             -----------1----------   -----------2----------   ------------3------------
-1--2--3-StatusTests
000Not Covered
001Not Covered
010Not Covered
100Not Covered

 LINE       255
 SUB-EXPRESSION (rx_sync & rx_sync_q1)
                 ---1---   -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       255
 SUB-EXPRESSION (rx_sync & rx_sync_q2)
                 ---1---   -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       255
 SUB-EXPRESSION (rx_sync_q1 & rx_sync_q2)
                 -----1----   -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       258
 EXPRESSION (rxnf_enable ? rx_in_maj : rx_sync)
             -----1-----
-1-StatusTests
0Not Covered
1Not Covered

 LINE       260
 EXPRESSION (sys_loopback ? tx_out : (line_loopback ? 1'b1 : rx_in_mx))
             ------1-----
-1-StatusTests
0Not Covered
1Not Covered

 LINE       260
 SUB-EXPRESSION (line_loopback ? 1'b1 : rx_in_mx)
                 ------1------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       280
 EXPRESSION (rx_valid & ((~event_rx_frame_err)) & ((~event_rx_parity_err)))
             ----1---   -----------2-----------   ------------3-----------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       322
 EXPRESSION (tx_watermark_d & ((~tx_watermark_prev_q)))
             -------1------   ------------2-----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       334
 EXPRESSION (((~tx_fifo_rvalid)) & ((~tx_uart_idle_q)) & tx_uart_idle)
             ---------1---------   ---------2---------   ------3-----
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       362
 EXPRESSION (rx_watermark_d & ((~rx_watermark_prev_q)))
             -------1------   ------------2-----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       368
 EXPRESSION (rx_fifo_depth != rx_fifo_depth_prev_q)
            -------------------1-------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       370
 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-StatusTests
0Not Covered
1Not Covered

 LINE       370
 SUB-EXPRESSION (uart_rxto_en == 1'b0)
                -----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       370
 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-StatusTests
0Not Covered
1Not Covered

 LINE       370
 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-StatusTests
0Not Covered
1Not Covered

 LINE       370
 SUB-EXPRESSION ((rx_fifo_depth == '0) ? 24'b0 : (rx_tick_baud ? ((rx_timeout_count_q + 24'b1)) : rx_timeout_count_q))
                 ----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       370
 SUB-EXPRESSION (rx_fifo_depth == '0)
                ----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       370
 SUB-EXPRESSION (rx_tick_baud ? ((rx_timeout_count_q + 24'b1)) : rx_timeout_count_q)
                 ------1-----
-1-StatusTests
0Not Covered
1Not Covered

 LINE       388
 EXPRESSION ((rx_timeout_count_q == uart_rxto_val) & uart_rxto_en)
             ------------------1------------------   ------2-----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       388
 SUB-EXPRESSION (rx_timeout_count_q == uart_rxto_val)
                ------------------1------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       400
 EXPRESSION (rx_fifo_wvalid & ((~rx_fifo_wready)))
             -------1------   ---------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       401
 EXPRESSION (break_err & (break_st_q == BRK_CHK))
             ----1----   -----------2-----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       401
 SUB-EXPRESSION (break_st_q == BRK_CHK)
                -----------1-----------
-1-StatusTests
0Not Covered
1Not Covered

Branch Coverage for Instance : tb.dut.uart_core
Line No.TotalCoveredPercent
Branches 60 0 0.00
TERNARY 98 3 0 0.00
TERNARY 213 2 0 0.00
TERNARY 258 2 0 0.00
TERNARY 260 3 0 0.00
TERNARY 370 6 0 0.00
IF 105 3 0 0.00
CASE 113 4 0 0.00
IF 122 5 0 0.00
IF 166 3 0 0.00
IF 215 4 0 0.00
IF 246 2 0 0.00
IF 302 3 0 0.00
CASE 311 7 0 0.00
IF 337 2 0 0.00
CASE 349 9 0 0.00
IF 391 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-: 98 (((break_st_q == BRK_WAIT) || not_allzero_char)) ? -2-: 98 (allzero_err) ?

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


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

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


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

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


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

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


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

Branches:
-1--2--3--4--5-StatusTests
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-: 105 if ((!rst_ni)) -2-: 106 if (rx_enable)

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


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

Branches:
-1-StatusTests
2'h0 Not Covered
2'h1 Not Covered
2'h2 Not Covered
default Not Covered


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

Branches:
-1--2--3--4-StatusTests
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-: 166 if ((!rst_ni)) -2-: 168 if ((tx_enable || rx_enable))

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


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

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


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

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


LineNo. Expression -1-: 302 if ((!rst_ni)) -2-: 303 if (tick_baud_x16)

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


LineNo. Expression -1-: 311 case (uart_fifo_txilvl)

Branches:
-1-StatusTests
3'h0 Not Covered
3'h1 Not Covered
3'h2 Not Covered
3'h3 Not Covered
3'h4 Not Covered
3'h5 Not Covered
default Not Covered


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

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


LineNo. Expression -1-: 349 case (uart_fifo_rxilvl)

Branches:
-1-StatusTests
3'h0 Not Covered
3'h1 Not Covered
3'h2 Not Covered
3'h3 Not Covered
3'h4 Not Covered
3'h5 Not Covered
3'h6 Not Covered
3'h7 Not Covered
default Not Covered


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

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

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