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



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

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.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_tx_mux
Line No.TotalCoveredPercent
TOTAL22100.00
CONT_ASSIGN2011100.00
CONT_ASSIGN2111100.00

19 20 1/1 assign tx_pkt_start_o = in_tx_pkt_start_i | out_tx_pkt_start_i; Tests: T1 T2 T3  21 1/1 assign tx_pid_o = out_tx_pkt_start_i ? out_tx_pid_i : in_tx_pid_i; Tests: T1 T2 T3 

Cond Coverage for Module : usb_fs_tx_mux
TotalCoveredPercent
Conditions55100.00
Logical55100.00
Non-Logical00
Event00

 LINE       20
 EXPRESSION (in_tx_pkt_start_i | out_tx_pkt_start_i)
             --------1--------   ---------2--------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT3,T30,T31
10CoveredT31,T32,T34

 LINE       21
 EXPRESSION (out_tx_pkt_start_i ? out_tx_pid_i : in_tx_pid_i)
             ---------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T30,T31

Branch Coverage for Module : usb_fs_tx_mux
Line No.TotalCoveredPercent
Branches 2 2 100.00
TERNARY 21 2 2 100.00


21 assign tx_pid_o = out_tx_pkt_start_i ? out_tx_pid_i : in_tx_pid_i; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T3,T30,T31
0 Covered T1,T2,T3

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