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

Module : usbdev_usbif
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.usbdev_impl 0.00 0.00 0.00 0.00



Module Instance : tb.dut.usbdev_impl

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
23.39 0.00 0.00 93.58 0.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_usb_fs_nb_pe 0.00 0.00 0.00 0.00 0.00
u_usbdev_linkstate 0.00 0.00 0.00 0.00 0.00


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : usbdev_usbif
Line No.TotalCoveredPercent
TOTAL8700.00
CONT_ASSIGN134100.00
CONT_ASSIGN15200
CONT_ASSIGN153100.00
CONT_ASSIGN155100.00
CONT_ASSIGN156100.00
CONT_ASSIGN157100.00
ALWAYS160600.00
CONT_ASSIGN182100.00
ALWAYS186600.00
ALWAYS198800.00
CONT_ASSIGN215100.00
CONT_ASSIGN216100.00
CONT_ASSIGN221100.00
CONT_ASSIGN224100.00
CONT_ASSIGN226100.00
CONT_ASSIGN227100.00
CONT_ASSIGN228100.00
CONT_ASSIGN229100.00
CONT_ASSIGN231100.00
CONT_ASSIGN235100.00
CONT_ASSIGN237100.00
CONT_ASSIGN243100.00
ALWAYS246500.00
CONT_ASSIGN256100.00
CONT_ASSIGN258100.00
CONT_ASSIGN260100.00
CONT_ASSIGN261100.00
CONT_ASSIGN266100.00
CONT_ASSIGN27600
CONT_ASSIGN277100.00
CONT_ASSIGN281100.00
ALWAYS283200.00
ALWAYS290300.00
CONT_ASSIGN297100.00
CONT_ASSIGN298100.00
CONT_ASSIGN300100.00
CONT_ASSIGN403100.00
CONT_ASSIGN404100.00
ALWAYS407500.00
ALWAYS416300.00
ALWAYS4561600.00
CONT_ASSIGN473100.00
CONT_ASSIGN474100.00
CONT_ASSIGN475100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_usbdev_0.1/rtl/usbdev_usbif.sv' or '../src/lowrisc_ip_usbdev_0.1/rtl/usbdev_usbif.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
134 0 1
152 unreachable
153 0 1
155 0 1
156 0 1
157 0 1
160 0 1
161 0 1
163 0 1
167 0 1
168 0 1
169 unreachable
170 unreachable
172 unreachable
176 0 1
182 0 1
186 0 1
188 0 1
189 0 1
190 0 1
191 0 1
192 0 1
198 0 1
199 0 1
200 0 1
201 0 1
203 0 1
204 0 1
206 0 1
207 0 1
==> MISSING_ELSE
215 0 1
216 0 1
221 0 1
224 0 1
226 0 1
227 0 1
228 0 1
229 0 1
231 0 1
235 0 1
237 0 1
243 0 1
246 0 1
247 0 1
248 0 1
250 0 1
251 0 1
256 0 1
258 0 1
260 0 1
261 0 1
266 0 1
276 unreachable
277 0 1
281 0 1
283 0 1
284 0 1
290 0 1
291 0 1
293 0 1
297 0 1
298 0 1
300 0 1
403 0 1
404 0 1
407 0 1
408 0 1
409 0 1
410 0 1
411 0 1
==> MISSING_ELSE
416 0 1
417 0 1
419 0 1
456 0 1
457 0 1
458 0 1
459 0 1
462 0 2
463 0 2
==> MISSING_ELSE
465 0 2
466 0 2
==> MISSING_ELSE
468 0 2
469 0 2
==> MISSING_ELSE
473 0 1
474 0 1
475 0 1


Cond Coverage for Module : usbdev_usbif
TotalCoveredPercent
Conditions8300.00
Logical8300.00
Non-Logical00
Event00

 LINE       134
 EXPRESSION (connect_en_i & usb_sense_i)
             ------1-----   -----2-----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       153
 EXPRESSION (out_endpoint_val_o ? out_ep_current : '0)
             ---------1--------
-1-StatusTests
0Unreachable
1Not Covered

 LINE       156
 EXPRESSION (((~connect_en_i)) | link_reset)
             --------1--------   -----2----
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       160
 EXPRESSION (out_ep_acked || out_ep_rollback)
             ------1-----    -------2-------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       182
 EXPRESSION (out_ep_data_put & (int'(out_max_used_q) < (MaxPktSizeByte - 1)) & (out_ep_put_addr[1:0] == 2'b11))
             -------1-------   ----------------------2----------------------   ---------------3---------------
-1--2--3-StatusTests
011Not Covered
101Unreachable
110Not Covered
111Not Covered

 LINE       182
 SUB-EXPRESSION (out_ep_put_addr[1:0] == 2'b11)
                ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       215
 EXPRESSION (current_setup ? avsetup_rvalid_i : avout_rvalid_i)
             ------1------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       216
 EXPRESSION (current_setup ? avsetup_rdata_i : avout_rdata_i)
             ------1------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       221
 EXPRESSION (current_setup ? rx_wready_setup_i : rx_wready_out_i)
             ------1------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       224
 EXPRESSION (av_rvalid & (std_write_q | (((~out_max_used_q[PktW])) & (out_max_used_q[1:0] != 2'b11) & out_ep_acked)))
             ----1----   ---------------------------------------------2---------------------------------------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       224
 SUB-EXPRESSION (std_write_q | (((~out_max_used_q[PktW])) & (out_max_used_q[1:0] != 2'b11) & out_ep_acked))
                 -----1-----   -------------------------------------2-------------------------------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       224
 SUB-EXPRESSION (((~out_max_used_q[PktW])) & (out_max_used_q[1:0] != 2'b11) & out_ep_acked)
                 ------------1------------   ---------------2--------------   ------3-----
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       224
 SUB-EXPRESSION (out_max_used_q[1:0] != 2'b11)
                ---------------1--------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       228
 EXPRESSION (mem_write_o ? mem_waddr : mem_raddr)
             -----1-----
-1-StatusTests
0Not Covered
1Not Covered

 LINE       229
 EXPRESSION (mem_read | mem_write_o)
             ----1---   -----2-----
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       250
 EXPRESSION (rx_wvalid_o & current_setup)
             -----1-----   ------2------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       251
 EXPRESSION (rx_wvalid_o & ((~current_setup)))
             -----1-----   ---------2--------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       258
 EXPRESSION (((~rx_wready)) | ((~av_rvalid)))
             -------1------   -------2------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       266
 EXPRESSION (current_setup & rx_wvalid_o)
             ------1------   -----2-----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       277
 EXPRESSION (in_endpoint_val_o ? in_ep_current : '0)
             --------1--------
-1-StatusTests
0Unreachable
1Not Covered

 LINE       281
 EXPRESSION ({1'b0, in_ep_get_addr} == in_size_i)
            ------------------1------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       298
 EXPRESSION (pkt_start_rd | (in_ep_data_get & (in_ep_get_addr[1:0] == 2'b0)))
             ------1-----   ------------------------2-----------------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       298
 SUB-EXPRESSION (in_ep_data_get & (in_ep_get_addr[1:0] == 2'b0))
                 -------1------   --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       298
 SUB-EXPRESSION (in_ep_get_addr[1:0] == 2'b0)
                --------------1--------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       300
 EXPRESSION (in_ep_get_addr[1] ? (in_ep_get_addr[0] ? mem_rdata_i[31:24] : mem_rdata_i[23:16]) : (in_ep_get_addr[0] ? mem_rdata_i[15:8] : mem_rdata_i[7:0]))
             --------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       300
 SUB-EXPRESSION (in_ep_get_addr[0] ? mem_rdata_i[31:24] : mem_rdata_i[23:16])
                 --------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       300
 SUB-EXPRESSION (in_ep_get_addr[0] ? mem_rdata_i[15:8] : mem_rdata_i[7:0])
                 --------1--------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       404
 EXPRESSION (frame_q != frame_d)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       410
 EXPRESSION (sof_detected_o | do_internal_sof)
             -------1------   -------2-------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       463
 EXPRESSION (out_ep_data_put & current_setup & ((!avsetup_rvalid_i)))
             -------1-------   ------2------   ----------3----------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       466
 EXPRESSION (out_ep_data_put & ((!current_setup)) & ((!avout_rvalid_i)))
             -------1-------   ---------2--------   ---------3---------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       469
 EXPRESSION (out_ep_data_put & ((!rx_wready)))
             -------1-------   -------2------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

Branch Coverage for Module : usbdev_usbif
Line No.TotalCoveredPercent
Branches 44 0 0.00
TERNARY 153 1 0 0.00
TERNARY 215 2 0 0.00
TERNARY 216 2 0 0.00
TERNARY 221 2 0 0.00
TERNARY 228 2 0 0.00
TERNARY 277 1 0 0.00
TERNARY 300 4 0 0.00
IF 160 3 0 0.00
CASE 188 5 0 0.00
IF 198 3 0 0.00
IF 246 2 0 0.00
IF 290 2 0 0.00
IF 408 3 0 0.00
IF 416 2 0 0.00
IF 456 10 0 0.00

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

LineNo. Expression -1-: 153 (out_endpoint_val_o) ?

Branches:
-1-StatusTests
1 Not Covered
0 Unreachable


LineNo. Expression -1-: 215 (current_setup) ?

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


LineNo. Expression -1-: 216 (current_setup) ?

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


LineNo. Expression -1-: 221 (current_setup) ?

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


LineNo. Expression -1-: 228 (mem_write_o) ?

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


LineNo. Expression -1-: 277 (in_endpoint_val_o) ?

Branches:
-1-StatusTests
1 Not Covered
0 Unreachable


LineNo. Expression -1-: 300 (in_ep_get_addr[1]) ? -2-: 300 (in_ep_get_addr[0]) ? -3-: 300 (in_ep_get_addr[0]) ?

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


LineNo. Expression -1-: 160 if ((out_ep_acked || out_ep_rollback)) -2-: 163 if (out_ep_data_put) -3-: 167 if ((int'(out_max_used_q) < (MaxPktSizeByte - 1))) -4-: 169 if ((int'(out_max_used_q) < (MaxPktSizeByte + 1)))

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


LineNo. Expression -1-: 188 case (out_ep_put_addr[1:0])

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


LineNo. Expression -1-: 198 if ((!rst_ni)) -2-: 206 if (out_ep_data_put)

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


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

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


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

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


LineNo. Expression -1-: 408 if (sof_valid) -2-: 410 if ((sof_detected_o | do_internal_sof))

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


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

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


LineNo. Expression -1-: 456 if ((!rst_ni)) -2-: 462 if (out_ep_newpkt) -3-: 463 if (((out_ep_data_put & current_setup) & (!avsetup_rvalid_i))) -4-: 465 if (out_ep_newpkt) -5-: 466 if (((out_ep_data_put & (!current_setup)) & (!avout_rvalid_i))) -6-: 468 if (out_ep_newpkt) -7-: 469 if ((out_ep_data_put & (!rx_wready)))

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

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