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

Module : usbdev_reg_top
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.50 99.72 98.30 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.50 99.72 98.30 100.00 100.00



Module Instance : tb.dut.u_reg

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.50 99.72 98.30 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
95.18 98.00 93.13 100.00 97.68 87.10


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
87.40 96.38 62.63 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_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 66.30 88.89 50.00 60.00
u_intr_state_av_overflow 91.67 100.00 75.00 100.00
u_intr_state_av_setup_empty 66.30 88.89 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 66.30 88.89 50.00 60.00
u_intr_state_pkt_sent 66.30 88.89 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 66.30 88.89 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 100.00 100.00
u_phy_pins_sense_rx_d_i 100.00 100.00
u_phy_pins_sense_rx_dn_i 100.00 100.00
u_phy_pins_sense_rx_dp_i 100.00 100.00
u_phy_pins_sense_tx_d_o 100.00 100.00
u_phy_pins_sense_tx_dn_o 100.00 100.00
u_phy_pins_sense_tx_dp_o 100.00 100.00
u_phy_pins_sense_tx_oe_o 100.00 100.00
u_phy_pins_sense_tx_se0_o 100.00 100.00
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
TOTAL70570399.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
ALWAYS722100.00
CONT_ASSIGN74911100.00
ALWAYS76388100.00
CONT_ASSIGN177811100.00
CONT_ASSIGN179311100.00
CONT_ASSIGN180911100.00
CONT_ASSIGN182511100.00
CONT_ASSIGN184111100.00
CONT_ASSIGN185711100.00
CONT_ASSIGN187311100.00
CONT_ASSIGN188911100.00
CONT_ASSIGN190511100.00
CONT_ASSIGN192111100.00
CONT_ASSIGN193711100.00
CONT_ASSIGN195311100.00
CONT_ASSIGN196911100.00
CONT_ASSIGN198511100.00
CONT_ASSIGN200111100.00
CONT_ASSIGN201711100.00
CONT_ASSIGN203311100.00
CONT_ASSIGN204911100.00
CONT_ASSIGN206511100.00
CONT_ASSIGN207111100.00
CONT_ASSIGN208511100.00
CONT_ASSIGN215311100.00
CONT_ASSIGN302611100.00
CONT_ASSIGN306611100.00
CONT_ASSIGN708211100.00
CONT_ASSIGN709711100.00
CONT_ASSIGN711311100.00
CONT_ASSIGN711911100.00
CONT_ASSIGN713411100.00
CONT_ASSIGN715011100.00
CONT_ASSIGN770211100.00
CONT_ASSIGN771711100.00
CONT_ASSIGN773311100.00
CONT_ASSIGN7738100.00
ALWAYS78243939100.00
CONT_ASSIGN786511100.00
ALWAYS786911100.00
CONT_ASSIGN791111100.00
CONT_ASSIGN791311100.00
CONT_ASSIGN791511100.00
CONT_ASSIGN791711100.00
CONT_ASSIGN791911100.00
CONT_ASSIGN792111100.00
CONT_ASSIGN792311100.00
CONT_ASSIGN792511100.00
CONT_ASSIGN792711100.00
CONT_ASSIGN792911100.00
CONT_ASSIGN793111100.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_ASSIGN794811100.00
CONT_ASSIGN795011100.00
CONT_ASSIGN795211100.00
CONT_ASSIGN795411100.00
CONT_ASSIGN795611100.00
CONT_ASSIGN795811100.00
CONT_ASSIGN796011100.00
CONT_ASSIGN796211100.00
CONT_ASSIGN796411100.00
CONT_ASSIGN796611100.00
CONT_ASSIGN796811100.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_ASSIGN798511100.00
CONT_ASSIGN798711100.00
CONT_ASSIGN798911100.00
CONT_ASSIGN799111100.00
CONT_ASSIGN799311100.00
CONT_ASSIGN799511100.00
CONT_ASSIGN799711100.00
CONT_ASSIGN799911100.00
CONT_ASSIGN800111100.00
CONT_ASSIGN800311100.00
CONT_ASSIGN800511100.00
CONT_ASSIGN800711100.00
CONT_ASSIGN800911100.00
CONT_ASSIGN801111100.00
CONT_ASSIGN801311100.00
CONT_ASSIGN801511100.00
CONT_ASSIGN801711100.00
CONT_ASSIGN801911100.00
CONT_ASSIGN802111100.00
CONT_ASSIGN802211100.00
CONT_ASSIGN802411100.00
CONT_ASSIGN802511100.00
CONT_ASSIGN802711100.00
CONT_ASSIGN802911100.00
CONT_ASSIGN803111100.00
CONT_ASSIGN803211100.00
CONT_ASSIGN803411100.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_ASSIGN805711100.00
CONT_ASSIGN805911100.00
CONT_ASSIGN806111100.00
CONT_ASSIGN806311100.00
CONT_ASSIGN806511100.00
CONT_ASSIGN806711100.00
CONT_ASSIGN806911100.00
CONT_ASSIGN807111100.00
CONT_ASSIGN807311100.00
CONT_ASSIGN807511100.00
CONT_ASSIGN807711100.00
CONT_ASSIGN807911100.00
CONT_ASSIGN808111100.00
CONT_ASSIGN808211100.00
CONT_ASSIGN808311100.00
CONT_ASSIGN808511100.00
CONT_ASSIGN808611100.00
CONT_ASSIGN808811100.00
CONT_ASSIGN808911100.00
CONT_ASSIGN809011100.00
CONT_ASSIGN809211100.00
CONT_ASSIGN809411100.00
CONT_ASSIGN809611100.00
CONT_ASSIGN809811100.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_ASSIGN811511100.00
CONT_ASSIGN811711100.00
CONT_ASSIGN811911100.00
CONT_ASSIGN812111100.00
CONT_ASSIGN812311100.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_ASSIGN814011100.00
CONT_ASSIGN814211100.00
CONT_ASSIGN814411100.00
CONT_ASSIGN814611100.00
CONT_ASSIGN814811100.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_ASSIGN816511100.00
CONT_ASSIGN816711100.00
CONT_ASSIGN816911100.00
CONT_ASSIGN817111100.00
CONT_ASSIGN817311100.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_ASSIGN819011100.00
CONT_ASSIGN819211100.00
CONT_ASSIGN819411100.00
CONT_ASSIGN819611100.00
CONT_ASSIGN819811100.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_ASSIGN821511100.00
CONT_ASSIGN821711100.00
CONT_ASSIGN821911100.00
CONT_ASSIGN822111100.00
CONT_ASSIGN822311100.00
CONT_ASSIGN822511100.00
CONT_ASSIGN822711100.00
CONT_ASSIGN822911100.00
CONT_ASSIGN823111100.00
CONT_ASSIGN823311100.00
CONT_ASSIGN823511100.00
CONT_ASSIGN823711100.00
CONT_ASSIGN823911100.00
CONT_ASSIGN824011100.00
CONT_ASSIGN824211100.00
CONT_ASSIGN824411100.00
CONT_ASSIGN824611100.00
CONT_ASSIGN824811100.00
CONT_ASSIGN824911100.00
CONT_ASSIGN825111100.00
CONT_ASSIGN825311100.00
CONT_ASSIGN825511100.00
CONT_ASSIGN825711100.00
CONT_ASSIGN825811100.00
CONT_ASSIGN826011100.00
CONT_ASSIGN826211100.00
CONT_ASSIGN826411100.00
CONT_ASSIGN826611100.00
CONT_ASSIGN826711100.00
CONT_ASSIGN826911100.00
CONT_ASSIGN827111100.00
CONT_ASSIGN827311100.00
CONT_ASSIGN827511100.00
CONT_ASSIGN827611100.00
CONT_ASSIGN827811100.00
CONT_ASSIGN828011100.00
CONT_ASSIGN828211100.00
CONT_ASSIGN828411100.00
CONT_ASSIGN828511100.00
CONT_ASSIGN828711100.00
CONT_ASSIGN828911100.00
CONT_ASSIGN829111100.00
CONT_ASSIGN829311100.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_ASSIGN831211100.00
CONT_ASSIGN831411100.00
CONT_ASSIGN831611100.00
CONT_ASSIGN831811100.00
CONT_ASSIGN832011100.00
CONT_ASSIGN832111100.00
CONT_ASSIGN832311100.00
CONT_ASSIGN832511100.00
CONT_ASSIGN832711100.00
CONT_ASSIGN832911100.00
CONT_ASSIGN833011100.00
CONT_ASSIGN833211100.00
CONT_ASSIGN833411100.00
CONT_ASSIGN833611100.00
CONT_ASSIGN833811100.00
CONT_ASSIGN833911100.00
CONT_ASSIGN834111100.00
CONT_ASSIGN834311100.00
CONT_ASSIGN834511100.00
CONT_ASSIGN834711100.00
CONT_ASSIGN834811100.00
CONT_ASSIGN835011100.00
CONT_ASSIGN835211100.00
CONT_ASSIGN835411100.00
CONT_ASSIGN835611100.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_ASSIGN837311100.00
CONT_ASSIGN837511100.00
CONT_ASSIGN837711100.00
CONT_ASSIGN837911100.00
CONT_ASSIGN838111100.00
CONT_ASSIGN838311100.00
CONT_ASSIGN838511100.00
CONT_ASSIGN838711100.00
CONT_ASSIGN838911100.00
CONT_ASSIGN839111100.00
CONT_ASSIGN839311100.00
CONT_ASSIGN839511100.00
CONT_ASSIGN839711100.00
CONT_ASSIGN839811100.00
CONT_ASSIGN839911100.00
CONT_ASSIGN840111100.00
CONT_ASSIGN840311100.00
CONT_ASSIGN840411100.00
CONT_ASSIGN840511100.00
CONT_ASSIGN840711100.00
CONT_ASSIGN840911100.00
CONT_ASSIGN841011100.00
CONT_ASSIGN841111100.00
CONT_ASSIGN841311100.00
CONT_ASSIGN841511100.00
CONT_ASSIGN841711100.00
CONT_ASSIGN841911100.00
CONT_ASSIGN842111100.00
CONT_ASSIGN842311100.00
CONT_ASSIGN842511100.00
CONT_ASSIGN842711100.00
CONT_ASSIGN842911100.00
CONT_ASSIGN843011100.00
CONT_ASSIGN843211100.00
CONT_ASSIGN843411100.00
CONT_ASSIGN843611100.00
CONT_ASSIGN843811100.00
CONT_ASSIGN844011100.00
CONT_ASSIGN844211100.00
CONT_ASSIGN844311100.00
ALWAYS84493939100.00
ALWAYS8492274274100.00
CONT_ASSIGN889011100.00
ALWAYS889244100.00
CONT_ASSIGN891311100.00
CONT_ASSIGN891411100.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
722 0 1
749 1 1
763 1 1
764 1 1
765 1 1
766 1 1
767 1 1
768 1 1
769 1 1
770 1 1
1778 1 1
1793 1 1
1809 1 1
1825 1 1
1841 1 1
1857 1 1
1873 1 1
1889 1 1
1905 1 1
1921 1 1
1937 1 1
1953 1 1
1969 1 1
1985 1 1
2001 1 1
2017 1 1
2033 1 1
2049 1 1
2065 1 1
2071 1 1
2085 1 1
2153 1 1
3026 1 1
3066 1 1
7082 1 1
7097 1 1
7113 1 1
7119 1 1
7134 1 1
7150 1 1
7702 1 1
7717 1 1
7733 1 1
7738 0 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
7858 1 1
7859 1 1
7860 1 1
7861 1 1
7862 1 1
7865 1 1
7869 1 1
7911 1 1
7913 1 1
7915 1 1
7917 1 1
7919 1 1
7921 1 1
7923 1 1
7925 1 1
7927 1 1
7929 1 1
7931 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
7948 1 1
7950 1 1
7952 1 1
7954 1 1
7956 1 1
7958 1 1
7960 1 1
7962 1 1
7964 1 1
7966 1 1
7968 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
7985 1 1
7987 1 1
7989 1 1
7991 1 1
7993 1 1
7995 1 1
7997 1 1
7999 1 1
8001 1 1
8003 1 1
8005 1 1
8007 1 1
8009 1 1
8011 1 1
8013 1 1
8015 1 1
8017 1 1
8019 1 1
8021 1 1
8022 1 1
8024 1 1
8025 1 1
8027 1 1
8029 1 1
8031 1 1
8032 1 1
8034 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
8057 1 1
8059 1 1
8061 1 1
8063 1 1
8065 1 1
8067 1 1
8069 1 1
8071 1 1
8073 1 1
8075 1 1
8077 1 1
8079 1 1
8081 1 1
8082 1 1
8083 1 1
8085 1 1
8086 1 1
8088 1 1
8089 1 1
8090 1 1
8092 1 1
8094 1 1
8096 1 1
8098 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
8115 1 1
8117 1 1
8119 1 1
8121 1 1
8123 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
8140 1 1
8142 1 1
8144 1 1
8146 1 1
8148 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
8165 1 1
8167 1 1
8169 1 1
8171 1 1
8173 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
8190 1 1
8192 1 1
8194 1 1
8196 1 1
8198 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
8215 1 1
8217 1 1
8219 1 1
8221 1 1
8223 1 1
8225 1 1
8227 1 1
8229 1 1
8231 1 1
8233 1 1
8235 1 1
8237 1 1
8239 1 1
8240 1 1
8242 1 1
8244 1 1
8246 1 1
8248 1 1
8249 1 1
8251 1 1
8253 1 1
8255 1 1
8257 1 1
8258 1 1
8260 1 1
8262 1 1
8264 1 1
8266 1 1
8267 1 1
8269 1 1
8271 1 1
8273 1 1
8275 1 1
8276 1 1
8278 1 1
8280 1 1
8282 1 1
8284 1 1
8285 1 1
8287 1 1
8289 1 1
8291 1 1
8293 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
8312 1 1
8314 1 1
8316 1 1
8318 1 1
8320 1 1
8321 1 1
8323 1 1
8325 1 1
8327 1 1
8329 1 1
8330 1 1
8332 1 1
8334 1 1
8336 1 1
8338 1 1
8339 1 1
8341 1 1
8343 1 1
8345 1 1
8347 1 1
8348 1 1
8350 1 1
8352 1 1
8354 1 1
8356 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
8373 1 1
8375 1 1
8377 1 1
8379 1 1
8381 1 1
8383 1 1
8385 1 1
8387 1 1
8389 1 1
8391 1 1
8393 1 1
8395 1 1
8397 1 1
8398 1 1
8399 1 1
8401 1 1
8403 1 1
8404 1 1
8405 1 1
8407 1 1
8409 1 1
8410 1 1
8411 1 1
8413 1 1
8415 1 1
8417 1 1
8419 1 1
8421 1 1
8423 1 1
8425 1 1
8427 1 1
8429 1 1
8430 1 1
8432 1 1
8434 1 1
8436 1 1
8438 1 1
8440 1 1
8442 1 1
8443 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
8473 1 1
8474 1 1
8475 1 1
8476 1 1
8477 1 1
8478 1 1
8479 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
8492 1 1
8493 1 1
8495 1 1
8496 1 1
8497 1 1
8498 1 1
8499 1 1
8500 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
8516 1 1
8517 1 1
8518 1 1
8519 1 1
8520 1 1
8521 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
8537 1 1
8538 1 1
8539 1 1
8540 1 1
8541 1 1
8542 1 1
8543 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
8558 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
8593 1 1
8594 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
8611 1 1
8615 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
8705 1 1
8706 1 1
8707 1 1
8708 1 1
8709 1 1
8710 1 1
8711 1 1
8712 1 1
8716 1 1
8717 1 1
8718 1 1
8719 1 1
8723 1 1
8724 1 1
8725 1 1
8726 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
8744 1 1
8745 1 1
8746 1 1
8747 1 1
8751 1 1
8752 1 1
8753 1 1
8754 1 1
8758 1 1
8759 1 1
8760 1 1
8761 1 1
8765 1 1
8766 1 1
8767 1 1
8768 1 1
8772 1 1
8773 1 1
8774 1 1
8775 1 1
8779 1 1
8780 1 1
8781 1 1
8782 1 1
8786 1 1
8787 1 1
8788 1 1
8789 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
8817 1 1
8818 1 1
8819 1 1
8820 1 1
8821 1 1
8822 1 1
8823 1 1
8824 1 1
8825 1 1
8826 1 1
8830 1 1
8831 1 1
8835 1 1
8836 1 1
8840 1 1
8841 1 1
8842 1 1
8843 1 1
8844 1 1
8845 1 1
8846 1 1
8847 1 1
8848 1 1
8852 1 1
8853 1 1
8854 1 1
8855 1 1
8856 1 1
8857 1 1
8858 1 1
8859 1 1
8860 1 1
8864 1 1
8865 1 1
8866 1 1
8867 1 1
8868 1 1
8869 1 1
8873 1 1
8876 1 1
8890 1 1
8892 1 1
8893 1 1
8895 1 1
8898 1 1
8913 1 1
8914 1 1


Cond Coverage for Module : usbdev_reg_top
TotalCoveredPercent
Conditions41140498.30
Logical41140498.30
Non-Logical00
Event00

 LINE       65
 EXPRESSION (reg_we && ((!addrmiss)))
             ---1--    ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT41,T42,T43
11CoveredT1,T2,T3

 LINE       77
 EXPRESSION (intg_err || reg_we_err)
             ----1---    -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT23,T35,T44
10CoveredT41,T136,T115

 LINE       84
 EXPRESSION (err_q | intg_err | reg_we_err)
             --1--   ----2---   -----3----
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT23,T35,T44
010CoveredT41,T136,T115
100CoveredT23,T35,T44

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

 LINE       170
 EXPRESSION (addrmiss | wr_err | intg_err)
             ----1---   ---2--   ----3---
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT41,T136,T115
010CoveredT42,T43,T112
100CoveredT42,T43,T119

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

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

 LINE       7827
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_INTR_TEST_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT48,T52,T42

 LINE       7828
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_ALERT_TEST_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT41,T48,T52

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

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

 LINE       7831
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_EP_IN_ENABLE_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT8,T11,T12

 LINE       7832
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_USBSTAT_OFFSET)
            -------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT101,T137,T41

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

 LINE       7834
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_AVSETUPBUFFER_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT4,T5,T7

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

 LINE       7836
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_RXENABLE_SETUP_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT1,T4,T5

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

 LINE       7838
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_SET_NAK_OUT_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT2,T3,T6

 LINE       7839
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_SENT_OFFSET)
            -------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT8,T11,T12

 LINE       7840
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_OUT_STALL_OFFSET)
            --------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT6,T138,T41

 LINE       7841
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_STALL_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT41,T48,T52

 LINE       7842
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_0_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT8,T84,T85

 LINE       7843
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_1_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT13,T22,T86

 LINE       7844
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_2_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT14,T22,T87

 LINE       7845
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_3_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT89,T90,T91

 LINE       7846
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_4_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT23,T92,T93

 LINE       7847
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_5_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT95,T96,T97

 LINE       7848
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_6_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT19,T98,T99

 LINE       7849
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_7_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT11,T16,T40

 LINE       7850
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_8_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT101,T102,T103

 LINE       7851
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_9_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT12,T139,T104

 LINE       7852
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_10_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT106,T20,T107

 LINE       7853
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_CONFIGIN_11_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT37,T108,T109

 LINE       7854
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_OUT_ISO_OFFSET)
            -------------------------1-------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT89,T101,T41

 LINE       7855
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_ISO_OFFSET)
            -------------------------1------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT140,T141,T142

 LINE       7856
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_OUT_DATA_TOGGLE_OFFSET)
            -----------------------------1-----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT143,T144,T48

 LINE       7857
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_IN_DATA_TOGGLE_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT10,T48,T52

 LINE       7858
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_PHY_PINS_SENSE_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT145,T41,T48

 LINE       7859
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_PHY_PINS_DRIVE_OFFSET)
            -----------------------------1----------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT146,T41,T48

 LINE       7860
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_PHY_CONFIG_OFFSET)
            ---------------------------1--------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT8,T41,T48

 LINE       7861
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_WAKE_CONTROL_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT147,T148,T105

 LINE       7862
 EXPRESSION (reg_addr == usbdev_reg_pkg::USBDEV_WAKE_EVENTS_OFFSET)
            ---------------------------1---------------------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT149,T41,T48

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

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

 LINE       7869
 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
11CoveredT42,T43,T112

 LINE       7869
 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'...CoveredT149,T41,T42
37 (addr_hit[36] & ((|(4'...CoveredT148,T105,T42
36 (addr_hit[35] & ((|(4'...CoveredT8,T41,T52
35 (addr_hit[34] & ((|(4'...CoveredT146,T41,T42
34 (addr_hit[33] & ((|(4'...CoveredT145,T42,T43
33 (addr_hit[32] & ((|(4'...CoveredT10,T52,T42
32 (addr_hit[31] & ((|(4'...CoveredT143,T144,T52
31 (addr_hit[30] & ((|(4'...CoveredT140,T141,T142
30 (addr_hit[29] & ((|(4'...CoveredT89,T41,T52
29 (addr_hit[28] & ((|(4'...CoveredT41,T42,T43
28 (addr_hit[27] & ((|(4'...CoveredT41,T52,T42
27 (addr_hit[26] & ((|(4'...CoveredT139,T41,T42
26 (addr_hit[25] & ((|(4'...CoveredT41,T42,T43
25 (addr_hit[24] & ((|(4'...CoveredT16,T150,T41
24 (addr_hit[23] & ((|(4'...CoveredT151,T41,T42
23 (addr_hit[22] & ((|(4'...CoveredT41,T52,T42
22 (addr_hit[21] & ((|(4'...CoveredT23,T75,T88
21 (addr_hit[20] & ((|(4'...CoveredT41,T52,T42
20 (addr_hit[19] & ((|(4'...CoveredT22,T41,T52
19 (addr_hit[18] & ((|(4'...CoveredT144,T41,T42
18 (addr_hit[17] & ((|(4'...CoveredT145,T41,T52
17 (addr_hit[16] & ((|(4'...CoveredT41,T52,T42
16 (addr_hit[15] & ((|(4'...CoveredT138,T41,T42
15 (addr_hit[14] & ((|(4'...CoveredT11,T12,T86
14 (addr_hit[13] & ((|(4'...CoveredT152,T41,T52
13 (addr_hit[12] & ((|(4'...CoveredT15,T39,T153
12 (addr_hit[11] & ((|(4'...CoveredT135,T41,T52
11 (addr_hit[10] & ((|(4'...CoveredT3,T7,T9
10 (addr_hit[9] & ((|(4'b...CoveredT42,T43,T111
9 (addr_hit[8] & ((|(4'b...CoveredT75,T139,T42
8 (addr_hit[7] & ((|(4'b...CoveredT101,T137,T42
7 (addr_hit[6] & ((|(4'b...CoveredT151,T41,T42
6 (addr_hit[5] & ((|(4'b...CoveredT41,T52,T42
5 (addr_hit[4] & ((|(4'b...CoveredT41,T42,T43
4 (addr_hit[3] & ((|(4'b...CoveredT41,T42,T43
3 (addr_hit[2] & ((|(4'b...CoveredT42,T43,T49
2 (addr_hit[1] & ((|(4'b...CoveredT41,T52,T42
1 (addr_hit[0] & ((|(4'b...CoveredT1,T2,T4

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

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

 LINE       7869
 SUB-EXPRESSION (addr_hit[2] & ((|(4'b0111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT48,T52,T50
11CoveredT42,T43,T49

 LINE       7869
 SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT2,T3,T4
10CoveredT41,T48,T52
11CoveredT41,T42,T43

 LINE       7869
 SUB-EXPRESSION (addr_hit[4] & ((|(4'b0111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT41,T42,T43

 LINE       7869
 SUB-EXPRESSION (addr_hit[5] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T2,T3
11CoveredT41,T52,T42

 LINE       7869
 SUB-EXPRESSION (addr_hit[6] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT8,T11,T12
11CoveredT151,T41,T42

 LINE       7869
 SUB-EXPRESSION (addr_hit[7] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT41,T48,T52
11CoveredT101,T137,T42

 LINE       7869
 SUB-EXPRESSION (addr_hit[8] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT2,T3,T4
10CoveredT2,T3,T6
11CoveredT75,T139,T42

 LINE       7869
 SUB-EXPRESSION (addr_hit[9] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT2,T3,T4
10CoveredT4,T5,T7
11CoveredT42,T43,T111

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

 LINE       7869
 SUB-EXPRESSION (addr_hit[11] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT1,T4,T5
11CoveredT135,T41,T52

 LINE       7869
 SUB-EXPRESSION (addr_hit[12] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T3,T6
11CoveredT15,T39,T153

 LINE       7869
 SUB-EXPRESSION (addr_hit[13] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT2,T3,T6
11CoveredT152,T41,T52

 LINE       7869
 SUB-EXPRESSION (addr_hit[14] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT8,T11,T12
11CoveredT11,T12,T86

 LINE       7869
 SUB-EXPRESSION (addr_hit[15] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT6,T41,T48
11CoveredT138,T41,T42

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

 LINE       7869
 SUB-EXPRESSION (addr_hit[17] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT8,T84,T85
11CoveredT145,T41,T52

 LINE       7869
 SUB-EXPRESSION (addr_hit[18] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT13,T22,T86
11CoveredT144,T41,T42

 LINE       7869
 SUB-EXPRESSION (addr_hit[19] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT14,T87,T88
11CoveredT22,T41,T52

 LINE       7869
 SUB-EXPRESSION (addr_hit[20] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT89,T90,T91
11CoveredT41,T52,T42

 LINE       7869
 SUB-EXPRESSION (addr_hit[21] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT92,T93,T94
11CoveredT23,T75,T88

 LINE       7869
 SUB-EXPRESSION (addr_hit[22] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT95,T96,T97
11CoveredT41,T52,T42

 LINE       7869
 SUB-EXPRESSION (addr_hit[23] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT19,T98,T99
11CoveredT151,T41,T42

 LINE       7869
 SUB-EXPRESSION (addr_hit[24] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT11,T40,T100
11CoveredT16,T150,T41

 LINE       7869
 SUB-EXPRESSION (addr_hit[25] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT101,T102,T103
11CoveredT41,T42,T43

 LINE       7869
 SUB-EXPRESSION (addr_hit[26] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT12,T104,T105
11CoveredT139,T41,T42

 LINE       7869
 SUB-EXPRESSION (addr_hit[27] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT106,T20,T107
11CoveredT41,T52,T42

 LINE       7869
 SUB-EXPRESSION (addr_hit[28] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT37,T108,T109
11CoveredT41,T42,T43

 LINE       7869
 SUB-EXPRESSION (addr_hit[29] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT101,T41,T48
11CoveredT89,T41,T52

 LINE       7869
 SUB-EXPRESSION (addr_hit[30] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT41,T48,T52
11CoveredT140,T141,T142

 LINE       7869
 SUB-EXPRESSION (addr_hit[31] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT48,T52,T42
11CoveredT143,T144,T52

 LINE       7869
 SUB-EXPRESSION (addr_hit[32] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT48,T52,T49
11CoveredT10,T52,T42

 LINE       7869
 SUB-EXPRESSION (addr_hit[33] & ((|(4'b0111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT41,T48,T52
11CoveredT145,T42,T43

 LINE       7869
 SUB-EXPRESSION (addr_hit[34] & ((|(4'b0111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT41,T48,T52
11CoveredT146,T41,T42

 LINE       7869
 SUB-EXPRESSION (addr_hit[35] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT2,T3,T4
10CoveredT41,T48,T52
11CoveredT8,T41,T52

 LINE       7869
 SUB-EXPRESSION (addr_hit[36] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT2,T3,T4
10CoveredT147,T41,T48
11CoveredT148,T105,T42

 LINE       7869
 SUB-EXPRESSION (addr_hit[37] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT41,T48,T52
11CoveredT149,T41,T42

 LINE       7911
 EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT42,T43,T119
111Not Covered

 LINE       7948
 EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T4,T5
110CoveredT42,T43,T113
111CoveredT1,T4,T5

 LINE       7985
 EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT48,T52,T42
110CoveredT42,T43,T119
111CoveredT52,T51,T45

 LINE       8022
 EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT41,T48,T52
110CoveredT42,T154,T155
111CoveredT41,T48,T52

 LINE       8025
 EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T2,T3
110CoveredT42,T43,T156
111CoveredT1,T2,T3

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

 LINE       8057
 EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT8,T11,T12
110CoveredT42,T43,T157
111CoveredT8,T11,T12

 LINE       8082
 EXPRESSION (addr_hit[7] & reg_re & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT101,T137,T41
110Not Covered
111Not Covered

 LINE       8083
 EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT2,T3,T6
110CoveredT42,T118,T157
111CoveredT2,T3,T6

 LINE       8086
 EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT4,T5,T7
110CoveredT119,T157,T158
111CoveredT4,T5,T7

 LINE       8089
 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       8090
 EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT1,T4,T5
110CoveredT42,T43,T119
111CoveredT1,T4,T5

 LINE       8115
 EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT2,T3,T6
110CoveredT42,T159,T154
111CoveredT2,T3,T6

 LINE       8140
 EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT2,T3,T6
110CoveredT42,T119,T160
111CoveredT2,T3,T6

 LINE       8165
 EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT8,T11,T12
110CoveredT119,T157,T156
111CoveredT8,T11,T12

 LINE       8190
 EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT6,T138,T41
110CoveredT119,T158,T161
111CoveredT41,T48,T52

 LINE       8215
 EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT41,T48,T52
110CoveredT43,T156,T158
111CoveredT41,T48,T52

 LINE       8240
 EXPRESSION (addr_hit[17] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT8,T84,T85
110CoveredT42,T119,T157
111CoveredT8,T84,T85

 LINE       8249
 EXPRESSION (addr_hit[18] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT13,T22,T86
110CoveredT42,T119,T157
111CoveredT13,T22,T86

 LINE       8258
 EXPRESSION (addr_hit[19] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT14,T22,T87
110CoveredT42,T43,T157
111CoveredT14,T87,T88

 LINE       8267
 EXPRESSION (addr_hit[20] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT89,T90,T91
110CoveredT42,T112,T157
111CoveredT89,T90,T91

 LINE       8276
 EXPRESSION (addr_hit[21] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT23,T92,T93
110CoveredT42,T43,T158
111CoveredT92,T93,T94

 LINE       8285
 EXPRESSION (addr_hit[22] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT95,T96,T97
110CoveredT42,T156,T154
111CoveredT95,T96,T97

 LINE       8294
 EXPRESSION (addr_hit[23] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT19,T98,T99
110CoveredT43,T119,T157
111CoveredT19,T98,T99

 LINE       8303
 EXPRESSION (addr_hit[24] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT11,T16,T40
110CoveredT42,T43,T118
111CoveredT11,T40,T100

 LINE       8312
 EXPRESSION (addr_hit[25] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT101,T102,T103
110CoveredT42,T157,T156
111CoveredT101,T102,T103

 LINE       8321
 EXPRESSION (addr_hit[26] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT12,T139,T104
110CoveredT42,T43,T162
111CoveredT12,T104,T105

 LINE       8330
 EXPRESSION (addr_hit[27] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT106,T20,T107
110CoveredT42,T43,T119
111CoveredT106,T20,T107

 LINE       8339
 EXPRESSION (addr_hit[28] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT37,T108,T109
110CoveredT42,T118,T163
111CoveredT37,T108,T109

 LINE       8348
 EXPRESSION (addr_hit[29] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT89,T101,T41
110CoveredT42,T119,T157
111CoveredT41,T48,T52

 LINE       8373
 EXPRESSION (addr_hit[30] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT140,T141,T142
110CoveredT42,T157,T156
111CoveredT41,T48,T52

 LINE       8398
 EXPRESSION (addr_hit[31] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT150,T143,T144
110Not Covered
111CoveredT48,T52,T49

 LINE       8399
 EXPRESSION (addr_hit[31] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT150,T143,T144
110CoveredT42,T43,T119
111CoveredT52,T51,T45

 LINE       8404
 EXPRESSION (addr_hit[32] & reg_re & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT10,T48,T52
110Not Covered
111CoveredT48,T52,T49

 LINE       8405
 EXPRESSION (addr_hit[32] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT10,T48,T52
110CoveredT43,T119,T156
111CoveredT52,T51,T45

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

 LINE       8411
 EXPRESSION (addr_hit[34] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT146,T41,T48
110CoveredT42,T119,T156
111CoveredT41,T48,T52

 LINE       8430
 EXPRESSION (addr_hit[35] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT8,T41,T48
110CoveredT42,T43,T164
111CoveredT41,T48,T52

 LINE       8443
 EXPRESSION (addr_hit[36] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT1,T2,T3
101CoveredT147,T148,T105
110CoveredT42,T43,T118
111CoveredT41,T48,T52

 LINE       8890
 EXPRESSION (reg_busy_sel | shadow_busy)
             ------1-----   -----2-----
-1--2-StatusTests
00CoveredT1,T2,T3
01Unreachable
10CoveredT41,T48,T52

Branch Coverage for Module : usbdev_reg_top
Line No.TotalCoveredPercent
Branches 51 51 100.00
TERNARY 7865 2 2 100.00
IF 75 3 3 100.00
TERNARY 132 2 2 100.00
IF 138 2 2 100.00
CASE 8493 39 39 100.00
CASE 8893 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-: 7865 ((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 T23,T35,T44
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 T6,T8,T10
0 Covered T1,T2,T3


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

Branches:
-1-StatusTests
1 Covered T41,T136,T115
0 Covered T1,T2,T3


LineNo. Expression -1-: 8493 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
default Covered T1,T2,T3


LineNo. Expression -1-: 8893 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 115298931 63861 0 0
reAfterRv 115298931 63861 0 0
rePulse 115298931 44916 0 0
wePulse 115298931 18945 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 115298931 63861 0 0
T1 401695 7 0 0
T2 403738 12 0 0
T3 404950 12 0 0
T4 401960 9 0 0
T5 401711 9 0 0
T6 405211 12 0 0
T7 402005 9 0 0
T8 404714 15 0 0
T9 402337 12 0 0
T10 401762 9 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 115298931 63861 0 0
T1 401695 7 0 0
T2 403738 12 0 0
T3 404950 12 0 0
T4 401960 9 0 0
T5 401711 9 0 0
T6 405211 12 0 0
T7 402005 9 0 0
T8 404714 15 0 0
T9 402337 12 0 0
T10 401762 9 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 115298931 44916 0 0
T1 401695 2 0 0
T2 403738 4 0 0
T3 404950 4 0 0
T4 401960 3 0 0
T5 401711 3 0 0
T6 405211 4 0 0
T7 402005 3 0 0
T8 404714 4 0 0
T9 402337 4 0 0
T10 401762 3 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 115298931 18945 0 0
T1 401695 5 0 0
T2 403738 8 0 0
T3 404950 8 0 0
T4 401960 6 0 0
T5 401711 6 0 0
T6 405211 8 0 0
T7 402005 6 0 0
T8 404714 11 0 0
T9 402337 8 0 0
T10 401762 6 0 0

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