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

Module : prim_reg_cdc
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.30 100.00 89.20 100.00 100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_reg.u_wkup_status_cdc 96.88 100.00 87.50 100.00 100.00
tb.dut.u_reg.u_ec_rst_ctl_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_key_invert_ctl_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_pin_allowed_ctl_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_pin_out_ctl_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_pin_out_value_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_key_intr_ctl_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_key_intr_debounce_ctl_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_auto_block_debounce_ctl_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_auto_block_out_ctl_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_pre_sel_ctl_0_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_pre_sel_ctl_1_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_pre_sel_ctl_2_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_pre_sel_ctl_3_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_pre_det_ctl_0_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_pre_det_ctl_1_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_pre_det_ctl_2_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_pre_det_ctl_3_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_sel_ctl_0_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_sel_ctl_1_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_sel_ctl_2_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_sel_ctl_3_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_det_ctl_0_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_det_ctl_1_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_det_ctl_2_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_det_ctl_3_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_out_ctl_0_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_out_ctl_1_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_out_ctl_2_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_com_out_ctl_3_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_ulp_ctl_cdc 98.08 100.00 92.31 100.00 100.00



Module Instance : tb.dut.u_reg.u_wkup_status_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.88 100.00 87.50 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.79 96.99 84.93 93.22 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 92.06 95.92 81.63 90.70 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_ec_rst_ctl_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.33 100.00 93.33 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 97.73 100.00 90.91 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.33 100.00 93.33 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 97.73 100.00 90.91 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.33 100.00 93.33 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 97.73 100.00 90.91 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.33 100.00 93.33 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 97.73 100.00 90.91 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_key_invert_ctl_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_pin_allowed_ctl_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_pin_out_ctl_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_pin_out_value_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_key_intr_ctl_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_key_intr_debounce_ctl_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.33 100.00 93.33 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 97.73 100.00 90.91 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_auto_block_debounce_ctl_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.33 100.00 93.33 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 97.73 100.00 90.91 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_auto_block_out_ctl_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_pre_sel_ctl_0_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_pre_sel_ctl_1_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_pre_sel_ctl_2_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_pre_sel_ctl_3_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_pre_det_ctl_0_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_pre_det_ctl_1_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_pre_det_ctl_2_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_pre_det_ctl_3_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_sel_ctl_0_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_sel_ctl_1_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_sel_ctl_2_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_sel_ctl_3_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_det_ctl_0_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_det_ctl_1_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_det_ctl_2_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_det_ctl_3_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_out_ctl_0_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_out_ctl_1_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_out_ctl_2_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_com_out_ctl_3_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.73 100.00 90.91 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.17 100.00 96.67 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_ulp_ctl_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.08 100.00 92.31 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.22 100.00 96.88 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.60 100.00 94.40 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 100.00 100.00 100.00 100.00 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00

Line Coverage for Module : prim_reg_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Module : prim_reg_cdc ( parameter DataWidth=16,ResetVal,BitMask=65535,DstWrReq=0,TxnWidth=3 + DataWidth=12,ResetVal=0,BitMask=4095,DstWrReq=0,TxnWidth=3 + DataWidth=8,ResetVal,BitMask=255,DstWrReq=0,TxnWidth=3 + DataWidth=14,ResetVal=0,BitMask=16383,DstWrReq=0,TxnWidth=3 + DataWidth=17,ResetVal=2000,BitMask=131071,DstWrReq=0,TxnWidth=3 + DataWidth=7,ResetVal=0,BitMask=119,DstWrReq=0,TxnWidth=3 + DataWidth=5,ResetVal=0,BitMask=31,DstWrReq=0,TxnWidth=3 + DataWidth=32,ResetVal=0,BitMask=-1,DstWrReq=0,TxnWidth=3 + DataWidth=4,ResetVal=0,BitMask=15,DstWrReq=0,TxnWidth=3 )
Cond Coverage for Module self-instances :
SCORECOND
97.73 90.91
tb.dut.u_reg.u_ec_rst_ctl_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_pin_allowed_ctl_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_key_intr_debounce_ctl_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_key_invert_ctl_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_pin_out_ctl_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_pin_out_value_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_key_intr_ctl_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_auto_block_debounce_ctl_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_auto_block_out_ctl_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_pre_sel_ctl_0_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_pre_sel_ctl_1_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_pre_sel_ctl_2_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_pre_sel_ctl_3_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_sel_ctl_0_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_sel_ctl_1_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_sel_ctl_2_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_sel_ctl_3_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_pre_det_ctl_0_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_pre_det_ctl_1_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_pre_det_ctl_2_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_pre_det_ctl_3_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_det_ctl_0_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_det_ctl_1_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_det_ctl_2_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_det_ctl_3_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_out_ctl_0_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_out_ctl_1_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_out_ctl_2_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_com_out_ctl_3_cdc

TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T6,T20

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT4,T6,T20
11CoveredT4,T6,T20

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T6,T20

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT4,T6,T20
11CoveredT4,T6,T20

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Cond Coverage for Module : prim_reg_cdc ( parameter DataWidth=1,ResetVal=0,BitMask=1,DstWrReq=0,TxnWidth=3 + DataWidth=1,ResetVal=0,BitMask=1,DstWrReq=1,TxnWidth=3 )
Cond Coverage for Module self-instances :
SCORECOND
98.08 92.31
tb.dut.u_reg.u_ulp_ctl_cdc

SCORECOND
96.88 87.50
tb.dut.u_reg.u_wkup_status_cdc

TotalCoveredPercent
Conditions161487.50
Logical161487.50
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T7

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T3,T7
11CoveredT1,T3,T7

 LINE       112
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT7,T12,T24
1-CoveredT1,T3,T7

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01CoveredT1,T2,T3
10CoveredT1,T3,T7

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T3,T7
11CoveredT1,T3,T7

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Not Covered
11CoveredT1,T2,T3

Branch Coverage for Module : prim_reg_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T20,T1
0 0 1 Covered T4,T20,T1
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T20,T1
0 0 1 Covered T4,T20,T1
0 0 0 Covered T4,T5,T6


Assert Coverage for Module : prim_reg_cdc
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
BusySrcReqChk_A 2147483647 105124585 0 0
DstReqKnown_A 338652206 309300176 0 0
SrcAckBusyChk_A 2147483647 114709 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 105124585 0 0
T1 8341200 54674 0 0
T2 489880 0 0 0
T3 3503946 42184 0 0
T4 1664732 9769 0 0
T5 203420 0 0 0
T6 90128 0 0 0
T7 390156 0 0 0
T8 2396086 33053 0 0
T9 298761 25727 0 0
T10 79733 0 0 0
T11 0 23184 0 0
T13 0 12834 0 0
T14 2010920 0 0 0
T15 506920 0 0 0
T16 489690 0 0 0
T17 1828610 0 0 0
T18 2110773 15641 0 0
T19 991820 0 0 0
T20 269940 0 0 0
T25 216359 0 0 0
T26 0 15515 0 0
T30 0 12563 0 0
T32 0 10992 0 0
T40 0 7229 0 0
T43 0 1784 0 0
T44 0 14843 0 0
T45 0 156802 0 0
T46 0 16803 0 0
T47 0 2023 0 0
T48 0 499 0 0
T49 0 1468 0 0
T50 0 12526 0 0
T51 0 12376 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 338652206 309300176 0 0
T1 591940 308482 0 0
T2 17850 4250 0 0
T4 317968 208692 0 0
T5 13838 238 0 0
T6 17000 3400 0 0
T14 13668 68 0 0
T15 13770 170 0 0
T16 13872 272 0 0
T19 17714 4114 0 0
T20 21828 8228 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 114709 0 0
T1 8341200 29 0 0
T2 489880 0 0 0
T3 3503946 94 0 0
T4 1664732 7 0 0
T5 203420 0 0 0
T6 90128 0 0 0
T7 390156 0 0 0
T8 2396086 81 0 0
T9 298761 72 0 0
T10 79733 0 0 0
T11 0 56 0 0
T13 0 45 0 0
T14 2010920 0 0 0
T15 506920 0 0 0
T16 489690 0 0 0
T17 1828610 0 0 0
T18 2110773 8 0 0
T19 991820 0 0 0
T20 269940 0 0 0
T25 216359 0 0 0
T26 0 36 0 0
T30 0 7 0 0
T32 0 6 0 0
T40 0 8 0 0
T43 0 9 0 0
T44 0 8 0 0
T45 0 104 0 0
T46 0 9 0 0
T47 0 7 0 0
T48 0 1 0 0
T49 0 1 0 0
T50 0 7 0 0
T51 0 7 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 28360080 28265356 0 0
T2 1665592 1662872 0 0
T4 14150222 14095754 0 0
T5 1729070 1726962 0 0
T6 766088 763232 0 0
T14 6837128 6834068 0 0
T15 1723528 1721182 0 0
T16 1664946 1661784 0 0
T19 8430470 8427852 0 0
T20 2294490 2291532 0 0

Line Coverage for Instance : tb.dut.u_reg.u_wkup_status_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_wkup_status_cdc
TotalCoveredPercent
Conditions161487.50
Logical161487.50
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T7

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T3,T7
11CoveredT1,T3,T7

 LINE       112
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT55,T27,T28
1-CoveredT1,T3,T7

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01CoveredT1,T2,T3
10CoveredT1,T3,T7

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T3,T7
11CoveredT1,T3,T7

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Not Covered
11CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_reg.u_wkup_status_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T7
0 0 1 Covered T1,T3,T7
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T7
0 0 1 Covered T1,T2,T3
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_wkup_status_cdc
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
BusySrcReqChk_A 1280293521 1067843 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1210 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1067843 0 0
T1 834120 1976 0 0
T2 48988 0 0 0
T3 583991 2388 0 0
T7 65026 837 0 0
T8 342298 2620 0 0
T9 0 1659 0 0
T11 0 744 0 0
T12 0 3451 0 0
T13 0 632 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T24 0 809 0 0
T56 0 675 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1210 0 0
T1 834120 1 0 0
T2 48988 0 0 0
T3 583991 5 0 0
T7 65026 2 0 0
T8 342298 6 0 0
T9 0 4 0 0
T11 0 2 0 0
T12 0 2 0 0
T13 0 2 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T24 0 2 0 0
T56 0 2 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_ec_rst_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_ec_rst_ctl_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T20,T1

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT4,T20,T1
11CoveredT4,T20,T1

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T20,T1

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT4,T20,T1
11CoveredT4,T20,T1

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_ec_rst_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T20,T1
0 0 1 Covered T4,T20,T1
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T20,T1
0 0 1 Covered T4,T20,T1
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_ec_rst_ctl_cdc
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
BusySrcReqChk_A 1280293521 1762709 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1991 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1762709 0 0
T1 834120 10819 0 0
T2 48988 0 0 0
T3 0 4675 0 0
T4 416183 1326 0 0
T5 50855 0 0 0
T6 22532 0 0 0
T8 0 3920 0 0
T9 0 3366 0 0
T11 0 2835 0 0
T13 0 1444 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T19 247955 0 0 0
T20 67485 289 0 0
T45 0 19013 0 0
T57 0 1480 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1991 0 0
T1 834120 6 0 0
T2 48988 0 0 0
T3 0 11 0 0
T4 416183 1 0 0
T5 50855 0 0 0
T6 22532 0 0 0
T8 0 9 0 0
T9 0 9 0 0
T11 0 7 0 0
T13 0 5 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T19 247955 0 0 0
T20 67485 1 0 0
T45 0 13 0 0
T57 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT7,T12,T24

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT7,T12,T24
11CoveredT7,T12,T24

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT7,T12,T24

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT7,T12,T24
11CoveredT7,T12,T24

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T7,T12,T24
0 0 1 Covered T7,T12,T24
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T7,T12,T24
0 0 1 Covered T7,T12,T24
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc
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
BusySrcReqChk_A 1280293521 979883 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1003 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 979883 0 0
T7 65026 885 0 0
T8 342298 0 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T12 0 3458 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T24 0 833 0 0
T25 216359 0 0 0
T40 0 744 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T56 0 729 0 0
T58 0 4361 0 0
T59 0 1436 0 0
T60 0 870 0 0
T61 0 1373 0 0
T62 0 2400 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1003 0 0
T7 65026 2 0 0
T8 342298 0 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T12 0 2 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T24 0 2 0 0
T25 216359 0 0 0
T40 0 1 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T56 0 2 0 0
T58 0 3 0 0
T59 0 1 0 0
T60 0 2 0 0
T61 0 3 0 0
T62 0 3 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT7,T12,T24

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT7,T12,T24
11CoveredT7,T12,T24

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT7,T12,T24

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT7,T12,T24
11CoveredT7,T12,T24

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T7,T12,T24
0 0 1 Covered T7,T12,T24
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T7,T12,T24
0 0 1 Covered T7,T12,T24
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc
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
BusySrcReqChk_A 1280293521 965301 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1004 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 965301 0 0
T7 65026 866 0 0
T8 342298 0 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T12 0 3454 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T24 0 813 0 0
T25 216359 0 0 0
T40 0 742 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T56 0 717 0 0
T58 0 4355 0 0
T59 0 1419 0 0
T60 0 866 0 0
T61 0 1367 0 0
T62 0 2394 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1004 0 0
T7 65026 2 0 0
T8 342298 0 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T12 0 2 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T24 0 2 0 0
T25 216359 0 0 0
T40 0 1 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T56 0 2 0 0
T58 0 3 0 0
T59 0 1 0 0
T60 0 2 0 0
T61 0 3 0 0
T62 0 3 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT7,T12,T24

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT7,T12,T24
11CoveredT7,T12,T24

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT7,T12,T24

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT7,T12,T24
11CoveredT7,T12,T24

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T7,T12,T24
0 0 1 Covered T7,T12,T24
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T7,T12,T24
0 0 1 Covered T7,T12,T24
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc
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
BusySrcReqChk_A 1280293521 943869 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 981 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 943869 0 0
T7 65026 857 0 0
T8 342298 0 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T12 0 3450 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T24 0 796 0 0
T25 216359 0 0 0
T40 0 740 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T56 0 704 0 0
T58 0 4349 0 0
T59 0 1409 0 0
T60 0 862 0 0
T61 0 1361 0 0
T62 0 2388 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 981 0 0
T7 65026 2 0 0
T8 342298 0 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T12 0 2 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T24 0 2 0 0
T25 216359 0 0 0
T40 0 1 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T56 0 2 0 0
T58 0 3 0 0
T59 0 1 0 0
T60 0 2 0 0
T61 0 3 0 0
T62 0 3 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_key_invert_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_key_invert_ctl_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT6,T3,T25

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT6,T3,T25
11CoveredT6,T3,T25

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT6,T3,T25

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT6,T3,T25
11CoveredT6,T3,T25

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_key_invert_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T6,T3,T25
0 0 1 Covered T6,T3,T25
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T6,T3,T25
0 0 1 Covered T6,T3,T25
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_key_invert_ctl_cdc
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
BusySrcReqChk_A 1280293521 2818357 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 3076 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 2818357 0 0
T1 834120 0 0 0
T2 48988 0 0 0
T3 583991 10369 0 0
T6 22532 2971 0 0
T7 65026 0 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T19 247955 0 0 0
T20 67485 0 0 0
T25 0 28372 0 0
T41 0 9442 0 0
T63 0 36004 0 0
T64 0 26865 0 0
T65 0 33604 0 0
T66 0 34184 0 0
T67 0 8749 0 0
T68 0 18129 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 3076 0 0
T1 834120 0 0 0
T2 48988 0 0 0
T3 583991 20 0 0
T6 22532 20 0 0
T7 65026 0 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T19 247955 0 0 0
T20 67485 0 0 0
T25 0 20 0 0
T41 0 20 0 0
T63 0 20 0 0
T64 0 20 0 0
T65 0 20 0 0
T66 0 20 0 0
T67 0 20 0 0
T68 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_pin_allowed_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_pin_allowed_ctl_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T6,T19

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT4,T6,T19
11CoveredT4,T6,T19

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T6,T19

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT4,T6,T19
11CoveredT4,T6,T19

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_pin_allowed_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T6,T19
0 0 1 Covered T4,T6,T19
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T6,T19
0 0 1 Covered T4,T6,T19
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_pin_allowed_ctl_cdc
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
BusySrcReqChk_A 1280293521 5450078 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 6844 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 5450078 0 0
T1 834120 173878 0 0
T2 48988 0 0 0
T3 0 29423 0 0
T4 416183 89223 0 0
T5 50855 0 0 0
T6 22532 178 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 0 35095 0 0
T19 247955 30957 0 0
T20 67485 0 0 0
T25 0 1311 0 0
T52 0 33390 0 0
T53 0 8447 0 0
T54 0 32635 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 6844 0 0
T1 834120 100 0 0
T2 48988 0 0 0
T3 0 61 0 0
T4 416183 60 0 0
T5 50855 0 0 0
T6 22532 1 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 0 20 0 0
T19 247955 20 0 0
T20 67485 0 0 0
T25 0 1 0 0
T52 0 20 0 0
T53 0 20 0 0
T54 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_pin_out_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_pin_out_ctl_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T6,T19

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT4,T6,T19
11CoveredT4,T6,T19

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T6,T19

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT4,T6,T19
11CoveredT4,T6,T19

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_pin_out_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T6,T19
0 0 1 Covered T4,T6,T19
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T6,T19
0 0 1 Covered T4,T6,T19
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_pin_out_ctl_cdc
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
BusySrcReqChk_A 1280293521 6551759 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 8032 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 6551759 0 0
T1 834120 191585 0 0
T2 48988 0 0 0
T3 0 36052 0 0
T4 416183 90797 0 0
T5 50855 0 0 0
T6 22532 180 0 0
T8 0 3998 0 0
T9 0 3678 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 0 35399 0 0
T19 247955 31237 0 0
T20 67485 297 0 0
T52 0 33470 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 8032 0 0
T1 834120 109 0 0
T2 48988 0 0 0
T3 0 73 0 0
T4 416183 61 0 0
T5 50855 0 0 0
T6 22532 1 0 0
T8 0 9 0 0
T9 0 9 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 0 20 0 0
T19 247955 20 0 0
T20 67485 1 0 0
T52 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_pin_out_value_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_pin_out_value_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T19,T1

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT4,T19,T1
11CoveredT4,T19,T1

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T19,T1

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT4,T19,T1
11CoveredT4,T19,T1

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_pin_out_value_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T19,T1
0 0 1 Covered T4,T19,T1
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T19,T1
0 0 1 Covered T4,T19,T1
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_pin_out_value_cdc
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
BusySrcReqChk_A 1280293521 5390215 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 6733 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 5390215 0 0
T1 834120 174078 0 0
T2 48988 0 0 0
T3 0 29633 0 0
T4 416183 89343 0 0
T5 50855 0 0 0
T6 22532 0 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 0 35256 0 0
T19 247955 31096 0 0
T20 67485 0 0 0
T52 0 33430 0 0
T53 0 8487 0 0
T54 0 32744 0 0
T69 0 33216 0 0
T70 0 7864 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 6733 0 0
T1 834120 100 0 0
T2 48988 0 0 0
T3 0 60 0 0
T4 416183 60 0 0
T5 50855 0 0 0
T6 22532 0 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 0 20 0 0
T19 247955 20 0 0
T20 67485 0 0 0
T52 0 20 0 0
T53 0 20 0 0
T54 0 20 0 0
T69 0 20 0 0
T70 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_key_intr_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_key_intr_ctl_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T2,T10

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T2,T10
11CoveredT1,T2,T10

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T2,T10

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T2,T10
11CoveredT1,T2,T10

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_key_intr_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T2,T10
0 0 1 Covered T1,T2,T10
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T2,T10
0 0 1 Covered T1,T2,T10
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_key_intr_ctl_cdc
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
BusySrcReqChk_A 1280293521 996685 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1005 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 996685 0 0
T1 834120 5940 0 0
T2 48988 313 0 0
T3 583991 0 0 0
T7 65026 0 0 0
T8 342298 0 0 0
T10 0 480 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T33 0 935 0 0
T35 0 535 0 0
T37 0 1917 0 0
T38 0 597 0 0
T39 0 1941 0 0
T40 0 746 0 0
T71 0 968 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1005 0 0
T1 834120 3 0 0
T2 48988 1 0 0
T3 583991 0 0 0
T7 65026 0 0 0
T8 342298 0 0 0
T10 0 1 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T33 0 2 0 0
T35 0 1 0 0
T37 0 1 0 0
T38 0 1 0 0
T39 0 1 0 0
T40 0 1 0 0
T71 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_key_intr_debounce_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_key_intr_debounce_ctl_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T1,T2

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT4,T1,T2
11CoveredT4,T1,T2

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T1,T2

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT4,T1,T2
11CoveredT4,T1,T2

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_key_intr_debounce_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T1,T2
0 0 1 Covered T4,T1,T2
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T1,T2
0 0 1 Covered T4,T1,T2
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_key_intr_debounce_ctl_cdc
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
BusySrcReqChk_A 1280293521 1805993 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 2026 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1805993 0 0
T1 834120 12293 0 0
T2 48988 307 0 0
T3 0 5260 0 0
T4 416183 1324 0 0
T5 50855 0 0 0
T6 22532 0 0 0
T8 0 3868 0 0
T9 0 3512 0 0
T10 0 478 0 0
T11 0 2821 0 0
T13 0 1418 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T19 247955 0 0 0
T20 67485 0 0 0
T45 0 18868 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 2026 0 0
T1 834120 7 0 0
T2 48988 1 0 0
T3 0 11 0 0
T4 416183 1 0 0
T5 50855 0 0 0
T6 22532 0 0 0
T8 0 9 0 0
T9 0 9 0 0
T10 0 1 0 0
T11 0 7 0 0
T13 0 5 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T19 247955 0 0 0
T20 67485 0 0 0
T45 0 13 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_auto_block_debounce_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_auto_block_debounce_ctl_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T1,T3

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT4,T1,T3
11CoveredT4,T1,T3

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T1,T3

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT4,T1,T3
11CoveredT4,T1,T3

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_auto_block_debounce_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T1,T3
0 0 1 Covered T4,T1,T3
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T1,T3
0 0 1 Covered T4,T1,T3
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_auto_block_debounce_ctl_cdc
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
BusySrcReqChk_A 1280293521 1221450 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1330 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1221450 0 0
T1 834120 10884 0 0
T2 48988 0 0 0
T3 0 3750 0 0
T4 416183 4448 0 0
T5 50855 0 0 0
T6 22532 0 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T18 0 9788 0 0
T19 247955 0 0 0
T20 67485 0 0 0
T40 0 4493 0 0
T43 0 1196 0 0
T44 0 9109 0 0
T47 0 1178 0 0
T50 0 7240 0 0
T51 0 6951 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1330 0 0
T1 834120 6 0 0
T2 48988 0 0 0
T3 0 7 0 0
T4 416183 3 0 0
T5 50855 0 0 0
T6 22532 0 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T18 0 5 0 0
T19 247955 0 0 0
T20 67485 0 0 0
T40 0 5 0 0
T43 0 6 0 0
T44 0 5 0 0
T47 0 4 0 0
T50 0 4 0 0
T51 0 4 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_auto_block_out_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_auto_block_out_ctl_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T1,T3

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT4,T1,T3
11CoveredT4,T1,T3

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T1,T3

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT4,T1,T3
11CoveredT4,T1,T3

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_auto_block_out_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T1,T3
0 0 1 Covered T4,T1,T3
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T1,T3
0 0 1 Covered T4,T1,T3
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_auto_block_out_ctl_cdc
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
BusySrcReqChk_A 1280293521 1114594 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1186 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1114594 0 0
T1 834120 5432 0 0
T2 48988 0 0 0
T3 0 2590 0 0
T4 416183 2663 0 0
T5 50855 0 0 0
T6 22532 0 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T18 0 5853 0 0
T19 247955 0 0 0
T20 67485 0 0 0
T40 0 2736 0 0
T43 0 588 0 0
T44 0 5734 0 0
T47 0 845 0 0
T50 0 5286 0 0
T51 0 5425 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1186 0 0
T1 834120 3 0 0
T2 48988 0 0 0
T3 0 5 0 0
T4 416183 2 0 0
T5 50855 0 0 0
T6 22532 0 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T18 0 3 0 0
T19 247955 0 0 0
T20 67485 0 0 0
T40 0 3 0 0
T43 0 3 0 0
T44 0 3 0 0
T47 0 3 0 0
T50 0 3 0 0
T51 0 3 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_0_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_0_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT8,T13,T26

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT8,T13,T26
11CoveredT8,T13,T26

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT8,T13,T26

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT8,T13,T26
11CoveredT8,T13,T26

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_0_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T8,T13,T26
0 0 1 Covered T8,T13,T26
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T8,T13,T26
0 0 1 Covered T8,T13,T26
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_0_cdc
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
BusySrcReqChk_A 1280293521 6763748 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 6951 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 6763748 0 0
T8 342298 29191 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T13 0 26753 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T25 216359 0 0 0
T26 0 23122 0 0
T30 0 102087 0 0
T32 0 120276 0 0
T42 0 12035 0 0
T46 0 87184 0 0
T48 0 22805 0 0
T49 0 87146 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T57 303726 0 0 0
T72 0 21767 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 6951 0 0
T8 342298 68 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T13 0 71 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T25 216359 0 0 0
T26 0 57 0 0
T30 0 62 0 0
T32 0 71 0 0
T42 0 68 0 0
T46 0 51 0 0
T48 0 51 0 0
T49 0 51 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T57 303726 0 0 0
T72 0 51 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_1_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_1_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT8,T13,T26

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT8,T13,T26
11CoveredT8,T13,T26

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT8,T13,T26

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT8,T13,T26
11CoveredT8,T13,T26

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_1_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T8,T13,T26
0 0 1 Covered T8,T13,T26
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T8,T13,T26
0 0 1 Covered T8,T13,T26
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_1_cdc
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
BusySrcReqChk_A 1280293521 6473483 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 6824 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 6473483 0 0
T8 342298 35388 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T13 0 31429 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T25 216359 0 0 0
T26 0 26581 0 0
T30 0 83753 0 0
T32 0 119956 0 0
T42 0 16282 0 0
T46 0 86408 0 0
T48 0 22595 0 0
T49 0 86936 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T57 303726 0 0 0
T72 0 21029 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 6824 0 0
T8 342298 84 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T13 0 86 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T25 216359 0 0 0
T26 0 65 0 0
T30 0 51 0 0
T32 0 71 0 0
T42 0 94 0 0
T46 0 51 0 0
T48 0 51 0 0
T49 0 51 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T57 303726 0 0 0
T72 0 51 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_2_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_2_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT8,T13,T26

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT8,T13,T26
11CoveredT8,T13,T26

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT8,T13,T26

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT8,T13,T26
11CoveredT8,T13,T26

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_2_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T8,T13,T26
0 0 1 Covered T8,T13,T26
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T8,T13,T26
0 0 1 Covered T8,T13,T26
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_2_cdc
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
BusySrcReqChk_A 1280293521 6571481 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 6841 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 6571481 0 0
T8 342298 27067 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T13 0 23075 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T25 216359 0 0 0
T26 0 28462 0 0
T30 0 100042 0 0
T32 0 119636 0 0
T42 0 14246 0 0
T46 0 85676 0 0
T48 0 22385 0 0
T49 0 86726 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T57 303726 0 0 0
T72 0 20300 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 6841 0 0
T8 342298 68 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T13 0 66 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T25 216359 0 0 0
T26 0 70 0 0
T30 0 62 0 0
T32 0 71 0 0
T42 0 84 0 0
T46 0 51 0 0
T48 0 51 0 0
T49 0 51 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T57 303726 0 0 0
T72 0 51 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_3_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_3_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT8,T13,T26

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT8,T13,T26
11CoveredT8,T13,T26

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT8,T13,T26

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT8,T13,T26
11CoveredT8,T13,T26

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_3_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T8,T13,T26
0 0 1 Covered T8,T13,T26
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T8,T13,T26
0 0 1 Covered T8,T13,T26
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_3_cdc
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
BusySrcReqChk_A 1280293521 6518841 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 6925 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 6518841 0 0
T8 342298 27930 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T13 0 29760 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T25 216359 0 0 0
T26 0 25583 0 0
T30 0 98830 0 0
T32 0 92528 0 0
T42 0 12572 0 0
T46 0 84852 0 0
T48 0 22175 0 0
T49 0 86516 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T57 303726 0 0 0
T72 0 19663 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 6925 0 0
T8 342298 71 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T13 0 86 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T25 216359 0 0 0
T26 0 64 0 0
T30 0 62 0 0
T32 0 56 0 0
T42 0 76 0 0
T46 0 51 0 0
T48 0 51 0 0
T49 0 51 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T57 303726 0 0 0
T72 0 51 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_0_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_0_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT8,T13,T26

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT8,T13,T26
11CoveredT8,T13,T26

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT8,T13,T26

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT8,T13,T26
11CoveredT8,T13,T26

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_0_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T8,T13,T26
0 0 1 Covered T8,T13,T26
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T8,T13,T26
0 0 1 Covered T8,T13,T26
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_0_cdc
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
BusySrcReqChk_A 1280293521 1134531 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1172 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1134531 0 0
T8 342298 4014 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T13 0 1601 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T25 216359 0 0 0
T26 0 1795 0 0
T30 0 1883 0 0
T32 0 10992 0 0
T42 0 1740 0 0
T46 0 1929 0 0
T48 0 499 0 0
T49 0 1468 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T57 303726 0 0 0
T72 0 361 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1172 0 0
T8 342298 9 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T13 0 5 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T25 216359 0 0 0
T26 0 4 0 0
T30 0 1 0 0
T32 0 6 0 0
T42 0 9 0 0
T46 0 1 0 0
T48 0 1 0 0
T49 0 1 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T57 303726 0 0 0
T72 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_1_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_1_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT8,T13,T26

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT8,T13,T26
11CoveredT8,T13,T26

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT8,T13,T26

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT8,T13,T26
11CoveredT8,T13,T26

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_1_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T8,T13,T26
0 0 1 Covered T8,T13,T26
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T8,T13,T26
0 0 1 Covered T8,T13,T26
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_1_cdc
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
BusySrcReqChk_A 1280293521 1159479 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1197 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1159479 0 0
T8 342298 3726 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T13 0 1391 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T25 216359 0 0 0
T26 0 1755 0 0
T30 0 1839 0 0
T32 0 10932 0 0
T42 0 1650 0 0
T46 0 1898 0 0
T48 0 489 0 0
T49 0 1458 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T57 303726 0 0 0
T72 0 313 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1197 0 0
T8 342298 9 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T13 0 5 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T25 216359 0 0 0
T26 0 4 0 0
T30 0 1 0 0
T32 0 6 0 0
T42 0 9 0 0
T46 0 1 0 0
T48 0 1 0 0
T49 0 1 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T57 303726 0 0 0
T72 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_2_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_2_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT8,T13,T26

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT8,T13,T26
11CoveredT8,T13,T26

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT8,T13,T26

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT8,T13,T26
11CoveredT8,T13,T26

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_2_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T8,T13,T26
0 0 1 Covered T8,T13,T26
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T8,T13,T26
0 0 1 Covered T8,T13,T26
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_2_cdc
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
BusySrcReqChk_A 1280293521 1153162 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1192 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1153162 0 0
T8 342298 3388 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T13 0 1229 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T25 216359 0 0 0
T26 0 1715 0 0
T30 0 1809 0 0
T32 0 10872 0 0
T42 0 1560 0 0
T46 0 1867 0 0
T48 0 479 0 0
T49 0 1448 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T57 303726 0 0 0
T72 0 263 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1192 0 0
T8 342298 9 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T13 0 5 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T25 216359 0 0 0
T26 0 4 0 0
T30 0 1 0 0
T32 0 6 0 0
T42 0 9 0 0
T46 0 1 0 0
T48 0 1 0 0
T49 0 1 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T57 303726 0 0 0
T72 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_3_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_3_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT8,T13,T26

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT8,T13,T26
11CoveredT8,T13,T26

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT8,T13,T26

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT8,T13,T26
11CoveredT8,T13,T26

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_3_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T8,T13,T26
0 0 1 Covered T8,T13,T26
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T8,T13,T26
0 0 1 Covered T8,T13,T26
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_3_cdc
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
BusySrcReqChk_A 1280293521 1131371 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1189 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1131371 0 0
T8 342298 3562 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T13 0 1584 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T25 216359 0 0 0
T26 0 1675 0 0
T30 0 1755 0 0
T32 0 10812 0 0
T42 0 1470 0 0
T46 0 1822 0 0
T48 0 469 0 0
T49 0 1438 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T57 303726 0 0 0
T72 0 349 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1189 0 0
T8 342298 9 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T13 0 5 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T25 216359 0 0 0
T26 0 4 0 0
T30 0 1 0 0
T32 0 6 0 0
T42 0 9 0 0
T46 0 1 0 0
T48 0 1 0 0
T49 0 1 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T57 303726 0 0 0
T72 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_0_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_0_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T1,T3

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT4,T1,T3
11CoveredT4,T1,T3

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T1,T3

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT4,T1,T3
11CoveredT4,T1,T3

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_0_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T1,T3
0 0 1 Covered T4,T1,T3
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T1,T3
0 0 1 Covered T4,T1,T3
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_0_cdc
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
BusySrcReqChk_A 1280293521 7386408 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 7643 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 7386408 0 0
T1 834120 7419 0 0
T2 48988 0 0 0
T3 0 5686 0 0
T4 416183 1332 0 0
T5 50855 0 0 0
T6 22532 0 0 0
T8 0 29453 0 0
T9 0 3857 0 0
T11 0 3003 0 0
T13 0 27199 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T19 247955 0 0 0
T20 67485 0 0 0
T26 0 23212 0 0
T45 0 20591 0 0
T46 0 87533 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 7643 0 0
T1 834120 4 0 0
T2 48988 0 0 0
T3 0 11 0 0
T4 416183 1 0 0
T5 50855 0 0 0
T6 22532 0 0 0
T8 0 68 0 0
T9 0 9 0 0
T11 0 7 0 0
T13 0 71 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T19 247955 0 0 0
T20 67485 0 0 0
T26 0 57 0 0
T45 0 13 0 0
T46 0 51 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_1_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_1_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_1_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_1_cdc
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
BusySrcReqChk_A 1280293521 7060653 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 7435 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 7060653 0 0
T1 834120 3958 0 0
T2 48988 0 0 0
T3 583991 5031 0 0
T7 65026 0 0 0
T8 342298 35812 0 0
T9 0 3761 0 0
T11 0 2989 0 0
T13 0 31910 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 26687 0 0
T30 0 84174 0 0
T45 0 20447 0 0
T46 0 86778 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 7435 0 0
T1 834120 2 0 0
T2 48988 0 0 0
T3 583991 10 0 0
T7 65026 0 0 0
T8 342298 84 0 0
T9 0 9 0 0
T11 0 7 0 0
T13 0 86 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 65 0 0
T30 0 51 0 0
T45 0 13 0 0
T46 0 51 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_2_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_2_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_2_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_2_cdc
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
BusySrcReqChk_A 1280293521 7183560 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 7497 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 7183560 0 0
T1 834120 3954 0 0
T2 48988 0 0 0
T3 583991 4923 0 0
T7 65026 0 0 0
T8 342298 27356 0 0
T9 0 3672 0 0
T11 0 2975 0 0
T13 0 23416 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 28578 0 0
T30 0 100545 0 0
T45 0 20325 0 0
T46 0 86012 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 7497 0 0
T1 834120 2 0 0
T2 48988 0 0 0
T3 583991 10 0 0
T7 65026 0 0 0
T8 342298 68 0 0
T9 0 9 0 0
T11 0 7 0 0
T13 0 66 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 70 0 0
T30 0 62 0 0
T45 0 13 0 0
T46 0 51 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_3_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_3_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_3_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_3_cdc
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
BusySrcReqChk_A 1280293521 7032914 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 7532 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 7032914 0 0
T1 834120 3950 0 0
T2 48988 0 0 0
T3 583991 4810 0 0
T7 65026 0 0 0
T8 342298 28615 0 0
T9 0 3574 0 0
T11 0 2961 0 0
T13 0 30331 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 25687 0 0
T30 0 99402 0 0
T45 0 20177 0 0
T46 0 85225 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 7532 0 0
T1 834120 2 0 0
T2 48988 0 0 0
T3 583991 10 0 0
T7 65026 0 0 0
T8 342298 71 0 0
T9 0 9 0 0
T11 0 7 0 0
T13 0 86 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 64 0 0
T30 0 62 0 0
T45 0 13 0 0
T46 0 51 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_0_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_0_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T1,T3

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT4,T1,T3
11CoveredT4,T1,T3

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T1,T3

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT4,T1,T3
11CoveredT4,T1,T3

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_0_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T1,T3
0 0 1 Covered T4,T1,T3
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T1,T3
0 0 1 Covered T4,T1,T3
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_0_cdc
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
BusySrcReqChk_A 1280293521 1773983 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1939 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1773983 0 0
T1 834120 7399 0 0
T2 48988 0 0 0
T3 0 5231 0 0
T4 416183 1330 0 0
T5 50855 0 0 0
T6 22532 0 0 0
T8 0 3890 0 0
T9 0 3472 0 0
T11 0 2947 0 0
T13 0 1522 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T19 247955 0 0 0
T20 67485 0 0 0
T26 0 1779 0 0
T45 0 20041 0 0
T46 0 1911 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1939 0 0
T1 834120 4 0 0
T2 48988 0 0 0
T3 0 11 0 0
T4 416183 1 0 0
T5 50855 0 0 0
T6 22532 0 0 0
T8 0 9 0 0
T9 0 9 0 0
T11 0 7 0 0
T13 0 5 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T19 247955 0 0 0
T20 67485 0 0 0
T26 0 4 0 0
T45 0 13 0 0
T46 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_1_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_1_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_1_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_1_cdc
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
BusySrcReqChk_A 1280293521 1673279 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1842 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1673279 0 0
T1 834120 3942 0 0
T2 48988 0 0 0
T3 583991 4580 0 0
T7 65026 0 0 0
T8 342298 3584 0 0
T9 0 3378 0 0
T11 0 2933 0 0
T13 0 1327 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 1739 0 0
T30 0 1825 0 0
T45 0 19903 0 0
T46 0 1884 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1842 0 0
T1 834120 2 0 0
T2 48988 0 0 0
T3 583991 10 0 0
T7 65026 0 0 0
T8 342298 9 0 0
T9 0 9 0 0
T11 0 7 0 0
T13 0 5 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 4 0 0
T30 0 1 0 0
T45 0 13 0 0
T46 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_2_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_2_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_2_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_2_cdc
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
BusySrcReqChk_A 1280293521 1665637 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1838 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1665637 0 0
T1 834120 3938 0 0
T2 48988 0 0 0
T3 583991 4496 0 0
T7 65026 0 0 0
T8 342298 3261 0 0
T9 0 3286 0 0
T11 0 2919 0 0
T13 0 1165 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 1699 0 0
T30 0 1785 0 0
T45 0 19811 0 0
T46 0 1849 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1838 0 0
T1 834120 2 0 0
T2 48988 0 0 0
T3 583991 10 0 0
T7 65026 0 0 0
T8 342298 9 0 0
T9 0 9 0 0
T11 0 7 0 0
T13 0 5 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 4 0 0
T30 0 1 0 0
T45 0 13 0 0
T46 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_3_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_3_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_3_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_3_cdc
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
BusySrcReqChk_A 1280293521 1699787 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1870 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1699787 0 0
T1 834120 3934 0 0
T2 48988 0 0 0
T3 583991 4395 0 0
T7 65026 0 0 0
T8 342298 3794 0 0
T9 0 3191 0 0
T11 0 2905 0 0
T13 0 1525 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 1659 0 0
T30 0 1739 0 0
T45 0 19647 0 0
T46 0 1802 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1870 0 0
T1 834120 2 0 0
T2 48988 0 0 0
T3 583991 10 0 0
T7 65026 0 0 0
T8 342298 9 0 0
T9 0 9 0 0
T11 0 7 0 0
T13 0 5 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 4 0 0
T30 0 1 0 0
T45 0 13 0 0
T46 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_0_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_0_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T1,T3

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT4,T1,T3
11CoveredT4,T1,T3

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT4,T1,T3

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT4,T1,T3
11CoveredT4,T1,T3

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_0_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T1,T3
0 0 1 Covered T4,T1,T3
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T4,T1,T3
0 0 1 Covered T4,T1,T3
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_0_cdc
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
BusySrcReqChk_A 1280293521 1721669 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1893 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1721669 0 0
T1 834120 7379 0 0
T2 48988 0 0 0
T3 0 4816 0 0
T4 416183 1328 0 0
T5 50855 0 0 0
T6 22532 0 0 0
T8 0 3830 0 0
T9 0 3110 0 0
T11 0 2891 0 0
T13 0 1472 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T19 247955 0 0 0
T20 67485 0 0 0
T26 0 1771 0 0
T45 0 19539 0 0
T46 0 1909 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1893 0 0
T1 834120 4 0 0
T2 48988 0 0 0
T3 0 11 0 0
T4 416183 1 0 0
T5 50855 0 0 0
T6 22532 0 0 0
T8 0 9 0 0
T9 0 9 0 0
T11 0 7 0 0
T13 0 5 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T19 247955 0 0 0
T20 67485 0 0 0
T26 0 4 0 0
T45 0 13 0 0
T46 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_1_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_1_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_1_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_1_cdc
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
BusySrcReqChk_A 1280293521 1658570 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1837 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1658570 0 0
T1 834120 3926 0 0
T2 48988 0 0 0
T3 583991 4202 0 0
T7 65026 0 0 0
T8 342298 3516 0 0
T9 0 3014 0 0
T11 0 2877 0 0
T13 0 1294 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 1731 0 0
T30 0 1822 0 0
T45 0 19421 0 0
T46 0 1880 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1837 0 0
T1 834120 2 0 0
T2 48988 0 0 0
T3 583991 10 0 0
T7 65026 0 0 0
T8 342298 9 0 0
T9 0 9 0 0
T11 0 7 0 0
T13 0 5 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 4 0 0
T30 0 1 0 0
T45 0 13 0 0
T46 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_2_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_2_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_2_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_2_cdc
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
BusySrcReqChk_A 1280293521 1673523 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1834 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1673523 0 0
T1 834120 3922 0 0
T2 48988 0 0 0
T3 583991 4115 0 0
T7 65026 0 0 0
T8 342298 3319 0 0
T9 0 3067 0 0
T11 0 2863 0 0
T13 0 1449 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 1691 0 0
T30 0 1773 0 0
T45 0 19285 0 0
T46 0 1842 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1834 0 0
T1 834120 2 0 0
T2 48988 0 0 0
T3 583991 10 0 0
T7 65026 0 0 0
T8 342298 9 0 0
T9 0 9 0 0
T11 0 7 0 0
T13 0 5 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 4 0 0
T30 0 1 0 0
T45 0 13 0 0
T46 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_3_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_3_cdc
TotalCoveredPercent
Conditions111090.91
Logical111090.91
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT1,T3,T8
11CoveredT1,T3,T8

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_3_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T1,T3,T8
0 0 1 Covered T1,T3,T8
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_3_cdc
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
BusySrcReqChk_A 1280293521 1664572 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 1852 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1664572 0 0
T1 834120 3918 0 0
T2 48988 0 0 0
T3 583991 4009 0 0
T7 65026 0 0 0
T8 342298 3845 0 0
T9 0 3209 0 0
T11 0 2849 0 0
T13 0 1479 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 1651 0 0
T30 0 1736 0 0
T45 0 19155 0 0
T46 0 1797 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1852 0 0
T1 834120 2 0 0
T2 48988 0 0 0
T3 583991 10 0 0
T7 65026 0 0 0
T8 342298 9 0 0
T9 0 9 0 0
T11 0 7 0 0
T13 0 5 0 0
T14 201092 0 0 0
T15 50692 0 0 0
T16 48969 0 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T26 0 4 0 0
T30 0 1 0 0
T45 0 13 0 0
T46 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

Line Coverage for Instance : tb.dut.u_reg.u_ulp_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_ulp_ctl_cdc
TotalCoveredPercent
Conditions131292.31
Logical131292.31
Non-Logical00
Event00

 LINE       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT7,T12,T24

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT7,T12,T24
11CoveredT7,T12,T24

 LINE       112
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT7,T12,T24
1-CoveredT7,T12,T24

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T6
01Unreachable
10CoveredT7,T12,T24

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT7,T12,T24
11CoveredT7,T12,T24

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_ulp_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 60 4 4 100.00
IF 104 4 4 100.00

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

LineNo. Expression -1-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T7,T12,T24
0 0 1 Covered T7,T12,T24
0 0 0 Covered T4,T5,T6


LineNo. Expression -1-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T7,T12,T24
0 0 1 Covered T7,T12,T24
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_ulp_ctl_cdc
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
BusySrcReqChk_A 1280293521 955198 0 0
DstReqKnown_A 9960359 9097064 0 0
SrcAckBusyChk_A 1280293521 985 0 0
SrcBusyKnown_A 1280293521 1278474307 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 955198 0 0
T7 65026 1743 0 0
T8 342298 0 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T12 0 7412 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T24 0 1549 0 0
T25 216359 0 0 0
T40 0 1741 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T56 0 1689 0 0
T60 0 866 0 0
T73 0 834 0 0
T74 0 6776 0 0
T75 0 317 0 0
T76 0 1741 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9960359 9097064 0 0
T1 17410 9073 0 0
T2 525 125 0 0
T4 9352 6138 0 0
T5 407 7 0 0
T6 500 100 0 0
T14 402 2 0 0
T15 405 5 0 0
T16 408 8 0 0
T19 521 121 0 0
T20 642 242 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 985 0 0
T7 65026 4 0 0
T8 342298 0 0 0
T9 298761 0 0 0
T10 79733 0 0 0
T12 0 4 0 0
T17 261230 0 0 0
T18 301539 0 0 0
T24 0 4 0 0
T25 216359 0 0 0
T40 0 2 0 0
T52 253295 0 0 0
T53 60803 0 0 0
T54 261260 0 0 0
T56 0 4 0 0
T60 0 2 0 0
T73 0 2 0 0
T74 0 4 0 0
T75 0 4 0 0
T76 0 2 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1280293521 1278474307 0 0
T1 834120 831334 0 0
T2 48988 48908 0 0
T4 416183 414581 0 0
T5 50855 50793 0 0
T6 22532 22448 0 0
T14 201092 201002 0 0
T15 50692 50623 0 0
T16 48969 48876 0 0
T19 247955 247878 0 0
T20 67485 67398 0 0

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