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

Module : usbdev_reg_top
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.57 99.72 98.57 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.57 99.72 98.57 100.00 100.00



Module Instance : tb.dut.u_reg

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.57 99.72 98.57 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
95.59 97.90 95.24 100.00 97.72 87.10


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
87.67 96.45 63.89 92.99 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 94.44 100.00 83.33 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 94.44 100.00 83.33 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 94.44 100.00 83.33 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 94.44 100.00 83.33 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 94.44 100.00 83.33 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 94.44 100.00 83.33 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 94.44 100.00 83.33 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 94.44 100.00 83.33 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 94.44 100.00 83.33 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_fifo_ctrl0_qe 100.00 100.00 100.00
u_fifo_ctrl_avout_rst 100.00 100.00 100.00 100.00
u_fifo_ctrl_avsetup_rst 100.00 100.00 100.00 100.00
u_fifo_ctrl_rx_rst 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 97.22 100.00 91.67 100.00
u_intr_state_av_setup_empty 62.59 77.78 50.00 60.00
u_intr_state_disconnected 100.00 100.00 100.00 100.00
u_intr_state_frame 97.22 100.00 91.67 100.00
u_intr_state_host_lost 97.22 100.00 91.67 100.00
u_intr_state_link_in_err 97.22 100.00 91.67 100.00
u_intr_state_link_out_err 100.00 100.00 100.00 100.00
u_intr_state_link_reset 100.00 100.00 100.00 100.00
u_intr_state_link_resume 97.22 100.00 91.67 100.00
u_intr_state_link_suspend 97.22 100.00 91.67 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 100.00 100.00 100.00 100.00
u_intr_state_rx_bitstuff_err 97.22 100.00 91.67 100.00
u_intr_state_rx_crc_err 97.22 100.00 91.67 100.00
u_intr_state_rx_full 62.59 77.78 50.00 60.00
u_intr_state_rx_pid_err 97.22 100.00 91.67 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 100.00 100.00
u_usbstat_av_out_full 100.00 100.00
u_usbstat_av_setup_depth 100.00 100.00
u_usbstat_av_setup_full 100.00 100.00
u_usbstat_frame 100.00 100.00
u_usbstat_host_lost 100.00 100.00
u_usbstat_link_state 100.00 100.00
u_usbstat_rx_depth 100.00 100.00
u_usbstat_rx_empty 100.00 100.00
u_usbstat_sense 100.00 100.00
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
TOTAL71271099.72
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
ALWAYS721100.00
CONT_ASSIGN74811100.00
ALWAYS76288100.00
CONT_ASSIGN177711100.00
CONT_ASSIGN179211100.00
CONT_ASSIGN180811100.00
CONT_ASSIGN182411100.00
CONT_ASSIGN184011100.00
CONT_ASSIGN185611100.00
CONT_ASSIGN187211100.00
CONT_ASSIGN188811100.00
CONT_ASSIGN190411100.00
CONT_ASSIGN192011100.00
CONT_ASSIGN193611100.00
CONT_ASSIGN195211100.00
CONT_ASSIGN196811100.00
CONT_ASSIGN198411100.00
CONT_ASSIGN200011100.00
CONT_ASSIGN201611100.00
CONT_ASSIGN203211100.00
CONT_ASSIGN204811100.00
CONT_ASSIGN206411100.00
CONT_ASSIGN207011100.00
CONT_ASSIGN208411100.00
CONT_ASSIGN215211100.00
CONT_ASSIGN302511100.00
CONT_ASSIGN306511100.00
CONT_ASSIGN708111100.00
CONT_ASSIGN709611100.00
CONT_ASSIGN711211100.00
CONT_ASSIGN711811100.00
CONT_ASSIGN713311100.00
CONT_ASSIGN714911100.00
CONT_ASSIGN770111100.00
CONT_ASSIGN771611100.00
CONT_ASSIGN773211100.00
CONT_ASSIGN7737100.00
CONT_ASSIGN785811100.00
CONT_ASSIGN788611100.00
CONT_ASSIGN791411100.00
ALWAYS79204040100.00
CONT_ASSIGN796211100.00
ALWAYS796611100.00
CONT_ASSIGN800911100.00
CONT_ASSIGN801111100.00
CONT_ASSIGN801311100.00
CONT_ASSIGN801511100.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_ASSIGN803611100.00
CONT_ASSIGN803811100.00
CONT_ASSIGN804011100.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_ASSIGN806811100.00
CONT_ASSIGN807011100.00
CONT_ASSIGN807211100.00
CONT_ASSIGN807311100.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_ASSIGN810111100.00
CONT_ASSIGN810311100.00
CONT_ASSIGN810511100.00
CONT_ASSIGN810711100.00
CONT_ASSIGN810911100.00
CONT_ASSIGN811011100.00
CONT_ASSIGN811211100.00
CONT_ASSIGN811311100.00
CONT_ASSIGN811511100.00
CONT_ASSIGN811711100.00
CONT_ASSIGN811911100.00
CONT_ASSIGN812011100.00
CONT_ASSIGN812211100.00
CONT_ASSIGN812411100.00
CONT_ASSIGN812611100.00
CONT_ASSIGN812811100.00
CONT_ASSIGN813011100.00
CONT_ASSIGN813211100.00
CONT_ASSIGN813411100.00
CONT_ASSIGN813611100.00
CONT_ASSIGN813811100.00
CONT_ASSIGN814011100.00
CONT_ASSIGN814211100.00
CONT_ASSIGN814411100.00
CONT_ASSIGN814511100.00
CONT_ASSIGN814711100.00
CONT_ASSIGN814911100.00
CONT_ASSIGN815111100.00
CONT_ASSIGN815311100.00
CONT_ASSIGN815511100.00
CONT_ASSIGN815711100.00
CONT_ASSIGN815911100.00
CONT_ASSIGN816111100.00
CONT_ASSIGN816311100.00
CONT_ASSIGN816511100.00
CONT_ASSIGN816711100.00
CONT_ASSIGN816911100.00
CONT_ASSIGN817011100.00
CONT_ASSIGN817111100.00
CONT_ASSIGN817311100.00
CONT_ASSIGN817411100.00
CONT_ASSIGN817611100.00
CONT_ASSIGN817711100.00
CONT_ASSIGN817811100.00
CONT_ASSIGN818011100.00
CONT_ASSIGN818211100.00
CONT_ASSIGN818411100.00
CONT_ASSIGN818611100.00
CONT_ASSIGN818811100.00
CONT_ASSIGN819011100.00
CONT_ASSIGN819211100.00
CONT_ASSIGN819411100.00
CONT_ASSIGN819611100.00
CONT_ASSIGN819811100.00
CONT_ASSIGN820011100.00
CONT_ASSIGN820211100.00
CONT_ASSIGN820311100.00
CONT_ASSIGN820511100.00
CONT_ASSIGN820711100.00
CONT_ASSIGN820911100.00
CONT_ASSIGN821111100.00
CONT_ASSIGN821311100.00
CONT_ASSIGN821511100.00
CONT_ASSIGN821711100.00
CONT_ASSIGN821911100.00
CONT_ASSIGN822111100.00
CONT_ASSIGN822311100.00
CONT_ASSIGN822511100.00
CONT_ASSIGN822711100.00
CONT_ASSIGN822811100.00
CONT_ASSIGN823011100.00
CONT_ASSIGN823211100.00
CONT_ASSIGN823411100.00
CONT_ASSIGN823611100.00
CONT_ASSIGN823811100.00
CONT_ASSIGN824011100.00
CONT_ASSIGN824211100.00
CONT_ASSIGN824411100.00
CONT_ASSIGN824611100.00
CONT_ASSIGN824811100.00
CONT_ASSIGN825011100.00
CONT_ASSIGN825211100.00
CONT_ASSIGN825311100.00
CONT_ASSIGN825511100.00
CONT_ASSIGN825711100.00
CONT_ASSIGN825911100.00
CONT_ASSIGN826111100.00
CONT_ASSIGN826311100.00
CONT_ASSIGN826511100.00
CONT_ASSIGN826711100.00
CONT_ASSIGN826911100.00
CONT_ASSIGN827111100.00
CONT_ASSIGN827311100.00
CONT_ASSIGN827511100.00
CONT_ASSIGN827711100.00
CONT_ASSIGN827811100.00
CONT_ASSIGN828011100.00
CONT_ASSIGN828211100.00
CONT_ASSIGN828411100.00
CONT_ASSIGN828611100.00
CONT_ASSIGN828811100.00
CONT_ASSIGN829011100.00
CONT_ASSIGN829211100.00
CONT_ASSIGN829411100.00
CONT_ASSIGN829611100.00
CONT_ASSIGN829811100.00
CONT_ASSIGN830011100.00
CONT_ASSIGN830211100.00
CONT_ASSIGN830311100.00
CONT_ASSIGN830511100.00
CONT_ASSIGN830711100.00
CONT_ASSIGN830911100.00
CONT_ASSIGN831111100.00
CONT_ASSIGN831311100.00
CONT_ASSIGN831511100.00
CONT_ASSIGN831711100.00
CONT_ASSIGN831911100.00
CONT_ASSIGN832111100.00
CONT_ASSIGN832311100.00
CONT_ASSIGN832511100.00
CONT_ASSIGN832711100.00
CONT_ASSIGN832811100.00
CONT_ASSIGN833011100.00
CONT_ASSIGN833211100.00
CONT_ASSIGN833411100.00
CONT_ASSIGN833611100.00
CONT_ASSIGN833711100.00
CONT_ASSIGN833911100.00
CONT_ASSIGN834111100.00
CONT_ASSIGN834311100.00
CONT_ASSIGN834511100.00
CONT_ASSIGN834611100.00
CONT_ASSIGN834811100.00
CONT_ASSIGN835011100.00
CONT_ASSIGN835211100.00
CONT_ASSIGN835411100.00
CONT_ASSIGN835511100.00
CONT_ASSIGN835711100.00
CONT_ASSIGN835911100.00
CONT_ASSIGN836111100.00
CONT_ASSIGN836311100.00
CONT_ASSIGN836411100.00
CONT_ASSIGN836611100.00
CONT_ASSIGN836811100.00
CONT_ASSIGN837011100.00
CONT_ASSIGN837211100.00
CONT_ASSIGN837311100.00
CONT_ASSIGN837511100.00
CONT_ASSIGN837711100.00
CONT_ASSIGN837911100.00
CONT_ASSIGN838111100.00
CONT_ASSIGN838211100.00
CONT_ASSIGN838411100.00
CONT_ASSIGN838611100.00
CONT_ASSIGN838811100.00
CONT_ASSIGN839011100.00
CONT_ASSIGN839111100.00
CONT_ASSIGN839311100.00
CONT_ASSIGN839511100.00
CONT_ASSIGN839711100.00
CONT_ASSIGN839911100.00
CONT_ASSIGN840011100.00
CONT_ASSIGN840211100.00
CONT_ASSIGN840411100.00
CONT_ASSIGN840611100.00
CONT_ASSIGN840811100.00
CONT_ASSIGN840911100.00
CONT_ASSIGN841111100.00
CONT_ASSIGN841311100.00
CONT_ASSIGN841511100.00
CONT_ASSIGN841711100.00
CONT_ASSIGN841811100.00
CONT_ASSIGN842011100.00
CONT_ASSIGN842211100.00
CONT_ASSIGN842411100.00
CONT_ASSIGN842611100.00
CONT_ASSIGN842711100.00
CONT_ASSIGN842911100.00
CONT_ASSIGN843111100.00
CONT_ASSIGN843311100.00
CONT_ASSIGN843511100.00
CONT_ASSIGN843611100.00
CONT_ASSIGN843811100.00
CONT_ASSIGN844011100.00
CONT_ASSIGN844211100.00
CONT_ASSIGN844411100.00
CONT_ASSIGN844611100.00
CONT_ASSIGN844811100.00
CONT_ASSIGN845011100.00
CONT_ASSIGN845211100.00
CONT_ASSIGN845411100.00
CONT_ASSIGN845611100.00
CONT_ASSIGN845811100.00
CONT_ASSIGN846011100.00
CONT_ASSIGN846111100.00
CONT_ASSIGN846311100.00
CONT_ASSIGN846511100.00
CONT_ASSIGN846711100.00
CONT_ASSIGN846911100.00
CONT_ASSIGN847111100.00
CONT_ASSIGN847311100.00
CONT_ASSIGN847511100.00
CONT_ASSIGN847711100.00
CONT_ASSIGN847911100.00
CONT_ASSIGN848111100.00
CONT_ASSIGN848311100.00
CONT_ASSIGN848511100.00
CONT_ASSIGN848611100.00
CONT_ASSIGN848711100.00
CONT_ASSIGN848911100.00
CONT_ASSIGN849111100.00
CONT_ASSIGN849211100.00
CONT_ASSIGN849311100.00
CONT_ASSIGN849511100.00
CONT_ASSIGN849711100.00
CONT_ASSIGN849811100.00
CONT_ASSIGN849911100.00
CONT_ASSIGN850111100.00
CONT_ASSIGN850311100.00
CONT_ASSIGN850511100.00
CONT_ASSIGN850711100.00
CONT_ASSIGN850911100.00
CONT_ASSIGN851111100.00
CONT_ASSIGN851311100.00
CONT_ASSIGN851511100.00
CONT_ASSIGN851711100.00
CONT_ASSIGN851811100.00
CONT_ASSIGN852011100.00
CONT_ASSIGN852211100.00
CONT_ASSIGN852411100.00
CONT_ASSIGN852611100.00
CONT_ASSIGN852811100.00
CONT_ASSIGN853011100.00
CONT_ASSIGN853111100.00
CONT_ASSIGN853411100.00
CONT_ASSIGN853611100.00
CONT_ASSIGN853811100.00
CONT_ASSIGN854011100.00
ALWAYS85444040100.00
ALWAYS8588277277100.00
CONT_ASSIGN899211100.00
ALWAYS899444100.00
CONT_ASSIGN901511100.00
CONT_ASSIGN901611100.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
721 0 1
748 1 1
762 1 1
763 1 1
764 1 1
765 1 1
766 1 1
767 1 1
768 1 1
769 1 1
1777 1 1
1792 1 1
1808 1 1
1824 1 1
1840 1 1
1856 1 1
1872 1 1
1888 1 1
1904 1 1
1920 1 1
1936 1 1
1952 1 1
1968 1 1
1984 1 1
2000 1 1
2016 1 1
2032 1 1
2048 1 1
2064 1 1
2070 1 1
2084 1 1
2152 1 1
3025 1 1
3065 1 1
7081 1 1
7096 1 1
7112 1 1
7118 1 1
7133 1 1
7149 1 1
7701 1 1
7716 1 1
7732 1 1
7737 0 1
7858 1 1
7886 1 1
7914 1 1
7920 1 1
7921 1 1
7922 1 1
7923 1 1
7924 1 1
7925 1 1
7926 1 1
7927 1 1
7928 1 1
7929 1 1
7930 1 1
7931 1 1
7932 1 1
7933 1 1
7934 1 1
7935 1 1
7936 1 1
7937 1 1
7938 1 1
7939 1 1
7940 1 1
7941 1 1
7942 1 1
7943 1 1
7944 1 1
7945 1 1
7946 1 1
7947 1 1
7948 1 1
7949 1 1
7950 1 1
7951 1 1
7952 1 1
7953 1 1
7954 1 1
7955 1 1
7956 1 1
7957 1 1
7958 1 1
7959 1 1
7962 1 1
7966 1 1
8009 1 1
8011 1 1
8013 1 1
8015 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
8036 1 1
8038 1 1
8040 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
8068 1 1
8070 1 1
8072 1 1
8073 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
8101 1 1
8103 1 1
8105 1 1
8107 1 1
8109 1 1
8110 1 1
8112 1 1
8113 1 1
8115 1 1
8117 1 1
8119 1 1
8120 1 1
8122 1 1
8124 1 1
8126 1 1
8128 1 1
8130 1 1
8132 1 1
8134 1 1
8136 1 1
8138 1 1
8140 1 1
8142 1 1
8144 1 1
8145 1 1
8147 1 1
8149 1 1
8151 1 1
8153 1 1
8155 1 1
8157 1 1
8159 1 1
8161 1 1
8163 1 1
8165 1 1
8167 1 1
8169 1 1
8170 1 1
8171 1 1
8173 1 1
8174 1 1
8176 1 1
8177 1 1
8178 1 1
8180 1 1
8182 1 1
8184 1 1
8186 1 1
8188 1 1
8190 1 1
8192 1 1
8194 1 1
8196 1 1
8198 1 1
8200 1 1
8202 1 1
8203 1 1
8205 1 1
8207 1 1
8209 1 1
8211 1 1
8213 1 1
8215 1 1
8217 1 1
8219 1 1
8221 1 1
8223 1 1
8225 1 1
8227 1 1
8228 1 1
8230 1 1
8232 1 1
8234 1 1
8236 1 1
8238 1 1
8240 1 1
8242 1 1
8244 1 1
8246 1 1
8248 1 1
8250 1 1
8252 1 1
8253 1 1
8255 1 1
8257 1 1
8259 1 1
8261 1 1
8263 1 1
8265 1 1
8267 1 1
8269 1 1
8271 1 1
8273 1 1
8275 1 1
8277 1 1
8278 1 1
8280 1 1
8282 1 1
8284 1 1
8286 1 1
8288 1 1
8290 1 1
8292 1 1
8294 1 1
8296 1 1
8298 1 1
8300 1 1
8302 1 1
8303 1 1
8305 1 1
8307 1 1
8309 1 1
8311 1 1
8313 1 1
8315 1 1
8317 1 1
8319 1 1
8321 1 1
8323 1 1
8325 1 1
8327 1 1
8328 1 1
8330 1 1
8332 1 1
8334 1 1
8336 1 1
8337 1 1
8339 1 1
8341 1 1
8343 1 1
8345 1 1
8346 1 1
8348 1 1
8350 1 1
8352 1 1
8354 1 1
8355 1 1
8357 1 1
8359 1 1
8361 1 1
8363 1 1
8364 1 1
8366 1 1
8368 1 1
8370 1 1
8372 1 1
8373 1 1
8375 1 1
8377 1 1
8379 1 1
8381 1 1
8382 1 1
8384 1 1
8386 1 1
8388 1 1
8390 1 1
8391 1 1
8393 1 1
8395 1 1
8397 1 1
8399 1 1
8400 1 1
8402 1 1
8404 1 1
8406 1 1
8408 1 1
8409 1 1
8411 1 1
8413 1 1
8415 1 1
8417 1 1
8418 1 1
8420 1 1
8422 1 1
8424 1 1
8426 1 1
8427 1 1
8429 1 1
8431 1 1
8433 1 1
8435 1 1
8436 1 1
8438 1 1
8440 1 1
8442 1 1
8444 1 1
8446 1 1
8448 1 1
8450 1 1
8452 1 1
8454 1 1
8456 1 1
8458 1 1
8460 1 1
8461 1 1
8463 1 1
8465 1 1
8467 1 1
8469 1 1
8471 1 1
8473 1 1
8475 1 1
8477 1 1
8479 1 1
8481 1 1
8483 1 1
8485 1 1
8486 1 1
8487 1 1
8489 1 1
8491 1 1
8492 1 1
8493 1 1
8495 1 1
8497 1 1
8498 1 1
8499 1 1
8501 1 1
8503 1 1
8505 1 1
8507 1 1
8509 1 1
8511 1 1
8513 1 1
8515 1 1
8517 1 1
8518 1 1
8520 1 1
8522 1 1
8524 1 1
8526 1 1
8528 1 1
8530 1 1
8531 1 1
8534 1 1
8536 1 1
8538 1 1
8540 1 1
8544 1 1
8545 1 1
8546 1 1
8547 1 1
8548 1 1
8549 1 1
8550 1 1
8551 1 1
8552 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
8565 1 1
8566 1 1
8567 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
8580 1 1
8581 1 1
8582 1 1
8583 1 1
8588 1 1
8589 1 1
8591 1 1
8592 1 1
8593 1 1
8594 1 1
8595 1 1
8596 1 1
8597 1 1
8598 1 1
8599 1 1
8600 1 1
8601 1 1
8602 1 1
8603 1 1
8604 1 1
8605 1 1
8606 1 1
8607 1 1
8608 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
8623 1 1
8624 1 1
8625 1 1
8626 1 1
8627 1 1
8628 1 1
8629 1 1
8633 1 1
8634 1 1
8635 1 1
8636 1 1
8637 1 1
8638 1 1
8639 1 1
8640 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
8654 1 1
8658 1 1
8659 1 1
8660 1 1
8664 1 1
8665 1 1
8666 1 1
8667 1 1
8668 1 1
8669 1 1
8670 1 1
8671 1 1
8672 1 1
8673 1 1
8674 1 1
8675 1 1
8679 1 1
8680 1 1
8681 1 1
8682 1 1
8683 1 1
8684 1 1
8685 1 1
8686 1 1
8687 1 1
8688 1 1
8689 1 1
8690 1 1
8694 1 1
8695 1 1
8696 1 1
8697 1 1
8698 1 1
8699 1 1
8700 1 1
8701 1 1
8702 1 1
8703 1 1
8707 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
8726 1 1
8727 1 1
8728 1 1
8729 1 1
8730 1 1
8731 1 1
8732 1 1
8733 1 1
8737 1 1
8738 1 1
8739 1 1
8740 1 1
8741 1 1
8742 1 1
8743 1 1
8744 1 1
8745 1 1
8746 1 1
8747 1 1
8748 1 1
8752 1 1
8753 1 1
8754 1 1
8755 1 1
8756 1 1
8757 1 1
8758 1 1
8759 1 1
8760 1 1
8761 1 1
8762 1 1
8763 1 1
8767 1 1
8768 1 1
8769 1 1
8770 1 1
8771 1 1
8772 1 1
8773 1 1
8774 1 1
8775 1 1
8776 1 1
8777 1 1
8778 1 1
8782 1 1
8783 1 1
8784 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
8797 1 1
8798 1 1
8799 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
8812 1 1
8813 1 1
8814 1 1
8815 1 1
8819 1 1
8820 1 1
8821 1 1
8822 1 1
8826 1 1
8827 1 1
8828 1 1
8829 1 1
8833 1 1
8834 1 1
8835 1 1
8836 1 1
8840 1 1
8841 1 1
8842 1 1
8843 1 1
8847 1 1
8848 1 1
8849 1 1
8850 1 1
8854 1 1
8855 1 1
8856 1 1
8857 1 1
8861 1 1
8862 1 1
8863 1 1
8864 1 1
8868 1 1
8869 1 1
8870 1 1
8871 1 1
8875 1 1
8876 1 1
8877 1 1
8878 1 1
8882 1 1
8883 1 1
8884 1 1
8885 1 1
8889 1 1
8890 1 1
8891 1 1
8892 1 1
8896 1 1
8897 1 1
8898 1 1
8899 1 1
8900 1 1
8901 1 1
8902 1 1
8903 1 1
8904 1 1
8905 1 1
8906 1 1
8907 1 1
8911 1 1
8912 1 1
8913 1 1
8914 1 1
8915 1 1
8916 1 1
8917 1 1
8918 1 1
8919 1 1
8920 1 1
8921 1 1
8922 1 1
8926 1 1
8927 1 1
8931 1 1
8932 1 1
8936 1 1
8937 1 1
8938 1 1
8939 1 1
8940 1 1
8941 1 1
8942 1 1
8943 1 1
8944 1 1
8948 1 1
8949 1 1
8950 1 1
8951 1 1
8952 1 1
8953 1 1
8954 1 1
8955 1 1
8956 1 1
8960 1 1
8961 1 1
8962 1 1
8963 1 1
8964 1 1
8965 1 1
8969 1 1
8972 1 1
8975 1 1
8976 1 1
8977 1 1
8992 1 1
8994 1 1
8995 1 1
8997 1 1
9000 1 1
9015 1 1
9016 1 1


Cond Coverage for Module : usbdev_reg_top
TotalCoveredPercent
Conditions42141598.57
Logical42141598.57
Non-Logical00
Event00

 LINE       65
 EXPRESSION (reg_we && ((!addrmiss)))
             ---1--    ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT35,T36,T37
11CoveredT1,T2,T3

 LINE       77
 EXPRESSION (intg_err || reg_we_err)
             ----1---    -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT38,T39,T40
10CoveredT36,T37,T149

 LINE       84
 EXPRESSION (err_q | intg_err | reg_we_err)
             --1--   ----2---   -----3----
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT38,T39,T40
010CoveredT36,T37,T149
100CoveredT38,T39,T40

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

 LINE       170
 EXPRESSION (addrmiss | wr_err | intg_err)
             ----1---   ---2--   ----3---
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT36,T37,T149
010CoveredT35,T46,T124
100CoveredT35,T124,T125

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

 LINE       7922
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_INTR_ENABLE_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T18,T6

 LINE       7923
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_INTR_TEST_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT90,T150,T151

 LINE       7924
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_ALERT_TEST_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT19,T152,T153

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

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

 LINE       7927
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_EP_IN_ENABLE_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T10,T13

 LINE       7928
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_USBSTAT_OFFSET)
            -------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T19,T20

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

 LINE       7930
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_AVSETUPBUFFER_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T6,T7

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

 LINE       7932
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_RXENABLE_SETUP_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT18,T6,T7

 LINE       7933
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_RXENABLE_OUT_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T3,T4

 LINE       7934
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_SET_NAK_OUT_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T11,T12

 LINE       7935
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_SENT_OFFSET)
            -------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T10,T13

 LINE       7936
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_OUT_STALL_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT19,T152,T150

 LINE       7937
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_STALL_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT150,T154,T153

 LINE       7938
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_0_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT67,T68,T153

 LINE       7939
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_1_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT19,T66,T67

 LINE       7940
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_2_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT66,T100,T150

 LINE       7941
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_3_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT19,T152,T150

 LINE       7942
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_4_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT3,T19,T10

 LINE       7943
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_5_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT13,T26,T152

 LINE       7944
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_6_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT150,T108,T153

 LINE       7945
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_7_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT19,T152,T150

 LINE       7946
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_8_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT19,T152,T150

 LINE       7947
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_9_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT19,T116,T153

 LINE       7948
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_10_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT19,T26,T147

 LINE       7949
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_11_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT19,T15,T122

 LINE       7950
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_OUT_ISO_OFFSET)
            -------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT116,T150,T153

 LINE       7951
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_ISO_OFFSET)
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT19,T154,T151

 LINE       7952
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_OUT_DATA_TOGGLE_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT19,T152,T150

 LINE       7953
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_DATA_TOGGLE_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT152,T150,T153

 LINE       7954
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_PHY_PINS_SENSE_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT155,T150,T151

 LINE       7955
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_PHY_PINS_DRIVE_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT19,T152,T153

 LINE       7956
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_PHY_CONFIG_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT19,T66,T150

 LINE       7957
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_WAKE_CONTROL_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT116,T156,T157

 LINE       7958
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_WAKE_EVENTS_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT19,T152,T150

 LINE       7959
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_FIFO_CTRL_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T19,T20

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

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

 LINE       7966
 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))))) | (addr_hit[38] & ((|(4'b1 & (~reg_be)))))))
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT35,T46,T124

 LINE       7966
 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))))) | 
     39  (addr_hit[38] & ((|(4'b1 & (~reg_be))))))
Sensitive Expression == 1StatusTests
ALL ZEROSCoveredT1,T2,T3
39 (addr_hit[38] & ((|(4'...CoveredT152,T153,T44
38 (addr_hit[37] & ((|(4'...CoveredT19,T152,T153
37 (addr_hit[36] & ((|(4'...CoveredT116,T157,T35
36 (addr_hit[35] & ((|(4'...CoveredT150,T158,T77
35 (addr_hit[34] & ((|(4'...CoveredT19,T152,T153
34 (addr_hit[33] & ((|(4'...CoveredT155,T150,T158
33 (addr_hit[32] & ((|(4'...CoveredT152,T150,T153
32 (addr_hit[31] & ((|(4'...CoveredT19,T150,T154
31 (addr_hit[30] & ((|(4'...CoveredT19,T154,T151
30 (addr_hit[29] & ((|(4'...CoveredT116,T150,T153
29 (addr_hit[28] & ((|(4'...CoveredT19,T152,T153
28 (addr_hit[27] & ((|(4'...CoveredT19,T26,T147
27 (addr_hit[26] & ((|(4'...CoveredT19,T153,T159
26 (addr_hit[25] & ((|(4'...CoveredT19,T152,T150
25 (addr_hit[24] & ((|(4'...CoveredT19,T152,T150
24 (addr_hit[23] & ((|(4'...CoveredT150,T153,T156
23 (addr_hit[22] & ((|(4'...CoveredT152,T160,T151
22 (addr_hit[21] & ((|(4'...CoveredT19,T150,T154
21 (addr_hit[20] & ((|(4'...CoveredT19,T152,T150
20 (addr_hit[19] & ((|(4'...CoveredT66,T150,T154
19 (addr_hit[18] & ((|(4'...CoveredT19,T152,T150
18 (addr_hit[17] & ((|(4'...CoveredT67,T153,T161
17 (addr_hit[16] & ((|(4'...CoveredT150,T154,T153
16 (addr_hit[15] & ((|(4'...CoveredT152,T150,T154
15 (addr_hit[14] & ((|(4'...CoveredT3,T15,T106
14 (addr_hit[13] & ((|(4'...CoveredT152,T153,T151
13 (addr_hit[12] & ((|(4'...CoveredT19,T11,T12
12 (addr_hit[11] & ((|(4'...CoveredT19,T152,T150
11 (addr_hit[10] & ((|(4'...CoveredT2,T6,T7
10 (addr_hit[9] & ((|(4'b...CoveredT19,T150,T151
9 (addr_hit[8] & ((|(4'b...CoveredT153,T156,T35
8 (addr_hit[7] & ((|(4'b...CoveredT1,T19,T20
7 (addr_hit[6] & ((|(4'b...CoveredT152,T150,T107
6 (addr_hit[5] & ((|(4'b...CoveredT153,T162,T156
5 (addr_hit[4] & ((|(4'b...CoveredT19,T116,T155
4 (addr_hit[3] & ((|(4'b...CoveredT19,T153,T158
3 (addr_hit[2] & ((|(4'b...CoveredT90,T150,T162
2 (addr_hit[1] & ((|(4'b...CoveredT150,T154,T153
1 (addr_hit[0] & ((|(4'b...CoveredT2,T3,T18

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

 LINE       7966
 SUB-EXPRESSION (addr_hit[1] & ((|(4'b0111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT3,T18,T6
11CoveredT150,T154,T153

 LINE       7966
 SUB-EXPRESSION (addr_hit[2] & ((|(4'b0111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT151,T46,T163
11CoveredT90,T150,T162

 LINE       7966
 SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT152,T153,T158
11CoveredT19,T153,T158

 LINE       7966
 SUB-EXPRESSION (addr_hit[4] & ((|(4'b0111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT19,T116,T155

 LINE       7966
 SUB-EXPRESSION (addr_hit[5] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T3,T18
11CoveredT153,T162,T156

 LINE       7966
 SUB-EXPRESSION (addr_hit[6] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT3,T10,T13
11CoveredT152,T150,T107

 LINE       7966
 SUB-EXPRESSION (addr_hit[7] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T19,T20
11CoveredT1,T19,T20

 LINE       7966
 SUB-EXPRESSION (addr_hit[8] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT153,T156,T35

 LINE       7966
 SUB-EXPRESSION (addr_hit[9] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T6,T7
11CoveredT19,T150,T151

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

 LINE       7966
 SUB-EXPRESSION (addr_hit[11] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT18,T6,T7
11CoveredT19,T152,T150

 LINE       7966
 SUB-EXPRESSION (addr_hit[12] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T3,T4
11CoveredT19,T11,T12

 LINE       7966
 SUB-EXPRESSION (addr_hit[13] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT4,T11,T12
11CoveredT152,T153,T151

 LINE       7966
 SUB-EXPRESSION (addr_hit[14] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT3,T10,T13
11CoveredT3,T15,T106

 LINE       7966
 SUB-EXPRESSION (addr_hit[15] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT19,T164,T44
11CoveredT152,T150,T154

 LINE       7966
 SUB-EXPRESSION (addr_hit[16] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT151,T162,T44
11CoveredT150,T154,T153

 LINE       7966
 SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT68,T97,T98
11CoveredT67,T153,T161

 LINE       7966
 SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT66,T67,T99
11CoveredT19,T152,T150

 LINE       7966
 SUB-EXPRESSION (addr_hit[19] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT100,T101,T102
11CoveredT66,T150,T154

 LINE       7966
 SUB-EXPRESSION (addr_hit[20] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT19,T152,T103
11CoveredT19,T152,T150

 LINE       7966
 SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT3,T10,T106
11CoveredT19,T150,T154

 LINE       7966
 SUB-EXPRESSION (addr_hit[22] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT13,T26,T107
11CoveredT152,T160,T151

 LINE       7966
 SUB-EXPRESSION (addr_hit[23] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT108,T109,T110
11CoveredT150,T153,T156

 LINE       7966
 SUB-EXPRESSION (addr_hit[24] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT22,T111,T112
11CoveredT19,T152,T150

 LINE       7966
 SUB-EXPRESSION (addr_hit[25] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT113,T114,T115
11CoveredT19,T152,T150

 LINE       7966
 SUB-EXPRESSION (addr_hit[26] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT116,T117,T118
11CoveredT19,T153,T159

 LINE       7966
 SUB-EXPRESSION (addr_hit[27] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT19,T119,T120
11CoveredT19,T26,T147

 LINE       7966
 SUB-EXPRESSION (addr_hit[28] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT15,T122,T123
11CoveredT19,T152,T153

 LINE       7966
 SUB-EXPRESSION (addr_hit[29] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT153,T162,T165
11CoveredT116,T150,T153

 LINE       7966
 SUB-EXPRESSION (addr_hit[30] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT44,T36,T45
11CoveredT19,T154,T151

 LINE       7966
 SUB-EXPRESSION (addr_hit[31] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT152,T151,T46
11CoveredT19,T150,T154

 LINE       7966
 SUB-EXPRESSION (addr_hit[32] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT151,T46,T125
11CoveredT152,T150,T153

 LINE       7966
 SUB-EXPRESSION (addr_hit[33] & ((|(4'b0111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT150,T151,T156
11CoveredT155,T150,T158

 LINE       7966
 SUB-EXPRESSION (addr_hit[34] & ((|(4'b0111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT156,T44,T35
11CoveredT19,T152,T153

 LINE       7966
 SUB-EXPRESSION (addr_hit[35] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT19,T66,T153
11CoveredT150,T158,T77

 LINE       7966
 SUB-EXPRESSION (addr_hit[36] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT156,T157,T44
11CoveredT116,T157,T35

 LINE       7966
 SUB-EXPRESSION (addr_hit[37] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT150,T151,T162
11CoveredT19,T152,T153

 LINE       7966
 SUB-EXPRESSION (addr_hit[38] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T19,T20
11CoveredT152,T153,T44

 LINE       8009
 EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT35,T124,T125
111CoveredT1,T2,T3

 LINE       8036
 EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT3,T18,T6
110CoveredT35,T125,T126
111CoveredT3,T18,T6

 LINE       8073
 EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT90,T150,T151
110CoveredT35,T124,T126
111CoveredT41,T42,T43

 LINE       8110
 EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT19,T152,T153
110CoveredT35,T124,T125
111CoveredT44,T36,T45

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

 LINE       8120
 EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT2,T3,T18
110CoveredT35,T124,T125
111CoveredT2,T3,T18

 LINE       8145
 EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT3,T10,T13
110CoveredT35,T126,T127
111CoveredT3,T10,T13

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

 LINE       8171
 EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT35,T125,T126
111CoveredT1,T2,T3

 LINE       8174
 EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T6,T7
110CoveredT35,T124,T125
111CoveredT1,T6,T7

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

 LINE       8178
 EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT18,T6,T7
110CoveredT35,T124,T125
111CoveredT18,T6,T7

 LINE       8203
 EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT2,T3,T4
110CoveredT35,T124,T125
111CoveredT2,T3,T4

 LINE       8228
 EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT4,T11,T12
110CoveredT124,T125,T126
111CoveredT4,T11,T12

 LINE       8253
 EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT3,T10,T13
110CoveredT35,T124,T126
111CoveredT3,T10,T13

 LINE       8278
 EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT19,T152,T150
110CoveredT35,T124,T125
111CoveredT44,T36,T45

 LINE       8303
 EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT150,T154,T153
110CoveredT35,T46,T124
111CoveredT44,T36,T45

 LINE       8328
 EXPRESSION (addr_hit[17] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT67,T68,T153
110CoveredT35,T124,T125
111CoveredT68,T97,T98

 LINE       8337
 EXPRESSION (addr_hit[18] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT19,T66,T67
110CoveredT125,T127,T128
111CoveredT66,T67,T99

 LINE       8346
 EXPRESSION (addr_hit[19] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT66,T100,T150
110CoveredT35,T124,T125
111CoveredT100,T101,T102

 LINE       8355
 EXPRESSION (addr_hit[20] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT19,T152,T150
110CoveredT35,T124,T125
111CoveredT103,T104,T105

 LINE       8364
 EXPRESSION (addr_hit[21] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT3,T19,T10
110CoveredT35,T124,T125
111CoveredT3,T10,T106

 LINE       8373
 EXPRESSION (addr_hit[22] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT13,T26,T152
110CoveredT35,T124,T125
111CoveredT13,T26,T107

 LINE       8382
 EXPRESSION (addr_hit[23] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT150,T108,T153
110CoveredT35,T124,T125
111CoveredT108,T109,T110

 LINE       8391
 EXPRESSION (addr_hit[24] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT19,T152,T150
110CoveredT35,T124,T125
111CoveredT22,T111,T112

 LINE       8400
 EXPRESSION (addr_hit[25] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT19,T152,T150
110CoveredT35,T124,T126
111CoveredT113,T114,T115

 LINE       8409
 EXPRESSION (addr_hit[26] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT19,T116,T153
110CoveredT35,T124,T125
111CoveredT116,T117,T118

 LINE       8418
 EXPRESSION (addr_hit[27] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT19,T26,T147
110CoveredT35,T124,T126
111CoveredT119,T120,T121

 LINE       8427
 EXPRESSION (addr_hit[28] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT19,T15,T122
110CoveredT35,T124,T125
111CoveredT15,T122,T123

 LINE       8436
 EXPRESSION (addr_hit[29] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT116,T150,T153
110CoveredT35,T124,T125
111CoveredT44,T36,T45

 LINE       8461
 EXPRESSION (addr_hit[30] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT19,T154,T151
110CoveredT35,T124,T125
111CoveredT44,T36,T45

 LINE       8486
 EXPRESSION (addr_hit[31] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT19,T152,T150
110Not Covered
111CoveredT46,T61,T62

 LINE       8487
 EXPRESSION (addr_hit[31] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT19,T152,T150
110CoveredT35,T124,T125
111CoveredT41,T42,T43

 LINE       8492
 EXPRESSION (addr_hit[32] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT152,T150,T153
110Not Covered
111CoveredT46,T61,T62

 LINE       8493
 EXPRESSION (addr_hit[32] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT152,T150,T153
110CoveredT35,T124,T126
111CoveredT41,T42,T43

 LINE       8498
 EXPRESSION (addr_hit[33] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT155,T150,T151
110Not Covered
111Not Covered

 LINE       8499
 EXPRESSION (addr_hit[34] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT19,T152,T153
110CoveredT35,T124,T125
111CoveredT44,T36,T45

 LINE       8518
 EXPRESSION (addr_hit[35] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT19,T66,T150
110CoveredT35,T124,T125
111CoveredT44,T36,T45

 LINE       8531
 EXPRESSION (addr_hit[36] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT116,T156,T157
110CoveredT35,T124,T125
111CoveredT44,T36,T45

 LINE       8534
 EXPRESSION (addr_hit[38] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T19,T20
110CoveredT35,T124,T125
111CoveredT1,T19,T20

 LINE       8992
 EXPRESSION (reg_busy_sel | shadow_busy)
             ------1-----   -----2-----
-1--2-StatusTests
00CoveredT1,T2,T3
01Unreachable
10CoveredT44,T36,T45

Branch Coverage for Module : usbdev_reg_top
Line No.TotalCoveredPercent
Branches 52 52 100.00
TERNARY 7962 2 2 100.00
IF 75 3 3 100.00
TERNARY 132 2 2 100.00
IF 138 2 2 100.00
CASE 8589 40 40 100.00
CASE 8995 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-: 7962 ((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 T38,T39,T40
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 T2,T5,T19
0 Covered T1,T2,T3


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

Branches:
-1-StatusTests
1 Covered T36,T37,T149
0 Covered T1,T2,T3


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

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


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

Branches:
-1-StatusTests
addr_hit[36] Covered T1,T2,T3
addr_hit[37] Covered T1,T2,T3
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 111929576 112826 0 0
reAfterRv 111929576 112826 0 0
rePulse 111929576 57197 0 0
wePulse 111929576 55629 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 111929576 112826 0 0
T1 7265 888 0 0
T2 402081 9 0 0
T3 403381 22 0 0
T4 404332 16 0 0
T5 401570 9 0 0
T6 406098 11 0 0
T7 401957 11 0 0
T18 401209 9 0 0
T19 7538 725 0 0
T20 12815 1106 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 111929576 112826 0 0
T1 7265 888 0 0
T2 402081 9 0 0
T3 403381 22 0 0
T4 404332 16 0 0
T5 401570 9 0 0
T6 406098 11 0 0
T7 401957 11 0 0
T18 401209 9 0 0
T19 7538 725 0 0
T20 12815 1106 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 111929576 57197 0 0
T1 7265 180 0 0
T2 402081 3 0 0
T3 403381 8 0 0
T4 404332 6 0 0
T5 401570 3 0 0
T6 406098 4 0 0
T7 401957 4 0 0
T18 401209 3 0 0
T19 7538 144 0 0
T20 12815 216 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 111929576 55629 0 0
T1 7265 708 0 0
T2 402081 6 0 0
T3 403381 14 0 0
T4 404332 10 0 0
T5 401570 6 0 0
T6 406098 7 0 0
T7 401957 7 0 0
T18 401209 6 0 0
T19 7538 581 0 0
T20 12815 890 0 0

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