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

Module : usbdev_reg_top
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.44 99.71 98.05 100.00 100.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_reg 99.44 99.71 98.05 100.00 100.00



Module Instance : tb.dut.u_reg

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.44 99.71 98.05 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
95.32 97.56 94.26 100.00 97.68 87.10


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
87.49 96.38 62.63 93.46 85.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_alert_test 100.00 100.00
u_avoutbuffer 100.00 100.00 100.00 100.00
u_avoutbuffer0_qe 100.00 100.00 100.00
u_avsetupbuffer 100.00 100.00 100.00 100.00
u_avsetupbuffer0_qe 100.00 100.00 100.00
u_chk 100.00 100.00 100.00 100.00
u_configin_0_buffer_0 100.00 100.00 100.00 100.00
u_configin_0_pend_0 97.22 100.00 91.67 100.00
u_configin_0_rdy_0 100.00 100.00 100.00 100.00
u_configin_0_size_0 100.00 100.00 100.00 100.00
u_configin_10_buffer_10 100.00 100.00 100.00 100.00
u_configin_10_pend_10 97.22 100.00 91.67 100.00
u_configin_10_rdy_10 100.00 100.00 100.00 100.00
u_configin_10_size_10 100.00 100.00 100.00 100.00
u_configin_11_buffer_11 100.00 100.00 100.00 100.00
u_configin_11_pend_11 97.22 100.00 91.67 100.00
u_configin_11_rdy_11 100.00 100.00 100.00 100.00
u_configin_11_size_11 100.00 100.00 100.00 100.00
u_configin_1_buffer_1 100.00 100.00 100.00 100.00
u_configin_1_pend_1 94.44 100.00 83.33 100.00
u_configin_1_rdy_1 100.00 100.00 100.00 100.00
u_configin_1_size_1 100.00 100.00 100.00 100.00
u_configin_2_buffer_2 100.00 100.00 100.00 100.00
u_configin_2_pend_2 97.22 100.00 91.67 100.00
u_configin_2_rdy_2 100.00 100.00 100.00 100.00
u_configin_2_size_2 100.00 100.00 100.00 100.00
u_configin_3_buffer_3 100.00 100.00 100.00 100.00
u_configin_3_pend_3 97.22 100.00 91.67 100.00
u_configin_3_rdy_3 100.00 100.00 100.00 100.00
u_configin_3_size_3 100.00 100.00 100.00 100.00
u_configin_4_buffer_4 100.00 100.00 100.00 100.00
u_configin_4_pend_4 97.22 100.00 91.67 100.00
u_configin_4_rdy_4 100.00 100.00 100.00 100.00
u_configin_4_size_4 100.00 100.00 100.00 100.00
u_configin_5_buffer_5 100.00 100.00 100.00 100.00
u_configin_5_pend_5 97.22 100.00 91.67 100.00
u_configin_5_rdy_5 100.00 100.00 100.00 100.00
u_configin_5_size_5 100.00 100.00 100.00 100.00
u_configin_6_buffer_6 100.00 100.00 100.00 100.00
u_configin_6_pend_6 94.44 100.00 83.33 100.00
u_configin_6_rdy_6 100.00 100.00 100.00 100.00
u_configin_6_size_6 100.00 100.00 100.00 100.00
u_configin_7_buffer_7 100.00 100.00 100.00 100.00
u_configin_7_pend_7 94.44 100.00 83.33 100.00
u_configin_7_rdy_7 100.00 100.00 100.00 100.00
u_configin_7_size_7 100.00 100.00 100.00 100.00
u_configin_8_buffer_8 100.00 100.00 100.00 100.00
u_configin_8_pend_8 97.22 100.00 91.67 100.00
u_configin_8_rdy_8 100.00 100.00 100.00 100.00
u_configin_8_size_8 100.00 100.00 100.00 100.00
u_configin_9_buffer_9 100.00 100.00 100.00 100.00
u_configin_9_pend_9 97.22 100.00 91.67 100.00
u_configin_9_rdy_9 100.00 100.00 100.00 100.00
u_configin_9_size_9 100.00 100.00 100.00 100.00
u_ep_in_enable_enable_0 100.00 100.00 100.00 100.00
u_ep_in_enable_enable_1 100.00 100.00 100.00 100.00
u_ep_in_enable_enable_10 100.00 100.00 100.00 100.00
u_ep_in_enable_enable_11 100.00 100.00 100.00 100.00
u_ep_in_enable_enable_2 100.00 100.00 100.00 100.00
u_ep_in_enable_enable_3 100.00 100.00 100.00 100.00
u_ep_in_enable_enable_4 100.00 100.00 100.00 100.00
u_ep_in_enable_enable_5 100.00 100.00 100.00 100.00
u_ep_in_enable_enable_6 100.00 100.00 100.00 100.00
u_ep_in_enable_enable_7 100.00 100.00 100.00 100.00
u_ep_in_enable_enable_8 100.00 100.00 100.00 100.00
u_ep_in_enable_enable_9 100.00 100.00 100.00 100.00
u_ep_out_enable_enable_0 100.00 100.00 100.00 100.00
u_ep_out_enable_enable_1 100.00 100.00 100.00 100.00
u_ep_out_enable_enable_10 100.00 100.00 100.00 100.00
u_ep_out_enable_enable_11 100.00 100.00 100.00 100.00
u_ep_out_enable_enable_2 100.00 100.00 100.00 100.00
u_ep_out_enable_enable_3 100.00 100.00 100.00 100.00
u_ep_out_enable_enable_4 100.00 100.00 100.00 100.00
u_ep_out_enable_enable_5 100.00 100.00 100.00 100.00
u_ep_out_enable_enable_6 100.00 100.00 100.00 100.00
u_ep_out_enable_enable_7 100.00 100.00 100.00 100.00
u_ep_out_enable_enable_8 100.00 100.00 100.00 100.00
u_ep_out_enable_enable_9 100.00 100.00 100.00 100.00
u_in_data_toggle_mask 60.00 60.00
u_in_data_toggle_status 100.00 100.00
u_in_iso_iso_0 100.00 100.00 100.00 100.00
u_in_iso_iso_1 100.00 100.00 100.00 100.00
u_in_iso_iso_10 100.00 100.00 100.00 100.00
u_in_iso_iso_11 100.00 100.00 100.00 100.00
u_in_iso_iso_2 100.00 100.00 100.00 100.00
u_in_iso_iso_3 100.00 100.00 100.00 100.00
u_in_iso_iso_4 100.00 100.00 100.00 100.00
u_in_iso_iso_5 100.00 100.00 100.00 100.00
u_in_iso_iso_6 100.00 100.00 100.00 100.00
u_in_iso_iso_7 100.00 100.00 100.00 100.00
u_in_iso_iso_8 100.00 100.00 100.00 100.00
u_in_iso_iso_9 100.00 100.00 100.00 100.00
u_in_sent_sent_0 100.00 100.00 100.00 100.00
u_in_sent_sent_1 100.00 100.00 100.00 100.00
u_in_sent_sent_10 100.00 100.00 100.00 100.00
u_in_sent_sent_11 100.00 100.00 100.00 100.00
u_in_sent_sent_2 100.00 100.00 100.00 100.00
u_in_sent_sent_3 100.00 100.00 100.00 100.00
u_in_sent_sent_4 100.00 100.00 100.00 100.00
u_in_sent_sent_5 100.00 100.00 100.00 100.00
u_in_sent_sent_6 100.00 100.00 100.00 100.00
u_in_sent_sent_7 100.00 100.00 100.00 100.00
u_in_sent_sent_8 100.00 100.00 100.00 100.00
u_in_sent_sent_9 100.00 100.00 100.00 100.00
u_in_stall_endpoint_0 100.00 100.00 100.00 100.00
u_in_stall_endpoint_1 96.30 100.00 88.89 100.00
u_in_stall_endpoint_10 96.30 100.00 88.89 100.00
u_in_stall_endpoint_11 96.30 100.00 88.89 100.00
u_in_stall_endpoint_2 96.30 100.00 88.89 100.00
u_in_stall_endpoint_3 96.30 100.00 88.89 100.00
u_in_stall_endpoint_4 96.30 100.00 88.89 100.00
u_in_stall_endpoint_5 96.30 100.00 88.89 100.00
u_in_stall_endpoint_6 96.30 100.00 88.89 100.00
u_in_stall_endpoint_7 96.30 100.00 88.89 100.00
u_in_stall_endpoint_8 96.30 100.00 88.89 100.00
u_in_stall_endpoint_9 96.30 100.00 88.89 100.00
u_intr_enable_av_out_empty 100.00 100.00 100.00 100.00
u_intr_enable_av_overflow 100.00 100.00 100.00 100.00
u_intr_enable_av_setup_empty 100.00 100.00 100.00 100.00
u_intr_enable_disconnected 100.00 100.00 100.00 100.00
u_intr_enable_frame 100.00 100.00 100.00 100.00
u_intr_enable_host_lost 100.00 100.00 100.00 100.00
u_intr_enable_link_in_err 100.00 100.00 100.00 100.00
u_intr_enable_link_out_err 100.00 100.00 100.00 100.00
u_intr_enable_link_reset 100.00 100.00 100.00 100.00
u_intr_enable_link_resume 100.00 100.00 100.00 100.00
u_intr_enable_link_suspend 100.00 100.00 100.00 100.00
u_intr_enable_pkt_received 100.00 100.00 100.00 100.00
u_intr_enable_pkt_sent 100.00 100.00 100.00 100.00
u_intr_enable_powered 100.00 100.00 100.00 100.00
u_intr_enable_rx_bitstuff_err 100.00 100.00 100.00 100.00
u_intr_enable_rx_crc_err 100.00 100.00 100.00 100.00
u_intr_enable_rx_full 100.00 100.00 100.00 100.00
u_intr_enable_rx_pid_err 100.00 100.00 100.00 100.00
u_intr_state_av_out_empty 62.59 77.78 50.00 60.00
u_intr_state_av_overflow 91.67 100.00 75.00 100.00
u_intr_state_av_setup_empty 62.59 77.78 50.00 60.00
u_intr_state_disconnected 88.89 100.00 66.67 100.00
u_intr_state_frame 91.67 100.00 75.00 100.00
u_intr_state_host_lost 91.67 100.00 75.00 100.00
u_intr_state_link_in_err 91.67 100.00 75.00 100.00
u_intr_state_link_out_err 91.67 100.00 75.00 100.00
u_intr_state_link_reset 91.67 100.00 75.00 100.00
u_intr_state_link_resume 91.67 100.00 75.00 100.00
u_intr_state_link_suspend 91.67 100.00 75.00 100.00
u_intr_state_pkt_received 62.59 77.78 50.00 60.00
u_intr_state_pkt_sent 62.59 77.78 50.00 60.00
u_intr_state_powered 91.67 100.00 75.00 100.00
u_intr_state_rx_bitstuff_err 91.67 100.00 75.00 100.00
u_intr_state_rx_crc_err 91.67 100.00 75.00 100.00
u_intr_state_rx_full 62.59 77.78 50.00 60.00
u_intr_state_rx_pid_err 91.67 100.00 75.00 100.00
u_intr_test_av_out_empty 100.00 100.00
u_intr_test_av_overflow 100.00 100.00
u_intr_test_av_setup_empty 100.00 100.00
u_intr_test_disconnected 100.00 100.00
u_intr_test_frame 100.00 100.00
u_intr_test_host_lost 100.00 100.00
u_intr_test_link_in_err 100.00 100.00
u_intr_test_link_out_err 100.00 100.00
u_intr_test_link_reset 100.00 100.00
u_intr_test_link_resume 100.00 100.00
u_intr_test_link_suspend 100.00 100.00
u_intr_test_pkt_received 100.00 100.00
u_intr_test_pkt_sent 100.00 100.00
u_intr_test_powered 100.00 100.00
u_intr_test_rx_bitstuff_err 100.00 100.00
u_intr_test_rx_crc_err 100.00 100.00
u_intr_test_rx_full 100.00 100.00
u_intr_test_rx_pid_err 100.00 100.00
u_out_data_toggle_mask 60.00 60.00
u_out_data_toggle_status 100.00 100.00
u_out_iso_iso_0 100.00 100.00 100.00 100.00
u_out_iso_iso_1 100.00 100.00 100.00 100.00
u_out_iso_iso_10 100.00 100.00 100.00 100.00
u_out_iso_iso_11 100.00 100.00 100.00 100.00
u_out_iso_iso_2 100.00 100.00 100.00 100.00
u_out_iso_iso_3 100.00 100.00 100.00 100.00
u_out_iso_iso_4 100.00 100.00 100.00 100.00
u_out_iso_iso_5 100.00 100.00 100.00 100.00
u_out_iso_iso_6 100.00 100.00 100.00 100.00
u_out_iso_iso_7 100.00 100.00 100.00 100.00
u_out_iso_iso_8 100.00 100.00 100.00 100.00
u_out_iso_iso_9 100.00 100.00 100.00 100.00
u_out_stall_endpoint_0 100.00 100.00 100.00 100.00
u_out_stall_endpoint_1 96.30 100.00 88.89 100.00
u_out_stall_endpoint_10 96.30 100.00 88.89 100.00
u_out_stall_endpoint_11 96.30 100.00 88.89 100.00
u_out_stall_endpoint_2 96.30 100.00 88.89 100.00
u_out_stall_endpoint_3 96.30 100.00 88.89 100.00
u_out_stall_endpoint_4 96.30 100.00 88.89 100.00
u_out_stall_endpoint_5 96.30 100.00 88.89 100.00
u_out_stall_endpoint_6 96.30 100.00 88.89 100.00
u_out_stall_endpoint_7 96.30 100.00 88.89 100.00
u_out_stall_endpoint_8 96.30 100.00 88.89 100.00
u_out_stall_endpoint_9 96.30 100.00 88.89 100.00
u_phy_config_eop_single_bit 100.00 100.00 100.00 100.00
u_phy_config_pinflip 100.00 100.00 100.00 100.00
u_phy_config_tx_osc_test_mode 100.00 100.00 100.00 100.00
u_phy_config_tx_use_d_se0 100.00 100.00 100.00 100.00
u_phy_config_usb_ref_disable 100.00 100.00 100.00 100.00
u_phy_config_use_diff_rcvr 100.00 100.00 100.00 100.00
u_phy_pins_drive_d_o 100.00 100.00 100.00 100.00
u_phy_pins_drive_dn_o 100.00 100.00 100.00 100.00
u_phy_pins_drive_dn_pullup_en_o 100.00 100.00 100.00 100.00
u_phy_pins_drive_dp_o 100.00 100.00 100.00 100.00
u_phy_pins_drive_dp_pullup_en_o 100.00 100.00 100.00 100.00
u_phy_pins_drive_en 100.00 100.00 100.00 100.00
u_phy_pins_drive_oe_o 100.00 100.00 100.00 100.00
u_phy_pins_drive_rx_enable_o 100.00 100.00 100.00 100.00
u_phy_pins_drive_se0_o 100.00 100.00 100.00 100.00
u_phy_pins_sense_pwr_sense 66.67 66.67
u_phy_pins_sense_rx_d_i 66.67 66.67
u_phy_pins_sense_rx_dn_i 66.67 66.67
u_phy_pins_sense_rx_dp_i 66.67 66.67
u_phy_pins_sense_tx_d_o 66.67 66.67
u_phy_pins_sense_tx_dn_o 66.67 66.67
u_phy_pins_sense_tx_dp_o 66.67 66.67
u_phy_pins_sense_tx_oe_o 66.67 66.67
u_phy_pins_sense_tx_se0_o 66.67 66.67
u_prim_reg_we_check 100.00 100.00 100.00
u_reg_if 98.39 97.14 96.43 100.00 100.00
u_rsp_intg_gen 100.00 100.00 100.00
u_rxenable_out_out_0 100.00 100.00 100.00 100.00
u_rxenable_out_out_1 100.00 100.00 100.00 100.00
u_rxenable_out_out_10 100.00 100.00 100.00 100.00
u_rxenable_out_out_11 100.00 100.00 100.00 100.00
u_rxenable_out_out_2 100.00 100.00 100.00 100.00
u_rxenable_out_out_3 100.00 100.00 100.00 100.00
u_rxenable_out_out_4 100.00 100.00 100.00 100.00
u_rxenable_out_out_5 100.00 100.00 100.00 100.00
u_rxenable_out_out_6 100.00 100.00 100.00 100.00
u_rxenable_out_out_7 100.00 100.00 100.00 100.00
u_rxenable_out_out_8 100.00 100.00 100.00 100.00
u_rxenable_out_out_9 100.00 100.00 100.00 100.00
u_rxenable_setup_setup_0 100.00 100.00 100.00 100.00
u_rxenable_setup_setup_1 100.00 100.00 100.00 100.00
u_rxenable_setup_setup_10 100.00 100.00 100.00 100.00
u_rxenable_setup_setup_11 100.00 100.00 100.00 100.00
u_rxenable_setup_setup_2 100.00 100.00 100.00 100.00
u_rxenable_setup_setup_3 100.00 100.00 100.00 100.00
u_rxenable_setup_setup_4 100.00 100.00 100.00 100.00
u_rxenable_setup_setup_5 100.00 100.00 100.00 100.00
u_rxenable_setup_setup_6 100.00 100.00 100.00 100.00
u_rxenable_setup_setup_7 100.00 100.00 100.00 100.00
u_rxenable_setup_setup_8 100.00 100.00 100.00 100.00
u_rxenable_setup_setup_9 100.00 100.00 100.00 100.00
u_rxfifo_buffer 100.00 100.00
u_rxfifo_ep 100.00 100.00
u_rxfifo_setup 100.00 100.00
u_rxfifo_size 100.00 100.00
u_set_nak_out_enable_0 100.00 100.00 100.00 100.00
u_set_nak_out_enable_1 100.00 100.00 100.00 100.00
u_set_nak_out_enable_10 100.00 100.00 100.00 100.00
u_set_nak_out_enable_11 100.00 100.00 100.00 100.00
u_set_nak_out_enable_2 100.00 100.00 100.00 100.00
u_set_nak_out_enable_3 100.00 100.00 100.00 100.00
u_set_nak_out_enable_4 100.00 100.00 100.00 100.00
u_set_nak_out_enable_5 100.00 100.00 100.00 100.00
u_set_nak_out_enable_6 100.00 100.00 100.00 100.00
u_set_nak_out_enable_7 100.00 100.00 100.00 100.00
u_set_nak_out_enable_8 100.00 100.00 100.00 100.00
u_set_nak_out_enable_9 100.00 100.00 100.00 100.00
u_socket 98.24 98.75 98.21 96.00 100.00
u_usbctrl0_qe 100.00 100.00 100.00
u_usbctrl_device_address 96.30 100.00 88.89 100.00
u_usbctrl_enable 100.00 100.00 100.00 100.00
u_usbctrl_resume_link_active 100.00 100.00 100.00 100.00
u_usbstat_av_out_depth 66.67 66.67
u_usbstat_av_out_full 66.67 66.67
u_usbstat_av_setup_depth 66.67 66.67
u_usbstat_av_setup_full 66.67 66.67
u_usbstat_frame 66.67 66.67
u_usbstat_host_lost 66.67 66.67
u_usbstat_link_state 66.67 66.67
u_usbstat_rx_depth 66.67 66.67
u_usbstat_rx_empty 66.67 66.67
u_usbstat_sense 66.67 66.67
u_wake_control_cdc 98.13 96.08 96.43 100.00 100.00
u_wake_control_suspend_req 100.00 100.00
u_wake_control_wake_ack 100.00 100.00
u_wake_events_bus_reset 58.89 66.67 50.00 60.00
u_wake_events_cdc 45.74 76.56 25.00 61.40 20.00
u_wake_events_disconnected 58.89 66.67 50.00 60.00
u_wake_events_module_active 58.89 66.67 50.00 60.00


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : usbdev_reg_top
Line No.TotalCoveredPercent
TOTAL70069899.71
ALWAYS7544100.00
CONT_ASSIGN8411100.00
CONT_ASSIGN10211100.00
CONT_ASSIGN10311100.00
CONT_ASSIGN10511100.00
CONT_ASSIGN10611100.00
ALWAYS13233100.00
CONT_ASSIGN16911100.00
CONT_ASSIGN17011100.00
ALWAYS717100.00
CONT_ASSIGN74411100.00
ALWAYS75888100.00
CONT_ASSIGN177311100.00
CONT_ASSIGN178811100.00
CONT_ASSIGN180411100.00
CONT_ASSIGN182011100.00
CONT_ASSIGN183611100.00
CONT_ASSIGN185211100.00
CONT_ASSIGN186811100.00
CONT_ASSIGN188411100.00
CONT_ASSIGN190011100.00
CONT_ASSIGN191611100.00
CONT_ASSIGN193211100.00
CONT_ASSIGN194811100.00
CONT_ASSIGN196411100.00
CONT_ASSIGN198011100.00
CONT_ASSIGN199611100.00
CONT_ASSIGN201211100.00
CONT_ASSIGN202811100.00
CONT_ASSIGN204411100.00
CONT_ASSIGN206011100.00
CONT_ASSIGN206611100.00
CONT_ASSIGN208011100.00
CONT_ASSIGN214811100.00
CONT_ASSIGN302111100.00
CONT_ASSIGN306111100.00
CONT_ASSIGN707711100.00
CONT_ASSIGN709211100.00
CONT_ASSIGN710811100.00
CONT_ASSIGN711411100.00
CONT_ASSIGN712911100.00
CONT_ASSIGN714511100.00
CONT_ASSIGN769711100.00
CONT_ASSIGN771211100.00
CONT_ASSIGN772811100.00
CONT_ASSIGN7733100.00
ALWAYS78193939100.00
CONT_ASSIGN786011100.00
ALWAYS786411100.00
CONT_ASSIGN790611100.00
CONT_ASSIGN790811100.00
CONT_ASSIGN791011100.00
CONT_ASSIGN791211100.00
CONT_ASSIGN791411100.00
CONT_ASSIGN791611100.00
CONT_ASSIGN791811100.00
CONT_ASSIGN792011100.00
CONT_ASSIGN792211100.00
CONT_ASSIGN792411100.00
CONT_ASSIGN792611100.00
CONT_ASSIGN792811100.00
CONT_ASSIGN793011100.00
CONT_ASSIGN793211100.00
CONT_ASSIGN793311100.00
CONT_ASSIGN793511100.00
CONT_ASSIGN793711100.00
CONT_ASSIGN793911100.00
CONT_ASSIGN794111100.00
CONT_ASSIGN794311100.00
CONT_ASSIGN794511100.00
CONT_ASSIGN794711100.00
CONT_ASSIGN794911100.00
CONT_ASSIGN795111100.00
CONT_ASSIGN795311100.00
CONT_ASSIGN795511100.00
CONT_ASSIGN795711100.00
CONT_ASSIGN795911100.00
CONT_ASSIGN796111100.00
CONT_ASSIGN796311100.00
CONT_ASSIGN796511100.00
CONT_ASSIGN796711100.00
CONT_ASSIGN796911100.00
CONT_ASSIGN797011100.00
CONT_ASSIGN797211100.00
CONT_ASSIGN797411100.00
CONT_ASSIGN797611100.00
CONT_ASSIGN797811100.00
CONT_ASSIGN798011100.00
CONT_ASSIGN798211100.00
CONT_ASSIGN798411100.00
CONT_ASSIGN798611100.00
CONT_ASSIGN798811100.00
CONT_ASSIGN799011100.00
CONT_ASSIGN799211100.00
CONT_ASSIGN799411100.00
CONT_ASSIGN799611100.00
CONT_ASSIGN799811100.00
CONT_ASSIGN800011100.00
CONT_ASSIGN800211100.00
CONT_ASSIGN800411100.00
CONT_ASSIGN800611100.00
CONT_ASSIGN800711100.00
CONT_ASSIGN800911100.00
CONT_ASSIGN801011100.00
CONT_ASSIGN801211100.00
CONT_ASSIGN801411100.00
CONT_ASSIGN801611100.00
CONT_ASSIGN801711100.00
CONT_ASSIGN801911100.00
CONT_ASSIGN802111100.00
CONT_ASSIGN802311100.00
CONT_ASSIGN802511100.00
CONT_ASSIGN802711100.00
CONT_ASSIGN802911100.00
CONT_ASSIGN803111100.00
CONT_ASSIGN803311100.00
CONT_ASSIGN803511100.00
CONT_ASSIGN803711100.00
CONT_ASSIGN803911100.00
CONT_ASSIGN804111100.00
CONT_ASSIGN804211100.00
CONT_ASSIGN804411100.00
CONT_ASSIGN804611100.00
CONT_ASSIGN804811100.00
CONT_ASSIGN805011100.00
CONT_ASSIGN805211100.00
CONT_ASSIGN805411100.00
CONT_ASSIGN805611100.00
CONT_ASSIGN805811100.00
CONT_ASSIGN806011100.00
CONT_ASSIGN806211100.00
CONT_ASSIGN806411100.00
CONT_ASSIGN806611100.00
CONT_ASSIGN806711100.00
CONT_ASSIGN806811100.00
CONT_ASSIGN807011100.00
CONT_ASSIGN807111100.00
CONT_ASSIGN807311100.00
CONT_ASSIGN807411100.00
CONT_ASSIGN807511100.00
CONT_ASSIGN807711100.00
CONT_ASSIGN807911100.00
CONT_ASSIGN808111100.00
CONT_ASSIGN808311100.00
CONT_ASSIGN808511100.00
CONT_ASSIGN808711100.00
CONT_ASSIGN808911100.00
CONT_ASSIGN809111100.00
CONT_ASSIGN809311100.00
CONT_ASSIGN809511100.00
CONT_ASSIGN809711100.00
CONT_ASSIGN809911100.00
CONT_ASSIGN810011100.00
CONT_ASSIGN810211100.00
CONT_ASSIGN810411100.00
CONT_ASSIGN810611100.00
CONT_ASSIGN810811100.00
CONT_ASSIGN811011100.00
CONT_ASSIGN811211100.00
CONT_ASSIGN811411100.00
CONT_ASSIGN811611100.00
CONT_ASSIGN811811100.00
CONT_ASSIGN812011100.00
CONT_ASSIGN812211100.00
CONT_ASSIGN812411100.00
CONT_ASSIGN812511100.00
CONT_ASSIGN812711100.00
CONT_ASSIGN812911100.00
CONT_ASSIGN813111100.00
CONT_ASSIGN813311100.00
CONT_ASSIGN813511100.00
CONT_ASSIGN813711100.00
CONT_ASSIGN813911100.00
CONT_ASSIGN814111100.00
CONT_ASSIGN814311100.00
CONT_ASSIGN814511100.00
CONT_ASSIGN814711100.00
CONT_ASSIGN814911100.00
CONT_ASSIGN815011100.00
CONT_ASSIGN815211100.00
CONT_ASSIGN815411100.00
CONT_ASSIGN815611100.00
CONT_ASSIGN815811100.00
CONT_ASSIGN816011100.00
CONT_ASSIGN816211100.00
CONT_ASSIGN816411100.00
CONT_ASSIGN816611100.00
CONT_ASSIGN816811100.00
CONT_ASSIGN817011100.00
CONT_ASSIGN817211100.00
CONT_ASSIGN817411100.00
CONT_ASSIGN817511100.00
CONT_ASSIGN817711100.00
CONT_ASSIGN817911100.00
CONT_ASSIGN818111100.00
CONT_ASSIGN818311100.00
CONT_ASSIGN818511100.00
CONT_ASSIGN818711100.00
CONT_ASSIGN818911100.00
CONT_ASSIGN819111100.00
CONT_ASSIGN819311100.00
CONT_ASSIGN819511100.00
CONT_ASSIGN819711100.00
CONT_ASSIGN819911100.00
CONT_ASSIGN820011100.00
CONT_ASSIGN820211100.00
CONT_ASSIGN820411100.00
CONT_ASSIGN820611100.00
CONT_ASSIGN820811100.00
CONT_ASSIGN821011100.00
CONT_ASSIGN821211100.00
CONT_ASSIGN821411100.00
CONT_ASSIGN821611100.00
CONT_ASSIGN821811100.00
CONT_ASSIGN822011100.00
CONT_ASSIGN822211100.00
CONT_ASSIGN822411100.00
CONT_ASSIGN822511100.00
CONT_ASSIGN822711100.00
CONT_ASSIGN822911100.00
CONT_ASSIGN823111100.00
CONT_ASSIGN823311100.00
CONT_ASSIGN823411100.00
CONT_ASSIGN823611100.00
CONT_ASSIGN823811100.00
CONT_ASSIGN824011100.00
CONT_ASSIGN824211100.00
CONT_ASSIGN824311100.00
CONT_ASSIGN824511100.00
CONT_ASSIGN824711100.00
CONT_ASSIGN824911100.00
CONT_ASSIGN825111100.00
CONT_ASSIGN825211100.00
CONT_ASSIGN825411100.00
CONT_ASSIGN825611100.00
CONT_ASSIGN825811100.00
CONT_ASSIGN826011100.00
CONT_ASSIGN826111100.00
CONT_ASSIGN826311100.00
CONT_ASSIGN826511100.00
CONT_ASSIGN826711100.00
CONT_ASSIGN826911100.00
CONT_ASSIGN827011100.00
CONT_ASSIGN827211100.00
CONT_ASSIGN827411100.00
CONT_ASSIGN827611100.00
CONT_ASSIGN827811100.00
CONT_ASSIGN827911100.00
CONT_ASSIGN828111100.00
CONT_ASSIGN828311100.00
CONT_ASSIGN828511100.00
CONT_ASSIGN828711100.00
CONT_ASSIGN828811100.00
CONT_ASSIGN829011100.00
CONT_ASSIGN829211100.00
CONT_ASSIGN829411100.00
CONT_ASSIGN829611100.00
CONT_ASSIGN829711100.00
CONT_ASSIGN829911100.00
CONT_ASSIGN830111100.00
CONT_ASSIGN830311100.00
CONT_ASSIGN830511100.00
CONT_ASSIGN830611100.00
CONT_ASSIGN830811100.00
CONT_ASSIGN831011100.00
CONT_ASSIGN831211100.00
CONT_ASSIGN831411100.00
CONT_ASSIGN831511100.00
CONT_ASSIGN831711100.00
CONT_ASSIGN831911100.00
CONT_ASSIGN832111100.00
CONT_ASSIGN832311100.00
CONT_ASSIGN832411100.00
CONT_ASSIGN832611100.00
CONT_ASSIGN832811100.00
CONT_ASSIGN833011100.00
CONT_ASSIGN833211100.00
CONT_ASSIGN833311100.00
CONT_ASSIGN833511100.00
CONT_ASSIGN833711100.00
CONT_ASSIGN833911100.00
CONT_ASSIGN834111100.00
CONT_ASSIGN834311100.00
CONT_ASSIGN834511100.00
CONT_ASSIGN834711100.00
CONT_ASSIGN834911100.00
CONT_ASSIGN835111100.00
CONT_ASSIGN835311100.00
CONT_ASSIGN835511100.00
CONT_ASSIGN835711100.00
CONT_ASSIGN835811100.00
CONT_ASSIGN836011100.00
CONT_ASSIGN836211100.00
CONT_ASSIGN836411100.00
CONT_ASSIGN836611100.00
CONT_ASSIGN836811100.00
CONT_ASSIGN837011100.00
CONT_ASSIGN837211100.00
CONT_ASSIGN837411100.00
CONT_ASSIGN837611100.00
CONT_ASSIGN837811100.00
CONT_ASSIGN838011100.00
CONT_ASSIGN838211100.00
CONT_ASSIGN838311100.00
CONT_ASSIGN838411100.00
CONT_ASSIGN838611100.00
CONT_ASSIGN838811100.00
CONT_ASSIGN838911100.00
CONT_ASSIGN839011100.00
CONT_ASSIGN839211100.00
CONT_ASSIGN839411100.00
CONT_ASSIGN839511100.00
CONT_ASSIGN839611100.00
CONT_ASSIGN839811100.00
CONT_ASSIGN840011100.00
CONT_ASSIGN840211100.00
CONT_ASSIGN840411100.00
CONT_ASSIGN840611100.00
CONT_ASSIGN840811100.00
CONT_ASSIGN841011100.00
CONT_ASSIGN841211100.00
CONT_ASSIGN841411100.00
CONT_ASSIGN841511100.00
CONT_ASSIGN841711100.00
CONT_ASSIGN841911100.00
CONT_ASSIGN842111100.00
CONT_ASSIGN842311100.00
CONT_ASSIGN842511100.00
CONT_ASSIGN842711100.00
CONT_ASSIGN842811100.00
ALWAYS84343939100.00
ALWAYS8477274274100.00
CONT_ASSIGN887511100.00
ALWAYS887744100.00
CONT_ASSIGN889811100.00
CONT_ASSIGN889911100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_usbdev_0.1/rtl/usbdev_reg_top.sv' or '../src/lowrisc_ip_usbdev_0.1/rtl/usbdev_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
75 1 1
76 1 1
77 1 1
78 1 1
MISSING_ELSE
84 1 1
102 1 1
103 1 1
105 1 1
106 1 1
132 1 1
138 1 1
139 1 1
MISSING_ELSE
169 1 1
170 1 1
717 0 1
744 1 1
758 1 1
759 1 1
760 1 1
761 1 1
762 1 1
763 1 1
764 1 1
765 1 1
1773 1 1
1788 1 1
1804 1 1
1820 1 1
1836 1 1
1852 1 1
1868 1 1
1884 1 1
1900 1 1
1916 1 1
1932 1 1
1948 1 1
1964 1 1
1980 1 1
1996 1 1
2012 1 1
2028 1 1
2044 1 1
2060 1 1
2066 1 1
2080 1 1
2148 1 1
3021 1 1
3061 1 1
7077 1 1
7092 1 1
7108 1 1
7114 1 1
7129 1 1
7145 1 1
7697 1 1
7712 1 1
7728 1 1
7733 0 1
7819 1 1
7820 1 1
7821 1 1
7822 1 1
7823 1 1
7824 1 1
7825 1 1
7826 1 1
7827 1 1
7828 1 1
7829 1 1
7830 1 1
7831 1 1
7832 1 1
7833 1 1
7834 1 1
7835 1 1
7836 1 1
7837 1 1
7838 1 1
7839 1 1
7840 1 1
7841 1 1
7842 1 1
7843 1 1
7844 1 1
7845 1 1
7846 1 1
7847 1 1
7848 1 1
7849 1 1
7850 1 1
7851 1 1
7852 1 1
7853 1 1
7854 1 1
7855 1 1
7856 1 1
7857 1 1
7860 1 1
7864 1 1
7906 1 1
7908 1 1
7910 1 1
7912 1 1
7914 1 1
7916 1 1
7918 1 1
7920 1 1
7922 1 1
7924 1 1
7926 1 1
7928 1 1
7930 1 1
7932 1 1
7933 1 1
7935 1 1
7937 1 1
7939 1 1
7941 1 1
7943 1 1
7945 1 1
7947 1 1
7949 1 1
7951 1 1
7953 1 1
7955 1 1
7957 1 1
7959 1 1
7961 1 1
7963 1 1
7965 1 1
7967 1 1
7969 1 1
7970 1 1
7972 1 1
7974 1 1
7976 1 1
7978 1 1
7980 1 1
7982 1 1
7984 1 1
7986 1 1
7988 1 1
7990 1 1
7992 1 1
7994 1 1
7996 1 1
7998 1 1
8000 1 1
8002 1 1
8004 1 1
8006 1 1
8007 1 1
8009 1 1
8010 1 1
8012 1 1
8014 1 1
8016 1 1
8017 1 1
8019 1 1
8021 1 1
8023 1 1
8025 1 1
8027 1 1
8029 1 1
8031 1 1
8033 1 1
8035 1 1
8037 1 1
8039 1 1
8041 1 1
8042 1 1
8044 1 1
8046 1 1
8048 1 1
8050 1 1
8052 1 1
8054 1 1
8056 1 1
8058 1 1
8060 1 1
8062 1 1
8064 1 1
8066 1 1
8067 1 1
8068 1 1
8070 1 1
8071 1 1
8073 1 1
8074 1 1
8075 1 1
8077 1 1
8079 1 1
8081 1 1
8083 1 1
8085 1 1
8087 1 1
8089 1 1
8091 1 1
8093 1 1
8095 1 1
8097 1 1
8099 1 1
8100 1 1
8102 1 1
8104 1 1
8106 1 1
8108 1 1
8110 1 1
8112 1 1
8114 1 1
8116 1 1
8118 1 1
8120 1 1
8122 1 1
8124 1 1
8125 1 1
8127 1 1
8129 1 1
8131 1 1
8133 1 1
8135 1 1
8137 1 1
8139 1 1
8141 1 1
8143 1 1
8145 1 1
8147 1 1
8149 1 1
8150 1 1
8152 1 1
8154 1 1
8156 1 1
8158 1 1
8160 1 1
8162 1 1
8164 1 1
8166 1 1
8168 1 1
8170 1 1
8172 1 1
8174 1 1
8175 1 1
8177 1 1
8179 1 1
8181 1 1
8183 1 1
8185 1 1
8187 1 1
8189 1 1
8191 1 1
8193 1 1
8195 1 1
8197 1 1
8199 1 1
8200 1 1
8202 1 1
8204 1 1
8206 1 1
8208 1 1
8210 1 1
8212 1 1
8214 1 1
8216 1 1
8218 1 1
8220 1 1
8222 1 1
8224 1 1
8225 1 1
8227 1 1
8229 1 1
8231 1 1
8233 1 1
8234 1 1
8236 1 1
8238 1 1
8240 1 1
8242 1 1
8243 1 1
8245 1 1
8247 1 1
8249 1 1
8251 1 1
8252 1 1
8254 1 1
8256 1 1
8258 1 1
8260 1 1
8261 1 1
8263 1 1
8265 1 1
8267 1 1
8269 1 1
8270 1 1
8272 1 1
8274 1 1
8276 1 1
8278 1 1
8279 1 1
8281 1 1
8283 1 1
8285 1 1
8287 1 1
8288 1 1
8290 1 1
8292 1 1
8294 1 1
8296 1 1
8297 1 1
8299 1 1
8301 1 1
8303 1 1
8305 1 1
8306 1 1
8308 1 1
8310 1 1
8312 1 1
8314 1 1
8315 1 1
8317 1 1
8319 1 1
8321 1 1
8323 1 1
8324 1 1
8326 1 1
8328 1 1
8330 1 1
8332 1 1
8333 1 1
8335 1 1
8337 1 1
8339 1 1
8341 1 1
8343 1 1
8345 1 1
8347 1 1
8349 1 1
8351 1 1
8353 1 1
8355 1 1
8357 1 1
8358 1 1
8360 1 1
8362 1 1
8364 1 1
8366 1 1
8368 1 1
8370 1 1
8372 1 1
8374 1 1
8376 1 1
8378 1 1
8380 1 1
8382 1 1
8383 1 1
8384 1 1
8386 1 1
8388 1 1
8389 1 1
8390 1 1
8392 1 1
8394 1 1
8395 1 1
8396 1 1
8398 1 1
8400 1 1
8402 1 1
8404 1 1
8406 1 1
8408 1 1
8410 1 1
8412 1 1
8414 1 1
8415 1 1
8417 1 1
8419 1 1
8421 1 1
8423 1 1
8425 1 1
8427 1 1
8428 1 1
8434 1 1
8435 1 1
8436 1 1
8437 1 1
8438 1 1
8439 1 1
8440 1 1
8441 1 1
8442 1 1
8443 1 1
8444 1 1
8445 1 1
8446 1 1
8447 1 1
8448 1 1
8449 1 1
8450 1 1
8451 1 1
8452 1 1
8453 1 1
8454 1 1
8455 1 1
8456 1 1
8457 1 1
8458 1 1
8459 1 1
8460 1 1
8461 1 1
8462 1 1
8463 1 1
8464 1 1
8465 1 1
8466 1 1
8467 1 1
8468 1 1
8469 1 1
8470 1 1
8471 1 1
8472 1 1
8477 1 1
8478 1 1
8480 1 1
8481 1 1
8482 1 1
8483 1 1
8484 1 1
8485 1 1
8486 1 1
8487 1 1
8488 1 1
8489 1 1
8490 1 1
8491 1 1
8492 1 1
8493 1 1
8494 1 1
8495 1 1
8496 1 1
8497 1 1
8501 1 1
8502 1 1
8503 1 1
8504 1 1
8505 1 1
8506 1 1
8507 1 1
8508 1 1
8509 1 1
8510 1 1
8511 1 1
8512 1 1
8513 1 1
8514 1 1
8515 1 1
8516 1 1
8517 1 1
8518 1 1
8522 1 1
8523 1 1
8524 1 1
8525 1 1
8526 1 1
8527 1 1
8528 1 1
8529 1 1
8530 1 1
8531 1 1
8532 1 1
8533 1 1
8534 1 1
8535 1 1
8536 1 1
8537 1 1
8538 1 1
8539 1 1
8543 1 1
8547 1 1
8548 1 1
8549 1 1
8553 1 1
8554 1 1
8555 1 1
8556 1 1
8557 1 1
8558 1 1
8559 1 1
8560 1 1
8561 1 1
8562 1 1
8563 1 1
8564 1 1
8568 1 1
8569 1 1
8570 1 1
8571 1 1
8572 1 1
8573 1 1
8574 1 1
8575 1 1
8576 1 1
8577 1 1
8578 1 1
8579 1 1
8583 1 1
8584 1 1
8585 1 1
8586 1 1
8587 1 1
8588 1 1
8589 1 1
8590 1 1
8591 1 1
8592 1 1
8596 1 1
8600 1 1
8604 1 1
8605 1 1
8606 1 1
8607 1 1
8611 1 1
8612 1 1
8613 1 1
8614 1 1
8615 1 1
8616 1 1
8617 1 1
8618 1 1
8619 1 1
8620 1 1
8621 1 1
8622 1 1
8626 1 1
8627 1 1
8628 1 1
8629 1 1
8630 1 1
8631 1 1
8632 1 1
8633 1 1
8634 1 1
8635 1 1
8636 1 1
8637 1 1
8641 1 1
8642 1 1
8643 1 1
8644 1 1
8645 1 1
8646 1 1
8647 1 1
8648 1 1
8649 1 1
8650 1 1
8651 1 1
8652 1 1
8656 1 1
8657 1 1
8658 1 1
8659 1 1
8660 1 1
8661 1 1
8662 1 1
8663 1 1
8664 1 1
8665 1 1
8666 1 1
8667 1 1
8671 1 1
8672 1 1
8673 1 1
8674 1 1
8675 1 1
8676 1 1
8677 1 1
8678 1 1
8679 1 1
8680 1 1
8681 1 1
8682 1 1
8686 1 1
8687 1 1
8688 1 1
8689 1 1
8690 1 1
8691 1 1
8692 1 1
8693 1 1
8694 1 1
8695 1 1
8696 1 1
8697 1 1
8701 1 1
8702 1 1
8703 1 1
8704 1 1
8708 1 1
8709 1 1
8710 1 1
8711 1 1
8715 1 1
8716 1 1
8717 1 1
8718 1 1
8722 1 1
8723 1 1
8724 1 1
8725 1 1
8729 1 1
8730 1 1
8731 1 1
8732 1 1
8736 1 1
8737 1 1
8738 1 1
8739 1 1
8743 1 1
8744 1 1
8745 1 1
8746 1 1
8750 1 1
8751 1 1
8752 1 1
8753 1 1
8757 1 1
8758 1 1
8759 1 1
8760 1 1
8764 1 1
8765 1 1
8766 1 1
8767 1 1
8771 1 1
8772 1 1
8773 1 1
8774 1 1
8778 1 1
8779 1 1
8780 1 1
8781 1 1
8785 1 1
8786 1 1
8787 1 1
8788 1 1
8789 1 1
8790 1 1
8791 1 1
8792 1 1
8793 1 1
8794 1 1
8795 1 1
8796 1 1
8800 1 1
8801 1 1
8802 1 1
8803 1 1
8804 1 1
8805 1 1
8806 1 1
8807 1 1
8808 1 1
8809 1 1
8810 1 1
8811 1 1
8815 1 1
8816 1 1
8820 1 1
8821 1 1
8825 1 1
8826 1 1
8827 1 1
8828 1 1
8829 1 1
8830 1 1
8831 1 1
8832 1 1
8833 1 1
8837 1 1
8838 1 1
8839 1 1
8840 1 1
8841 1 1
8842 1 1
8843 1 1
8844 1 1
8845 1 1
8849 1 1
8850 1 1
8851 1 1
8852 1 1
8853 1 1
8854 1 1
8858 1 1
8861 1 1
8875 1 1
8877 1 1
8878 1 1
8880 1 1
8883 1 1
8898 1 1
8899 1 1


Cond Coverage for Module : usbdev_reg_top
TotalCoveredPercent
Conditions41140398.05
Logical41140398.05
Non-Logical00
Event00

 LINE       65
 EXPRESSION (reg_we && ((!addrmiss)))
             ---1--    ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT37,T124,T136
11CoveredT1,T2,T3

 LINE       77
 EXPRESSION (intg_err || reg_we_err)
             ----1---    -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT40,T41,T42
10CoveredT137,T138,T139

 LINE       84
 EXPRESSION (err_q | intg_err | reg_we_err)
             --1--   ----2---   -----3----
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT40,T41,T42
010CoveredT137,T138,T139
100CoveredT40,T41,T42

 LINE       132
 EXPRESSION ((tl_i.a_address[(AW - 1):0] inside {[2048:4095]}) ? 1'b0 : 1'b1)
             ------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T3,T7

 LINE       170
 EXPRESSION (addrmiss | wr_err | intg_err)
             ----1---   ---2--   ----3---
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT137,T138,T139
010CoveredT37,T39,T47
100CoveredT37,T39,T124

 LINE       7820
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_INTR_STATE_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       7821
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_INTR_ENABLE_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T4,T5

 LINE       7822
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_INTR_TEST_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT140,T37,T38

 LINE       7823
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_ALERT_TEST_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT37,T38,T48

 LINE       7824
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_USBCTRL_OFFSET)
            -------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       7825
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_EP_OUT_ENABLE_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       7826
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_EP_IN_ENABLE_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT5,T12,T13

 LINE       7827
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_USBSTAT_OFFSET)
            -------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT37,T38,T48

 LINE       7828
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_AVOUTBUFFER_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T3,T5

 LINE       7829
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_AVSETUPBUFFER_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T4,T6

 LINE       7830
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_RXFIFO_OFFSET)
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       7831
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_RXENABLE_SETUP_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T4,T6

 LINE       7832
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_RXENABLE_OUT_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T3,T5

 LINE       7833
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_SET_NAK_OUT_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT8,T9,T10

 LINE       7834
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_SENT_OFFSET)
            -------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT5,T12,T13

 LINE       7835
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_OUT_STALL_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT141,T37,T38

 LINE       7836
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_STALL_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT37,T38,T48

 LINE       7837
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_0_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT95,T96,T22

 LINE       7838
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_1_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT65,T97,T98

 LINE       7839
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_2_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT12,T15,T99

 LINE       7840
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_3_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT26,T100,T108

 LINE       7841
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_4_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT102,T103,T104

 LINE       7842
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_5_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT59,T105,T106

 LINE       7843
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_6_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT58,T107,T23

 LINE       7844
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_7_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT33,T62,T108

 LINE       7845
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_8_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT111,T112,T113

 LINE       7846
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_9_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT5,T114,T22

 LINE       7847
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_10_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT21,T27,T116

 LINE       7848
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_11_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT13,T117,T118

 LINE       7849
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_OUT_ISO_OFFSET)
            -------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT37,T38,T48

 LINE       7850
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_ISO_OFFSET)
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT37,T38,T48

 LINE       7851
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_OUT_DATA_TOGGLE_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT22,T37,T38

 LINE       7852
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_DATA_TOGGLE_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT22,T24,T142

 LINE       7853
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_PHY_PINS_SENSE_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT37,T38,T48

 LINE       7854
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_PHY_PINS_DRIVE_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT37,T38,T48

 LINE       7855
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_PHY_CONFIG_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT86,T143,T37

 LINE       7856
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_WAKE_CONTROL_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT26,T144,T37

 LINE       7857
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_WAKE_EVENTS_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT37,T38,T48

 LINE       7860
 EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
             ---------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T2,T3

 LINE       7860
 SUB-EXPRESSION (reg_re || reg_we)
                 ---1--    ---2--
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT1,T2,T3
10CoveredT1,T2,T3

 LINE       7864
 EXPRESSION 
 Number  Term
      1  reg_we & 
      2  ((addr_hit[0] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[1] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[2] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | (addr_hit[4] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[5] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[6] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1 & (~reg_be))))) | (addr_hit[9] & ((|(4'b1 & (~reg_be))))) | (addr_hit[10] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[11] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[12] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[13] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[14] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[15] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[16] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[17] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[18] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[19] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[20] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[21] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[22] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[23] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[26] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[27] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[28] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[29] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[30] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[31] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[32] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[33] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[34] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[35] & ((|(4'b1 & (~reg_be))))) | (addr_hit[36] & ((|(4'b1 & (~reg_be))))) | (addr_hit[37] & ((|(4'b0011 & (~reg_be)))))))
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT37,T39,T47

 LINE       7864
 SUB-EXPRESSION 
 Number  Term
      1  (addr_hit[0] & ((|(4'b0111 & (~reg_be))))) | 
      2  (addr_hit[1] & ((|(4'b0111 & (~reg_be))))) | 
      3  (addr_hit[2] & ((|(4'b0111 & (~reg_be))))) | 
      4  (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | 
      5  (addr_hit[4] & ((|(4'b0111 & (~reg_be))))) | 
      6  (addr_hit[5] & ((|(4'b0011 & (~reg_be))))) | 
      7  (addr_hit[6] & ((|(4'b0011 & (~reg_be))))) | 
      8  (addr_hit[7] & ((|(4'b1111 & (~reg_be))))) | 
      9  (addr_hit[8] & ((|(4'b1 & (~reg_be))))) | 
     10  (addr_hit[9] & ((|(4'b1 & (~reg_be))))) | 
     11  (addr_hit[10] & ((|(4'b0111 & (~reg_be))))) | 
     12  (addr_hit[11] & ((|(4'b0011 & (~reg_be))))) | 
     13  (addr_hit[12] & ((|(4'b0011 & (~reg_be))))) | 
     14  (addr_hit[13] & ((|(4'b0011 & (~reg_be))))) | 
     15  (addr_hit[14] & ((|(4'b0011 & (~reg_be))))) | 
     16  (addr_hit[15] & ((|(4'b0011 & (~reg_be))))) | 
     17  (addr_hit[16] & ((|(4'b0011 & (~reg_be))))) | 
     18  (addr_hit[17] & ((|(4'b1111 & (~reg_be))))) | 
     19  (addr_hit[18] & ((|(4'b1111 & (~reg_be))))) | 
     20  (addr_hit[19] & ((|(4'b1111 & (~reg_be))))) | 
     21  (addr_hit[20] & ((|(4'b1111 & (~reg_be))))) | 
     22  (addr_hit[21] & ((|(4'b1111 & (~reg_be))))) | 
     23  (addr_hit[22] & ((|(4'b1111 & (~reg_be))))) | 
     24  (addr_hit[23] & ((|(4'b1111 & (~reg_be))))) | 
     25  (addr_hit[24] & ((|(4'b1111 & (~reg_be))))) | 
     26  (addr_hit[25] & ((|(4'b1111 & (~reg_be))))) | 
     27  (addr_hit[26] & ((|(4'b1111 & (~reg_be))))) | 
     28  (addr_hit[27] & ((|(4'b1111 & (~reg_be))))) | 
     29  (addr_hit[28] & ((|(4'b1111 & (~reg_be))))) | 
     30  (addr_hit[29] & ((|(4'b0011 & (~reg_be))))) | 
     31  (addr_hit[30] & ((|(4'b0011 & (~reg_be))))) | 
     32  (addr_hit[31] & ((|(4'b1111 & (~reg_be))))) | 
     33  (addr_hit[32] & ((|(4'b1111 & (~reg_be))))) | 
     34  (addr_hit[33] & ((|(4'b0111 & (~reg_be))))) | 
     35  (addr_hit[34] & ((|(4'b0111 & (~reg_be))))) | 
     36  (addr_hit[35] & ((|(4'b1 & (~reg_be))))) | 
     37  (addr_hit[36] & ((|(4'b1 & (~reg_be))))) | 
     38  (addr_hit[37] & ((|(4'b0011 & (~reg_be))))))
Sensitive Expression == 1StatusTests
ALL ZEROSCoveredT1,T2,T3
38 (addr_hit[37] & ((|(4'...CoveredT37,T38,T48
37 (addr_hit[36] & ((|(4'...CoveredT37,T49,T39
36 (addr_hit[35] & ((|(4'...CoveredT86,T37,T39
35 (addr_hit[34] & ((|(4'...CoveredT37,T38,T48
34 (addr_hit[33] & ((|(4'...CoveredT37,T39,T46
33 (addr_hit[32] & ((|(4'...CoveredT22,T24,T142
32 (addr_hit[31] & ((|(4'...CoveredT22,T37,T39
31 (addr_hit[30] & ((|(4'...CoveredT37,T38,T48
30 (addr_hit[29] & ((|(4'...CoveredT37,T38,T48
29 (addr_hit[28] & ((|(4'...CoveredT37,T38,T48
28 (addr_hit[27] & ((|(4'...CoveredT145,T146,T147
27 (addr_hit[26] & ((|(4'...CoveredT22,T148,T149
26 (addr_hit[25] & ((|(4'...CoveredT37,T38,T48
25 (addr_hit[24] & ((|(4'...CoveredT33,T37,T38
24 (addr_hit[23] & ((|(4'...CoveredT149,T85,T37
23 (addr_hit[22] & ((|(4'...CoveredT37,T38,T48
22 (addr_hit[21] & ((|(4'...CoveredT144,T37,T38
21 (addr_hit[20] & ((|(4'...CoveredT108,T150,T151
20 (addr_hit[19] & ((|(4'...CoveredT141,T37,T38
19 (addr_hit[18] & ((|(4'...CoveredT37,T38,T48
18 (addr_hit[17] & ((|(4'...CoveredT37,T38,T48
17 (addr_hit[16] & ((|(4'...CoveredT37,T38,T48
16 (addr_hit[15] & ((|(4'...CoveredT141,T37,T48
15 (addr_hit[14] & ((|(4'...CoveredT5,T12,T13
14 (addr_hit[13] & ((|(4'...CoveredT37,T48,T53
13 (addr_hit[12] & ((|(4'...CoveredT89,T80,T86
12 (addr_hit[11] & ((|(4'...CoveredT37,T38,T48
11 (addr_hit[10] & ((|(4'...CoveredT1,T3,T4
10 (addr_hit[9] & ((|(4'b...CoveredT37,T39,T51
9 (addr_hit[8] & ((|(4'b...CoveredT37,T39,T51
8 (addr_hit[7] & ((|(4'b...CoveredT37,T39,T50
7 (addr_hit[6] & ((|(4'b...CoveredT152,T37,T48
6 (addr_hit[5] & ((|(4'b...CoveredT153,T37,T38
5 (addr_hit[4] & ((|(4'b...CoveredT154,T37,T38
4 (addr_hit[3] & ((|(4'b...CoveredT37,T38,T49
3 (addr_hit[2] & ((|(4'b...CoveredT140,T37,T39
2 (addr_hit[1] & ((|(4'b...CoveredT37,T38,T48
1 (addr_hit[0] & ((|(4'b...CoveredT2,T3,T4

 LINE       7864
 SUB-EXPRESSION (addr_hit[0] & ((|(4'b0111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T5,T8
11CoveredT2,T3,T4

 LINE       7864
 SUB-EXPRESSION (addr_hit[1] & ((|(4'b0111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T4,T5
11CoveredT37,T38,T48

 LINE       7864
 SUB-EXPRESSION (addr_hit[2] & ((|(4'b0111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT38,T39,T51
11CoveredT140,T37,T39

 LINE       7864
 SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT37,T38,T48
11CoveredT37,T38,T49

 LINE       7864
 SUB-EXPRESSION (addr_hit[4] & ((|(4'b0111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT154,T37,T38

 LINE       7864
 SUB-EXPRESSION (addr_hit[5] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT153,T37,T38

 LINE       7864
 SUB-EXPRESSION (addr_hit[6] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT5,T12,T13
11CoveredT152,T37,T48

 LINE       7864
 SUB-EXPRESSION (addr_hit[7] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT38,T48,T53
11CoveredT37,T39,T50

 LINE       7864
 SUB-EXPRESSION (addr_hit[8] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T3,T5
11CoveredT37,T39,T51

 LINE       7864
 SUB-EXPRESSION (addr_hit[9] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T4,T6
11CoveredT37,T39,T51

 LINE       7864
 SUB-EXPRESSION (addr_hit[10] & ((|(4'b0111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T5,T7
11CoveredT1,T3,T4

 LINE       7864
 SUB-EXPRESSION (addr_hit[11] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T4,T6
11CoveredT37,T38,T48

 LINE       7864
 SUB-EXPRESSION (addr_hit[12] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T3,T5
11CoveredT89,T80,T86

 LINE       7864
 SUB-EXPRESSION (addr_hit[13] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT8,T9,T10
11CoveredT37,T48,T53

 LINE       7864
 SUB-EXPRESSION (addr_hit[14] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT5,T12,T13
11CoveredT5,T12,T13

 LINE       7864
 SUB-EXPRESSION (addr_hit[15] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT38,T48,T53
11CoveredT141,T37,T48

 LINE       7864
 SUB-EXPRESSION (addr_hit[16] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT37,T38,T48
11CoveredT37,T38,T48

 LINE       7864
 SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT95,T96,T22
11CoveredT37,T38,T48

 LINE       7864
 SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT65,T97,T98
11CoveredT37,T38,T48

 LINE       7864
 SUB-EXPRESSION (addr_hit[19] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT12,T15,T99
11CoveredT141,T37,T38

 LINE       7864
 SUB-EXPRESSION (addr_hit[20] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT26,T100,T101
11CoveredT108,T150,T151

 LINE       7864
 SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT102,T103,T104
11CoveredT144,T37,T38

 LINE       7864
 SUB-EXPRESSION (addr_hit[22] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT59,T105,T106
11CoveredT37,T38,T48

 LINE       7864
 SUB-EXPRESSION (addr_hit[23] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT58,T107,T23
11CoveredT149,T85,T37

 LINE       7864
 SUB-EXPRESSION (addr_hit[24] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT62,T108,T109
11CoveredT33,T37,T38

 LINE       7864
 SUB-EXPRESSION (addr_hit[25] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT111,T112,T113
11CoveredT37,T38,T48

 LINE       7864
 SUB-EXPRESSION (addr_hit[26] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT5,T114,T115
11CoveredT22,T148,T149

 LINE       7864
 SUB-EXPRESSION (addr_hit[27] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT21,T27,T116
11CoveredT145,T146,T147

 LINE       7864
 SUB-EXPRESSION (addr_hit[28] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT13,T117,T118
11CoveredT37,T38,T48

 LINE       7864
 SUB-EXPRESSION (addr_hit[29] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT38,T48,T53
11CoveredT37,T38,T48

 LINE       7864
 SUB-EXPRESSION (addr_hit[30] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT38,T48,T53
11CoveredT37,T38,T48

 LINE       7864
 SUB-EXPRESSION (addr_hit[31] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT38,T51,T43
11CoveredT22,T37,T39

 LINE       7864
 SUB-EXPRESSION (addr_hit[32] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT37,T39,T51
11CoveredT22,T24,T142

 LINE       7864
 SUB-EXPRESSION (addr_hit[33] & ((|(4'b0111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT38,T48,T53
11CoveredT37,T39,T46

 LINE       7864
 SUB-EXPRESSION (addr_hit[34] & ((|(4'b0111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT38,T48,T53
11CoveredT37,T38,T48

 LINE       7864
 SUB-EXPRESSION (addr_hit[35] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT143,T38,T48
11CoveredT86,T37,T39

 LINE       7864
 SUB-EXPRESSION (addr_hit[36] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT26,T144,T38
11CoveredT37,T49,T39

 LINE       7864
 SUB-EXPRESSION (addr_hit[37] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT37,T38,T48
11CoveredT37,T38,T48

 LINE       7906
 EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT37,T124,T155
111Not Covered

 LINE       7933
 EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT2,T4,T5
110CoveredT37,T39,T124
111CoveredT2,T4,T5

 LINE       7970
 EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT140,T37,T38
110CoveredT37,T39,T124
111CoveredT43,T44,T45

 LINE       8007
 EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT37,T38,T48
110CoveredT37,T119,T124
111CoveredT38,T48,T53

 LINE       8010
 EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT37,T39,T124
111CoveredT1,T2,T3

 LINE       8017
 EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT39,T124,T156
111CoveredT1,T2,T3

 LINE       8042
 EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT5,T12,T13
110CoveredT37,T39,T119
111CoveredT5,T12,T13

 LINE       8067
 EXPRESSION (addr_hit[7] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT37,T38,T48
110Not Covered
111Not Covered

 LINE       8068
 EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T3,T5
110CoveredT37,T39,T124
111CoveredT1,T3,T5

 LINE       8071
 EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT2,T4,T6
110CoveredT37,T124,T136
111CoveredT2,T4,T6

 LINE       8074
 EXPRESSION (addr_hit[10] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110Not Covered
111CoveredT1,T2,T3

 LINE       8075
 EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT2,T4,T6
110CoveredT37,T39,T124
111CoveredT2,T4,T6

 LINE       8100
 EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T3,T5
110CoveredT37,T39,T124
111CoveredT1,T3,T5

 LINE       8125
 EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT8,T9,T10
110CoveredT37,T136,T157
111CoveredT8,T9,T10

 LINE       8150
 EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT5,T12,T13
110CoveredT37,T124,T136
111CoveredT5,T12,T13

 LINE       8175
 EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT141,T37,T38
110CoveredT37,T39,T124
111CoveredT38,T48,T53

 LINE       8200
 EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT37,T38,T48
110CoveredT37,T39,T119
111CoveredT38,T48,T53

 LINE       8225
 EXPRESSION (addr_hit[17] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT95,T96,T22
110CoveredT37,T39,T124
111CoveredT95,T96,T22

 LINE       8234
 EXPRESSION (addr_hit[18] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT65,T97,T98
110CoveredT37,T39,T47
111CoveredT65,T97,T98

 LINE       8243
 EXPRESSION (addr_hit[19] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT12,T15,T99
110CoveredT37,T39,T119
111CoveredT12,T15,T99

 LINE       8252
 EXPRESSION (addr_hit[20] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT26,T100,T108
110CoveredT37,T39,T122
111CoveredT26,T100,T101

 LINE       8261
 EXPRESSION (addr_hit[21] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT102,T103,T104
110CoveredT39,T124,T136
111CoveredT102,T103,T104

 LINE       8270
 EXPRESSION (addr_hit[22] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT59,T105,T106
110CoveredT37,T39,T124
111CoveredT59,T105,T106

 LINE       8279
 EXPRESSION (addr_hit[23] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT58,T107,T23
110CoveredT124,T136,T155
111CoveredT58,T107,T23

 LINE       8288
 EXPRESSION (addr_hit[24] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT33,T62,T108
110CoveredT37,T39,T124
111CoveredT108,T109,T110

 LINE       8297
 EXPRESSION (addr_hit[25] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT111,T112,T113
110CoveredT37,T39,T136
111CoveredT111,T112,T113

 LINE       8306
 EXPRESSION (addr_hit[26] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT5,T114,T22
110CoveredT37,T124,T136
111CoveredT5,T114,T115

 LINE       8315
 EXPRESSION (addr_hit[27] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT21,T27,T116
110CoveredT37,T39,T124
111CoveredT21,T27,T116

 LINE       8324
 EXPRESSION (addr_hit[28] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT13,T117,T118
110CoveredT37,T39,T47
111CoveredT13,T117,T118

 LINE       8333
 EXPRESSION (addr_hit[29] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT37,T38,T48
110CoveredT37,T124,T136
111CoveredT38,T48,T53

 LINE       8358
 EXPRESSION (addr_hit[30] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT37,T38,T48
110CoveredT37,T39,T124
111CoveredT38,T48,T53

 LINE       8383
 EXPRESSION (addr_hit[31] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT22,T37,T38
110Not Covered
111CoveredT38,T51,T43

 LINE       8384
 EXPRESSION (addr_hit[31] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT22,T37,T38
110CoveredT37,T39,T124
111CoveredT43,T44,T45

 LINE       8389
 EXPRESSION (addr_hit[32] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT22,T24,T142
110Not Covered
111CoveredT38,T51,T46

 LINE       8390
 EXPRESSION (addr_hit[32] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT22,T24,T142
110CoveredT119,T155,T158
111CoveredT43,T44,T45

 LINE       8395
 EXPRESSION (addr_hit[33] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT37,T38,T48
110Not Covered
111Not Covered

 LINE       8396
 EXPRESSION (addr_hit[34] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT37,T38,T48
110CoveredT37,T136,T155
111CoveredT38,T48,T53

 LINE       8415
 EXPRESSION (addr_hit[35] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT86,T143,T37
110CoveredT37,T39,T119
111CoveredT38,T48,T53

 LINE       8428
 EXPRESSION (addr_hit[36] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT26,T144,T37
110CoveredT37,T124,T136
111CoveredT38,T48,T53

 LINE       8875
 EXPRESSION (reg_busy_sel | shadow_busy)
             ------1-----   -----2-----
-1--2-StatusTests
00CoveredT1,T2,T3
01Unreachable
10CoveredT38,T48,T53

Branch Coverage for Module : usbdev_reg_top
Line No.TotalCoveredPercent
Branches 51 51 100.00
TERNARY 7860 2 2 100.00
IF 75 3 3 100.00
TERNARY 132 2 2 100.00
IF 138 2 2 100.00
CASE 8478 39 39 100.00
CASE 8878 3 3 100.00

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

LineNo. Expression -1-: 7860 ((reg_re || reg_we)) ?

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


LineNo. Expression -1-: 75 if ((!rst_ni)) -2-: 77 if ((intg_err || reg_we_err))

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T40,T41,T42
0 0 Covered T1,T2,T3


LineNo. Expression -1-: 132 ((tl_i.a_address[(AW - 1):0] inside {[2048:4095]})) ?

Branches:
-1-StatusTests
1 Covered T1,T3,T7
0 Covered T1,T2,T3


LineNo. Expression -1-: 138 if (intg_err)

Branches:
-1-StatusTests
1 Covered T137,T138,T139
0 Covered T1,T2,T3


LineNo. Expression -1-: 8478 case (1'b1)

Branches:
-1-StatusTests
addr_hit[0] Covered T1,T2,T3
addr_hit[1] Covered T2,T4,T5
addr_hit[2] Covered T2,T4,T5
addr_hit[3] Covered T2,T4,T5
addr_hit[4] Covered T1,T2,T3
addr_hit[5] Covered T1,T2,T3
addr_hit[6] Covered T2,T4,T5
addr_hit[7] Covered T2,T4,T5
addr_hit[8] Covered T1,T2,T3
addr_hit[9] Covered T2,T4,T5
addr_hit[10] Covered T1,T2,T3
addr_hit[11] Covered T2,T4,T5
addr_hit[12] Covered T1,T2,T3
addr_hit[13] Covered T2,T4,T5
addr_hit[14] Covered T2,T4,T5
addr_hit[15] Covered T2,T4,T5
addr_hit[16] Covered T2,T4,T5
addr_hit[17] Covered T2,T4,T5
addr_hit[18] Covered T2,T4,T5
addr_hit[19] Covered T2,T4,T5
addr_hit[20] Covered T2,T4,T5
addr_hit[21] Covered T2,T4,T5
addr_hit[22] Covered T2,T4,T5
addr_hit[23] Covered T2,T4,T5
addr_hit[24] Covered T2,T4,T5
addr_hit[25] Covered T2,T4,T5
addr_hit[26] Covered T2,T4,T5
addr_hit[27] Covered T2,T4,T5
addr_hit[28] Covered T2,T4,T5
addr_hit[29] Covered T2,T4,T5
addr_hit[30] Covered T2,T4,T5
addr_hit[31] Covered T2,T4,T5
addr_hit[32] Covered T2,T4,T5
addr_hit[33] Covered T2,T4,T5
addr_hit[34] Covered T2,T4,T5
addr_hit[35] Covered T2,T4,T5
addr_hit[36] Covered T2,T4,T5
addr_hit[37] Covered T2,T4,T5
default Covered T1,T2,T3


LineNo. Expression -1-: 8878 case (1'b1)

Branches:
-1-StatusTests
addr_hit[36] Covered T2,T4,T5
addr_hit[37] Covered T2,T4,T5
default Covered T1,T2,T3


Assert Coverage for Module : usbdev_reg_top
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
en2addrHit 114375595 63395 0 0
reAfterRv 114375595 63395 0 0
rePulse 114375595 45979 0 0
wePulse 114375595 17416 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 114375595 63395 0 0
T1 401819 7 0 0
T2 401947 9 0 0
T3 401971 7 0 0
T4 401725 9 0 0
T5 404441 18 0 0
T6 401934 9 0 0
T7 401859 7 0 0
T8 404463 12 0 0
T9 403911 12 0 0
T10 404481 12 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 114375595 63395 0 0
T1 401819 7 0 0
T2 401947 9 0 0
T3 401971 7 0 0
T4 401725 9 0 0
T5 404441 18 0 0
T6 401934 9 0 0
T7 401859 7 0 0
T8 404463 12 0 0
T9 403911 12 0 0
T10 404481 12 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 114375595 45979 0 0
T1 401819 2 0 0
T2 401947 3 0 0
T3 401971 2 0 0
T4 401725 3 0 0
T5 404441 6 0 0
T6 401934 3 0 0
T7 401859 2 0 0
T8 404463 4 0 0
T9 403911 4 0 0
T10 404481 4 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 114375595 17416 0 0
T1 401819 5 0 0
T2 401947 6 0 0
T3 401971 5 0 0
T4 401725 6 0 0
T5 404441 12 0 0
T6 401934 6 0 0
T7 401859 5 0 0
T8 404463 8 0 0
T9 403911 8 0 0
T10 404481 8 0 0

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