Unified Coverage Report :: Module :: usbdev_usbif

Module : usbdev_usbif

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_usbdev_0.1/rtl/usbdev_usbif.sv

Module self-instances :

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

---

Module Instance : tb.dut.usbdev_impl

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	0.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
22.16	0.00	0.00	88.64		0.00		dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
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.	Total	Covered	Percent
TOTAL		90	0	0.00
CONT_ASSIGN	134	1	0	0.00
CONT_ASSIGN	152	0	0
CONT_ASSIGN	153	1	0	0.00
CONT_ASSIGN	155	1	0	0.00
CONT_ASSIGN	156	1	0	0.00
CONT_ASSIGN	157	1	0	0.00
ALWAYS	160	6	0	0.00
CONT_ASSIGN	182	1	0	0.00
ALWAYS	186	6	0	0.00
ALWAYS	198	11	0	0.00
CONT_ASSIGN	218	1	0	0.00
CONT_ASSIGN	219	1	0	0.00
CONT_ASSIGN	224	1	0	0.00
CONT_ASSIGN	227	1	0	0.00
CONT_ASSIGN	229	1	0	0.00
CONT_ASSIGN	230	1	0	0.00
CONT_ASSIGN	231	1	0	0.00
CONT_ASSIGN	232	1	0	0.00
CONT_ASSIGN	234	1	0	0.00
CONT_ASSIGN	238	1	0	0.00
CONT_ASSIGN	240	1	0	0.00
CONT_ASSIGN	246	1	0	0.00
ALWAYS	249	5	0	0.00
CONT_ASSIGN	259	1	0	0.00
CONT_ASSIGN	261	1	0	0.00
CONT_ASSIGN	263	1	0	0.00
CONT_ASSIGN	264	1	0	0.00
CONT_ASSIGN	269	1	0	0.00
CONT_ASSIGN	279	0	0
CONT_ASSIGN	280	1	0	0.00
CONT_ASSIGN	284	1	0	0.00
ALWAYS	286	2	0	0.00
ALWAYS	293	3	0	0.00
CONT_ASSIGN	300	1	0	0.00
CONT_ASSIGN	301	1	0	0.00
CONT_ASSIGN	303	1	0	0.00
CONT_ASSIGN	406	1	0	0.00
CONT_ASSIGN	407	1	0	0.00
ALWAYS	410	5	0	0.00
ALWAYS	419	3	0	0.00
ALWAYS	459	16	0	0.00
CONT_ASSIGN	476	1	0	0.00
CONT_ASSIGN	477	1	0	0.00
CONT_ASSIGN	478	1	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, so annotated line coverage report could not be generated.

Line No.	Covered	Statements
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
202	0	1
203	0	1
204	0	1
206	0	1
207	0	1
209	0	1
210	0	1
			==> MISSING_ELSE
218	0	1
219	0	1
224	0	1
227	0	1
229	0	1
230	0	1
231	0	1
232	0	1
234	0	1
238	0	1
240	0	1
246	0	1
249	0	1
250	0	1
251	0	1
253	0	1
254	0	1
259	0	1
261	0	1
263	0	1
264	0	1
269	0	1
279		unreachable
280	0	1
284	0	1
286	0	1
287	0	1
293	0	1
294	0	1
296	0	1
300	0	1
301	0	1
303	0	1
406	0	1
407	0	1
410	0	1
411	0	1
412	0	1
413	0	1
414	0	1
			==> MISSING_ELSE
419	0	1
420	0	1
422	0	1
459	0	1
460	0	1
461	0	1
462	0	1
465	0	2
466	0	2
			==> MISSING_ELSE
468	0	2
469	0	2
			==> MISSING_ELSE
471	0	2
472	0	2
			==> MISSING_ELSE
476	0	1
477	0	1
478	0	1

---

Cond Coverage for Module : usbdev_usbif

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

 LINE       134
 EXPRESSION (connect_en_i & usb_sense_i)
             ------1-----   -----2-----

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

 LINE       153
 EXPRESSION (out_endpoint_val_o ? out_ep_current : '0)
             ---------1--------

-1-	Status	Tests
0	Unreachable
1	Not Covered

 LINE       156
 EXPRESSION (((~connect_en_i)) | link_reset)
             --------1--------   -----2----

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

 LINE       160
 EXPRESSION (out_ep_acked || out_ep_rollback)
             ------1-----    -------2-------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not 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-	Status	Tests
0	1	1	Not Covered
1	0	1	Unreachable
1	1	0	Not Covered
1	1	1	Not Covered

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

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       218
 EXPRESSION (current_setup ? avsetup_rvalid_i : avout_rvalid_i)
             ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       219
 EXPRESSION (current_setup ? avsetup_rdata_i : avout_rdata_i)
             ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       224
 EXPRESSION (current_setup ? rx_wready_setup_i : rx_wready_out_i)
             ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       227
 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-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       227
 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-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       227
 SUB-EXPRESSION (((~out_max_used_q[PktW])) & (out_max_used_q[1:0] != 2'b11) & out_ep_acked)
                 ------------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       227
 SUB-EXPRESSION (out_max_used_q[1:0] != 2'b11)
                ---------------1--------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       231
 EXPRESSION (mem_write_o ? mem_waddr : mem_raddr)
             -----1-----

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       232
 EXPRESSION (mem_read | mem_write_o)
             ----1---   -----2-----

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

 LINE       253
 EXPRESSION (rx_wvalid_o & current_setup)
             -----1-----   ------2------

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

 LINE       254
 EXPRESSION (rx_wvalid_o & ((~current_setup)))
             -----1-----   ---------2--------

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

 LINE       261
 EXPRESSION (((~rx_wready)) | ((~av_rvalid)))
             -------1------   -------2------

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

 LINE       269
 EXPRESSION (current_setup & rx_wvalid_o)
             ------1------   -----2-----

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

 LINE       280
 EXPRESSION (in_endpoint_val_o ? in_ep_current : '0)
             --------1--------

-1-	Status	Tests
0	Unreachable
1	Not Covered

 LINE       284
 EXPRESSION ({1'b0, in_ep_get_addr} == in_size_i)
            ------------------1------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       301
 EXPRESSION (pkt_start_rd | (in_ep_data_get & (in_ep_get_addr[1:0] == 2'b0)))
             ------1-----   ------------------------2-----------------------

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

 LINE       301
 SUB-EXPRESSION (in_ep_data_get & (in_ep_get_addr[1:0] == 2'b0))
                 -------1------   --------------2--------------

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

 LINE       301
 SUB-EXPRESSION (in_ep_get_addr[1:0] == 2'b0)
                --------------1--------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       303
 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-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       303
 SUB-EXPRESSION (in_ep_get_addr[0] ? mem_rdata_i[31:24] : mem_rdata_i[23:16])
                 --------1--------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       303
 SUB-EXPRESSION (in_ep_get_addr[0] ? mem_rdata_i[15:8] : mem_rdata_i[7:0])
                 --------1--------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       407
 EXPRESSION (frame_q != frame_d)
            ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       413
 EXPRESSION (sof_detected_o | do_internal_sof)
             -------1------   -------2-------

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

 LINE       466
 EXPRESSION (out_ep_data_put & current_setup & ((!avsetup_rvalid_i)))
             -------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       469
 EXPRESSION (out_ep_data_put & ((!current_setup)) & ((!avout_rvalid_i)))
             -------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       472
 EXPRESSION (out_ep_data_put & ((!rx_wready)))
             -------1-------   -------2------

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

---

Branch Coverage for Module : usbdev_usbif

	Line No.	Total	Covered	Percent
Branches		45	0	0.00
TERNARY	153	1	0	0.00
TERNARY	218	2	0	0.00
TERNARY	219	2	0	0.00
TERNARY	224	2	0	0.00
TERNARY	231	2	0	0.00
TERNARY	280	1	0	0.00
TERNARY	303	4	0	0.00
IF	160	3	0	0.00
CASE	188	5	0	0.00
IF	198	4	0	0.00
IF	249	2	0	0.00
IF	293	2	0	0.00
IF	411	3	0	0.00
IF	419	2	0	0.00
IF	459	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-	Status	Tests
1	Not Covered
0	Unreachable

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Unreachable

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

Branches:

-1-	-2-	-3-	Status	Tests
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-	Status	Tests
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-	Status	Tests
0	Not Covered
1	Not Covered
2	Not Covered
3	Not Covered
default	Not Covered

	LineNo.	Expression
-1-:	198	if ((!rst_ni))
-2-:	202	if (link_reset)
-3-:	209	if (out_ep_data_put)

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-:	249	if ((!rst_ni))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	411	if (sof_valid)
-2-:	413	if ((sof_detected_o | do_internal_sof))

Branches:

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

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

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

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	Status	Tests
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