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

Module : sysrst_ctrl_reg_top
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.61 100.00 94.45 100.00 100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_sysrst_ctrl_1.0/rtl/sysrst_ctrl_reg_top.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_reg 98.61 100.00 94.44 100.00 100.00



Module Instance : tb.dut.u_reg

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.61 100.00 94.44 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.93 99.40 96.43 100.00 98.84 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
99.34 100.00 96.72 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_alert_test 100.00 100.00
u_auto_block_debounce_ctl_auto_block_enable 100.00 100.00 100.00 100.00
u_auto_block_debounce_ctl_cdc 98.33 100.00 93.33 100.00 100.00
u_auto_block_debounce_ctl_debounce_timer 100.00 100.00 100.00 100.00
u_auto_block_out_ctl_cdc 99.17 100.00 96.67 100.00 100.00
u_auto_block_out_ctl_key0_out_sel 100.00 100.00 100.00 100.00
u_auto_block_out_ctl_key0_out_value 100.00 100.00 100.00 100.00
u_auto_block_out_ctl_key1_out_sel 100.00 100.00 100.00 100.00
u_auto_block_out_ctl_key1_out_value 100.00 100.00 100.00 100.00
u_auto_block_out_ctl_key2_out_sel 100.00 100.00 100.00 100.00
u_auto_block_out_ctl_key2_out_value 100.00 100.00 100.00 100.00
u_chk 100.00 100.00 100.00 100.00
u_com_det_ctl_0 100.00 100.00 100.00 100.00
u_com_det_ctl_0_cdc 99.17 100.00 96.67 100.00 100.00
u_com_det_ctl_1 100.00 100.00 100.00 100.00
u_com_det_ctl_1_cdc 99.17 100.00 96.67 100.00 100.00
u_com_det_ctl_2 100.00 100.00 100.00 100.00
u_com_det_ctl_2_cdc 99.17 100.00 96.67 100.00 100.00
u_com_det_ctl_3 100.00 100.00 100.00 100.00
u_com_det_ctl_3_cdc 99.17 100.00 96.67 100.00 100.00
u_com_out_ctl_0_bat_disable_0 100.00 100.00 100.00 100.00
u_com_out_ctl_0_cdc 99.17 100.00 96.67 100.00 100.00
u_com_out_ctl_0_ec_rst_0 100.00 100.00 100.00 100.00
u_com_out_ctl_0_interrupt_0 100.00 100.00 100.00 100.00
u_com_out_ctl_0_rst_req_0 100.00 100.00 100.00 100.00
u_com_out_ctl_1_bat_disable_1 100.00 100.00 100.00 100.00
u_com_out_ctl_1_cdc 99.17 100.00 96.67 100.00 100.00
u_com_out_ctl_1_ec_rst_1 100.00 100.00 100.00 100.00
u_com_out_ctl_1_interrupt_1 100.00 100.00 100.00 100.00
u_com_out_ctl_1_rst_req_1 100.00 100.00 100.00 100.00
u_com_out_ctl_2_bat_disable_2 100.00 100.00 100.00 100.00
u_com_out_ctl_2_cdc 99.17 100.00 96.67 100.00 100.00
u_com_out_ctl_2_ec_rst_2 100.00 100.00 100.00 100.00
u_com_out_ctl_2_interrupt_2 100.00 100.00 100.00 100.00
u_com_out_ctl_2_rst_req_2 100.00 100.00 100.00 100.00
u_com_out_ctl_3_bat_disable_3 100.00 100.00 100.00 100.00
u_com_out_ctl_3_cdc 99.17 100.00 96.67 100.00 100.00
u_com_out_ctl_3_ec_rst_3 100.00 100.00 100.00 100.00
u_com_out_ctl_3_interrupt_3 100.00 100.00 100.00 100.00
u_com_out_ctl_3_rst_req_3 100.00 100.00 100.00 100.00
u_com_pre_det_ctl_0 100.00 100.00 100.00 100.00
u_com_pre_det_ctl_0_cdc 99.17 100.00 96.67 100.00 100.00
u_com_pre_det_ctl_1 100.00 100.00 100.00 100.00
u_com_pre_det_ctl_1_cdc 99.17 100.00 96.67 100.00 100.00
u_com_pre_det_ctl_2 100.00 100.00 100.00 100.00
u_com_pre_det_ctl_2_cdc 99.17 100.00 96.67 100.00 100.00
u_com_pre_det_ctl_3 100.00 100.00 100.00 100.00
u_com_pre_det_ctl_3_cdc 99.17 100.00 96.67 100.00 100.00
u_com_pre_sel_ctl_0_ac_present_sel_0 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_0_cdc 99.17 100.00 96.67 100.00 100.00
u_com_pre_sel_ctl_0_key0_in_sel_0 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_0_key1_in_sel_0 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_0_key2_in_sel_0 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_0_pwrb_in_sel_0 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_1_ac_present_sel_1 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_1_cdc 99.17 100.00 96.67 100.00 100.00
u_com_pre_sel_ctl_1_key0_in_sel_1 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_1_key1_in_sel_1 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_1_key2_in_sel_1 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_1_pwrb_in_sel_1 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_2_ac_present_sel_2 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_2_cdc 99.17 100.00 96.67 100.00 100.00
u_com_pre_sel_ctl_2_key0_in_sel_2 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_2_key1_in_sel_2 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_2_key2_in_sel_2 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_2_pwrb_in_sel_2 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_3_ac_present_sel_3 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_3_cdc 99.17 100.00 96.67 100.00 100.00
u_com_pre_sel_ctl_3_key0_in_sel_3 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_3_key1_in_sel_3 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_3_key2_in_sel_3 100.00 100.00 100.00 100.00
u_com_pre_sel_ctl_3_pwrb_in_sel_3 100.00 100.00 100.00 100.00
u_com_sel_ctl_0_ac_present_sel_0 100.00 100.00 100.00 100.00
u_com_sel_ctl_0_cdc 99.17 100.00 96.67 100.00 100.00
u_com_sel_ctl_0_key0_in_sel_0 100.00 100.00 100.00 100.00
u_com_sel_ctl_0_key1_in_sel_0 100.00 100.00 100.00 100.00
u_com_sel_ctl_0_key2_in_sel_0 100.00 100.00 100.00 100.00
u_com_sel_ctl_0_pwrb_in_sel_0 100.00 100.00 100.00 100.00
u_com_sel_ctl_1_ac_present_sel_1 100.00 100.00 100.00 100.00
u_com_sel_ctl_1_cdc 99.17 100.00 96.67 100.00 100.00
u_com_sel_ctl_1_key0_in_sel_1 100.00 100.00 100.00 100.00
u_com_sel_ctl_1_key1_in_sel_1 100.00 100.00 100.00 100.00
u_com_sel_ctl_1_key2_in_sel_1 100.00 100.00 100.00 100.00
u_com_sel_ctl_1_pwrb_in_sel_1 100.00 100.00 100.00 100.00
u_com_sel_ctl_2_ac_present_sel_2 100.00 100.00 100.00 100.00
u_com_sel_ctl_2_cdc 99.17 100.00 96.67 100.00 100.00
u_com_sel_ctl_2_key0_in_sel_2 100.00 100.00 100.00 100.00
u_com_sel_ctl_2_key1_in_sel_2 100.00 100.00 100.00 100.00
u_com_sel_ctl_2_key2_in_sel_2 100.00 100.00 100.00 100.00
u_com_sel_ctl_2_pwrb_in_sel_2 100.00 100.00 100.00 100.00
u_com_sel_ctl_3_ac_present_sel_3 100.00 100.00 100.00 100.00
u_com_sel_ctl_3_cdc 99.17 100.00 96.67 100.00 100.00
u_com_sel_ctl_3_key0_in_sel_3 100.00 100.00 100.00 100.00
u_com_sel_ctl_3_key1_in_sel_3 100.00 100.00 100.00 100.00
u_com_sel_ctl_3_key2_in_sel_3 100.00 100.00 100.00 100.00
u_com_sel_ctl_3_pwrb_in_sel_3 100.00 100.00 100.00 100.00
u_combo_intr_status_cdc 96.76 100.00 88.73 98.31 100.00
u_combo_intr_status_combo0_h2l 100.00 100.00 100.00 100.00
u_combo_intr_status_combo1_h2l 100.00 100.00 100.00 100.00
u_combo_intr_status_combo2_h2l 100.00 100.00 100.00 100.00
u_combo_intr_status_combo3_h2l 100.00 100.00 100.00 100.00
u_ec_rst_ctl 100.00 100.00 100.00 100.00
u_ec_rst_ctl_cdc 98.33 100.00 93.33 100.00 100.00
u_intr_enable 100.00 100.00 100.00 100.00
u_intr_state 100.00 100.00 100.00 100.00
u_intr_test 100.00 100.00
u_key_intr_ctl_ac_present_h2l 100.00 100.00 100.00 100.00
u_key_intr_ctl_ac_present_l2h 100.00 100.00 100.00 100.00
u_key_intr_ctl_cdc 99.17 100.00 96.67 100.00 100.00
u_key_intr_ctl_ec_rst_l_h2l 100.00 100.00 100.00 100.00
u_key_intr_ctl_ec_rst_l_l2h 100.00 100.00 100.00 100.00
u_key_intr_ctl_flash_wp_l_h2l 100.00 100.00 100.00 100.00
u_key_intr_ctl_flash_wp_l_l2h 100.00 100.00 100.00 100.00
u_key_intr_ctl_key0_in_h2l 100.00 100.00 100.00 100.00
u_key_intr_ctl_key0_in_l2h 100.00 100.00 100.00 100.00
u_key_intr_ctl_key1_in_h2l 100.00 100.00 100.00 100.00
u_key_intr_ctl_key1_in_l2h 100.00 100.00 100.00 100.00
u_key_intr_ctl_key2_in_h2l 100.00 100.00 100.00 100.00
u_key_intr_ctl_key2_in_l2h 100.00 100.00 100.00 100.00
u_key_intr_ctl_pwrb_in_h2l 100.00 100.00 100.00 100.00
u_key_intr_ctl_pwrb_in_l2h 100.00 100.00 100.00 100.00
u_key_intr_debounce_ctl 100.00 100.00 100.00 100.00
u_key_intr_debounce_ctl_cdc 98.33 100.00 93.33 100.00 100.00
u_key_intr_status_ac_present_h2l 100.00 100.00 100.00 100.00
u_key_intr_status_ac_present_l2h 100.00 100.00 100.00 100.00
u_key_intr_status_cdc 96.76 100.00 88.73 98.31 100.00
u_key_intr_status_ec_rst_l_h2l 100.00 100.00 100.00 100.00
u_key_intr_status_ec_rst_l_l2h 100.00 100.00 100.00 100.00
u_key_intr_status_flash_wp_l_h2l 100.00 100.00 100.00 100.00
u_key_intr_status_flash_wp_l_l2h 100.00 100.00 100.00 100.00
u_key_intr_status_key0_in_h2l 100.00 100.00 100.00 100.00
u_key_intr_status_key0_in_l2h 100.00 100.00 100.00 100.00
u_key_intr_status_key1_in_h2l 100.00 100.00 100.00 100.00
u_key_intr_status_key1_in_l2h 100.00 100.00 100.00 100.00
u_key_intr_status_key2_in_h2l 100.00 100.00 100.00 100.00
u_key_intr_status_key2_in_l2h 100.00 100.00 100.00 100.00
u_key_intr_status_pwrb_h2l 100.00 100.00 100.00 100.00
u_key_intr_status_pwrb_l2h 100.00 100.00 100.00 100.00
u_key_invert_ctl_ac_present 100.00 100.00 100.00 100.00
u_key_invert_ctl_bat_disable 100.00 100.00 100.00 100.00
u_key_invert_ctl_cdc 99.17 100.00 96.67 100.00 100.00
u_key_invert_ctl_key0_in 100.00 100.00 100.00 100.00
u_key_invert_ctl_key0_out 100.00 100.00 100.00 100.00
u_key_invert_ctl_key1_in 100.00 100.00 100.00 100.00
u_key_invert_ctl_key1_out 100.00 100.00 100.00 100.00
u_key_invert_ctl_key2_in 100.00 100.00 100.00 100.00
u_key_invert_ctl_key2_out 100.00 100.00 100.00 100.00
u_key_invert_ctl_lid_open 100.00 100.00 100.00 100.00
u_key_invert_ctl_pwrb_in 100.00 100.00 100.00 100.00
u_key_invert_ctl_pwrb_out 100.00 100.00 100.00 100.00
u_key_invert_ctl_z3_wakeup 100.00 100.00 100.00 100.00
u_pin_allowed_ctl_bat_disable_0 100.00 100.00 100.00 100.00
u_pin_allowed_ctl_bat_disable_1 100.00 100.00 100.00 100.00
u_pin_allowed_ctl_cdc 99.17 100.00 96.67 100.00 100.00
u_pin_allowed_ctl_ec_rst_l_0 100.00 100.00 100.00 100.00
u_pin_allowed_ctl_ec_rst_l_1 100.00 100.00 100.00 100.00
u_pin_allowed_ctl_flash_wp_l_0 100.00 100.00 100.00 100.00
u_pin_allowed_ctl_flash_wp_l_1 100.00 100.00 100.00 100.00
u_pin_allowed_ctl_key0_out_0 100.00 100.00 100.00 100.00
u_pin_allowed_ctl_key0_out_1 100.00 100.00 100.00 100.00
u_pin_allowed_ctl_key1_out_0 100.00 100.00 100.00 100.00
u_pin_allowed_ctl_key1_out_1 100.00 100.00 100.00 100.00
u_pin_allowed_ctl_key2_out_0 100.00 100.00 100.00 100.00
u_pin_allowed_ctl_key2_out_1 100.00 100.00 100.00 100.00
u_pin_allowed_ctl_pwrb_out_0 100.00 100.00 100.00 100.00
u_pin_allowed_ctl_pwrb_out_1 100.00 100.00 100.00 100.00
u_pin_allowed_ctl_z3_wakeup_0 100.00 100.00 100.00 100.00
u_pin_allowed_ctl_z3_wakeup_1 100.00 100.00 100.00 100.00
u_pin_in_value_ac_present 62.59 77.78 50.00 60.00
u_pin_in_value_ec_rst_l 62.59 77.78 50.00 60.00
u_pin_in_value_flash_wp_l 62.59 77.78 50.00 60.00
u_pin_in_value_key0_in 62.59 77.78 50.00 60.00
u_pin_in_value_key1_in 62.59 77.78 50.00 60.00
u_pin_in_value_key2_in 62.59 77.78 50.00 60.00
u_pin_in_value_lid_open 62.59 77.78 50.00 60.00
u_pin_in_value_pwrb_in 62.59 77.78 50.00 60.00
u_pin_out_ctl_bat_disable 100.00 100.00 100.00 100.00
u_pin_out_ctl_cdc 99.17 100.00 96.67 100.00 100.00
u_pin_out_ctl_ec_rst_l 100.00 100.00 100.00 100.00
u_pin_out_ctl_flash_wp_l 100.00 100.00 100.00 100.00
u_pin_out_ctl_key0_out 100.00 100.00 100.00 100.00
u_pin_out_ctl_key1_out 100.00 100.00 100.00 100.00
u_pin_out_ctl_key2_out 100.00 100.00 100.00 100.00
u_pin_out_ctl_pwrb_out 100.00 100.00 100.00 100.00
u_pin_out_ctl_z3_wakeup 100.00 100.00 100.00 100.00
u_pin_out_value_bat_disable 100.00 100.00 100.00 100.00
u_pin_out_value_cdc 99.17 100.00 96.67 100.00 100.00
u_pin_out_value_ec_rst_l 100.00 100.00 100.00 100.00
u_pin_out_value_flash_wp_l 100.00 100.00 100.00 100.00
u_pin_out_value_key0_out 100.00 100.00 100.00 100.00
u_pin_out_value_key1_out 100.00 100.00 100.00 100.00
u_pin_out_value_key2_out 100.00 100.00 100.00 100.00
u_pin_out_value_pwrb_out 100.00 100.00 100.00 100.00
u_pin_out_value_z3_wakeup 100.00 100.00 100.00 100.00
u_prim_reg_we_check 100.00 100.00 100.00
u_reg_if 98.69 97.14 97.62 100.00 100.00
u_regwen 100.00 100.00 100.00 100.00
u_rsp_intg_gen 100.00 100.00 100.00
u_ulp_ac_debounce_ctl 100.00 100.00 100.00 100.00
u_ulp_ac_debounce_ctl_cdc 98.33 100.00 93.33 100.00 100.00
u_ulp_ctl 100.00 100.00 100.00 100.00
u_ulp_ctl_cdc 99.22 100.00 96.88 100.00 100.00
u_ulp_lid_debounce_ctl 100.00 100.00 100.00 100.00
u_ulp_lid_debounce_ctl_cdc 98.33 100.00 93.33 100.00 100.00
u_ulp_pwrb_debounce_ctl 100.00 100.00 100.00 100.00
u_ulp_pwrb_debounce_ctl_cdc 98.33 100.00 93.33 100.00 100.00
u_ulp_status 100.00 100.00 100.00 100.00
u_ulp_status_cdc 93.79 96.99 84.93 93.22 100.00
u_wkup_status 100.00 100.00 100.00 100.00
u_wkup_status_cdc 93.79 96.99 84.93 93.22 100.00

Line Coverage for Module : sysrst_ctrl_reg_top
Line No.TotalCoveredPercent
TOTAL532532100.00
ALWAYS7044100.00
CONT_ASSIGN7911100.00
CONT_ASSIGN9111100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN12011100.00
CONT_ASSIGN12111100.00
ALWAYS26922100.00
CONT_ASSIGN29711100.00
ALWAYS30822100.00
CONT_ASSIGN33611100.00
ALWAYS34722100.00
CONT_ASSIGN37511100.00
ALWAYS38622100.00
CONT_ASSIGN41411100.00
ALWAYS42422100.00
CONT_ASSIGN45211100.00
ALWAYS46544100.00
CONT_ASSIGN49511100.00
ALWAYS50844100.00
CONT_ASSIGN53811100.00
ALWAYS5601313100.00
CONT_ASSIGN59911100.00
ALWAYS6251717100.00
CONT_ASSIGN66811100.00
ALWAYS68599100.00
CONT_ASSIGN72011100.00
ALWAYS73799100.00
CONT_ASSIGN77211100.00
ALWAYS7961515100.00
CONT_ASSIGN83711100.00
ALWAYS84822100.00
CONT_ASSIGN87611100.00
ALWAYS88833100.00
CONT_ASSIGN91711100.00
ALWAYS93377100.00
CONT_ASSIGN96611100.00
ALWAYS98166100.00
CONT_ASSIGN101311100.00
ALWAYS102866100.00
CONT_ASSIGN106011100.00
ALWAYS107566100.00
CONT_ASSIGN110711100.00
ALWAYS112266100.00
CONT_ASSIGN115411100.00
ALWAYS116522100.00
CONT_ASSIGN119311100.00
ALWAYS120422100.00
CONT_ASSIGN123211100.00
ALWAYS124322100.00
CONT_ASSIGN127111100.00
ALWAYS128222100.00
CONT_ASSIGN131011100.00
ALWAYS132566100.00
CONT_ASSIGN135711100.00
ALWAYS137266100.00
CONT_ASSIGN140411100.00
ALWAYS141966100.00
CONT_ASSIGN145111100.00
ALWAYS146666100.00
CONT_ASSIGN149811100.00
ALWAYS150922100.00
CONT_ASSIGN153711100.00
ALWAYS154822100.00
CONT_ASSIGN157611100.00
ALWAYS158722100.00
CONT_ASSIGN161511100.00
ALWAYS162622100.00
CONT_ASSIGN165411100.00
ALWAYS166855100.00
CONT_ASSIGN169911100.00
ALWAYS171355100.00
CONT_ASSIGN174411100.00
ALWAYS175855100.00
CONT_ASSIGN178911100.00
ALWAYS180355100.00
CONT_ASSIGN183411100.00
ALWAYS18531010100.00
CONT_ASSIGN188911100.00
ALWAYS19283030100.00
CONT_ASSIGN198411100.00
CONT_ASSIGN204711100.00
CONT_ASSIGN206111100.00
CONT_ASSIGN206711100.00
CONT_ASSIGN208111100.00
CONT_ASSIGN211511100.00
CONT_ASSIGN214611100.00
CONT_ASSIGN217811100.00
CONT_ASSIGN221011100.00
CONT_ASSIGN226911100.00
CONT_ASSIGN229911100.00
CONT_ASSIGN233011100.00
CONT_ASSIGN265911100.00
CONT_ASSIGN375011100.00
CONT_ASSIGN413311100.00
CONT_ASSIGN416511100.00
CONT_ASSIGN422511100.00
CONT_ASSIGN439411100.00
CONT_ASSIGN453511100.00
CONT_ASSIGN467611100.00
CONT_ASSIGN481711100.00
CONT_ASSIGN495811100.00
CONT_ASSIGN499011100.00
CONT_ASSIGN502211100.00
CONT_ASSIGN505411100.00
CONT_ASSIGN508611100.00
CONT_ASSIGN522711100.00
CONT_ASSIGN536811100.00
CONT_ASSIGN550911100.00
CONT_ASSIGN565011100.00
CONT_ASSIGN568211100.00
CONT_ASSIGN571411100.00
CONT_ASSIGN574611100.00
CONT_ASSIGN577811100.00
CONT_ASSIGN589211100.00
CONT_ASSIGN600611100.00
CONT_ASSIGN612011100.00
CONT_ASSIGN623211100.00
CONT_ASSIGN634411100.00
ALWAYS67274444100.00
CONT_ASSIGN677311100.00
ALWAYS677711100.00
CONT_ASSIGN682411100.00
CONT_ASSIGN682611100.00
CONT_ASSIGN682711100.00
CONT_ASSIGN682911100.00
CONT_ASSIGN683011100.00
CONT_ASSIGN683211100.00
CONT_ASSIGN683311100.00
CONT_ASSIGN683511100.00
CONT_ASSIGN683611100.00
CONT_ASSIGN683811100.00
CONT_ASSIGN683911100.00
CONT_ASSIGN684111100.00
CONT_ASSIGN684311100.00
CONT_ASSIGN684511100.00
CONT_ASSIGN684711100.00
CONT_ASSIGN684911100.00
CONT_ASSIGN685111100.00
CONT_ASSIGN685311100.00
CONT_ASSIGN686611100.00
CONT_ASSIGN688311100.00
CONT_ASSIGN689211100.00
CONT_ASSIGN690111100.00
CONT_ASSIGN691611100.00
CONT_ASSIGN691811100.00
CONT_ASSIGN692111100.00
CONT_ASSIGN692811100.00
CONT_ASSIGN693411100.00
CONT_ASSIGN694011100.00
CONT_ASSIGN694611100.00
CONT_ASSIGN695211100.00
CONT_ASSIGN695411100.00
CONT_ASSIGN695611100.00
CONT_ASSIGN695811100.00
CONT_ASSIGN696011100.00
CONT_ASSIGN696611100.00
CONT_ASSIGN697211100.00
CONT_ASSIGN697811100.00
CONT_ASSIGN698411100.00
CONT_ASSIGN698611100.00
CONT_ASSIGN698811100.00
CONT_ASSIGN699011100.00
CONT_ASSIGN699211100.00
CONT_ASSIGN699711100.00
CONT_ASSIGN700211100.00
CONT_ASSIGN700711100.00
CONT_ASSIGN701211100.00
CONT_ASSIGN701711100.00
ALWAYS70354444100.00
ALWAYS70835252100.00
CONT_ASSIGN723911100.00
ALWAYS72413939100.00
CONT_ASSIGN736711100.00
CONT_ASSIGN736811100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_sysrst_ctrl_1.0/rtl/sysrst_ctrl_reg_top.sv' or '../src/lowrisc_ip_sysrst_ctrl_1.0/rtl/sysrst_ctrl_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
70 1 1
71 1 1
72 1 1
73 1 1
MISSING_ELSE
79 1 1
91 1 1
92 1 1
120 1 1
121 1 1
269 1 1
270 1 1
297 1 1
308 1 1
309 1 1
336 1 1
347 1 1
348 1 1
375 1 1
386 1 1
387 1 1
414 1 1
424 1 1
425 1 1
452 1 1
465 1 1
466 1 1
467 1 1
468 1 1
495 1 1
508 1 1
509 1 1
510 1 1
511 1 1
538 1 1
560 1 1
561 1 1
562 1 1
563 1 1
564 1 1
565 1 1
566 1 1
567 1 1
568 1 1
569 1 1
570 1 1
571 1 1
572 1 1
599 1 1
625 1 1
626 1 1
627 1 1
628 1 1
629 1 1
630 1 1
631 1 1
632 1 1
633 1 1
634 1 1
635 1 1
636 1 1
637 1 1
638 1 1
639 1 1
640 1 1
641 1 1
668 1 1
685 1 1
686 1 1
687 1 1
688 1 1
689 1 1
690 1 1
691 1 1
692 1 1
693 1 1
720 1 1
737 1 1
738 1 1
739 1 1
740 1 1
741 1 1
742 1 1
743 1 1
744 1 1
745 1 1
772 1 1
796 1 1
797 1 1
798 1 1
799 1 1
800 1 1
801 1 1
802 1 1
803 1 1
804 1 1
805 1 1
806 1 1
807 1 1
808 1 1
809 1 1
810 1 1
837 1 1
848 1 1
849 1 1
876 1 1
888 1 1
889 1 1
890 1 1
917 1 1
933 1 1
934 1 1
935 1 1
936 1 1
937 1 1
938 1 1
939 1 1
966 1 1
981 1 1
982 1 1
983 1 1
984 1 1
985 1 1
986 1 1
1013 1 1
1028 1 1
1029 1 1
1030 1 1
1031 1 1
1032 1 1
1033 1 1
1060 1 1
1075 1 1
1076 1 1
1077 1 1
1078 1 1
1079 1 1
1080 1 1
1107 1 1
1122 1 1
1123 1 1
1124 1 1
1125 1 1
1126 1 1
1127 1 1
1154 1 1
1165 1 1
1166 1 1
1193 1 1
1204 1 1
1205 1 1
1232 1 1
1243 1 1
1244 1 1
1271 1 1
1282 1 1
1283 1 1
1310 1 1
1325 1 1
1326 1 1
1327 1 1
1328 1 1
1329 1 1
1330 1 1
1357 1 1
1372 1 1
1373 1 1
1374 1 1
1375 1 1
1376 1 1
1377 1 1
1404 1 1
1419 1 1
1420 1 1
1421 1 1
1422 1 1
1423 1 1
1424 1 1
1451 1 1
1466 1 1
1467 1 1
1468 1 1
1469 1 1
1470 1 1
1471 1 1
1498 1 1
1509 1 1
1510 1 1
1537 1 1
1548 1 1
1549 1 1
1576 1 1
1587 1 1
1588 1 1
1615 1 1
1626 1 1
1627 1 1
1654 1 1
1668 1 1
1669 1 1
1670 1 1
1671 1 1
1672 1 1
1699 1 1
1713 1 1
1714 1 1
1715 1 1
1716 1 1
1717 1 1
1744 1 1
1758 1 1
1759 1 1
1760 1 1
1761 1 1
1762 1 1
1789 1 1
1803 1 1
1804 1 1
1805 1 1
1806 1 1
1807 1 1
1834 1 1
1853 1 1
1854 1 1
1855 1 1
1856 1 1
1857 1 1
1858 1 1
1859 1 1
1860 1 1
1861 1 1
1862 1 1
1889 1 1
1928 1 1
1929 1 1
1930 1 1
1931 1 1
1932 1 1
1933 1 1
1934 1 1
1935 1 1
1936 1 1
1937 1 1
1938 1 1
1939 1 1
1940 1 1
1941 1 1
1942 1 1
1943 1 1
1944 1 1
1945 1 1
1946 1 1
1947 1 1
1948 1 1
1949 1 1
1950 1 1
1951 1 1
1952 1 1
1953 1 1
1954 1 1
1955 1 1
1956 1 1
1957 1 1
1984 1 1
2047 1 1
2061 1 1
2067 1 1
2081 1 1
2115 1 1
2146 1 1
2178 1 1
2210 1 1
2269 1 1
2299 1 1
2330 1 1
2659 1 1
3750 1 1
4133 1 1
4165 1 1
4225 1 1
4394 1 1
4535 1 1
4676 1 1
4817 1 1
4958 1 1
4990 1 1
5022 1 1
5054 1 1
5086 1 1
5227 1 1
5368 1 1
5509 1 1
5650 1 1
5682 1 1
5714 1 1
5746 1 1
5778 1 1
5892 1 1
6006 1 1
6120 1 1
6232 1 1
6344 1 1
6727 1 1
6728 1 1
6729 1 1
6730 1 1
6731 1 1
6732 1 1
6733 1 1
6734 1 1
6735 1 1
6736 1 1
6737 1 1
6738 1 1
6739 1 1
6740 1 1
6741 1 1
6742 1 1
6743 1 1
6744 1 1
6745 1 1
6746 1 1
6747 1 1
6748 1 1
6749 1 1
6750 1 1
6751 1 1
6752 1 1
6753 1 1
6754 1 1
6755 1 1
6756 1 1
6757 1 1
6758 1 1
6759 1 1
6760 1 1
6761 1 1
6762 1 1
6763 1 1
6764 1 1
6765 1 1
6766 1 1
6767 1 1
6768 1 1
6769 1 1
6770 1 1
6773 1 1
6777 1 1
6824 1 1
6826 1 1
6827 1 1
6829 1 1
6830 1 1
6832 1 1
6833 1 1
6835 1 1
6836 1 1
6838 1 1
6839 1 1
6841 1 1
6843 1 1
6845 1 1
6847 1 1
6849 1 1
6851 1 1
6853 1 1
6866 1 1
6883 1 1
6892 1 1
6901 1 1
6916 1 1
6918 1 1
6921 1 1
6928 1 1
6934 1 1
6940 1 1
6946 1 1
6952 1 1
6954 1 1
6956 1 1
6958 1 1
6960 1 1
6966 1 1
6972 1 1
6978 1 1
6984 1 1
6986 1 1
6988 1 1
6990 1 1
6992 1 1
6997 1 1
7002 1 1
7007 1 1
7012 1 1
7017 1 1
7035 1 1
7036 1 1
7037 1 1
7038 1 1
7039 1 1
7040 1 1
7041 1 1
7042 1 1
7043 1 1
7044 1 1
7045 1 1
7046 1 1
7047 1 1
7048 1 1
7049 1 1
7050 1 1
7051 1 1
7052 1 1
7053 1 1
7054 1 1
7055 1 1
7056 1 1
7057 1 1
7058 1 1
7059 1 1
7060 1 1
7061 1 1
7062 1 1
7063 1 1
7064 1 1
7065 1 1
7066 1 1
7067 1 1
7068 1 1
7069 1 1
7070 1 1
7071 1 1
7072 1 1
7073 1 1
7074 1 1
7075 1 1
7076 1 1
7077 1 1
7078 1 1
7083 1 1
7084 1 1
7086 1 1
7090 1 1
7094 1 1
7098 1 1
7102 1 1
7106 1 1
7109 1 1
7112 1 1
7115 1 1
7118 1 1
7121 1 1
7124 1 1
7127 1 1
7130 1 1
7133 1 1
7136 1 1
7139 1 1
7140 1 1
7141 1 1
7142 1 1
7143 1 1
7144 1 1
7145 1 1
7146 1 1
7150 1 1
7153 1 1
7156 1 1
7159 1 1
7162 1 1
7165 1 1
7168 1 1
7171 1 1
7174 1 1
7177 1 1
7180 1 1
7183 1 1
7186 1 1
7189 1 1
7192 1 1
7195 1 1
7198 1 1
7201 1 1
7204 1 1
7207 1 1
7210 1 1
7213 1 1
7216 1 1
7219 1 1
7222 1 1
7225 1 1
7239 1 1
7241 1 1
7242 1 1
7244 1 1
7247 1 1
7250 1 1
7253 1 1
7256 1 1
7259 1 1
7262 1 1
7265 1 1
7268 1 1
7271 1 1
7274 1 1
7277 1 1
7280 1 1
7283 1 1
7286 1 1
7289 1 1
7292 1 1
7295 1 1
7298 1 1
7301 1 1
7304 1 1
7307 1 1
7310 1 1
7313 1 1
7316 1 1
7319 1 1
7322 1 1
7325 1 1
7328 1 1
7331 1 1
7334 1 1
7337 1 1
7340 1 1
7343 1 1
7346 1 1
7349 1 1
7352 1 1
7367 1 1
7368 1 1


Cond Coverage for Module : sysrst_ctrl_reg_top
TotalCoveredPercent
Conditions54151194.45
Logical54151194.45
Non-Logical00
Event00

This module contains a very large number of conditions, so the report has been split into multiple pages, by source line number. Click on the line number range in the table below to see the condition coverage for that section of the module.
Line numbersPercent
60-684792.70
6849-7239100.00

Branch Coverage for Module : sysrst_ctrl_reg_top
Line No.TotalCoveredPercent
Branches 87 87 100.00
TERNARY 6773 2 2 100.00
IF 70 3 3 100.00
CASE 7084 44 44 100.00
CASE 7242 38 38 100.00

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

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

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


LineNo. Expression -1-: 70 if ((!rst_ni)) -2-: 72 if ((intg_err || reg_we_err))

Branches:
-1--2-StatusTests
1 - Covered T1,T7,T2
0 1 Covered T4,T8,T10
0 0 Covered T1,T7,T2


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

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


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

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


Assert Coverage for Module : sysrst_ctrl_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 1131417963 262485 0 0
reAfterRv 1131417963 262482 0 0
rePulse 1131417963 139761 0 0
wePulse 1131417963 122721 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 1131417963 262485 0 0
T1 261179 2955 0 0
T2 126633 142 0 0
T3 101172 176 0 0
T4 539379 1212 0 0
T7 128591 74 0 0
T8 412144 2330 0 0
T22 200936 21 0 0
T23 319387 3459 0 0
T24 192940 21 0 0
T25 200780 62 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 1131417963 262482 0 0
T1 261179 2955 0 0
T2 126633 142 0 0
T3 101172 176 0 0
T4 539379 1212 0 0
T7 128591 74 0 0
T8 412144 2330 0 0
T22 200936 21 0 0
T23 319387 3459 0 0
T24 192940 21 0 0
T25 200780 62 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 1131417963 139761 0 0
T1 261179 2873 0 0
T2 126633 101 0 0
T3 101172 95 0 0
T4 539379 812 0 0
T7 128591 3 0 0
T8 412144 1549 0 0
T22 200936 11 0 0
T23 319387 1483 0 0
T24 192940 11 0 0
T25 200780 9 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 1131417963 122721 0 0
T1 261179 82 0 0
T2 126633 41 0 0
T3 101172 81 0 0
T4 539379 400 0 0
T7 128591 71 0 0
T8 412144 781 0 0
T22 200936 10 0 0
T23 319387 1976 0 0
T24 192940 10 0 0
T25 200780 53 0 0

Line Coverage for Instance : tb.dut.u_reg
Line No.TotalCoveredPercent
TOTAL532532100.00
ALWAYS7044100.00
CONT_ASSIGN7911100.00
CONT_ASSIGN9111100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN12011100.00
CONT_ASSIGN12111100.00
ALWAYS26922100.00
CONT_ASSIGN29711100.00
ALWAYS30822100.00
CONT_ASSIGN33611100.00
ALWAYS34722100.00
CONT_ASSIGN37511100.00
ALWAYS38622100.00
CONT_ASSIGN41411100.00
ALWAYS42422100.00
CONT_ASSIGN45211100.00
ALWAYS46544100.00
CONT_ASSIGN49511100.00
ALWAYS50844100.00
CONT_ASSIGN53811100.00
ALWAYS5601313100.00
CONT_ASSIGN59911100.00
ALWAYS6251717100.00
CONT_ASSIGN66811100.00
ALWAYS68599100.00
CONT_ASSIGN72011100.00
ALWAYS73799100.00
CONT_ASSIGN77211100.00
ALWAYS7961515100.00
CONT_ASSIGN83711100.00
ALWAYS84822100.00
CONT_ASSIGN87611100.00
ALWAYS88833100.00
CONT_ASSIGN91711100.00
ALWAYS93377100.00
CONT_ASSIGN96611100.00
ALWAYS98166100.00
CONT_ASSIGN101311100.00
ALWAYS102866100.00
CONT_ASSIGN106011100.00
ALWAYS107566100.00
CONT_ASSIGN110711100.00
ALWAYS112266100.00
CONT_ASSIGN115411100.00
ALWAYS116522100.00
CONT_ASSIGN119311100.00
ALWAYS120422100.00
CONT_ASSIGN123211100.00
ALWAYS124322100.00
CONT_ASSIGN127111100.00
ALWAYS128222100.00
CONT_ASSIGN131011100.00
ALWAYS132566100.00
CONT_ASSIGN135711100.00
ALWAYS137266100.00
CONT_ASSIGN140411100.00
ALWAYS141966100.00
CONT_ASSIGN145111100.00
ALWAYS146666100.00
CONT_ASSIGN149811100.00
ALWAYS150922100.00
CONT_ASSIGN153711100.00
ALWAYS154822100.00
CONT_ASSIGN157611100.00
ALWAYS158722100.00
CONT_ASSIGN161511100.00
ALWAYS162622100.00
CONT_ASSIGN165411100.00
ALWAYS166855100.00
CONT_ASSIGN169911100.00
ALWAYS171355100.00
CONT_ASSIGN174411100.00
ALWAYS175855100.00
CONT_ASSIGN178911100.00
ALWAYS180355100.00
CONT_ASSIGN183411100.00
ALWAYS18531010100.00
CONT_ASSIGN188911100.00
ALWAYS19283030100.00
CONT_ASSIGN198411100.00
CONT_ASSIGN204711100.00
CONT_ASSIGN206111100.00
CONT_ASSIGN206711100.00
CONT_ASSIGN208111100.00
CONT_ASSIGN211511100.00
CONT_ASSIGN214611100.00
CONT_ASSIGN217811100.00
CONT_ASSIGN221011100.00
CONT_ASSIGN226911100.00
CONT_ASSIGN229911100.00
CONT_ASSIGN233011100.00
CONT_ASSIGN265911100.00
CONT_ASSIGN375011100.00
CONT_ASSIGN413311100.00
CONT_ASSIGN416511100.00
CONT_ASSIGN422511100.00
CONT_ASSIGN439411100.00
CONT_ASSIGN453511100.00
CONT_ASSIGN467611100.00
CONT_ASSIGN481711100.00
CONT_ASSIGN495811100.00
CONT_ASSIGN499011100.00
CONT_ASSIGN502211100.00
CONT_ASSIGN505411100.00
CONT_ASSIGN508611100.00
CONT_ASSIGN522711100.00
CONT_ASSIGN536811100.00
CONT_ASSIGN550911100.00
CONT_ASSIGN565011100.00
CONT_ASSIGN568211100.00
CONT_ASSIGN571411100.00
CONT_ASSIGN574611100.00
CONT_ASSIGN577811100.00
CONT_ASSIGN589211100.00
CONT_ASSIGN600611100.00
CONT_ASSIGN612011100.00
CONT_ASSIGN623211100.00
CONT_ASSIGN634411100.00
ALWAYS67274444100.00
CONT_ASSIGN677311100.00
ALWAYS677711100.00
CONT_ASSIGN682411100.00
CONT_ASSIGN682611100.00
CONT_ASSIGN682711100.00
CONT_ASSIGN682911100.00
CONT_ASSIGN683011100.00
CONT_ASSIGN683211100.00
CONT_ASSIGN683311100.00
CONT_ASSIGN683511100.00
CONT_ASSIGN683611100.00
CONT_ASSIGN683811100.00
CONT_ASSIGN683911100.00
CONT_ASSIGN684111100.00
CONT_ASSIGN684311100.00
CONT_ASSIGN684511100.00
CONT_ASSIGN684711100.00
CONT_ASSIGN684911100.00
CONT_ASSIGN685111100.00
CONT_ASSIGN685311100.00
CONT_ASSIGN686611100.00
CONT_ASSIGN688311100.00
CONT_ASSIGN689211100.00
CONT_ASSIGN690111100.00
CONT_ASSIGN691611100.00
CONT_ASSIGN691811100.00
CONT_ASSIGN692111100.00
CONT_ASSIGN692811100.00
CONT_ASSIGN693411100.00
CONT_ASSIGN694011100.00
CONT_ASSIGN694611100.00
CONT_ASSIGN695211100.00
CONT_ASSIGN695411100.00
CONT_ASSIGN695611100.00
CONT_ASSIGN695811100.00
CONT_ASSIGN696011100.00
CONT_ASSIGN696611100.00
CONT_ASSIGN697211100.00
CONT_ASSIGN697811100.00
CONT_ASSIGN698411100.00
CONT_ASSIGN698611100.00
CONT_ASSIGN698811100.00
CONT_ASSIGN699011100.00
CONT_ASSIGN699211100.00
CONT_ASSIGN699711100.00
CONT_ASSIGN700211100.00
CONT_ASSIGN700711100.00
CONT_ASSIGN701211100.00
CONT_ASSIGN701711100.00
ALWAYS70354444100.00
ALWAYS70835252100.00
CONT_ASSIGN723911100.00
ALWAYS72413939100.00
CONT_ASSIGN736711100.00
CONT_ASSIGN736811100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_sysrst_ctrl_1.0/rtl/sysrst_ctrl_reg_top.sv' or '../src/lowrisc_ip_sysrst_ctrl_1.0/rtl/sysrst_ctrl_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
70 1 1
71 1 1
72 1 1
73 1 1
MISSING_ELSE
79 1 1
91 1 1
92 1 1
120 1 1
121 1 1
269 1 1
270 1 1
297 1 1
308 1 1
309 1 1
336 1 1
347 1 1
348 1 1
375 1 1
386 1 1
387 1 1
414 1 1
424 1 1
425 1 1
452 1 1
465 1 1
466 1 1
467 1 1
468 1 1
495 1 1
508 1 1
509 1 1
510 1 1
511 1 1
538 1 1
560 1 1
561 1 1
562 1 1
563 1 1
564 1 1
565 1 1
566 1 1
567 1 1
568 1 1
569 1 1
570 1 1
571 1 1
572 1 1
599 1 1
625 1 1
626 1 1
627 1 1
628 1 1
629 1 1
630 1 1
631 1 1
632 1 1
633 1 1
634 1 1
635 1 1
636 1 1
637 1 1
638 1 1
639 1 1
640 1 1
641 1 1
668 1 1
685 1 1
686 1 1
687 1 1
688 1 1
689 1 1
690 1 1
691 1 1
692 1 1
693 1 1
720 1 1
737 1 1
738 1 1
739 1 1
740 1 1
741 1 1
742 1 1
743 1 1
744 1 1
745 1 1
772 1 1
796 1 1
797 1 1
798 1 1
799 1 1
800 1 1
801 1 1
802 1 1
803 1 1
804 1 1
805 1 1
806 1 1
807 1 1
808 1 1
809 1 1
810 1 1
837 1 1
848 1 1
849 1 1
876 1 1
888 1 1
889 1 1
890 1 1
917 1 1
933 1 1
934 1 1
935 1 1
936 1 1
937 1 1
938 1 1
939 1 1
966 1 1
981 1 1
982 1 1
983 1 1
984 1 1
985 1 1
986 1 1
1013 1 1
1028 1 1
1029 1 1
1030 1 1
1031 1 1
1032 1 1
1033 1 1
1060 1 1
1075 1 1
1076 1 1
1077 1 1
1078 1 1
1079 1 1
1080 1 1
1107 1 1
1122 1 1
1123 1 1
1124 1 1
1125 1 1
1126 1 1
1127 1 1
1154 1 1
1165 1 1
1166 1 1
1193 1 1
1204 1 1
1205 1 1
1232 1 1
1243 1 1
1244 1 1
1271 1 1
1282 1 1
1283 1 1
1310 1 1
1325 1 1
1326 1 1
1327 1 1
1328 1 1
1329 1 1
1330 1 1
1357 1 1
1372 1 1
1373 1 1
1374 1 1
1375 1 1
1376 1 1
1377 1 1
1404 1 1
1419 1 1
1420 1 1
1421 1 1
1422 1 1
1423 1 1
1424 1 1
1451 1 1
1466 1 1
1467 1 1
1468 1 1
1469 1 1
1470 1 1
1471 1 1
1498 1 1
1509 1 1
1510 1 1
1537 1 1
1548 1 1
1549 1 1
1576 1 1
1587 1 1
1588 1 1
1615 1 1
1626 1 1
1627 1 1
1654 1 1
1668 1 1
1669 1 1
1670 1 1
1671 1 1
1672 1 1
1699 1 1
1713 1 1
1714 1 1
1715 1 1
1716 1 1
1717 1 1
1744 1 1
1758 1 1
1759 1 1
1760 1 1
1761 1 1
1762 1 1
1789 1 1
1803 1 1
1804 1 1
1805 1 1
1806 1 1
1807 1 1
1834 1 1
1853 1 1
1854 1 1
1855 1 1
1856 1 1
1857 1 1
1858 1 1
1859 1 1
1860 1 1
1861 1 1
1862 1 1
1889 1 1
1928 1 1
1929 1 1
1930 1 1
1931 1 1
1932 1 1
1933 1 1
1934 1 1
1935 1 1
1936 1 1
1937 1 1
1938 1 1
1939 1 1
1940 1 1
1941 1 1
1942 1 1
1943 1 1
1944 1 1
1945 1 1
1946 1 1
1947 1 1
1948 1 1
1949 1 1
1950 1 1
1951 1 1
1952 1 1
1953 1 1
1954 1 1
1955 1 1
1956 1 1
1957 1 1
1984 1 1
2047 1 1
2061 1 1
2067 1 1
2081 1 1
2115 1 1
2146 1 1
2178 1 1
2210 1 1
2269 1 1
2299 1 1
2330 1 1
2659 1 1
3750 1 1
4133 1 1
4165 1 1
4225 1 1
4394 1 1
4535 1 1
4676 1 1
4817 1 1
4958 1 1
4990 1 1
5022 1 1
5054 1 1
5086 1 1
5227 1 1
5368 1 1
5509 1 1
5650 1 1
5682 1 1
5714 1 1
5746 1 1
5778 1 1
5892 1 1
6006 1 1
6120 1 1
6232 1 1
6344 1 1
6727 1 1
6728 1 1
6729 1 1
6730 1 1
6731 1 1
6732 1 1
6733 1 1
6734 1 1
6735 1 1
6736 1 1
6737 1 1
6738 1 1
6739 1 1
6740 1 1
6741 1 1
6742 1 1
6743 1 1
6744 1 1
6745 1 1
6746 1 1
6747 1 1
6748 1 1
6749 1 1
6750 1 1
6751 1 1
6752 1 1
6753 1 1
6754 1 1
6755 1 1
6756 1 1
6757 1 1
6758 1 1
6759 1 1
6760 1 1
6761 1 1
6762 1 1
6763 1 1
6764 1 1
6765 1 1
6766 1 1
6767 1 1
6768 1 1
6769 1 1
6770 1 1
6773 1 1
6777 1 1
6824 1 1
6826 1 1
6827 1 1
6829 1 1
6830 1 1
6832 1 1
6833 1 1
6835 1 1
6836 1 1
6838 1 1
6839 1 1
6841 1 1
6843 1 1
6845 1 1
6847 1 1
6849 1 1
6851 1 1
6853 1 1
6866 1 1
6883 1 1
6892 1 1
6901 1 1
6916 1 1
6918 1 1
6921 1 1
6928 1 1
6934 1 1
6940 1 1
6946 1 1
6952 1 1
6954 1 1
6956 1 1
6958 1 1
6960 1 1
6966 1 1
6972 1 1
6978 1 1
6984 1 1
6986 1 1
6988 1 1
6990 1 1
6992 1 1
6997 1 1
7002 1 1
7007 1 1
7012 1 1
7017 1 1
7035 1 1
7036 1 1
7037 1 1
7038 1 1
7039 1 1
7040 1 1
7041 1 1
7042 1 1
7043 1 1
7044 1 1
7045 1 1
7046 1 1
7047 1 1
7048 1 1
7049 1 1
7050 1 1
7051 1 1
7052 1 1
7053 1 1
7054 1 1
7055 1 1
7056 1 1
7057 1 1
7058 1 1
7059 1 1
7060 1 1
7061 1 1
7062 1 1
7063 1 1
7064 1 1
7065 1 1
7066 1 1
7067 1 1
7068 1 1
7069 1 1
7070 1 1
7071 1 1
7072 1 1
7073 1 1
7074 1 1
7075 1 1
7076 1 1
7077 1 1
7078 1 1
7083 1 1
7084 1 1
7086 1 1
7090 1 1
7094 1 1
7098 1 1
7102 1 1
7106 1 1
7109 1 1
7112 1 1
7115 1 1
7118 1 1
7121 1 1
7124 1 1
7127 1 1
7130 1 1
7133 1 1
7136 1 1
7139 1 1
7140 1 1
7141 1 1
7142 1 1
7143 1 1
7144 1 1
7145 1 1
7146 1 1
7150 1 1
7153 1 1
7156 1 1
7159 1 1
7162 1 1
7165 1 1
7168 1 1
7171 1 1
7174 1 1
7177 1 1
7180 1 1
7183 1 1
7186 1 1
7189 1 1
7192 1 1
7195 1 1
7198 1 1
7201 1 1
7204 1 1
7207 1 1
7210 1 1
7213 1 1
7216 1 1
7219 1 1
7222 1 1
7225 1 1
7239 1 1
7241 1 1
7242 1 1
7244 1 1
7247 1 1
7250 1 1
7253 1 1
7256 1 1
7259 1 1
7262 1 1
7265 1 1
7268 1 1
7271 1 1
7274 1 1
7277 1 1
7280 1 1
7283 1 1
7286 1 1
7289 1 1
7292 1 1
7295 1 1
7298 1 1
7301 1 1
7304 1 1
7307 1 1
7310 1 1
7313 1 1
7316 1 1
7319 1 1
7322 1 1
7325 1 1
7328 1 1
7331 1 1
7334 1 1
7337 1 1
7340 1 1
7343 1 1
7346 1 1
7349 1 1
7352 1 1
7367 1 1
7368 1 1


Cond Coverage for Instance : tb.dut.u_reg
TotalCoveredPercent
Conditions54051094.44
Logical54051094.44
Non-Logical00
Event00

This module contains a very large number of conditions, so the report has been split into multiple pages, by source line number. Click on the line number range in the table below to see the condition coverage for that section of the module.
Line numbersPercent
60-684792.68
6849-7239100.00

Branch Coverage for Instance : tb.dut.u_reg
Line No.TotalCoveredPercent
Branches 87 87 100.00
TERNARY 6773 2 2 100.00
IF 70 3 3 100.00
CASE 7084 44 44 100.00
CASE 7242 38 38 100.00

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

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

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


LineNo. Expression -1-: 70 if ((!rst_ni)) -2-: 72 if ((intg_err || reg_we_err))

Branches:
-1--2-StatusTests
1 - Covered T1,T7,T2
0 1 Covered T4,T8,T10
0 0 Covered T1,T7,T2


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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg
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 1131417963 262485 0 0
reAfterRv 1131417963 262482 0 0
rePulse 1131417963 139761 0 0
wePulse 1131417963 122721 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 1131417963 262485 0 0
T1 261179 2955 0 0
T2 126633 142 0 0
T3 101172 176 0 0
T4 539379 1212 0 0
T7 128591 74 0 0
T8 412144 2330 0 0
T22 200936 21 0 0
T23 319387 3459 0 0
T24 192940 21 0 0
T25 200780 62 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 1131417963 262482 0 0
T1 261179 2955 0 0
T2 126633 142 0 0
T3 101172 176 0 0
T4 539379 1212 0 0
T7 128591 74 0 0
T8 412144 2330 0 0
T22 200936 21 0 0
T23 319387 3459 0 0
T24 192940 21 0 0
T25 200780 62 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 1131417963 139761 0 0
T1 261179 2873 0 0
T2 126633 101 0 0
T3 101172 95 0 0
T4 539379 812 0 0
T7 128591 3 0 0
T8 412144 1549 0 0
T22 200936 11 0 0
T23 319387 1483 0 0
T24 192940 11 0 0
T25 200780 9 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 1131417963 122721 0 0
T1 261179 82 0 0
T2 126633 41 0 0
T3 101172 81 0 0
T4 539379 400 0 0
T7 128591 71 0 0
T8 412144 781 0 0
T22 200936 10 0 0
T23 319387 1976 0 0
T24 192940 10 0 0
T25 200780 53 0 0

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