Unified Coverage Report :: Module :: usb_fs_rx

Module : usb_fs_rx

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_usb_fs_nb_pe_0.1/rtl/usb_fs_rx.sv

Module self-instances :

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

---

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

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

Parent :

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

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
no children

Line Coverage for Module : usb_fs_rx

	Line No.	Total	Covered	Percent
TOTAL		204	0	0.00
CONT_ASSIGN	73	1	0	0.00
CONT_ASSIGN	74	1	0	0.00
CONT_ASSIGN	75	1	0	0.00
ALWAYS	125	5	0	0.00
ALWAYS	135	11	0	0.00
ALWAYS	154	5	0	0.00
ALWAYS	172	5	0	0.00
CONT_ASSIGN	224	1	0	0.00
CONT_ASSIGN	225	1	0	0.00
CONT_ASSIGN	245	1	0	0.00
CONT_ASSIGN	246	1	0	0.00
CONT_ASSIGN	249	1	0	0.00
ALWAYS	252	5	0	0.00
CONT_ASSIGN	279	1	0	0.00
CONT_ASSIGN	280	1	0	0.00
CONT_ASSIGN	285	1	0	0.00
CONT_ASSIGN	289	1	0	0.00
CONT_ASSIGN	290	1	0	0.00
ALWAYS	294	3	0	0.00
ALWAYS	302	9	0	0.00
CONT_ASSIGN	325	1	0	0.00
ALWAYS	329	8	0	0.00
CONT_ASSIGN	346	1	0	0.00
CONT_ASSIGN	347	1	0	0.00
ALWAYS	350	3	0	0.00
CONT_ASSIGN	358	1	0	0.00
ALWAYS	373	12	0	0.00
ALWAYS	399	5	0	0.00
ALWAYS	409	5	0	0.00
CONT_ASSIGN	421	1	0	0.00
CONT_ASSIGN	427	1	0	0.00
ALWAYS	431	5	0	0.00
ALWAYS	440	3	0	0.00
CONT_ASSIGN	447	1	0	0.00
CONT_ASSIGN	459	1	0	0.00
CONT_ASSIGN	460	1	0	0.00
ALWAYS	463	5	0	0.00
CONT_ASSIGN	477	1	0	0.00
CONT_ASSIGN	478	1	0	0.00
ALWAYS	481	5	0	0.00
CONT_ASSIGN	499	1	0	0.00
CONT_ASSIGN	500	1	0	0.00
ALWAYS	503	5	0	0.00
CONT_ASSIGN	521	1	0	0.00
CONT_ASSIGN	522	1	0	0.00
CONT_ASSIGN	523	1	0	0.00
CONT_ASSIGN	525	1	0	0.00
CONT_ASSIGN	528	1	0	0.00
CONT_ASSIGN	530	1	0	0.00
CONT_ASSIGN	536	1	0	0.00
CONT_ASSIGN	537	1	0	0.00
CONT_ASSIGN	540	1	0	0.00
CONT_ASSIGN	545	1	0	0.00
ALWAYS	552	5	0	0.00
ALWAYS	565	7	0	0.00
CONT_ASSIGN	576	1	0	0.00
CONT_ASSIGN	577	1	0	0.00
CONT_ASSIGN	578	1	0	0.00
CONT_ASSIGN	579	1	0	0.00
CONT_ASSIGN	581	1	0	0.00
CONT_ASSIGN	582	1	0	0.00
CONT_ASSIGN	591	1	0	0.00
CONT_ASSIGN	592	1	0	0.00
CONT_ASSIGN	593	1	0	0.00
ALWAYS	596	5	0	0.00
CONT_ASSIGN	613	1	0	0.00
CONT_ASSIGN	614	1	0	0.00
CONT_ASSIGN	615	1	0	0.00
ALWAYS	618	8	0	0.00
ALWAYS	635	32	0	0.00

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

Line No.	Covered	Statements
73	0	1
74	0	1
75	0	1
125	0	1
126	0	1
127	0	1
129	0	1
130	0	1
135	0	1
136	0	1
137	0	1
138	0	1
140	0	1
141	0	1
142	0	1
143	0	1
145	0	1
146	0	1
147	0	1
154	0	1
156	0	1
159	0	1
164	0	1
165	0	1
			==> MISSING_ELSE
172	0	1
174	0	1
177	0	1
182	0	1
183	0	1
			==> MISSING_ELSE
224	0	1
225	0	1
245	0	1
246	0	1
249	0	1
252	0	1
253	0	1
255	0	1
256	0	1
258	0	1
279	0	1
280	0	1
285	0	1
289	0	1
290	0	1
294	0	1
295	0	1
297	0	1
302	0	1
305	0	1
306	0	1
308	0	1
309	0	1
313	0	1
314	0	1
317	0	1
320	0	1
325	0	1
329	0	1
330	0	1
331	0	1
333	0	1
334	0	1
335	0	1
337	0	1
338	0	1
346	0	1
347	0	1
350	0	1
351	0	1
353	0	1
358	0	1
373	0	1
374	0	1
375	0	1
376	0	1
377	0	1
381	0	1
382	0	1
383	0	1
384	0	1
385	0	1
386	0	1
390	0	1
399	0	1
400	0	1
401	0	1
402	0	1
404	0	1
409	0	1
410	0	1
412	0	1
413	0	1
415	0	1
421	0	1
427	0	1
431	0	1
432	0	1
433	0	1
434	0	1
435	0	1
			==> MISSING_ELSE
440	0	1
441	0	1
443	0	1
447	0	1
459	0	1
460	0	1
463	0	1
464	0	1
465	0	1
466	0	1
468	0	1
477	0	1
478	0	1
481	0	1
483	0	1
484	0	1
			==> MISSING_ELSE
487	0	1
488	0	1
			==> MISSING_ELSE
499	0	1
500	0	1
503	0	1
505	0	1
506	0	1
			==> MISSING_ELSE
509	0	1
510	0	1
			==> MISSING_ELSE
521	0	1
522	0	1
523	0	1
525	0	1
528	0	1
530	0	1
536	0	1
537	0	1
540	0	1
545	0	1
552	0	1
554	0	1
555	0	1
			==> MISSING_ELSE
558	0	1
559	0	1
			==> MISSING_ELSE
565	0	1
566	0	1
567	0	1
569	0	1
570	0	1
571	0	1
572	0	1
			==> MISSING_ELSE
576	0	1
577	0	1
578	0	1
579	0	1
581	0	1
582	0	1
591	0	1
592	0	1
593	0	1
596	0	1
598	0	1
599	0	1
			==> MISSING_ELSE
602	0	1
603	0	1
			==> MISSING_ELSE
613	0	1
614	0	1
615	0	1
618	0	1
619	0	1
621	0	1
622	0	1
623	0	1
			==> MISSING_ELSE
625	0	1
626	0	1
627	0	1
			==> MISSING_ELSE
635	0	1
636	0	1
637	0	1
638	0	1
639	0	1
640	0	1
641	0	1
642	0	1
643	0	1
644	0	1
645	0	1
647	0	1
648	0	1
649	0	1
650	0	1
651	0	1
652	0	1
653	0	1
654	0	1
655	0	1
656	0	1
657	0	1
659	0	1
660	0	1
661	0	1
662	0	1
663	0	1
664	0	1
665	0	1
666	0	1
667	0	1
668	0	1

---

Cond Coverage for Module : usb_fs_rx

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

 LINE       73
 EXPRESSION (cfg_pinflip_i ? usb_dn_i : usb_dp_i)
             ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       74
 EXPRESSION (cfg_pinflip_i ? usb_dp_i : usb_dn_i)
             ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       75
 EXPRESSION (usb_d_i ^ cfg_pinflip_i)
             ---1---   ------2------

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

 LINE       130
 EXPRESSION (usb_d_flipped ? DJ[1:0] : DK[1:0])
             ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       156
 EXPRESSION (line_state_q == DT)
            ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       164
 EXPRESSION (dpair != line_state_q[1:0])
            --------------1-------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       174
 EXPRESSION (diff_state_q == DT)
            ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       182
 EXPRESSION (ddiff != diff_state_q[1:0])
            --------------1-------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       224
 EXPRESSION ((line_state_q == SE0) || ((line_state_q == DT) && (line_state_qq == SE0)))
             ----------1----------    ------------------------2-----------------------

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

 LINE       224
 SUB-EXPRESSION (line_state_q == SE0)
                ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       224
 SUB-EXPRESSION ((line_state_q == DT) && (line_state_qq == SE0))
                 ----------1---------    -----------2----------

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

 LINE       224
 SUB-EXPRESSION (line_state_q == DT)
                ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       224
 SUB-EXPRESSION (line_state_qq == SE0)
                -----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       225
 EXPRESSION (cfg_use_diff_rcvr_i ? (use_se ? line_state_q : diff_state_q) : line_state_q)
             ---------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       225
 SUB-EXPRESSION (use_se ? line_state_q : diff_state_q)
                 ---1--

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       245
 EXPRESSION (bit_phase_q == 2'b1)
            ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       246
 EXPRESSION (bit_phase_q == 2'd2)
            ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       249
 EXPRESSION ((line_state_rx == DT) ? 0 : ((bit_phase_q + 1)))
             ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       249
 SUB-EXPRESSION (line_state_rx == DT)
                ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       279
 EXPRESSION (packet_valid_d & ((~packet_valid_q)))
             -------1------   ---------2---------

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

 LINE       280
 EXPRESSION (((~packet_valid_d)) & packet_valid_q)
             ---------1---------   -------2------

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

 LINE       285
 EXPRESSION ((cfg_eop_single_bit_i && (line_history_q[1:0] == 2'b0)) || (line_history_q[3:0] == 4'b0) || bitstuff_error_q || see_preamble)
             ---------------------------1---------------------------    --------------2--------------    --------3-------    ------4-----

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

 LINE       285
 SUB-EXPRESSION (cfg_eop_single_bit_i && (line_history_q[1:0] == 2'b0))
                 ----------1---------    --------------2--------------

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

 LINE       285
 SUB-EXPRESSION (line_history_q[1:0] == 2'b0)
                --------------1--------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       285
 SUB-EXPRESSION (line_history_q[3:0] == 4'b0)
                --------------1--------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       289
 EXPRESSION ((line_history_q[3:0] == 4'b1001) & ((~tx_en_i)) & ((~in_packet_q)))
             ----------------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       289
 SUB-EXPRESSION (line_history_q[3:0] == 4'b1001)
                ----------------1---------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       290
 EXPRESSION (see_eop ? 1'b0 : (see_sop ? 1'b1 : in_packet_q))
             ---1---

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       290
 SUB-EXPRESSION (see_sop ? 1'b1 : in_packet_q)
                 ---1---

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       308
 EXPRESSION (((!packet_valid_q)) && (line_history_q[11:0] == 12'b011001100101))
             ---------1---------    ---------------------2--------------------

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

 LINE       308
 SUB-EXPRESSION (line_history_q[11:0] == 12'b011001100101)
                ---------------------1--------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       313
 EXPRESSION (packet_valid_q && see_eop)
             -------1------    ---2---

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

 LINE       325
 EXPRESSION (line_state_valid ? ({line_history_q[9:0], line_state_rx[1:0]}) : line_history_q)
             --------1-------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       346
 EXPRESSION ((((~tx_en_i)) & line_state_valid) ? (line_state_q == DJ) : rx_idle_det_q)
             ----------------1----------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       346
 SUB-EXPRESSION (((~tx_en_i)) & line_state_valid)
                 ------1-----   --------2-------

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

 LINE       346
 SUB-EXPRESSION (line_state_q == DJ)
                ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       358
 EXPRESSION (diff_rx_ok_i & ((~tx_en_i)) & (line_history_q[1:0] == 2'b10))
             ------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       358
 SUB-EXPRESSION (line_history_q[1:0] == 2'b10)
                ---------------1--------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       381
 EXPRESSION (packet_valid_q && line_state_valid)
             -------1------    --------2-------

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

 LINE       421
 EXPRESSION (dvalid_raw && ( ! (bitstuff_history_q[5:0] == 6'b111111) ))
             -----1----    ----------------------2---------------------

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

 LINE       421
 SUB-EXPRESSION ( ! (bitstuff_history_q[5:0] == 6'b111111) )
                    -------------------1------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       421
 SUB-EXPRESSION (bitstuff_history_q[5:0] == 6'b111111)
                -------------------1------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       427
 EXPRESSION (bitstuff_history_q == 7'b1111111)
            -----------------1----------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       434
 EXPRESSION (bitstuff_error && dvalid_raw)
             -------1------    -----2----

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

 LINE       447
 EXPRESSION (bitstuff_error_q && packet_end)
             --------1-------    -----2----

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

 LINE       459
 EXPRESSION (full_pid_q[4:1] == (~full_pid_q[8:5]))
            -------------------1-------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       463
 EXPRESSION (dvalid && ((!pid_complete)))
             ---1--    --------2--------

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

 LINE       477
 EXPRESSION (crc5_q == 5'b01100)
            ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       478
 EXPRESSION (din ^ crc5_q[4])
             -1-   ----2----

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

 LINE       487
 EXPRESSION (dvalid && pid_complete)
             ---1--    ------2-----

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

 LINE       499
 EXPRESSION (crc16_q == 16'b1000000000001101)
            ----------------1----------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       500
 EXPRESSION (din ^ crc16_q[15])
             -1-   -----2-----

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

 LINE       509
 EXPRESSION (dvalid && pid_complete)
             ---1--    ------2-----

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

 LINE       521
 EXPRESSION (full_pid_q[2:1] == 2'b1)
            ------------1------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       522
 EXPRESSION (full_pid_q[2:1] == 2'b11)
            -------------1------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       523
 EXPRESSION (full_pid_q[2:1] == 2'b10)
            -------------1------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       525
 EXPRESSION ((packet_valid_q & pid_valid & pid_complete) && (usb_pid_e'(full_pid_q[4:1]) == UsbPidPre))
             ---------------------1---------------------    ---------------------2--------------------

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

 LINE       525
 SUB-EXPRESSION (packet_valid_q & pid_valid & pid_complete)
                 -------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       525
 SUB-EXPRESSION (usb_pid_e'(full_pid_q[4:1]) == UsbPidPre)
                ---------------------1--------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       530
 EXPRESSION 
 Number  Term
      1  pid_valid && 
      2  ((!bitstuff_error_q)) && 
      3  ((pkt_is_handshake && valid_handshake_len) || (pkt_is_data && valid_data_len && crc16_valid) || (pkt_is_token && valid_token_len && crc5_valid)))

-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       530
 SUB-EXPRESSION ((pkt_is_handshake && valid_handshake_len) || (pkt_is_data && valid_data_len && crc16_valid) || (pkt_is_token && valid_token_len && crc5_valid))
                 --------------------1--------------------    -----------------------2----------------------    -----------------------3-----------------------

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

 LINE       530
 SUB-EXPRESSION (pkt_is_handshake && valid_handshake_len)
                 --------1-------    ---------2---------

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

 LINE       530
 SUB-EXPRESSION (pkt_is_data && valid_data_len && crc16_valid)
                 -----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       530
 SUB-EXPRESSION (pkt_is_token && valid_token_len && crc5_valid)
                 ------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       536
 EXPRESSION (pkt_is_token & packet_end & ((!crc5_valid)))
             ------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       537
 EXPRESSION (pkt_is_data & packet_end & ((!crc16_valid)))
             -----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       540
 EXPRESSION (((!pid_valid)) && packet_end)
             -------1------    -----2----

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

 LINE       558
 EXPRESSION (dvalid && pid_complete && pkt_is_token && ((!token_payload_done)))
             ---1--    ------2-----    ------3-----    -----------4-----------

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

 LINE       569
 EXPRESSION (token_payload_done && pkt_is_token)
             ---------1--------    ------2-----

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

 LINE       598
 EXPRESSION (packet_start || rx_data_buffer_full)
             ------1-----    ---------2---------

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

 LINE       602
 EXPRESSION (dvalid && pid_complete && pkt_is_data)
             ---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       613
 EXPRESSION (rx_data_len16_q & ((~|rx_data_len_q)))
             -------1-------   ---------2---------

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

 LINE       614
 EXPRESSION (rx_data_len16_q & ((~|rx_data_len_q[2:0])))
             -------1-------   ------------2-----------

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

 LINE       625
 EXPRESSION (dvalid && pid_complete)
             ---1--    ------2-----

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

 LINE       626
 EXPRESSION (rx_data_len16_q | ((&rx_data_len_q)))
             -------1-------   ---------2--------

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

---

Branch Coverage for Module : usb_fs_rx

	Line No.	Total	Covered	Percent
Branches		93	0	0.00
TERNARY	73	2	0	0.00
TERNARY	74	2	0	0.00
TERNARY	225	3	0	0.00
TERNARY	249	2	0	0.00
TERNARY	290	3	0	0.00
TERNARY	325	2	0	0.00
TERNARY	346	2	0	0.00
IF	125	3	0	0.00
IF	135	3	0	0.00
IF	156	3	0	0.00
IF	174	3	0	0.00
IF	252	3	0	0.00
IF	294	2	0	0.00
IF	302	5	0	0.00
IF	329	3	0	0.00
IF	350	2	0	0.00
CASE	373	5	0	0.00
IF	381	6	0	0.00
IF	399	3	0	0.00
IF	409	3	0	0.00
IF	432	3	0	0.00
IF	440	2	0	0.00
IF	463	3	0	0.00
IF	483	2	0	0.00
IF	487	2	0	0.00
IF	505	2	0	0.00
IF	509	2	0	0.00
IF	554	2	0	0.00
IF	558	2	0	0.00
IF	569	2	0	0.00
IF	598	2	0	0.00
IF	602	2	0	0.00
IF	621	2	0	0.00
IF	625	2	0	0.00
IF	635	3	0	0.00

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

	LineNo.	Expression
-1-:	73	(cfg_pinflip_i) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	74	(cfg_pinflip_i) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	225	(cfg_use_diff_rcvr_i) ? 
-2-:	225	(use_se) ? 

Branches:

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

	LineNo.	Expression
-1-:	249	((line_state_rx == DT)) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	290	(see_eop) ? 
-2-:	290	(see_sop) ? 

Branches:

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

	LineNo.	Expression
-1-:	325	(line_state_valid) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	346	(((~tx_en_i) & line_state_valid)) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	125	if (tx_en_i)
-2-:	130	(usb_d_flipped) ? 

Branches:

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

	LineNo.	Expression
-1-:	135	if ((!rst_ni))
-2-:	140	if (link_reset_i)

Branches:

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

	LineNo.	Expression
-1-:	156	if ((line_state_q == DT))
-2-:	164	if ((dpair != line_state_q[1:0]))

Branches:

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

	LineNo.	Expression
-1-:	174	if ((diff_state_q == DT))
-2-:	182	if ((ddiff != diff_state_q[1:0]))

Branches:

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

	LineNo.	Expression
-1-:	252	if ((!rst_ni))
-2-:	255	if (link_reset_i)

Branches:

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

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	302	if (line_state_valid)
-2-:	305	if ((~diff_rx_ok_i))
-3-:	308	if (((!packet_valid_q) && (line_history_q[11:0] == 12'b011001100101)))
-4-:	313	if ((packet_valid_q && see_eop))

Branches:

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

	LineNo.	Expression
-1-:	329	if ((!rst_ni))
-2-:	333	if (link_reset_i)

Branches:

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

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	373	case (line_history_q[3:0])

Branches:

-1-	Status	Tests
4'b0101	Not Covered
4'b0110	Not Covered
4'b1001	Not Covered
4'b1010	Not Covered
default	Not Covered

	LineNo.	Expression
-1-:	381	if ((packet_valid_q && line_state_valid))
-2-:	382	case (line_history_q[3:0])

Branches:

-1-	-2-	Status	Tests
1	4'b0101	Not Covered
1	4'b0110	Not Covered
1	4'b1001	Not Covered
1	4'b1010	Not Covered
1	default	Not Covered
0	-	Not Covered

	LineNo.	Expression
-1-:	399	if (packet_end)
-2-:	401	if (dvalid_raw)

Branches:

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

	LineNo.	Expression
-1-:	409	if ((!rst_ni))
-2-:	412	if (link_reset_i)

Branches:

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

	LineNo.	Expression
-1-:	432	if (packet_start)
-2-:	434	if ((bitstuff_error && dvalid_raw))

Branches:

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

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	463	if ((dvalid && (!pid_complete)))
-2-:	465	if (packet_start)

Branches:

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

	LineNo.	Expression
-1-:	483	if (packet_start)

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	487	if ((dvalid && pid_complete))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	505	if (packet_start)

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	509	if ((dvalid && pid_complete))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	554	if (packet_start)

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	558	if ((((dvalid && pid_complete) && pkt_is_token) && (!token_payload_done)))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	569	if ((token_payload_done && pkt_is_token))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	598	if ((packet_start || rx_data_buffer_full))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	602	if (((dvalid && pid_complete) && pkt_is_data))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	621	if (packet_start)

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	625	if ((dvalid && pid_complete))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	635	if ((!rst_ni))
-2-:	647	if (link_reset_i)

Branches:

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

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

	Line No.	Total	Covered	Percent
TOTAL		204	0	0.00
CONT_ASSIGN	73	1	0	0.00
CONT_ASSIGN	74	1	0	0.00
CONT_ASSIGN	75	1	0	0.00
ALWAYS	125	5	0	0.00
ALWAYS	135	11	0	0.00
ALWAYS	154	5	0	0.00
ALWAYS	172	5	0	0.00
CONT_ASSIGN	224	1	0	0.00
CONT_ASSIGN	225	1	0	0.00
CONT_ASSIGN	245	1	0	0.00
CONT_ASSIGN	246	1	0	0.00
CONT_ASSIGN	249	1	0	0.00
ALWAYS	252	5	0	0.00
CONT_ASSIGN	279	1	0	0.00
CONT_ASSIGN	280	1	0	0.00
CONT_ASSIGN	285	1	0	0.00
CONT_ASSIGN	289	1	0	0.00
CONT_ASSIGN	290	1	0	0.00
ALWAYS	294	3	0	0.00
ALWAYS	302	9	0	0.00
CONT_ASSIGN	325	1	0	0.00
ALWAYS	329	8	0	0.00
CONT_ASSIGN	346	1	0	0.00
CONT_ASSIGN	347	1	0	0.00
ALWAYS	350	3	0	0.00
CONT_ASSIGN	358	1	0	0.00
ALWAYS	373	12	0	0.00
ALWAYS	399	5	0	0.00
ALWAYS	409	5	0	0.00
CONT_ASSIGN	421	1	0	0.00
CONT_ASSIGN	427	1	0	0.00
ALWAYS	431	5	0	0.00
ALWAYS	440	3	0	0.00
CONT_ASSIGN	447	1	0	0.00
CONT_ASSIGN	459	1	0	0.00
CONT_ASSIGN	460	1	0	0.00
ALWAYS	463	5	0	0.00
CONT_ASSIGN	477	1	0	0.00
CONT_ASSIGN	478	1	0	0.00
ALWAYS	481	5	0	0.00
CONT_ASSIGN	499	1	0	0.00
CONT_ASSIGN	500	1	0	0.00
ALWAYS	503	5	0	0.00
CONT_ASSIGN	521	1	0	0.00
CONT_ASSIGN	522	1	0	0.00
CONT_ASSIGN	523	1	0	0.00
CONT_ASSIGN	525	1	0	0.00
CONT_ASSIGN	528	1	0	0.00
CONT_ASSIGN	530	1	0	0.00
CONT_ASSIGN	536	1	0	0.00
CONT_ASSIGN	537	1	0	0.00
CONT_ASSIGN	540	1	0	0.00
CONT_ASSIGN	545	1	0	0.00
ALWAYS	552	5	0	0.00
ALWAYS	565	7	0	0.00
CONT_ASSIGN	576	1	0	0.00
CONT_ASSIGN	577	1	0	0.00
CONT_ASSIGN	578	1	0	0.00
CONT_ASSIGN	579	1	0	0.00
CONT_ASSIGN	581	1	0	0.00
CONT_ASSIGN	582	1	0	0.00
CONT_ASSIGN	591	1	0	0.00
CONT_ASSIGN	592	1	0	0.00
CONT_ASSIGN	593	1	0	0.00
ALWAYS	596	5	0	0.00
CONT_ASSIGN	613	1	0	0.00
CONT_ASSIGN	614	1	0	0.00
CONT_ASSIGN	615	1	0	0.00
ALWAYS	618	8	0	0.00
ALWAYS	635	32	0	0.00

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

Line No.	Covered	Statements
73	0	1
74	0	1
75	0	1
125	0	1
126	0	1
127	0	1
129	0	1
130	0	1
135	0	1
136	0	1
137	0	1
138	0	1
140	0	1
141	0	1
142	0	1
143	0	1
145	0	1
146	0	1
147	0	1
154	0	1
156	0	1
159	0	1
164	0	1
165	0	1
			==> MISSING_ELSE
172	0	1
174	0	1
177	0	1
182	0	1
183	0	1
			==> MISSING_ELSE
224	0	1
225	0	1
245	0	1
246	0	1
249	0	1
252	0	1
253	0	1
255	0	1
256	0	1
258	0	1
279	0	1
280	0	1
285	0	1
289	0	1
290	0	1
294	0	1
295	0	1
297	0	1
302	0	1
305	0	1
306	0	1
308	0	1
309	0	1
313	0	1
314	0	1
317	0	1
320	0	1
325	0	1
329	0	1
330	0	1
331	0	1
333	0	1
334	0	1
335	0	1
337	0	1
338	0	1
346	0	1
347	0	1
350	0	1
351	0	1
353	0	1
358	0	1
373	0	1
374	0	1
375	0	1
376	0	1
377	0	1
381	0	1
382	0	1
383	0	1
384	0	1
385	0	1
386	0	1
390	0	1
399	0	1
400	0	1
401	0	1
402	0	1
404	0	1
409	0	1
410	0	1
412	0	1
413	0	1
415	0	1
421	0	1
427	0	1
431	0	1
432	0	1
433	0	1
434	0	1
435	0	1
			==> MISSING_ELSE
440	0	1
441	0	1
443	0	1
447	0	1
459	0	1
460	0	1
463	0	1
464	0	1
465	0	1
466	0	1
468	0	1
477	0	1
478	0	1
481	0	1
483	0	1
484	0	1
			==> MISSING_ELSE
487	0	1
488	0	1
			==> MISSING_ELSE
499	0	1
500	0	1
503	0	1
505	0	1
506	0	1
			==> MISSING_ELSE
509	0	1
510	0	1
			==> MISSING_ELSE
521	0	1
522	0	1
523	0	1
525	0	1
528	0	1
530	0	1
536	0	1
537	0	1
540	0	1
545	0	1
552	0	1
554	0	1
555	0	1
			==> MISSING_ELSE
558	0	1
559	0	1
			==> MISSING_ELSE
565	0	1
566	0	1
567	0	1
569	0	1
570	0	1
571	0	1
572	0	1
			==> MISSING_ELSE
576	0	1
577	0	1
578	0	1
579	0	1
581	0	1
582	0	1
591	0	1
592	0	1
593	0	1
596	0	1
598	0	1
599	0	1
			==> MISSING_ELSE
602	0	1
603	0	1
			==> MISSING_ELSE
613	0	1
614	0	1
615	0	1
618	0	1
619	0	1
621	0	1
622	0	1
623	0	1
			==> MISSING_ELSE
625	0	1
626	0	1
627	0	1
			==> MISSING_ELSE
635	0	1
636	0	1
637	0	1
638	0	1
639	0	1
640	0	1
641	0	1
642	0	1
643	0	1
644	0	1
645	0	1
647	0	1
648	0	1
649	0	1
650	0	1
651	0	1
652	0	1
653	0	1
654	0	1
655	0	1
656	0	1
657	0	1
659	0	1
660	0	1
661	0	1
662	0	1
663	0	1
664	0	1
665	0	1
666	0	1
667	0	1
668	0	1

---

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

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

 LINE       73
 EXPRESSION (cfg_pinflip_i ? usb_dn_i : usb_dp_i)
             ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       74
 EXPRESSION (cfg_pinflip_i ? usb_dp_i : usb_dn_i)
             ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       75
 EXPRESSION (usb_d_i ^ cfg_pinflip_i)
             ---1---   ------2------

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

 LINE       130
 EXPRESSION (usb_d_flipped ? DJ[1:0] : DK[1:0])
             ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       156
 EXPRESSION (line_state_q == DT)
            ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       164
 EXPRESSION (dpair != line_state_q[1:0])
            --------------1-------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       174
 EXPRESSION (diff_state_q == DT)
            ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       182
 EXPRESSION (ddiff != diff_state_q[1:0])
            --------------1-------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       224
 EXPRESSION ((line_state_q == SE0) || ((line_state_q == DT) && (line_state_qq == SE0)))
             ----------1----------    ------------------------2-----------------------

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

 LINE       224
 SUB-EXPRESSION (line_state_q == SE0)
                ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       224
 SUB-EXPRESSION ((line_state_q == DT) && (line_state_qq == SE0))
                 ----------1---------    -----------2----------

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

 LINE       224
 SUB-EXPRESSION (line_state_q == DT)
                ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       224
 SUB-EXPRESSION (line_state_qq == SE0)
                -----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       225
 EXPRESSION (cfg_use_diff_rcvr_i ? (use_se ? line_state_q : diff_state_q) : line_state_q)
             ---------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       225
 SUB-EXPRESSION (use_se ? line_state_q : diff_state_q)
                 ---1--

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       245
 EXPRESSION (bit_phase_q == 2'b1)
            ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       246
 EXPRESSION (bit_phase_q == 2'd2)
            ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       249
 EXPRESSION ((line_state_rx == DT) ? 0 : ((bit_phase_q + 1)))
             ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       249
 SUB-EXPRESSION (line_state_rx == DT)
                ----------1----------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       279
 EXPRESSION (packet_valid_d & ((~packet_valid_q)))
             -------1------   ---------2---------

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

 LINE       280
 EXPRESSION (((~packet_valid_d)) & packet_valid_q)
             ---------1---------   -------2------

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

 LINE       285
 EXPRESSION ((cfg_eop_single_bit_i && (line_history_q[1:0] == 2'b0)) || (line_history_q[3:0] == 4'b0) || bitstuff_error_q || see_preamble)
             ---------------------------1---------------------------    --------------2--------------    --------3-------    ------4-----

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

 LINE       285
 SUB-EXPRESSION (cfg_eop_single_bit_i && (line_history_q[1:0] == 2'b0))
                 ----------1---------    --------------2--------------

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

 LINE       285
 SUB-EXPRESSION (line_history_q[1:0] == 2'b0)
                --------------1--------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       285
 SUB-EXPRESSION (line_history_q[3:0] == 4'b0)
                --------------1--------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       289
 EXPRESSION ((line_history_q[3:0] == 4'b1001) & ((~tx_en_i)) & ((~in_packet_q)))
             ----------------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       289
 SUB-EXPRESSION (line_history_q[3:0] == 4'b1001)
                ----------------1---------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       290
 EXPRESSION (see_eop ? 1'b0 : (see_sop ? 1'b1 : in_packet_q))
             ---1---

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       290
 SUB-EXPRESSION (see_sop ? 1'b1 : in_packet_q)
                 ---1---

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       308
 EXPRESSION (((!packet_valid_q)) && (line_history_q[11:0] == 12'b011001100101))
             ---------1---------    ---------------------2--------------------

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

 LINE       308
 SUB-EXPRESSION (line_history_q[11:0] == 12'b011001100101)
                ---------------------1--------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       313
 EXPRESSION (packet_valid_q && see_eop)
             -------1------    ---2---

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

 LINE       325
 EXPRESSION (line_state_valid ? ({line_history_q[9:0], line_state_rx[1:0]}) : line_history_q)
             --------1-------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       346
 EXPRESSION ((((~tx_en_i)) & line_state_valid) ? (line_state_q == DJ) : rx_idle_det_q)
             ----------------1----------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       346
 SUB-EXPRESSION (((~tx_en_i)) & line_state_valid)
                 ------1-----   --------2-------

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

 LINE       346
 SUB-EXPRESSION (line_state_q == DJ)
                ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       358
 EXPRESSION (diff_rx_ok_i & ((~tx_en_i)) & (line_history_q[1:0] == 2'b10))
             ------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       358
 SUB-EXPRESSION (line_history_q[1:0] == 2'b10)
                ---------------1--------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       381
 EXPRESSION (packet_valid_q && line_state_valid)
             -------1------    --------2-------

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

 LINE       421
 EXPRESSION (dvalid_raw && ( ! (bitstuff_history_q[5:0] == 6'b111111) ))
             -----1----    ----------------------2---------------------

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

 LINE       421
 SUB-EXPRESSION ( ! (bitstuff_history_q[5:0] == 6'b111111) )
                    -------------------1------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       421
 SUB-EXPRESSION (bitstuff_history_q[5:0] == 6'b111111)
                -------------------1------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       427
 EXPRESSION (bitstuff_history_q == 7'b1111111)
            -----------------1----------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       434
 EXPRESSION (bitstuff_error && dvalid_raw)
             -------1------    -----2----

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

 LINE       447
 EXPRESSION (bitstuff_error_q && packet_end)
             --------1-------    -----2----

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

 LINE       459
 EXPRESSION (full_pid_q[4:1] == (~full_pid_q[8:5]))
            -------------------1-------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       463
 EXPRESSION (dvalid && ((!pid_complete)))
             ---1--    --------2--------

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

 LINE       477
 EXPRESSION (crc5_q == 5'b01100)
            ----------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       478
 EXPRESSION (din ^ crc5_q[4])
             -1-   ----2----

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

 LINE       487
 EXPRESSION (dvalid && pid_complete)
             ---1--    ------2-----

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

 LINE       499
 EXPRESSION (crc16_q == 16'b1000000000001101)
            ----------------1----------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       500
 EXPRESSION (din ^ crc16_q[15])
             -1-   -----2-----

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

 LINE       509
 EXPRESSION (dvalid && pid_complete)
             ---1--    ------2-----

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

 LINE       521
 EXPRESSION (full_pid_q[2:1] == 2'b1)
            ------------1------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       522
 EXPRESSION (full_pid_q[2:1] == 2'b11)
            -------------1------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       523
 EXPRESSION (full_pid_q[2:1] == 2'b10)
            -------------1------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       525
 EXPRESSION ((packet_valid_q & pid_valid & pid_complete) && (usb_pid_e'(full_pid_q[4:1]) == UsbPidPre))
             ---------------------1---------------------    ---------------------2--------------------

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

 LINE       525
 SUB-EXPRESSION (packet_valid_q & pid_valid & pid_complete)
                 -------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       525
 SUB-EXPRESSION (usb_pid_e'(full_pid_q[4:1]) == UsbPidPre)
                ---------------------1--------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       530
 EXPRESSION 
 Number  Term
      1  pid_valid && 
      2  ((!bitstuff_error_q)) && 
      3  ((pkt_is_handshake && valid_handshake_len) || (pkt_is_data && valid_data_len && crc16_valid) || (pkt_is_token && valid_token_len && crc5_valid)))

-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       530
 SUB-EXPRESSION ((pkt_is_handshake && valid_handshake_len) || (pkt_is_data && valid_data_len && crc16_valid) || (pkt_is_token && valid_token_len && crc5_valid))
                 --------------------1--------------------    -----------------------2----------------------    -----------------------3-----------------------

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

 LINE       530
 SUB-EXPRESSION (pkt_is_handshake && valid_handshake_len)
                 --------1-------    ---------2---------

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

 LINE       530
 SUB-EXPRESSION (pkt_is_data && valid_data_len && crc16_valid)
                 -----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       530
 SUB-EXPRESSION (pkt_is_token && valid_token_len && crc5_valid)
                 ------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       536
 EXPRESSION (pkt_is_token & packet_end & ((!crc5_valid)))
             ------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       537
 EXPRESSION (pkt_is_data & packet_end & ((!crc16_valid)))
             -----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       540
 EXPRESSION (((!pid_valid)) && packet_end)
             -------1------    -----2----

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

 LINE       558
 EXPRESSION (dvalid && pid_complete && pkt_is_token && ((!token_payload_done)))
             ---1--    ------2-----    ------3-----    -----------4-----------

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

 LINE       569
 EXPRESSION (token_payload_done && pkt_is_token)
             ---------1--------    ------2-----

-1-	-2-	Status	Tests	Exclude Annotation
0	1	Not Covered
1	0	Excluded		VC_COV_UNR
1	1	Not Covered

 LINE       598
 EXPRESSION (packet_start || rx_data_buffer_full)
             ------1-----    ---------2---------

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

 LINE       602
 EXPRESSION (dvalid && pid_complete && pkt_is_data)
             ---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       613
 EXPRESSION (rx_data_len16_q & ((~|rx_data_len_q)))
             -------1-------   ---------2---------

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

 LINE       614
 EXPRESSION (rx_data_len16_q & ((~|rx_data_len_q[2:0])))
             -------1-------   ------------2-----------

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

 LINE       625
 EXPRESSION (dvalid && pid_complete)
             ---1--    ------2-----

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

 LINE       626
 EXPRESSION (rx_data_len16_q | ((&rx_data_len_q)))
             -------1-------   ---------2--------

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

---

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

	Line No.	Total	Covered	Percent
Branches		93	0	0.00
TERNARY	73	2	0	0.00
TERNARY	74	2	0	0.00
TERNARY	225	3	0	0.00
TERNARY	249	2	0	0.00
TERNARY	290	3	0	0.00
TERNARY	325	2	0	0.00
TERNARY	346	2	0	0.00
IF	125	3	0	0.00
IF	135	3	0	0.00
IF	156	3	0	0.00
IF	174	3	0	0.00
IF	252	3	0	0.00
IF	294	2	0	0.00
IF	302	5	0	0.00
IF	329	3	0	0.00
IF	350	2	0	0.00
CASE	373	5	0	0.00
IF	381	6	0	0.00
IF	399	3	0	0.00
IF	409	3	0	0.00
IF	432	3	0	0.00
IF	440	2	0	0.00
IF	463	3	0	0.00
IF	483	2	0	0.00
IF	487	2	0	0.00
IF	505	2	0	0.00
IF	509	2	0	0.00
IF	554	2	0	0.00
IF	558	2	0	0.00
IF	569	2	0	0.00
IF	598	2	0	0.00
IF	602	2	0	0.00
IF	621	2	0	0.00
IF	625	2	0	0.00
IF	635	3	0	0.00

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

	LineNo.	Expression
-1-:	73	(cfg_pinflip_i) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	74	(cfg_pinflip_i) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	225	(cfg_use_diff_rcvr_i) ? 
-2-:	225	(use_se) ? 

Branches:

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

	LineNo.	Expression
-1-:	249	((line_state_rx == DT)) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	290	(see_eop) ? 
-2-:	290	(see_sop) ? 

Branches:

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

	LineNo.	Expression
-1-:	325	(line_state_valid) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	346	(((~tx_en_i) & line_state_valid)) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	125	if (tx_en_i)
-2-:	130	(usb_d_flipped) ? 

Branches:

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

	LineNo.	Expression
-1-:	135	if ((!rst_ni))
-2-:	140	if (link_reset_i)

Branches:

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

	LineNo.	Expression
-1-:	156	if ((line_state_q == DT))
-2-:	164	if ((dpair != line_state_q[1:0]))

Branches:

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

	LineNo.	Expression
-1-:	174	if ((diff_state_q == DT))
-2-:	182	if ((ddiff != diff_state_q[1:0]))

Branches:

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

	LineNo.	Expression
-1-:	252	if ((!rst_ni))
-2-:	255	if (link_reset_i)

Branches:

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

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	302	if (line_state_valid)
-2-:	305	if ((~diff_rx_ok_i))
-3-:	308	if (((!packet_valid_q) && (line_history_q[11:0] == 12'b011001100101)))
-4-:	313	if ((packet_valid_q && see_eop))

Branches:

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

	LineNo.	Expression
-1-:	329	if ((!rst_ni))
-2-:	333	if (link_reset_i)

Branches:

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

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	373	case (line_history_q[3:0])

Branches:

-1-	Status	Tests
4'b0101	Not Covered
4'b0110	Not Covered
4'b1001	Not Covered
4'b1010	Not Covered
default	Not Covered

	LineNo.	Expression
-1-:	381	if ((packet_valid_q && line_state_valid))
-2-:	382	case (line_history_q[3:0])

Branches:

-1-	-2-	Status	Tests
1	4'b0101	Not Covered
1	4'b0110	Not Covered
1	4'b1001	Not Covered
1	4'b1010	Not Covered
1	default	Not Covered
0	-	Not Covered

	LineNo.	Expression
-1-:	399	if (packet_end)
-2-:	401	if (dvalid_raw)

Branches:

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

	LineNo.	Expression
-1-:	409	if ((!rst_ni))
-2-:	412	if (link_reset_i)

Branches:

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

	LineNo.	Expression
-1-:	432	if (packet_start)
-2-:	434	if ((bitstuff_error && dvalid_raw))

Branches:

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

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	463	if ((dvalid && (!pid_complete)))
-2-:	465	if (packet_start)

Branches:

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

	LineNo.	Expression
-1-:	483	if (packet_start)

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	487	if ((dvalid && pid_complete))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	505	if (packet_start)

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	509	if ((dvalid && pid_complete))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	554	if (packet_start)

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	558	if ((((dvalid && pid_complete) && pkt_is_token) && (!token_payload_done)))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	569	if ((token_payload_done && pkt_is_token))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	598	if ((packet_start || rx_data_buffer_full))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	602	if (((dvalid && pid_complete) && pkt_is_data))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	621	if (packet_start)

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	625	if ((dvalid && pid_complete))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	635	if ((!rst_ni))
-2-:	647	if (link_reset_i)

Branches:

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