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

Module : usb_fs_rx
SCORELINECONDTOGGLEFSMBRANCHASSERT
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 :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
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 :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
0.00 0.00 0.00 u_usb_fs_nb_pe


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
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_rx
Line No.TotalCoveredPercent
TOTAL20400.00
CONT_ASSIGN73100.00
CONT_ASSIGN74100.00
CONT_ASSIGN75100.00
ALWAYS125500.00
ALWAYS1351100.00
ALWAYS154500.00
ALWAYS172500.00
CONT_ASSIGN224100.00
CONT_ASSIGN225100.00
CONT_ASSIGN245100.00
CONT_ASSIGN246100.00
CONT_ASSIGN249100.00
ALWAYS252500.00
CONT_ASSIGN279100.00
CONT_ASSIGN280100.00
CONT_ASSIGN285100.00
CONT_ASSIGN289100.00
CONT_ASSIGN290100.00
ALWAYS294300.00
ALWAYS302900.00
CONT_ASSIGN325100.00
ALWAYS329800.00
CONT_ASSIGN346100.00
CONT_ASSIGN347100.00
ALWAYS350300.00
CONT_ASSIGN358100.00
ALWAYS3731200.00
ALWAYS399500.00
ALWAYS409500.00
CONT_ASSIGN421100.00
CONT_ASSIGN427100.00
ALWAYS431500.00
ALWAYS440300.00
CONT_ASSIGN447100.00
CONT_ASSIGN459100.00
CONT_ASSIGN460100.00
ALWAYS463500.00
CONT_ASSIGN477100.00
CONT_ASSIGN478100.00
ALWAYS481500.00
CONT_ASSIGN499100.00
CONT_ASSIGN500100.00
ALWAYS503500.00
CONT_ASSIGN521100.00
CONT_ASSIGN522100.00
CONT_ASSIGN523100.00
CONT_ASSIGN525100.00
CONT_ASSIGN528100.00
CONT_ASSIGN530100.00
CONT_ASSIGN536100.00
CONT_ASSIGN537100.00
CONT_ASSIGN540100.00
CONT_ASSIGN545100.00
ALWAYS552500.00
ALWAYS565700.00
CONT_ASSIGN576100.00
CONT_ASSIGN577100.00
CONT_ASSIGN578100.00
CONT_ASSIGN579100.00
CONT_ASSIGN581100.00
CONT_ASSIGN582100.00
CONT_ASSIGN591100.00
CONT_ASSIGN592100.00
CONT_ASSIGN593100.00
ALWAYS596500.00
CONT_ASSIGN613100.00
CONT_ASSIGN614100.00
CONT_ASSIGN615100.00
ALWAYS618800.00
ALWAYS6353200.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.CoveredStatements
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
TotalCoveredPercent
Conditions20600.00
Logical20600.00
Non-Logical00
Event00

 LINE       73
 EXPRESSION (cfg_pinflip_i ? usb_dn_i : usb_dp_i)
             ------1------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       74
 EXPRESSION (cfg_pinflip_i ? usb_dp_i : usb_dn_i)
             ------1------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       75
 EXPRESSION (usb_d_i ^ cfg_pinflip_i)
             ---1---   ------2------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered
11Not Covered

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

 LINE       156
 EXPRESSION (line_state_q == DT)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

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

 LINE       174
 EXPRESSION (diff_state_q == DT)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

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

 LINE       224
 EXPRESSION ((line_state_q == SE0) || ((line_state_q == DT) && (line_state_qq == SE0)))
             ----------1----------    ------------------------2-----------------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       224
 SUB-EXPRESSION (line_state_q == SE0)
                ----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       224
 SUB-EXPRESSION ((line_state_q == DT) && (line_state_qq == SE0))
                 ----------1---------    -----------2----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       224
 SUB-EXPRESSION (line_state_q == DT)
                ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       224
 SUB-EXPRESSION (line_state_qq == SE0)
                -----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       225
 EXPRESSION (cfg_use_diff_rcvr_i ? (use_se ? line_state_q : diff_state_q) : line_state_q)
             ---------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       225
 SUB-EXPRESSION (use_se ? line_state_q : diff_state_q)
                 ---1--
-1-StatusTests
0Not Covered
1Not Covered

 LINE       245
 EXPRESSION (bit_phase_q == 2'b1)
            ----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       246
 EXPRESSION (bit_phase_q == 2'd2)
            ----------1----------
-1-StatusTests
0Not Covered
1Not Covered

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

 LINE       249
 SUB-EXPRESSION (line_state_rx == DT)
                ----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       279
 EXPRESSION (packet_valid_d & ((~packet_valid_q)))
             -------1------   ---------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       280
 EXPRESSION (((~packet_valid_d)) & packet_valid_q)
             ---------1---------   -------2------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not 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-StatusTests
0000Not Covered
0001Not Covered
0010Not Covered
0100Not Covered
1000Not Covered

 LINE       285
 SUB-EXPRESSION (cfg_eop_single_bit_i && (line_history_q[1:0] == 2'b0))
                 ----------1---------    --------------2--------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

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

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

 LINE       289
 EXPRESSION ((line_history_q[3:0] == 4'b1001) & ((~tx_en_i)) & ((~in_packet_q)))
             ----------------1---------------   ------2-----   --------3-------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       289
 SUB-EXPRESSION (line_history_q[3:0] == 4'b1001)
                ----------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       290
 EXPRESSION (see_eop ? 1'b0 : (see_sop ? 1'b1 : in_packet_q))
             ---1---
-1-StatusTests
0Not Covered
1Not Covered

 LINE       290
 SUB-EXPRESSION (see_sop ? 1'b1 : in_packet_q)
                 ---1---
-1-StatusTests
0Not Covered
1Not Covered

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

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

 LINE       313
 EXPRESSION (packet_valid_q && see_eop)
             -------1------    ---2---
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

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

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

 LINE       346
 SUB-EXPRESSION (((~tx_en_i)) & line_state_valid)
                 ------1-----   --------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       346
 SUB-EXPRESSION (line_state_q == DJ)
                ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       358
 EXPRESSION (diff_rx_ok_i & ((~tx_en_i)) & (line_history_q[1:0] == 2'b10))
             ------1-----   ------2-----   ---------------3--------------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       358
 SUB-EXPRESSION (line_history_q[1:0] == 2'b10)
                ---------------1--------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       381
 EXPRESSION (packet_valid_q && line_state_valid)
             -------1------    --------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       421
 EXPRESSION (dvalid_raw && ( ! (bitstuff_history_q[5:0] == 6'b111111) ))
             -----1----    ----------------------2---------------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

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

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

 LINE       427
 EXPRESSION (bitstuff_history_q == 7'b1111111)
            -----------------1----------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       434
 EXPRESSION (bitstuff_error && dvalid_raw)
             -------1------    -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       447
 EXPRESSION (bitstuff_error_q && packet_end)
             --------1-------    -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

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

 LINE       463
 EXPRESSION (dvalid && ((!pid_complete)))
             ---1--    --------2--------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       477
 EXPRESSION (crc5_q == 5'b01100)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       478
 EXPRESSION (din ^ crc5_q[4])
             -1-   ----2----
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered
11Not Covered

 LINE       487
 EXPRESSION (dvalid && pid_complete)
             ---1--    ------2-----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       499
 EXPRESSION (crc16_q == 16'b1000000000001101)
            ----------------1----------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       500
 EXPRESSION (din ^ crc16_q[15])
             -1-   -----2-----
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered
11Not Covered

 LINE       509
 EXPRESSION (dvalid && pid_complete)
             ---1--    ------2-----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       521
 EXPRESSION (full_pid_q[2:1] == 2'b1)
            ------------1------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       522
 EXPRESSION (full_pid_q[2:1] == 2'b11)
            -------------1------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       523
 EXPRESSION (full_pid_q[2:1] == 2'b10)
            -------------1------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       525
 EXPRESSION ((packet_valid_q & pid_valid & pid_complete) && (usb_pid_e'(full_pid_q[4:1]) == UsbPidPre))
             ---------------------1---------------------    ---------------------2--------------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       525
 SUB-EXPRESSION (packet_valid_q & pid_valid & pid_complete)
                 -------1------   ----2----   ------3-----
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       525
 SUB-EXPRESSION (usb_pid_e'(full_pid_q[4:1]) == UsbPidPre)
                ---------------------1--------------------
-1-StatusTests
0Not Covered
1Not 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-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not 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-StatusTests
000Not Covered
001Not Covered
010Not Covered
100Not Covered

 LINE       530
 SUB-EXPRESSION (pkt_is_handshake && valid_handshake_len)
                 --------1-------    ---------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       530
 SUB-EXPRESSION (pkt_is_data && valid_data_len && crc16_valid)
                 -----1-----    -------2------    -----3-----
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       530
 SUB-EXPRESSION (pkt_is_token && valid_token_len && crc5_valid)
                 ------1-----    -------2-------    -----3----
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       536
 EXPRESSION (pkt_is_token & packet_end & ((!crc5_valid)))
             ------1-----   -----2----   -------3-------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       537
 EXPRESSION (pkt_is_data & packet_end & ((!crc16_valid)))
             -----1-----   -----2----   --------3-------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       540
 EXPRESSION (((!pid_valid)) && packet_end)
             -------1------    -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       558
 EXPRESSION (dvalid && pid_complete && pkt_is_token && ((!token_payload_done)))
             ---1--    ------2-----    ------3-----    -----------4-----------
-1--2--3--4-StatusTests
0111Not Covered
1011Not Covered
1101Not Covered
1110Not Covered
1111Not Covered

 LINE       569
 EXPRESSION (token_payload_done && pkt_is_token)
             ---------1--------    ------2-----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       598
 EXPRESSION (packet_start || rx_data_buffer_full)
             ------1-----    ---------2---------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       602
 EXPRESSION (dvalid && pid_complete && pkt_is_data)
             ---1--    ------2-----    -----3-----
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       613
 EXPRESSION (rx_data_len16_q & ((~|rx_data_len_q)))
             -------1-------   ---------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       614
 EXPRESSION (rx_data_len16_q & ((~|rx_data_len_q[2:0])))
             -------1-------   ------------2-----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       625
 EXPRESSION (dvalid && pid_complete)
             ---1--    ------2-----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       626
 EXPRESSION (rx_data_len16_q | ((&rx_data_len_q)))
             -------1-------   ---------2--------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

Branch Coverage for Module : usb_fs_rx
Line No.TotalCoveredPercent
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-StatusTests
1 Not Covered
0 Not Covered


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

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


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

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


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

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


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

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


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

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


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

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


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

Branches:
-1--2-StatusTests
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-StatusTests
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-StatusTests
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-StatusTests
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-StatusTests
1 - Not Covered
0 1 Not Covered
0 0 Not Covered


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

Branches:
-1-StatusTests
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-StatusTests
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-StatusTests
1 - Not Covered
0 1 Not Covered
0 0 Not Covered


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

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


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

Branches:
-1-StatusTests
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-StatusTests
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-StatusTests
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-StatusTests
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-StatusTests
1 - Not Covered
0 1 Not Covered
0 0 Not Covered


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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

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