Unified Coverage Report :: Module :: usb_fs_nb_in_pe

Module : usb_fs_nb_in_pe

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
93.52	97.50	94.78		83.33	92.00	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	96.14	98.32	95.61		90.91	95.83	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
96.14	98.32	95.61		90.91	95.83	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.14	98.32	95.61		90.91	95.83	100.00

Parent :

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

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
no children

Line Coverage for Module : usb_fs_nb_in_pe

	Line No.	Total	Covered	Percent
TOTAL		120	117	97.50
CONT_ASSIGN	118	1	1	100.00
CONT_ASSIGN	132	1	1	100.00
CONT_ASSIGN	133	1	1	100.00
CONT_ASSIGN	135	1	1	100.00
CONT_ASSIGN	141	1	1	100.00
CONT_ASSIGN	145	1	1	100.00
CONT_ASSIGN	149	1	1	100.00
CONT_ASSIGN	154	1	1	100.00
CONT_ASSIGN	160	1	1	100.00
CONT_ASSIGN	161	1	1	100.00
CONT_ASSIGN	168	1	1	100.00
CONT_ASSIGN	169	1	1	100.00
CONT_ASSIGN	172	1	1	100.00
CONT_ASSIGN	178	1	1	100.00
CONT_ASSIGN	180	1	1	100.00
CONT_ASSIGN	186	1	1	100.00
CONT_ASSIGN	188	1	1	100.00
CONT_ASSIGN	189	1	1	100.00
ALWAYS	199	49	46	93.88
ALWAYS	303	3	3	100.00
ALWAYS	311	3	3	100.00
ALWAYS	319	8	8	100.00
ALWAYS	332	6	6	100.00
ALWAYS	344	9	9	100.00
ALWAYS	361	7	7	100.00
CONT_ASSIGN	375	1	1	100.00
ALWAYS	378	5	5	100.00
ALWAYS	388	5	5	100.00
CONT_ASSIGN	405	1	1	100.00
CONT_ASSIGN	412	1	1	100.00
ALWAYS	422	3	3	100.00
CONT_ASSIGN	425	1	1	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
118	1	1
132	1	1
133	1	1
135	1	1
141	1	1
145	1	1
149	1	1
154	1	1
160	1	1
161	1	1
168	1	1
169	1	1
172	1	1
178	1	1
180	1	1
186	1	1
188	1	1
189	1	1
199	1	1
200	1	1
201	1	1
202	1	1
203	1	1
204	1	1
205	1	1
207	1	1
208	1	1
211	1	1
216	1	1
218	1	1
223	1	1
224	1	1
225	1	1
226	1	1
227	1	1
228	1	1
229	1	1
230	1	1
232	1	1
233	1	1
239	1	1
240	1	1
241	1	1
242	1	1
244	1	1
245	0	1
247	1	1
251	1	1
256	1	1
257	1	1
			MISSING_ELSE
265	1	1
267	1	1
268	1	1
269	1	1
270	1	1
271	1	1
273	1	1
278	1	1
279	1	1
280	1	1
281	1	1
283	0	1
284	0	1
285	1	1
287	1	1
288	1	1
290	1	1
303	1	1
304	1	1
306	1	1
311	1	1
312	1	1
314	1	1
319	1	1
320	1	1
321	1	1
322	1	1
323	1	1
324	1	1
326	1	1
327	1	1
332	1	1
333	1	1
335	1	1
336	1	1
337	1	1
338	1	1
			MISSING_ELSE
344	1	1
345	1	1
346	1	1
347	1	1
349	1	1
350	1	1
351	1	1
352	1	1
354	1	1
361	1	1
363	1	1
364	1	1
365	1	1
366	1	1
			MISSING_ELSE
369	1	1
370	1	1
			MISSING_ELSE
375	1	1
378	1	1
379	1	1
380	1	1
381	1	1
383	1	1
388	1	1
389	1	1
391	1	1
392	1	1
394	1	1
405	1	1
412	1	1
422	2	2
423	1	1
425	1	1

---

Cond Coverage for Module : usb_fs_nb_in_pe

	Total	Covered	Percent
Conditions	115	109	94.78
Logical	115	109	94.78
Non-Logical	0	0
Event	0	0

 LINE       135
 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	T3,T27,T4
1	0	1	1	Covered	T22,T79,T107
1	1	0	1	Covered	T3,T27,T4
1	1	1	0	Covered	T2,T91,T34
1	1	1	1	Covered	T3,T27,T4

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

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

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

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

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

-1-	-2-	Status	Tests
0	1	Covered	T37,T31,T91
1	0	Covered	T3,T27,T4
1	1	Covered	T37,T31,T35

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T37,T31,T91

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

-1-	-2-	Status	Tests
0	1	Covered	T3,T27,T4
1	0	Covered	T3,T27,T4
1	1	Covered	T3,T27,T4

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

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

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

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T3,T4,T30
1	0	1	Covered	T82,T89,T108
1	1	0	Covered	T2,T3,T27
1	1	1	Covered	T3,T4,T30

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

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

 LINE       154
 EXPRESSION (rx_pkt_end_i && rx_pkt_valid_i && (rx_pid == UsbPidNak))
             ------1-----    -------2------    ----------3----------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T60,T109,T110
1	0	1	Covered	T82,T89,T90
1	1	0	Covered	T2,T3,T27
1	1	1	Covered	T110,T111,T112

 LINE       154
 SUB-EXPRESSION (rx_pid == UsbPidNak)
                ----------1----------

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

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

-1-	Status	Tests
0	Covered	T91,T34,T17
1	Covered	T1,T2,T3

 LINE       172
 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	Covered	T34,T92,T113
1	1	Covered	T3,T27,T4

 LINE       178
 EXPRESSION (has_data_q & ((~in_ep_data_done_i[in_ep_index])))
             -----1----   -----------------2-----------------

-1-	-2-	Status	Tests
0	1	Covered	T114,T115,T95
1	0	Covered	T27,T4,T30
1	1	Covered	T3,T27,T4

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

-1-	-2-	Status	Tests
0	1	Covered	T3,T27,T4
1	0	Covered	T27,T4,T30
1	1	Covered	T3,T27,T4

 LINE       186
 EXPRESSION (((in_xact_state == StIdle) || (in_xact_state == StWaitAck)) && in_token_received)
             -----------------------------1-----------------------------    --------2--------

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

 LINE       186
 SUB-EXPRESSION ((in_xact_state == StIdle) || (in_xact_state == StWaitAck))
                 ------------1------------    --------------2-------------

-1-	-2-	Status	Tests
0	0	Covered	T3,T27,T4
0	1	Covered	T3,T4,T30
1	0	Covered	T1,T2,T3

 LINE       186
 SUB-EXPRESSION (in_xact_state == StIdle)
                ------------1------------

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

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

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

 LINE       188
 EXPRESSION (in_starting & ep_active)
             -----1-----   ----2----

-1-	-2-	Status	Tests
0	1	Covered	T3,T27,T4
1	0	Covered	T114,T115,T116
1	1	Covered	T3,T27,T4

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

-1-	-2-	Status	Tests
0	1	Covered	T114,T115,T116
1	0	Covered	T3,T27,T4
1	1	Covered	T3,T27,T4

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

-1-	-2-	Status	Tests
0	0	Covered	T3,T27,T4
0	1	Covered	T3,T5,T117
1	0	Covered	T27,T4,T30

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

-1-	-2-	Status	Tests
0	1	Covered	T3,T27,T4
1	0	Covered	T3,T4,T36
1	1	Covered	T3,T5,T117

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

-1-	Status	Tests
0	Covered	T3,T4,T30
1	Covered	T61,T62,T110

 LINE       283
 EXPRESSION (ep_active ? StRcvdIn : StIdle)
             ----1----

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

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

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

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

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

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T3,T27,T4
1	1	Covered	T3,T27,T4

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

-1-	Status	Tests
0	Covered	T3,T27,T4
1	Covered	T3,T27,T4

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

-1-	-2-	Status	Tests
0	1	Covered	T3,T27,T4
1	0	Covered	T37,T20,T118
1	1	Covered	T31,T35,T5

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

-1-	-2-	Status	Tests
0	1	Covered	T119,T120
1	0	Covered	T3,T4,T30
1	1	Covered	T3,T4,T30

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

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

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

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T3,T27,T4
1	1	Covered	T3,T27,T4

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

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

 LINE       405
 EXPRESSION (((in_xact_state == StWaitAckStart) || ((in_xact_state == StWaitAck) && rx_pkt_end_i && ((!nak_received)))) & rollback_in_xact)
             -----------------------------------------------------1----------------------------------------------------   --------2-------

-1-	-2-	Status	Tests
0	1	Covered	T110,T111,T112
1	0	Covered	T3,T4,T30
1	1	Covered	T60,T61,T62

 LINE       405
 SUB-EXPRESSION ((in_xact_state == StWaitAckStart) || ((in_xact_state == StWaitAck) && rx_pkt_end_i && ((!nak_received))))
                 ----------------1----------------    ---------------------------------2---------------------------------

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

 LINE       405
 SUB-EXPRESSION (in_xact_state == StWaitAckStart)
                ----------------1----------------

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

 LINE       405
 SUB-EXPRESSION ((in_xact_state == StWaitAck) && rx_pkt_end_i && ((!nak_received)))
                 --------------1-------------    ------2-----    --------3--------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T2,T3,T27
1	0	1	Covered	T3,T4,T30
1	1	0	Covered	T110,T111,T112
1	1	1	Covered	T3,T4,T30

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

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

 LINE       412
 EXPRESSION ((in_xact_state == StWaitAck) && nak_received)
             --------------1-------------    ------2-----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T3,T4,T30
1	1	Covered	T110,T111,T112

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

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

 LINE       423
 EXPRESSION (in_starting & (ep_in_hw ? ((!in_ep_has_data_i[in_ep_index_d])) : 1'b0))
             -----1-----   ----------------------------2---------------------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T3,T27,T4
1	1	Covered	T4,T5,T6

 LINE       423
 SUB-EXPRESSION (ep_in_hw ? ((!in_ep_has_data_i[in_ep_index_d])) : 1'b0)
                 ----1---

-1-	Status	Tests
0	Covered	T91,T34,T17
1	Covered	T1,T2,T3

---

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	10	83.33
Sequences	0	0

State, Transition and Sequence Details for FSM :: in_xact_state

---

states	Line No.	Covered	Tests
StIdle	323	Covered	T1,T2,T3
StRcvdIn	208	Covered	T3,T27,T4
StSendData	223	Covered	T3,T27,T4
StWaitAck	268	Covered	T3,T4,T30
StWaitAckStart	245	Covered	T3,T4,T30
StWaitTxEnd	247	Covered	T3,T4,T30

transitions	Line No.	Covered	Tests
StIdle->StRcvdIn	208	Covered	T3,T27,T4
StRcvdIn->StIdle	323	Covered	T4,T5,T6
StRcvdIn->StSendData	223	Covered	T3,T27,T4
StSendData->StIdle	323	Covered	T27,T4,T121
StSendData->StWaitAckStart	245	Not Covered
StSendData->StWaitTxEnd	247	Covered	T3,T4,T30
StWaitAck->StIdle	323	Covered	T3,T4,T30
StWaitAck->StRcvdIn	283	Not Covered
StWaitAckStart->StIdle	323	Covered	T61,T62,T110
StWaitAckStart->StWaitAck	268	Covered	T3,T4,T30
StWaitTxEnd->StIdle	323	Covered	T122,T123,T124
StWaitTxEnd->StWaitAckStart	257	Covered	T3,T4,T30

---

Branch Coverage for Module : usb_fs_nb_in_pe

	Line No.	Total	Covered	Percent
Branches		50	46	92.00
TERNARY	161	2	2	100.00
CASE	205	21	17	80.95
IF	303	2	2	100.00
IF	311	2	2	100.00
IF	319	3	3	100.00
IF	332	4	4	100.00
IF	344	3	3	100.00
IF	363	3	3	100.00
IF	369	2	2	100.00
IF	378	3	3	100.00
IF	388	3	3	100.00
IF	422	2	2	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-:	161	(ep_in_hw) ? 

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T91,T34,T17

	LineNo.	Expression
-1-:	205	case (in_xact_state)
-2-:	207	if ((ep_active && in_token_received))
-3-:	218	if (in_ep_iso_i[in_ep_index])
-4-:	225	if (in_ep_stall_i[in_ep_index])
-5-:	228	if (has_data_q)
-6-:	239	if (((!more_data_to_send) || ((&in_ep_get_addr_o) && tx_data_get_i)))
-7-:	240	if (in_ep_iso_i[in_ep_index])
-8-:	244	if (tx_pkt_end_i)
-9-:	256	if (tx_pkt_end_i)
-10-:	267	if (rx_pkt_start_i)
-11-:	269	if ((timeout_cntdown_q == '0))
-12-:	278	if (ack_received)
-13-:	281	if (in_token_received)
-14-:	283	(ep_active) ? 
-15-:	285	if (rx_pkt_end_i)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	Status	Tests
StIdle	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T27,T4
StIdle	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
StRcvdIn	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T27,T4,T125
StRcvdIn	-	0	1	-	-	-	-	-	-	-	-	-	-	-	Covered	T126,T127,T128
StRcvdIn	-	0	0	1	-	-	-	-	-	-	-	-	-	-	Covered	T3,T4,T30
StRcvdIn	-	0	0	0	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T6
StSendData	-	-	-	-	1	1	-	-	-	-	-	-	-	-	Covered	T27,T4,T125
StSendData	-	-	-	-	1	0	1	-	-	-	-	-	-	-	Not Covered
StSendData	-	-	-	-	1	0	0	-	-	-	-	-	-	-	Covered	T3,T4,T30
StSendData	-	-	-	-	0	-	-	-	-	-	-	-	-	-	Covered	T3,T27,T4
StWaitTxEnd	-	-	-	-	-	-	-	1	-	-	-	-	-	-	Covered	T3,T4,T30
StWaitTxEnd	-	-	-	-	-	-	-	0	-	-	-	-	-	-	Covered	T3,T4,T30
StWaitAckStart	-	-	-	-	-	-	-	-	1	-	-	-	-	-	Covered	T3,T4,T30
StWaitAckStart	-	-	-	-	-	-	-	-	0	1	-	-	-	-	Covered	T61,T62,T110
StWaitAckStart	-	-	-	-	-	-	-	-	0	0	-	-	-	-	Covered	T3,T4,T30
StWaitAck	-	-	-	-	-	-	-	-	-	-	1	-	-	-	Covered	T3,T4,T30
StWaitAck	-	-	-	-	-	-	-	-	-	-	0	1	1	-	Not Covered
StWaitAck	-	-	-	-	-	-	-	-	-	-	0	1	0	-	Not Covered
StWaitAck	-	-	-	-	-	-	-	-	-	-	0	0	-	1	Covered	T60,T109,T110
StWaitAck	-	-	-	-	-	-	-	-	-	-	0	0	-	0	Covered	T3,T4,T30
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered

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

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	319	if ((!rst_ni))
-2-:	322	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	T2,T3,T27

	LineNo.	Expression
-1-:	332	if ((!rst_ni))
-2-:	335	if ((in_xact_state == StIdle))
-3-:	337	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	T3,T27,T4
0	0	0	Covered	T3,T27,T4

	LineNo.	Expression
-1-:	344	if ((!rst_ni))
-2-:	349	if (in_token_received)

Branches:

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

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

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T31,T35,T5
0	1	Covered	T3,T4,T30
0	0	Covered	T1,T2,T3

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

Branches:

-1-	Status	Tests
1	Covered	T129,T130,T131
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	378	if ((!rst_ni))
-2-:	380	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-:	388	if ((!rst_ni))
-2-:	391	if (((in_xact_state == StSendData) && tx_data_get_i))

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
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	587461143	587174254	0	0

InXactStateValid_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	587461143	587174254	0	0
T1	3791	3704	0	0
T2	7618	7531	0	0
T3	11814	11750	0	0
T4	156637	156553	0	0
T25	2280	2191	0	0
T27	8551	8499	0	0
T28	10274	10209	0	0
T29	8078	8016	0	0
T30	293879	293783	0	0
T37	7513	7419	0	0

Line Coverage for Instance : tb.dut.usbdev_impl.u_usb_fs_nb_pe.u_usb_fs_nb_in_pe

	Line No.	Total	Covered	Percent
TOTAL		119	117	98.32
CONT_ASSIGN	118	1	1	100.00
CONT_ASSIGN	132	1	1	100.00
CONT_ASSIGN	133	1	1	100.00
CONT_ASSIGN	135	1	1	100.00
CONT_ASSIGN	141	1	1	100.00
CONT_ASSIGN	145	1	1	100.00
CONT_ASSIGN	149	1	1	100.00
CONT_ASSIGN	154	1	1	100.00
CONT_ASSIGN	160	1	1	100.00
CONT_ASSIGN	161	1	1	100.00
CONT_ASSIGN	168	1	1	100.00
CONT_ASSIGN	169	1	1	100.00
CONT_ASSIGN	172	1	1	100.00
CONT_ASSIGN	178	1	1	100.00
CONT_ASSIGN	180	1	1	100.00
CONT_ASSIGN	186	1	1	100.00
CONT_ASSIGN	188	1	1	100.00
CONT_ASSIGN	189	1	1	100.00
ALWAYS	199	48	46	95.83
ALWAYS	303	3	3	100.00
ALWAYS	311	3	3	100.00
ALWAYS	319	8	8	100.00
ALWAYS	332	6	6	100.00
ALWAYS	344	9	9	100.00
ALWAYS	361	7	7	100.00
CONT_ASSIGN	375	1	1	100.00
ALWAYS	378	5	5	100.00
ALWAYS	388	5	5	100.00
CONT_ASSIGN	405	1	1	100.00
CONT_ASSIGN	412	1	1	100.00
ALWAYS	422	3	3	100.00
CONT_ASSIGN	425	1	1	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
118	1	1
132	1	1
133	1	1
135	1	1
141	1	1
145	1	1
149	1	1
154	1	1
160	1	1
161	1	1
168	1	1
169	1	1
172	1	1
178	1	1
180	1	1
186	1	1
188	1	1
189	1	1
199	1	1
200	1	1
201	1	1
202	1	1
203	1	1
204	1	1
205	1	1
207	1	1
208	1	1
211	1	1
216	1	1
218	1	1
223	1	1
224	1	1
225	1	1
226	1	1
227	1	1
228	1	1
229	1	1
230	1	1
232	1	1
233	1	1
239	1	1
240	1	1
241	1	1
242	1	1
244	1	1
245		excluded
			Exclude Annotation: VC_COV_UNR
247	1	1
251	1	1
256	1	1
257	1	1
			MISSING_ELSE
265	1	1
267	1	1
268	1	1
269	1	1
270	1	1
271	1	1
273	1	1
278	1	1
279	1	1
280	1	1
281	1	1
283	0	1
284	0	1
285	1	1
287	1	1
288	1	1
290	1	1
			Exclude Annotation: VC_COV_UNR
303	1	1
304	1	1
306	1	1
311	1	1
312	1	1
314	1	1
319	1	1
320	1	1
321	1	1
322	1	1
323	1	1
324	1	1
326	1	1
327	1	1
332	1	1
333	1	1
335	1	1
336	1	1
337	1	1
338	1	1
			MISSING_ELSE
344	1	1
345	1	1
346	1	1
347	1	1
349	1	1
350	1	1
351	1	1
352	1	1
354	1	1
361	1	1
363	1	1
364	1	1
365	1	1
366	1	1
			MISSING_ELSE
369	1	1
370	1	1
			MISSING_ELSE
375	1	1
378	1	1
379	1	1
380	1	1
381	1	1
383	1	1
388	1	1
389	1	1
391	1	1
392	1	1
394	1	1
405	1	1
412	1	1
422	2	2
423	1	1
425	1	1

---

Cond Coverage for Instance : tb.dut.usbdev_impl.u_usb_fs_nb_pe.u_usb_fs_nb_in_pe

	Total	Covered	Percent
Conditions	114	109	95.61
Logical	114	109	95.61
Non-Logical	0	0
Event	0	0

 LINE       135
 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	T3,T27,T4
1	0	1	1	Covered	T22,T79,T107
1	1	0	1	Covered	T3,T27,T4
1	1	1	0	Covered	T2,T91,T34
1	1	1	1	Covered	T3,T27,T4

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

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

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

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

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

-1-	-2-	Status	Tests
0	1	Covered	T37,T31,T91
1	0	Covered	T3,T27,T4
1	1	Covered	T37,T31,T35

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

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T37,T31,T91

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

-1-	-2-	Status	Tests
0	1	Covered	T3,T27,T4
1	0	Covered	T3,T27,T4
1	1	Covered	T3,T27,T4

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

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

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

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T3,T4,T30
1	0	1	Covered	T82,T89,T108
1	1	0	Covered	T2,T3,T27
1	1	1	Covered	T3,T4,T30

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

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

 LINE       154
 EXPRESSION (rx_pkt_end_i && rx_pkt_valid_i && (rx_pid == UsbPidNak))
             ------1-----    -------2------    ----------3----------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T60,T109,T110
1	0	1	Covered	T82,T89,T90
1	1	0	Covered	T2,T3,T27
1	1	1	Covered	T110,T111,T112

 LINE       154
 SUB-EXPRESSION (rx_pid == UsbPidNak)
                ----------1----------

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

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

-1-	Status	Tests
0	Covered	T91,T34,T17
1	Covered	T1,T2,T3

 LINE       172
 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	Covered	T34,T92,T113
1	1	Covered	T3,T27,T4

 LINE       178
 EXPRESSION (has_data_q & ((~in_ep_data_done_i[in_ep_index])))
             -----1----   -----------------2-----------------

-1-	-2-	Status	Tests
0	1	Covered	T114,T115,T95
1	0	Covered	T27,T4,T30
1	1	Covered	T3,T27,T4

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

-1-	-2-	Status	Tests
0	1	Covered	T3,T27,T4
1	0	Covered	T27,T4,T30
1	1	Covered	T3,T27,T4

 LINE       186
 EXPRESSION (((in_xact_state == StIdle) || (in_xact_state == StWaitAck)) && in_token_received)
             -----------------------------1-----------------------------    --------2--------

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

 LINE       186
 SUB-EXPRESSION ((in_xact_state == StIdle) || (in_xact_state == StWaitAck))
                 ------------1------------    --------------2-------------

-1-	-2-	Status	Tests
0	0	Covered	T3,T27,T4
0	1	Covered	T3,T4,T30
1	0	Covered	T1,T2,T3

 LINE       186
 SUB-EXPRESSION (in_xact_state == StIdle)
                ------------1------------

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

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

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

 LINE       188
 EXPRESSION (in_starting & ep_active)
             -----1-----   ----2----

-1-	-2-	Status	Tests
0	1	Covered	T3,T27,T4
1	0	Covered	T114,T115,T116
1	1	Covered	T3,T27,T4

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

-1-	-2-	Status	Tests
0	1	Covered	T114,T115,T116
1	0	Covered	T3,T27,T4
1	1	Covered	T3,T27,T4

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

-1-	-2-	Status	Tests
0	0	Covered	T3,T27,T4
0	1	Covered	T3,T5,T117
1	0	Covered	T27,T4,T30

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

-1-	-2-	Status	Tests
0	1	Covered	T3,T27,T4
1	0	Covered	T3,T4,T36
1	1	Covered	T3,T5,T117

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

-1-	Status	Tests
0	Covered	T3,T4,T30
1	Covered	T61,T62,T110

 LINE       283
 EXPRESSION (ep_active ? StRcvdIn : StIdle)
             ----1----

-1-	Status	Tests
0	Not Covered
1	Not Covered

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

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

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

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

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

-1-	-2-	Status	Tests	Exclude Annotation
0	1	Excluded		VC_COV_UNR
1	0	Covered	T3,T27,T4
1	1	Covered	T3,T27,T4

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

-1-	Status	Tests
0	Covered	T3,T27,T4
1	Covered	T3,T27,T4

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

-1-	-2-	Status	Tests
0	1	Covered	T3,T27,T4
1	0	Covered	T37,T20,T118
1	1	Covered	T31,T35,T5

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

-1-	-2-	Status	Tests
0	1	Covered	T119,T120
1	0	Covered	T3,T4,T30
1	1	Covered	T3,T4,T30

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

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

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

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T3,T27,T4
1	1	Covered	T3,T27,T4

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

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

 LINE       405
 EXPRESSION (((in_xact_state == StWaitAckStart) || ((in_xact_state == StWaitAck) && rx_pkt_end_i && ((!nak_received)))) & rollback_in_xact)
             -----------------------------------------------------1----------------------------------------------------   --------2-------

-1-	-2-	Status	Tests
0	1	Covered	T110,T111,T112
1	0	Covered	T3,T4,T30
1	1	Covered	T60,T61,T62

 LINE       405
 SUB-EXPRESSION ((in_xact_state == StWaitAckStart) || ((in_xact_state == StWaitAck) && rx_pkt_end_i && ((!nak_received))))
                 ----------------1----------------    ---------------------------------2---------------------------------

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

 LINE       405
 SUB-EXPRESSION (in_xact_state == StWaitAckStart)
                ----------------1----------------

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

 LINE       405
 SUB-EXPRESSION ((in_xact_state == StWaitAck) && rx_pkt_end_i && ((!nak_received)))
                 --------------1-------------    ------2-----    --------3--------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T2,T3,T27
1	0	1	Covered	T3,T4,T30
1	1	0	Covered	T110,T111,T112
1	1	1	Covered	T3,T4,T30

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

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

 LINE       412
 EXPRESSION ((in_xact_state == StWaitAck) && nak_received)
             --------------1-------------    ------2-----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T3,T4,T30
1	1	Covered	T110,T111,T112

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

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

 LINE       423
 EXPRESSION (in_starting & (ep_in_hw ? ((!in_ep_has_data_i[in_ep_index_d])) : 1'b0))
             -----1-----   ----------------------------2---------------------------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T3,T27,T4
1	1	Covered	T4,T5,T6

 LINE       423
 SUB-EXPRESSION (ep_in_hw ? ((!in_ep_has_data_i[in_ep_index_d])) : 1'b0)
                 ----1---

-1-	Status	Tests
0	Covered	T91,T34,T17
1	Covered	T1,T2,T3

---

FSM Coverage for Instance : tb.dut.usbdev_impl.u_usb_fs_nb_pe.u_usb_fs_nb_in_pe

Summary for FSM :: in_xact_state

	Total	Covered	Percent
States	6	6	100.00	(Not included in score)
Transitions	11	10	90.91
Sequences	0	0

State, Transition and Sequence Details for FSM :: in_xact_state

---

states	Line No.	Covered	Tests
StIdle	323	Covered	T1,T2,T3
StRcvdIn	208	Covered	T3,T27,T4
StSendData	223	Covered	T3,T27,T4
StWaitAck	268	Covered	T3,T4,T30
StWaitAckStart	245	Covered	T3,T4,T30
StWaitTxEnd	247	Covered	T3,T4,T30

transitions	Line No.	Covered	Tests	Exclude Annotation
StIdle->StRcvdIn	208	Covered	T3,T27,T4
StRcvdIn->StIdle	323	Covered	T4,T5,T6
StRcvdIn->StSendData	223	Covered	T3,T27,T4
StSendData->StIdle	323	Covered	T27,T4,T121
StSendData->StWaitAckStart	245	Excluded		VC_COV_UNR
StSendData->StWaitTxEnd	247	Covered	T3,T4,T30
StWaitAck->StIdle	323	Covered	T3,T4,T30
StWaitAck->StRcvdIn	283	Not Covered
StWaitAckStart->StIdle	323	Covered	T61,T62,T110
StWaitAckStart->StWaitAck	268	Covered	T3,T4,T30
StWaitTxEnd->StIdle	323	Covered	T122,T123,T124
StWaitTxEnd->StWaitAckStart	257	Covered	T3,T4,T30

---

Branch Coverage for Instance : tb.dut.usbdev_impl.u_usb_fs_nb_pe.u_usb_fs_nb_in_pe

	Line No.	Total	Covered	Percent
Branches		48	46	95.83
TERNARY	161	2	2	100.00
CASE	205	19	17	89.47
IF	303	2	2	100.00
IF	311	2	2	100.00
IF	319	3	3	100.00
IF	332	4	4	100.00
IF	344	3	3	100.00
IF	363	3	3	100.00
IF	369	2	2	100.00
IF	378	3	3	100.00
IF	388	3	3	100.00
IF	422	2	2	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-:	161	(ep_in_hw) ? 

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T91,T34,T17

	LineNo.	Expression
-1-:	205	case (in_xact_state)
-2-:	207	if ((ep_active && in_token_received))
-3-:	218	if (in_ep_iso_i[in_ep_index])
-4-:	225	if (in_ep_stall_i[in_ep_index])
-5-:	228	if (has_data_q)
-6-:	239	if (((!more_data_to_send) || ((&in_ep_get_addr_o) && tx_data_get_i)))
-7-:	240	if (in_ep_iso_i[in_ep_index])
-8-:	244	if (tx_pkt_end_i)
-9-:	256	if (tx_pkt_end_i)
-10-:	267	if (rx_pkt_start_i)
-11-:	269	if ((timeout_cntdown_q == '0))
-12-:	278	if (ack_received)
-13-:	281	if (in_token_received)
-14-:	283	(ep_active) ? 
-15-:	285	if (rx_pkt_end_i)

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	Status	Tests	Exclude Annotation
StIdle	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T3,T27,T4
StIdle	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
StRcvdIn	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T27,T4,T125
StRcvdIn	-	0	1	-	-	-	-	-	-	-	-	-	-	-	Covered	T126,T127,T128
StRcvdIn	-	0	0	1	-	-	-	-	-	-	-	-	-	-	Covered	T3,T4,T30
StRcvdIn	-	0	0	0	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T6
StSendData	-	-	-	-	1	1	-	-	-	-	-	-	-	-	Covered	T27,T4,T125
StSendData	-	-	-	-	1	0	1	-	-	-	-	-	-	-	Excluded		VC_COV_UNR
StSendData	-	-	-	-	1	0	0	-	-	-	-	-	-	-	Covered	T3,T4,T30
StSendData	-	-	-	-	0	-	-	-	-	-	-	-	-	-	Covered	T3,T27,T4
StWaitTxEnd	-	-	-	-	-	-	-	1	-	-	-	-	-	-	Covered	T3,T4,T30
StWaitTxEnd	-	-	-	-	-	-	-	0	-	-	-	-	-	-	Covered	T3,T4,T30
StWaitAckStart	-	-	-	-	-	-	-	-	1	-	-	-	-	-	Covered	T3,T4,T30
StWaitAckStart	-	-	-	-	-	-	-	-	0	1	-	-	-	-	Covered	T61,T62,T110
StWaitAckStart	-	-	-	-	-	-	-	-	0	0	-	-	-	-	Covered	T3,T4,T30
StWaitAck	-	-	-	-	-	-	-	-	-	-	1	-	-	-	Covered	T3,T4,T30
StWaitAck	-	-	-	-	-	-	-	-	-	-	0	1	1	-	Not Covered
StWaitAck	-	-	-	-	-	-	-	-	-	-	0	1	0	-	Not Covered
StWaitAck	-	-	-	-	-	-	-	-	-	-	0	0	-	1	Covered	T60,T109,T110
StWaitAck	-	-	-	-	-	-	-	-	-	-	0	0	-	0	Covered	T3,T4,T30
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Excluded		VC_COV_UNR

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

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	319	if ((!rst_ni))
-2-:	322	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	T2,T3,T27

	LineNo.	Expression
-1-:	332	if ((!rst_ni))
-2-:	335	if ((in_xact_state == StIdle))
-3-:	337	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	T3,T27,T4
0	0	0	Covered	T3,T27,T4

	LineNo.	Expression
-1-:	344	if ((!rst_ni))
-2-:	349	if (in_token_received)

Branches:

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

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

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T31,T35,T5
0	1	Covered	T3,T4,T30
0	0	Covered	T1,T2,T3

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

Branches:

-1-	Status	Tests
1	Covered	T129,T130,T131
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	378	if ((!rst_ni))
-2-:	380	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-:	388	if ((!rst_ni))
-2-:	391	if (((in_xact_state == StSendData) && tx_data_get_i))

Branches:

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

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

Branches:

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

---

Assert Coverage for Instance : tb.dut.usbdev_impl.u_usb_fs_nb_pe.u_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	587461143	587174254	0	0

InXactStateValid_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	587461143	587174254	0	0
T1	3791	3704	0	0
T2	7618	7531	0	0
T3	11814	11750	0	0
T4	156637	156553	0	0
T25	2280	2191	0	0
T27	8551	8499	0	0
T28	10274	10209	0	0
T29	8078	8016	0	0
T30	293879	293783	0	0
T37	7513	7419	0	0