Unified Coverage Report :: Module :: usb_fs_nb_in_pe

Module : usb_fs_nb_in_pe

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
79.21	85.19	84.29		50.00	76.60	100.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.usbdev_impl.u_usb_fs_nb_pe.u_usb_fs_nb_in_pe	79.21	85.19	84.29		50.00	76.60	100.00

---

Module Instance : tb.dut.usbdev_impl.u_usb_fs_nb_pe.u_usb_fs_nb_in_pe

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
79.21	85.19	84.29		50.00	76.60	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
79.21	85.19	84.29		50.00	76.60	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
83.33	100.00	50.00				100.00	u_usb_fs_nb_pe

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
no children

---

Since this is the module's only instance, the coverage report is the same as for the module.

Line Coverage for Module : usb_fs_nb_in_pe

	Line No.	Total	Covered	Percent
TOTAL		108	92	85.19
CONT_ASSIGN	105	1	1	100.00
CONT_ASSIGN	119	1	1	100.00
CONT_ASSIGN	120	1	1	100.00
CONT_ASSIGN	122	1	1	100.00
CONT_ASSIGN	128	1	1	100.00
CONT_ASSIGN	132	1	1	100.00
CONT_ASSIGN	136	1	1	100.00
CONT_ASSIGN	142	1	1	100.00
CONT_ASSIGN	143	1	1	100.00
CONT_ASSIGN	150	1	1	100.00
CONT_ASSIGN	151	1	1	100.00
CONT_ASSIGN	154	1	1	100.00
CONT_ASSIGN	156	1	1	100.00
CONT_ASSIGN	159	1	1	100.00
ALWAYS	169	49	34	69.39
ALWAYS	271	3	3	100.00
ALWAYS	279	3	3	100.00
ALWAYS	288	8	8	100.00
ALWAYS	301	6	6	100.00
ALWAYS	313	7	7	100.00
ALWAYS	328	7	6	85.71
CONT_ASSIGN	342	1	1	100.00
ALWAYS	345	5	5	100.00
ALWAYS	355	5	5	100.00

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

Line No.	Covered	Statements
105	1	1
119	1	1
120	1	1
122	1	1
128	1	1
132	1	1
136	1	1
142	1	1
143	1	1
150	1	1
151	1	1
154	1	1
156	1	1
159	1	1
169	1	1
170	1	1
171	1	1
172	1	1
173	1	1
174	1	1
175	1	1
177	1	1
178	1	1
181	1	1
186	1	1
188	1	1
193	0	1
194	0	1
195	1	1
196	0	1
197	0	1
198	1	1
199	1	1
200	1	1
202	0	1
203	0	1
209	1	1
210	1	1
211	0	1
212	0	1
214	1	1
215	0	1
217	1	1
221	1	1
226	1	1
227	1	1
			MISSING_ELSE
235	1	1
237	1	1
238	1	1
239	1	1
240	0	1
241	0	1
243	1	1
248	1	1
249	1	1
250	1	1
251	1	1
252	0	1
253	0	1
254	1	1
255	0	1
256	0	1
258	1	1
271	1	1
272	1	1
274	1	1
279	1	1
280	1	1
282	1	1
288	1	1
289	1	1
290	1	1
291	1	1
292	1	1
293	1	1
295	1	1
296	1	1
301	1	1
302	1	1
304	1	1
305	1	1
306	1	1
307	1	1
			MISSING_ELSE
313	1	1
314	1	1
315	1	1
317	1	1
318	1	1
319	1	1
321	1	1
328	1	1
330	1	1
331	1	1
332	1	1
333	1	1
			MISSING_ELSE
336	1	1
337	0	1
			MISSING_ELSE
342	1	1
345	1	1
346	1	1
347	1	1
348	1	1
350	1	1
355	1	1
356	1	1
358	1	1
359	1	1
361	1	1

---

Cond Coverage for Module : usb_fs_nb_in_pe

	Total	Covered	Percent
Conditions	70	59	84.29
Logical	70	59	84.29
Non-Logical	0	0
Event	0	0

 LINE       122
 EXPRESSION (rx_pkt_end_i && rx_pkt_valid_i && (rx_pid_type == UsbPidTypeToken) && (rx_addr_i == dev_addr_i))
             ------1-----    -------2------    ----------------3---------------    ------------4------------

-1-	-2-	-3-	-4-	Status	Tests
0	1	1	1	Covered	T1,T2,T3
1	0	1	1	Not Covered
1	1	0	1	Covered	T1,T2,T3
1	1	1	0	Not Covered
1	1	1	1	Covered	T1,T2,T3

 LINE       122
 SUB-EXPRESSION (rx_pid_type == UsbPidTypeToken)
                ----------------1---------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       122
 SUB-EXPRESSION (rx_addr_i == dev_addr_i)
                ------------1------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       128
 EXPRESSION (token_received && (rx_pid == UsbPidSetup))
             -------1------    -----------2-----------

-1-	-2-	Status	Tests
0	1	Covered	T17,T14,T15
1	0	Covered	T1,T2,T3
1	1	Covered	T17,T14,T15

 LINE       128
 SUB-EXPRESSION (rx_pid == UsbPidSetup)
                -----------1-----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T17,T14,T15

 LINE       132
 EXPRESSION (token_received && (rx_pid == UsbPidIn))
             -------1------    ----------2---------

-1-	-2-	Status	Tests
0	1	Covered	T2,T3,T10
1	0	Covered	T1,T2,T3
1	1	Covered	T2,T3,T10

 LINE       132
 SUB-EXPRESSION (rx_pid == UsbPidIn)
                ----------1---------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T3,T10

 LINE       136
 EXPRESSION (rx_pkt_end_i && rx_pkt_valid_i && (rx_pid == UsbPidAck))
             ------1-----    -------2------    ----------3----------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T2,T3,T10
1	0	1	Not Covered
1	1	0	Covered	T1,T2,T3
1	1	1	Covered	T2,T3,T10

 LINE       136
 SUB-EXPRESSION (rx_pid == UsbPidAck)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T3,T10

 LINE       143
 EXPRESSION (ep_in_hw ? rx_endp_i : '0)
             ----1---

-1-	Status	Tests
0	Not Covered
1	Covered	T1,T2,T3

 LINE       154
 EXPRESSION (in_ep_enabled_i[in_ep_index_d] & ep_in_hw)
             ---------------1--------------   ----2---

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Not Covered
1	1	Covered	T2,T3,T10

 LINE       156
 EXPRESSION (in_ep_has_data_i[in_ep_index] & ((~in_ep_data_done_i[in_ep_index])))
             --------------1--------------   -----------------2-----------------

-1-	-2-	Status	Tests
0	1	Covered	T2,T3,T10
1	0	Covered	T2,T3,T10
1	1	Covered	T2,T3,T10

 LINE       159
 EXPRESSION ((logic'((in_xact_state == StSendData))) & more_data_to_send)
             -------------------1-------------------   --------2--------

-1-	-2-	Status	Tests
0	1	Covered	T2,T3,T10
1	0	Covered	T2,T3,T10
1	1	Covered	T2,T3,T10

 LINE       177
 EXPRESSION (ep_active && in_token_received)
             ----1----    --------2--------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T2,T3,T10
1	1	Covered	T2,T3,T10

 LINE       209
 EXPRESSION (((!more_data_to_send)) || (((&in_ep_get_addr_o)) && tx_data_get_i))
             -----------1----------    --------------------2-------------------

-1-	-2-	Status	Tests
0	0	Covered	T2,T3,T10
0	1	Covered	T14,T15,T16
1	0	Covered	T2,T3,T10

 LINE       209
 SUB-EXPRESSION (((&in_ep_get_addr_o)) && tx_data_get_i)
                 ----------1----------    ------2------

-1-	-2-	Status	Tests
0	1	Covered	T2,T3,T10
1	0	Covered	T2,T14,T15
1	1	Covered	T14,T15,T16

 LINE       239
 EXPRESSION (timeout_cntdown_q == '0)
            ------------1------------

-1-	Status	Tests
0	Covered	T2,T3,T10
1	Not Covered

 LINE       291
 EXPRESSION (link_reset_i || ((!link_active_i)))
             ------1-----    ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Not Covered

 LINE       304
 EXPRESSION (in_xact_state == StIdle)
            ------------1------------

-1-	Status	Tests
0	Covered	T2,T3,T10
1	Covered	T1,T2,T3

 LINE       306
 EXPRESSION ((in_xact_state == StSendData) && tx_data_get_i)
             --------------1--------------    ------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T2,T3,T10
1	1	Covered	T2,T3,T10

 LINE       306
 SUB-EXPRESSION (in_xact_state == StSendData)
                --------------1--------------

-1-	Status	Tests
0	Covered	T2,T3,T10
1	Covered	T2,T3,T10

 LINE       330
 EXPRESSION (setup_token_received && ep_active)
             ----------1---------    ----2----

-1-	-2-	Status	Tests
0	1	Covered	T2,T3,T10
1	0	Covered	T17,T19,T20
1	1	Covered	T14,T15,T16

 LINE       332
 EXPRESSION ((in_xact_state == StWaitAck) && ack_received)
             --------------1-------------    ------2-----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T2,T3,T10
1	1	Covered	T2,T3,T10

 LINE       332
 SUB-EXPRESSION (in_xact_state == StWaitAck)
                --------------1-------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T3,T10

 LINE       358
 EXPRESSION ((in_xact_state == StSendData) && tx_data_get_i)
             --------------1--------------    ------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T2,T3,T10
1	1	Covered	T2,T3,T10

 LINE       358
 SUB-EXPRESSION (in_xact_state == StSendData)
                --------------1--------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T3,T10

---

FSM Coverage for Module : usb_fs_nb_in_pe

Summary for FSM :: in_xact_state

	Total	Covered	Percent
States	6	6	100.00	(Not included in score)
Transitions	12	6	50.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: in_xact_state

---

states	Line No.	Covered	Tests
StIdle	292	Covered	T1,T2,T3
StRcvdIn	178	Covered	T2,T3,T10
StSendData	193	Covered	T2,T3,T10
StWaitAck	238	Covered	T2,T3,T10
StWaitAckStart	215	Covered	T2,T3,T10
StWaitTxEnd	217	Covered	T2,T3,T10

transitions	Line No.	Covered	Tests
StIdle->StRcvdIn	178	Covered	T2,T3,T10
StRcvdIn->StIdle	292	Not Covered
StRcvdIn->StSendData	193	Covered	T2,T3,T10
StSendData->StIdle	292	Not Covered
StSendData->StWaitAckStart	215	Not Covered
StSendData->StWaitTxEnd	217	Covered	T2,T3,T10
StWaitAck->StIdle	292	Covered	T2,T3,T10
StWaitAck->StRcvdIn	252	Not Covered
StWaitAckStart->StIdle	292	Not Covered
StWaitAckStart->StWaitAck	238	Covered	T2,T3,T10
StWaitTxEnd->StIdle	292	Not Covered
StWaitTxEnd->StWaitAckStart	227	Covered	T2,T3,T10

---

Branch Coverage for Module : usb_fs_nb_in_pe

	Line No.	Total	Covered	Percent
Branches		47	36	76.60
TERNARY	143	2	1	50.00
CASE	175	20	11	55.00
IF	271	2	2	100.00
IF	279	2	2	100.00
IF	288	3	3	100.00
IF	301	4	4	100.00
IF	313	3	3	100.00
IF	330	3	3	100.00
IF	336	2	1	50.00
IF	345	3	3	100.00
IF	355	3	3	100.00

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

	LineNo.	Expression
-1-:	143	(ep_in_hw) ? 

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Not Covered

	LineNo.	Expression
-1-:	175	case (in_xact_state)
-2-:	177	if ((ep_active && in_token_received))
-3-:	188	if (in_ep_iso_i[in_ep_index])
-4-:	195	if (in_ep_stall_i[in_ep_index])
-5-:	198	if (in_ep_has_data_i[in_ep_index])
-6-:	209	if (((!more_data_to_send) || ((&in_ep_get_addr_o) && tx_data_get_i)))
-7-:	210	if (in_ep_iso_i[in_ep_index])
-8-:	214	if (tx_pkt_end_i)
-9-:	226	if (tx_pkt_end_i)
-10-:	237	if (rx_pkt_start_i)
-11-:	239	if ((timeout_cntdown_q == '0))
-12-:	248	if (ack_received)
-13-:	251	if (in_token_received)
-14-:	254	if (rx_pkt_end_i)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	Status	Tests
StIdle	1	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T2,T3,T10
StIdle	0	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
StRcvdIn	-	1	-	-	-	-	-	-	-	-	-	-	-	Not Covered
StRcvdIn	-	0	1	-	-	-	-	-	-	-	-	-	-	Not Covered
StRcvdIn	-	0	0	1	-	-	-	-	-	-	-	-	-	Covered	T2,T3,T10
StRcvdIn	-	0	0	0	-	-	-	-	-	-	-	-	-	Not Covered
StSendData	-	-	-	-	1	1	-	-	-	-	-	-	-	Not Covered
StSendData	-	-	-	-	1	0	1	-	-	-	-	-	-	Not Covered
StSendData	-	-	-	-	1	0	0	-	-	-	-	-	-	Covered	T2,T3,T10
StSendData	-	-	-	-	0	-	-	-	-	-	-	-	-	Covered	T2,T3,T10
StWaitTxEnd	-	-	-	-	-	-	-	1	-	-	-	-	-	Covered	T2,T3,T10
StWaitTxEnd	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T2,T3,T10
StWaitAckStart	-	-	-	-	-	-	-	-	1	-	-	-	-	Covered	T2,T3,T10
StWaitAckStart	-	-	-	-	-	-	-	-	0	1	-	-	-	Not Covered
StWaitAckStart	-	-	-	-	-	-	-	-	0	0	-	-	-	Covered	T2,T3,T10
StWaitAck	-	-	-	-	-	-	-	-	-	-	1	-	-	Covered	T2,T3,T10
StWaitAck	-	-	-	-	-	-	-	-	-	-	0	1	-	Not Covered
StWaitAck	-	-	-	-	-	-	-	-	-	-	0	0	1	Not Covered
StWaitAck	-	-	-	-	-	-	-	-	-	-	0	0	0	Covered	T2,T3,T10
default	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	288	if ((!rst_ni))
-2-:	291	if ((link_reset_i || (!link_active_i)))

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	301	if ((!rst_ni))
-2-:	304	if ((in_xact_state == StIdle))
-3-:	306	if (((in_xact_state == StSendData) && tx_data_get_i))

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T1,T2,T3
0	0	1	Covered	T2,T3,T10
0	0	0	Covered	T2,T3,T10

	LineNo.	Expression
-1-:	313	if ((!rst_ni))
-2-:	317	if (in_token_received)

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T2,T3,T10
0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	330	if ((setup_token_received && ep_active))
-2-:	332	if (((in_xact_state == StWaitAck) && ack_received))

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T14,T15,T16
0	1	Covered	T2,T3,T10
0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	336	if (in_datatog_we_i)

Branches:

-1-	Status	Tests
1	Not Covered
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	345	if ((!rst_ni))
-2-:	347	if (link_reset_i)

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	355	if ((!rst_ni))
-2-:	358	if (((in_xact_state == StSendData) && tx_data_get_i))

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T2,T3,T10
0	0	Covered	T1,T2,T3

---

Assert Coverage for Module : usb_fs_nb_in_pe

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	1	1	100.00	1	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	1	1	100.00	1	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
InXactStateValid_A	210958724	210875260	0	0

InXactStateValid_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	210958724	210875260	0	0
T1	401953	401768	0	0
T2	406099	405961	0	0
T3	404913	404741	0	0
T4	402230	402145	0	0
T5	401561	401500	0	0
T6	404149	404008	0	0
T7	401640	401542	0	0
T8	403858	403761	0	0
T9	401577	401506	0	0
T17	401346	401196	0	0