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
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T2,T4

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT1,T2,T4
11CoveredT1,T2,T4

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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
00CoveredT1,T2,T4
01Unreachable
10CoveredT2,T3,T5

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT2,T3,T5
11CoveredT2,T3,T5

 LINE       112
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT2,T3,T20
1-CoveredT2,T3,T5

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T1,T2,T12
0 0 1 Covered T1,T2,T12
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T1,T2,T12
0 0 1 Covered T1,T2,T12
0 0 0 Covered T1,T2,T4


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 101907509 0 0
DstReqKnown_A 227769978 197317946 0 0
SrcAckBusyChk_A 2147483647 115444 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 101907509 0 0
T1 2624897 26483 0 0
T2 2898454 0 0 0
T3 8148657 2737 0 0
T4 3291678 0 0 0
T5 7609470 17674 0 0
T6 5272722 0 0 0
T7 205970 18342 0 0
T8 638987 49440 0 0
T9 325144 0 0 0
T12 6033192 17488 0 0
T13 6677781 0 0 0
T14 6060384 0 0 0
T15 8399122 0 0 0
T16 8406908 0 0 0
T21 5086788 0 0 0
T22 0 2504 0 0
T23 108423 7650 0 0
T27 0 17676 0 0
T30 0 28547 0 0
T37 0 30208 0 0
T38 0 12216 0 0
T39 0 16483 0 0
T40 0 3385 0 0
T41 0 2835 0 0
T42 0 8651 0 0
T43 0 12334 0 0
T44 0 375 0 0
T45 0 14987 0 0
T46 0 5931 0 0
T47 0 2680 0 0
T48 5086151 0 0 0
T49 65737 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 227769978 197317946 0 0
T1 12020224 11784264 0 0
T2 20366 6766 0 0
T3 122672 54672 0 0
T4 17748 4148 0 0
T5 627198 612680 0 0
T12 517990 503200 0 0
T13 14314 714 0 0
T14 13702 102 0 0
T15 16796 3196 0 0
T16 16796 3196 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 115444 0 0
T1 2624897 32 0 0
T2 2898454 0 0 0
T3 8148657 7 0 0
T4 3291678 0 0 0
T5 7609470 45 0 0
T6 5272722 0 0 0
T7 205970 48 0 0
T8 638987 32 0 0
T9 325144 0 0 0
T12 6033192 45 0 0
T13 6677781 0 0 0
T14 6060384 0 0 0
T15 8399122 0 0 0
T16 8406908 0 0 0
T21 5086788 0 0 0
T22 0 8 0 0
T23 108423 9 0 0
T27 0 48 0 0
T30 0 36 0 0
T37 0 45 0 0
T38 0 9 0 0
T39 0 9 0 0
T40 0 9 0 0
T41 0 6 0 0
T42 0 9 0 0
T43 0 8 0 0
T44 0 1 0 0
T45 0 8 0 0
T46 0 8 0 0
T47 0 8 0 0
T48 5086151 0 0 0
T49 65737 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 8113318 8062284 0 0
T2 7580572 7577954 0 0
T3 8395586 8383448 0 0
T4 8609004 8606386 0 0
T5 7840060 7828262 0 0
T12 6216016 6201464 0 0
T13 6880138 6877078 0 0
T14 6244032 6242060 0 0
T15 8399122 8397184 0 0
T16 8406908 8403916 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT2,T3,T5

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT2,T3,T5
11CoveredT2,T3,T5

 LINE       112
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT50,T24,T25
1-CoveredT2,T3,T5

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T2,T3,T5
0 0 1 Covered T2,T3,T5
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T2,T3,T5
0 0 1 Covered T1,T2,T3
0 0 0 Covered T1,T2,T4


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 1347279588 1088457 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1216 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1088457 0 0
T2 222958 1912 0 0
T3 246929 370 0 0
T4 253206 0 0 0
T5 230590 944 0 0
T7 0 2188 0 0
T8 0 1917 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T20 0 772 0 0
T27 0 2032 0 0
T28 0 19763 0 0
T30 0 3235 0 0
T48 221137 0 0 0
T51 0 322 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1216 0 0
T2 222958 1 0 0
T3 246929 1 0 0
T4 253206 0 0 0
T5 230590 2 0 0
T7 0 5 0 0
T8 0 1 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T20 0 1 0 0
T27 0 5 0 0
T28 0 11 0 0
T30 0 4 0 0
T48 221137 0 0 0
T51 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T12,T5

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

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T1,T12,T5
0 0 1 Covered T1,T12,T5
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T1,T12,T5
0 0 1 Covered T1,T12,T5
0 0 0 Covered T1,T2,T4


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 1347279588 1774843 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 2094 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1774843 0 0
T1 238627 968 0 0
T2 222958 0 0 0
T3 246929 0 0 0
T4 253206 0 0 0
T5 230590 1799 0 0
T7 0 2332 0 0
T8 0 6144 0 0
T12 182824 1842 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T23 0 739 0 0
T37 0 2986 0 0
T38 0 1286 0 0
T52 0 1983 0 0
T53 0 316 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 2094 0 0
T1 238627 1 0 0
T2 222958 0 0 0
T3 246929 0 0 0
T4 253206 0 0 0
T5 230590 5 0 0
T7 0 6 0 0
T8 0 4 0 0
T12 182824 5 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T23 0 1 0 0
T37 0 5 0 0
T38 0 1 0 0
T52 0 1 0 0
T53 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T2,T3

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T2,T3

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T1,T2,T3
0 0 1 Covered T1,T2,T3
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T1,T2,T3
0 0 1 Covered T1,T2,T3
0 0 0 Covered T1,T2,T4


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 1347279588 943189 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1070 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 943189 0 0
T1 238627 973 0 0
T2 222958 1954 0 0
T3 246929 780 0 0
T4 253206 0 0 0
T5 230590 0 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T20 0 777 0 0
T33 0 697 0 0
T51 0 327 0 0
T54 0 1288 0 0
T55 0 1672 0 0
T56 0 334 0 0
T57 0 228 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1070 0 0
T1 238627 1 0 0
T2 222958 1 0 0
T3 246929 2 0 0
T4 253206 0 0 0
T5 230590 0 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T20 0 1 0 0
T33 0 1 0 0
T51 0 1 0 0
T54 0 2 0 0
T55 0 4 0 0
T56 0 1 0 0
T57 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T2,T3

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T2,T3

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T1,T2,T3
0 0 1 Covered T1,T2,T3
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T1,T2,T3
0 0 1 Covered T1,T2,T3
0 0 0 Covered T1,T2,T4


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 1347279588 951252 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1095 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 951252 0 0
T1 238627 964 0 0
T2 222958 1942 0 0
T3 246929 761 0 0
T4 253206 0 0 0
T5 230590 0 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T20 0 775 0 0
T33 0 695 0 0
T51 0 325 0 0
T54 0 1284 0 0
T55 0 1664 0 0
T56 0 332 0 0
T57 0 224 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1095 0 0
T1 238627 1 0 0
T2 222958 1 0 0
T3 246929 2 0 0
T4 253206 0 0 0
T5 230590 0 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T20 0 1 0 0
T33 0 1 0 0
T51 0 1 0 0
T54 0 2 0 0
T55 0 4 0 0
T56 0 1 0 0
T57 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T2,T3

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT1,T2,T3
11CoveredT1,T2,T3

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T2,T3

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T1,T2,T3
0 0 1 Covered T1,T2,T3
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T1,T2,T3
0 0 1 Covered T1,T2,T3
0 0 0 Covered T1,T2,T4


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 1347279588 960028 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1105 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 960028 0 0
T1 238627 954 0 0
T2 222958 1930 0 0
T3 246929 742 0 0
T4 253206 0 0 0
T5 230590 0 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T20 0 773 0 0
T33 0 693 0 0
T51 0 323 0 0
T54 0 1280 0 0
T55 0 1656 0 0
T56 0 322 0 0
T57 0 212 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1105 0 0
T1 238627 1 0 0
T2 222958 1 0 0
T3 246929 2 0 0
T4 253206 0 0 0
T5 230590 0 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T20 0 1 0 0
T33 0 1 0 0
T51 0 1 0 0
T54 0 2 0 0
T55 0 4 0 0
T56 0 1 0 0
T57 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT15,T16,T21

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT15,T16,T21
11CoveredT15,T16,T21

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T2,T4
01Unreachable
10CoveredT15,T16,T21

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT15,T16,T21
11CoveredT15,T16,T21

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T15,T16,T21
0 0 1 Covered T15,T16,T21
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T15,T16,T21
0 0 1 Covered T15,T16,T21
0 0 0 Covered T1,T2,T4


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 1347279588 2543779 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 3066 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 2543779 0 0
T6 251082 0 0 0
T7 205970 0 0 0
T8 638987 0 0 0
T9 325144 0 0 0
T15 247033 35896 0 0
T16 247262 36004 0 0
T21 242228 35159 0 0
T23 108423 0 0 0
T48 221137 0 0 0
T49 65737 0 0 0
T55 0 17288 0 0
T58 0 33009 0 0
T59 0 18017 0 0
T60 0 15181 0 0
T61 0 34156 0 0
T62 0 17052 0 0
T63 0 4291 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 3066 0 0
T6 251082 0 0 0
T7 205970 0 0 0
T8 638987 0 0 0
T9 325144 0 0 0
T15 247033 20 0 0
T16 247262 20 0 0
T21 242228 20 0 0
T23 108423 0 0 0
T48 221137 0 0 0
T49 65737 0 0 0
T55 0 40 0 0
T58 0 20 0 0
T59 0 20 0 0
T60 0 20 0 0
T61 0 20 0 0
T62 0 20 0 0
T63 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T4,T3

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT1,T4,T3
11CoveredT1,T4,T3

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T4,T3

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T1,T4,T3
0 0 1 Covered T1,T4,T3
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T1,T4,T3
0 0 1 Covered T1,T4,T3
0 0 0 Covered T1,T2,T4


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 1347279588 5302762 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 6428 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 5302762 0 0
T1 238627 50059 0 0
T2 222958 0 0 0
T3 246929 7088 0 0
T4 253206 32905 0 0
T5 230590 0 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 1989 0 0
T16 247262 1494 0 0
T21 0 1929 0 0
T49 0 8253 0 0
T58 0 1418 0 0
T59 0 968 0 0
T64 0 32829 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 6428 0 0
T1 238627 60 0 0
T2 222958 0 0 0
T3 246929 20 0 0
T4 253206 20 0 0
T5 230590 0 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 1 0 0
T16 247262 1 0 0
T21 0 1 0 0
T49 0 20 0 0
T58 0 1 0 0
T59 0 1 0 0
T64 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T4,T12

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT1,T4,T12
11CoveredT1,T4,T12

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T4,T12

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T1,T4,T12
0 0 1 Covered T1,T4,T12
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T1,T4,T12
0 0 1 Covered T1,T4,T12
0 0 0 Covered T1,T2,T4


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 1347279588 6388950 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 7602 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 6388950 0 0
T1 238627 52363 0 0
T2 222958 0 0 0
T3 246929 7516 0 0
T4 253206 32985 0 0
T5 230590 2149 0 0
T7 0 2649 0 0
T12 182824 2014 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 1996 0 0
T16 247262 1496 0 0
T21 0 1947 0 0
T49 0 8535 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 7602 0 0
T1 238627 62 0 0
T2 222958 0 0 0
T3 246929 20 0 0
T4 253206 20 0 0
T5 230590 5 0 0
T7 0 6 0 0
T12 182824 5 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 1 0 0
T16 247262 1 0 0
T21 0 1 0 0
T49 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T4,T3

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT1,T4,T3
11CoveredT1,T4,T3

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T4,T3

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T1,T4,T3
0 0 1 Covered T1,T4,T3
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T1,T4,T3
0 0 1 Covered T1,T4,T3
0 0 0 Covered T1,T2,T4


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 1347279588 5205334 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 6282 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 5205334 0 0
T1 238627 50497 0 0
T2 222958 0 0 0
T3 246929 7278 0 0
T4 253206 32945 0 0
T5 230590 0 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T45 0 36970 0 0
T49 0 8384 0 0
T64 0 32869 0 0
T65 0 8406 0 0
T66 0 17695 0 0
T67 0 1465 0 0
T68 0 8611 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 6282 0 0
T1 238627 60 0 0
T2 222958 0 0 0
T3 246929 20 0 0
T4 253206 20 0 0
T5 230590 0 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T45 0 20 0 0
T49 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 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T6,T9

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

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T1,T6,T9
0 0 1 Covered T1,T6,T9
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T1,T6,T9
0 0 1 Covered T1,T6,T9
0 0 0 Covered T1,T2,T4


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 1347279588 999091 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1090 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 999091 0 0
T1 238627 962 0 0
T2 222958 0 0 0
T3 246929 0 0 0
T4 253206 0 0 0
T5 230590 0 0 0
T6 0 1950 0 0
T9 0 1482 0 0
T10 0 350 0 0
T11 0 476 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T31 0 1593 0 0
T32 0 871 0 0
T33 0 2445 0 0
T35 0 509 0 0
T36 0 173 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1090 0 0
T1 238627 1 0 0
T2 222958 0 0 0
T3 246929 0 0 0
T4 253206 0 0 0
T5 230590 0 0 0
T6 0 1 0 0
T9 0 1 0 0
T10 0 1 0 0
T11 0 1 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T31 0 1 0 0
T32 0 2 0 0
T33 0 4 0 0
T35 0 1 0 0
T36 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T12,T5

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

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T1,T12,T5
0 0 1 Covered T1,T12,T5
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T1,T12,T5
0 0 1 Covered T1,T12,T5
0 0 0 Covered T1,T2,T4


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 1347279588 1736982 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 2068 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1736982 0 0
T1 238627 953 0 0
T2 222958 0 0 0
T3 246929 0 0 0
T4 253206 0 0 0
T5 230590 1878 0 0
T6 0 1942 0 0
T7 0 2423 0 0
T8 0 6136 0 0
T9 0 1471 0 0
T10 0 340 0 0
T11 0 474 0 0
T12 182824 1832 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T23 0 731 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 2068 0 0
T1 238627 1 0 0
T2 222958 0 0 0
T3 246929 0 0 0
T4 253206 0 0 0
T5 230590 5 0 0
T6 0 1 0 0
T7 0 6 0 0
T8 0 4 0 0
T9 0 1 0 0
T10 0 1 0 0
T11 0 1 0 0
T12 182824 5 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T23 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T3,T22

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT1,T3,T22
11CoveredT1,T3,T22

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T3,T22

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T1,T3,T22
0 0 1 Covered T1,T3,T22
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T1,T3,T22
0 0 1 Covered T1,T3,T22
0 0 0 Covered T1,T2,T4


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 1347279588 1217690 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1418 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1217690 0 0
T1 238627 17288 0 0
T2 222958 0 0 0
T3 246929 1577 0 0
T4 253206 0 0 0
T5 230590 0 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T22 0 1591 0 0
T39 0 10995 0 0
T40 0 2275 0 0
T41 0 1904 0 0
T43 0 7593 0 0
T45 0 9497 0 0
T46 0 3809 0 0
T47 0 1665 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1418 0 0
T1 238627 21 0 0
T2 222958 0 0 0
T3 246929 4 0 0
T4 253206 0 0 0
T5 230590 0 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T22 0 5 0 0
T39 0 6 0 0
T40 0 6 0 0
T41 0 4 0 0
T43 0 5 0 0
T45 0 5 0 0
T46 0 5 0 0
T47 0 5 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T3,T22

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT1,T3,T22
11CoveredT1,T3,T22

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T2,T4
01Unreachable
10CoveredT1,T3,T22

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T1,T3,T22
0 0 1 Covered T1,T3,T22
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T1,T3,T22
0 0 1 Covered T1,T3,T22
0 0 0 Covered T1,T2,T4


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 1347279588 1050630 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1205 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1050630 0 0
T1 238627 9195 0 0
T2 222958 0 0 0
T3 246929 1160 0 0
T4 253206 0 0 0
T5 230590 0 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T22 0 913 0 0
T39 0 5488 0 0
T40 0 1110 0 0
T41 0 931 0 0
T43 0 4741 0 0
T45 0 5490 0 0
T46 0 2122 0 0
T47 0 1015 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1205 0 0
T1 238627 11 0 0
T2 222958 0 0 0
T3 246929 3 0 0
T4 253206 0 0 0
T5 230590 0 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T22 0 3 0 0
T39 0 3 0 0
T40 0 3 0 0
T41 0 2 0 0
T43 0 3 0 0
T45 0 3 0 0
T46 0 3 0 0
T47 0 3 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T23

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T23
11CoveredT12,T5,T23

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

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT12,T5,T23
11CoveredT12,T5,T23

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T23
0 0 1 Covered T12,T5,T23
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T23
0 0 1 Covered T12,T5,T23
0 0 0 Covered T1,T2,T4


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 1347279588 6413785 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 6875 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 6413785 0 0
T3 246929 0 0 0
T5 230590 32628 0 0
T6 251082 0 0 0
T12 182824 22225 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 42997 0 0
T30 0 62475 0 0
T37 0 70472 0 0
T38 0 86727 0 0
T42 0 44027 0 0
T44 0 16909 0 0
T48 221137 0 0 0
T69 0 63847 0 0
T70 0 26837 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 6875 0 0
T3 246929 0 0 0
T5 230590 79 0 0
T6 251082 0 0 0
T12 182824 55 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 51 0 0
T30 0 72 0 0
T37 0 81 0 0
T38 0 51 0 0
T42 0 51 0 0
T44 0 51 0 0
T48 221137 0 0 0
T69 0 87 0 0
T70 0 61 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T23

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T23
11CoveredT12,T5,T23

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

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT12,T5,T23
11CoveredT12,T5,T23

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T23
0 0 1 Covered T12,T5,T23
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T23
0 0 1 Covered T12,T5,T23
0 0 0 Covered T1,T2,T4


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 1347279588 6336566 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 6926 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 6336566 0 0
T3 246929 0 0 0
T5 230590 24689 0 0
T6 251082 0 0 0
T12 182824 33820 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 41840 0 0
T30 0 58204 0 0
T37 0 52022 0 0
T38 0 86011 0 0
T42 0 43817 0 0
T44 0 16158 0 0
T48 221137 0 0 0
T69 0 53243 0 0
T70 0 37581 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 6926 0 0
T3 246929 0 0 0
T5 230590 64 0 0
T6 251082 0 0 0
T12 182824 84 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 51 0 0
T30 0 67 0 0
T37 0 61 0 0
T38 0 51 0 0
T42 0 51 0 0
T44 0 51 0 0
T48 221137 0 0 0
T69 0 74 0 0
T70 0 87 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T23

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T23
11CoveredT12,T5,T23

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

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT12,T5,T23
11CoveredT12,T5,T23

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T23
0 0 1 Covered T12,T5,T23
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T23
0 0 1 Covered T12,T5,T23
0 0 0 Covered T1,T2,T4


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 1347279588 6355875 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 7021 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 6355875 0 0
T3 246929 0 0 0
T5 230590 27418 0 0
T6 251082 0 0 0
T12 182824 33454 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 40712 0 0
T30 0 67116 0 0
T37 0 60278 0 0
T38 0 85310 0 0
T42 0 43607 0 0
T44 0 15369 0 0
T48 221137 0 0 0
T69 0 40006 0 0
T70 0 35648 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 7021 0 0
T3 246929 0 0 0
T5 230590 74 0 0
T6 251082 0 0 0
T12 182824 84 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 51 0 0
T30 0 78 0 0
T37 0 72 0 0
T38 0 51 0 0
T42 0 51 0 0
T44 0 51 0 0
T48 221137 0 0 0
T69 0 56 0 0
T70 0 87 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T23

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T23
11CoveredT12,T5,T23

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

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT12,T5,T23
11CoveredT12,T5,T23

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T23
0 0 1 Covered T12,T5,T23
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T23
0 0 1 Covered T12,T5,T23
0 0 0 Covered T1,T2,T4


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 1347279588 6195024 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 6867 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 6195024 0 0
T3 246929 0 0 0
T5 230590 25589 0 0
T6 251082 0 0 0
T12 182824 31463 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 39650 0 0
T30 0 53219 0 0
T37 0 67472 0 0
T38 0 84579 0 0
T42 0 43397 0 0
T44 0 14791 0 0
T48 221137 0 0 0
T69 0 62945 0 0
T70 0 27471 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 6867 0 0
T3 246929 0 0 0
T5 230590 69 0 0
T6 251082 0 0 0
T12 182824 80 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 51 0 0
T30 0 62 0 0
T37 0 81 0 0
T38 0 51 0 0
T42 0 51 0 0
T44 0 51 0 0
T48 221137 0 0 0
T69 0 87 0 0
T70 0 71 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T23

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T23
11CoveredT12,T5,T23

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

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT12,T5,T23
11CoveredT12,T5,T23

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T23
0 0 1 Covered T12,T5,T23
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T23
0 0 1 Covered T12,T5,T23
0 0 0 Covered T1,T2,T4


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 1347279588 1138705 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1243 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1138705 0 0
T3 246929 0 0 0
T5 230590 2194 0 0
T6 251082 0 0 0
T12 182824 2032 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 945 0 0
T30 0 3243 0 0
T37 0 3692 0 0
T38 0 1427 0 0
T42 0 979 0 0
T44 0 375 0 0
T48 221137 0 0 0
T69 0 2145 0 0
T70 0 389 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1243 0 0
T3 246929 0 0 0
T5 230590 5 0 0
T6 251082 0 0 0
T12 182824 5 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 1 0 0
T30 0 4 0 0
T37 0 5 0 0
T38 0 1 0 0
T42 0 1 0 0
T44 0 1 0 0
T48 221137 0 0 0
T69 0 3 0 0
T70 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T23

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T23
11CoveredT12,T5,T23

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

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT12,T5,T23
11CoveredT12,T5,T23

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T23
0 0 1 Covered T12,T5,T23
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T23
0 0 1 Covered T12,T5,T23
0 0 0 Covered T1,T2,T4


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 1347279588 1088174 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1246 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1088174 0 0
T3 246929 0 0 0
T5 230590 1903 0 0
T6 251082 0 0 0
T12 182824 1982 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 883 0 0
T30 0 3203 0 0
T37 0 3495 0 0
T38 0 1381 0 0
T42 0 969 0 0
T44 0 348 0 0
T48 221137 0 0 0
T69 0 2115 0 0
T70 0 334 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1246 0 0
T3 246929 0 0 0
T5 230590 5 0 0
T6 251082 0 0 0
T12 182824 5 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 1 0 0
T30 0 4 0 0
T37 0 5 0 0
T38 0 1 0 0
T42 0 1 0 0
T44 0 1 0 0
T48 221137 0 0 0
T69 0 3 0 0
T70 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T23

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T23
11CoveredT12,T5,T23

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

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT12,T5,T23
11CoveredT12,T5,T23

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T23
0 0 1 Covered T12,T5,T23
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T23
0 0 1 Covered T12,T5,T23
0 0 0 Covered T1,T2,T4


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 1347279588 1069419 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1238 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1069419 0 0
T3 246929 0 0 0
T5 230590 1907 0 0
T6 251082 0 0 0
T12 182824 1932 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 838 0 0
T30 0 3163 0 0
T37 0 3318 0 0
T38 0 1352 0 0
T42 0 959 0 0
T44 0 301 0 0
T48 221137 0 0 0
T69 0 2085 0 0
T70 0 290 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1238 0 0
T3 246929 0 0 0
T5 230590 5 0 0
T6 251082 0 0 0
T12 182824 5 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 1 0 0
T30 0 4 0 0
T37 0 5 0 0
T38 0 1 0 0
T42 0 1 0 0
T44 0 1 0 0
T48 221137 0 0 0
T69 0 3 0 0
T70 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T23

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T23
11CoveredT12,T5,T23

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

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT12,T5,T23
11CoveredT12,T5,T23

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T23
0 0 1 Covered T12,T5,T23
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T23
0 0 1 Covered T12,T5,T23
0 0 0 Covered T1,T2,T4


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 1347279588 1090285 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1242 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1090285 0 0
T3 246929 0 0 0
T5 230590 2006 0 0
T6 251082 0 0 0
T12 182824 1882 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 787 0 0
T30 0 3123 0 0
T37 0 3133 0 0
T38 0 1310 0 0
T42 0 949 0 0
T44 0 374 0 0
T48 221137 0 0 0
T69 0 2055 0 0
T70 0 379 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1242 0 0
T3 246929 0 0 0
T5 230590 5 0 0
T6 251082 0 0 0
T12 182824 5 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 1 0 0
T30 0 4 0 0
T37 0 5 0 0
T38 0 1 0 0
T42 0 1 0 0
T44 0 1 0 0
T48 221137 0 0 0
T69 0 3 0 0
T70 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T7

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T7
11CoveredT12,T5,T7

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 1347279588 7146465 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 7662 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 7146465 0 0
T3 246929 0 0 0
T5 230590 33275 0 0
T6 251082 0 0 0
T7 0 2699 0 0
T8 0 6240 0 0
T12 182824 22305 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 43481 0 0
T27 0 2629 0 0
T30 0 62595 0 0
T37 0 70924 0 0
T38 0 87086 0 0
T42 0 44123 0 0
T48 221137 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 7662 0 0
T3 246929 0 0 0
T5 230590 79 0 0
T6 251082 0 0 0
T7 0 6 0 0
T8 0 4 0 0
T12 182824 55 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 51 0 0
T27 0 6 0 0
T30 0 72 0 0
T37 0 81 0 0
T38 0 51 0 0
T42 0 51 0 0
T48 221137 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T7

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T7
11CoveredT12,T5,T7

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 1347279588 6927680 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 7607 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 6927680 0 0
T3 246929 0 0 0
T5 230590 25251 0 0
T6 251082 0 0 0
T7 0 2629 0 0
T8 0 6232 0 0
T12 182824 33958 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 42349 0 0
T27 0 2561 0 0
T30 0 58314 0 0
T37 0 52325 0 0
T38 0 86327 0 0
T42 0 43913 0 0
T48 221137 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 7607 0 0
T3 246929 0 0 0
T5 230590 64 0 0
T6 251082 0 0 0
T7 0 6 0 0
T8 0 4 0 0
T12 182824 84 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 51 0 0
T27 0 6 0 0
T30 0 67 0 0
T37 0 61 0 0
T38 0 51 0 0
T42 0 51 0 0
T48 221137 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T7

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T7
11CoveredT12,T5,T7

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 1347279588 7000526 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 7733 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 7000526 0 0
T3 246929 0 0 0
T5 230590 28396 0 0
T6 251082 0 0 0
T7 0 2563 0 0
T8 0 6224 0 0
T12 182824 33592 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 41257 0 0
T27 0 2479 0 0
T30 0 67248 0 0
T37 0 60643 0 0
T38 0 85642 0 0
T42 0 43703 0 0
T48 221137 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 7733 0 0
T3 246929 0 0 0
T5 230590 74 0 0
T6 251082 0 0 0
T7 0 6 0 0
T8 0 4 0 0
T12 182824 84 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 51 0 0
T27 0 6 0 0
T30 0 78 0 0
T37 0 72 0 0
T38 0 51 0 0
T42 0 51 0 0
T48 221137 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T7

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T7
11CoveredT12,T5,T7

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 1347279588 6791183 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 7555 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 6791183 0 0
T3 246929 0 0 0
T5 230590 26044 0 0
T6 251082 0 0 0
T7 0 2507 0 0
T8 0 6216 0 0
T12 182824 31593 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 40140 0 0
T27 0 2428 0 0
T30 0 53319 0 0
T37 0 67950 0 0
T38 0 84907 0 0
T42 0 43493 0 0
T48 221137 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 7555 0 0
T3 246929 0 0 0
T5 230590 69 0 0
T6 251082 0 0 0
T7 0 6 0 0
T8 0 4 0 0
T12 182824 80 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 51 0 0
T27 0 6 0 0
T30 0 62 0 0
T37 0 81 0 0
T38 0 51 0 0
T42 0 51 0 0
T48 221137 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T7

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T7
11CoveredT12,T5,T7

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 1347279588 1784853 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 2041 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1784853 0 0
T3 246929 0 0 0
T5 230590 2053 0 0
T6 251082 0 0 0
T7 0 2452 0 0
T8 0 6208 0 0
T12 182824 2012 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 921 0 0
T27 0 2358 0 0
T30 0 3227 0 0
T37 0 3611 0 0
T38 0 1405 0 0
T42 0 975 0 0
T48 221137 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 2041 0 0
T3 246929 0 0 0
T5 230590 5 0 0
T6 251082 0 0 0
T7 0 6 0 0
T8 0 4 0 0
T12 182824 5 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 1 0 0
T27 0 6 0 0
T30 0 4 0 0
T37 0 5 0 0
T38 0 1 0 0
T42 0 1 0 0
T48 221137 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T7

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T7
11CoveredT12,T5,T7

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 1347279588 1609794 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1889 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1609794 0 0
T3 246929 0 0 0
T5 230590 1804 0 0
T6 251082 0 0 0
T7 0 2394 0 0
T8 0 6200 0 0
T12 182824 1962 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 860 0 0
T27 0 2300 0 0
T30 0 3187 0 0
T37 0 3427 0 0
T38 0 1370 0 0
T42 0 965 0 0
T48 221137 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1889 0 0
T3 246929 0 0 0
T5 230590 5 0 0
T6 251082 0 0 0
T7 0 6 0 0
T8 0 4 0 0
T12 182824 5 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 1 0 0
T27 0 6 0 0
T30 0 4 0 0
T37 0 5 0 0
T38 0 1 0 0
T42 0 1 0 0
T48 221137 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T7

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T7
11CoveredT12,T5,T7

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 1347279588 1628151 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1901 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1628151 0 0
T3 246929 0 0 0
T5 230590 2034 0 0
T6 251082 0 0 0
T7 0 2326 0 0
T8 0 6192 0 0
T12 182824 1912 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 829 0 0
T27 0 2219 0 0
T30 0 3147 0 0
T37 0 3234 0 0
T38 0 1337 0 0
T42 0 955 0 0
T48 221137 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1901 0 0
T3 246929 0 0 0
T5 230590 5 0 0
T6 251082 0 0 0
T7 0 6 0 0
T8 0 4 0 0
T12 182824 5 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 1 0 0
T27 0 6 0 0
T30 0 4 0 0
T37 0 5 0 0
T38 0 1 0 0
T42 0 1 0 0
T48 221137 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T7

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T7
11CoveredT12,T5,T7

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 1347279588 1622755 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1889 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1622755 0 0
T3 246929 0 0 0
T5 230590 1893 0 0
T6 251082 0 0 0
T7 0 2259 0 0
T8 0 6184 0 0
T12 182824 1862 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 766 0 0
T27 0 2153 0 0
T30 0 3107 0 0
T37 0 3062 0 0
T38 0 1297 0 0
T42 0 945 0 0
T48 221137 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1889 0 0
T3 246929 0 0 0
T5 230590 5 0 0
T6 251082 0 0 0
T7 0 6 0 0
T8 0 4 0 0
T12 182824 5 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 1 0 0
T27 0 6 0 0
T30 0 4 0 0
T37 0 5 0 0
T38 0 1 0 0
T42 0 1 0 0
T48 221137 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T7

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T7
11CoveredT12,T5,T7

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 1347279588 1723801 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1996 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1723801 0 0
T3 246929 0 0 0
T5 230590 2005 0 0
T6 251082 0 0 0
T7 0 2195 0 0
T8 0 6176 0 0
T12 182824 2002 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 907 0 0
T27 0 2095 0 0
T30 0 3219 0 0
T37 0 3572 0 0
T38 0 1398 0 0
T42 0 973 0 0
T48 221137 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1996 0 0
T3 246929 0 0 0
T5 230590 5 0 0
T6 251082 0 0 0
T7 0 6 0 0
T8 0 4 0 0
T12 182824 5 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 1 0 0
T27 0 6 0 0
T30 0 4 0 0
T37 0 5 0 0
T38 0 1 0 0
T42 0 1 0 0
T48 221137 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T7

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T7
11CoveredT12,T5,T7

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 1347279588 1617413 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1889 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1617413 0 0
T3 246929 0 0 0
T5 230590 1876 0 0
T6 251082 0 0 0
T7 0 2131 0 0
T8 0 6168 0 0
T12 182824 1952 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 850 0 0
T27 0 2042 0 0
T30 0 3179 0 0
T37 0 3393 0 0
T38 0 1368 0 0
T42 0 963 0 0
T48 221137 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1889 0 0
T3 246929 0 0 0
T5 230590 5 0 0
T6 251082 0 0 0
T7 0 6 0 0
T8 0 4 0 0
T12 182824 5 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 1 0 0
T27 0 6 0 0
T30 0 4 0 0
T37 0 5 0 0
T38 0 1 0 0
T42 0 1 0 0
T48 221137 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T7

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T7
11CoveredT12,T5,T7

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 1347279588 1633181 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1913 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1633181 0 0
T3 246929 0 0 0
T5 230590 1975 0 0
T6 251082 0 0 0
T7 0 2195 0 0
T8 0 6160 0 0
T12 182824 1902 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 819 0 0
T27 0 2223 0 0
T30 0 3139 0 0
T37 0 3192 0 0
T38 0 1325 0 0
T42 0 953 0 0
T48 221137 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1913 0 0
T3 246929 0 0 0
T5 230590 5 0 0
T6 251082 0 0 0
T7 0 6 0 0
T8 0 4 0 0
T12 182824 5 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 1 0 0
T27 0 6 0 0
T30 0 4 0 0
T37 0 5 0 0
T38 0 1 0 0
T42 0 1 0 0
T48 221137 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT12,T5,T7

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT12,T5,T7
11CoveredT12,T5,T7

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

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T12,T5,T7
0 0 1 Covered T12,T5,T7
0 0 0 Covered T1,T2,T4


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 1347279588 1606822 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1894 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1606822 0 0
T3 246929 0 0 0
T5 230590 1840 0 0
T6 251082 0 0 0
T7 0 2390 0 0
T8 0 6152 0 0
T12 182824 1852 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 753 0 0
T27 0 2286 0 0
T30 0 3099 0 0
T37 0 3025 0 0
T38 0 1289 0 0
T42 0 943 0 0
T48 221137 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1894 0 0
T3 246929 0 0 0
T5 230590 5 0 0
T6 251082 0 0 0
T7 0 6 0 0
T8 0 4 0 0
T12 182824 5 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T21 242228 0 0 0
T23 0 1 0 0
T27 0 6 0 0
T30 0 4 0 0
T37 0 5 0 0
T38 0 1 0 0
T42 0 1 0 0
T48 221137 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 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
00CoveredT1,T2,T4
01Unreachable
10CoveredT2,T3,T20

 LINE       98
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T2,T4
10CoveredT2,T3,T20
11CoveredT2,T3,T20

 LINE       112
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT2,T3,T20
1-CoveredT2,T3,T20

 LINE       114
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T2,T4
01Unreachable
10CoveredT2,T3,T20

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

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T2,T4
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 T1,T2,T4
0 1 - Covered T2,T3,T20
0 0 1 Covered T2,T3,T20
0 0 0 Covered T1,T2,T4


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 T1,T2,T4
0 1 - Covered T2,T3,T20
0 0 1 Covered T2,T3,T20
0 0 0 Covered T1,T2,T4


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 1347279588 964065 0 0
DstReqKnown_A 6699117 5803469 0 0
SrcAckBusyChk_A 1347279588 1078 0 0
SrcBusyKnown_A 1347279588 1345500586 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 964065 0 0
T2 222958 3390 0 0
T3 246929 763 0 0
T4 253206 0 0 0
T5 230590 0 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T20 0 1553 0 0
T48 221137 0 0 0
T51 0 653 0 0
T54 0 2576 0 0
T71 0 9892 0 0
T72 0 1995 0 0
T73 0 3996 0 0
T74 0 3249 0 0
T75 0 3393 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6699117 5803469 0 0
T1 353536 346596 0 0
T2 599 199 0 0
T3 3608 1608 0 0
T4 522 122 0 0
T5 18447 18020 0 0
T12 15235 14800 0 0
T13 421 21 0 0
T14 403 3 0 0
T15 494 94 0 0
T16 494 94 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1078 0 0
T2 222958 2 0 0
T3 246929 2 0 0
T4 253206 0 0 0
T5 230590 0 0 0
T12 182824 0 0 0
T13 202357 0 0 0
T14 183648 0 0 0
T15 247033 0 0 0
T16 247262 0 0 0
T20 0 2 0 0
T48 221137 0 0 0
T51 0 2 0 0
T54 0 4 0 0
T71 0 6 0 0
T72 0 2 0 0
T73 0 2 0 0
T74 0 2 0 0
T75 0 2 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1347279588 1345500586 0 0
T1 238627 237126 0 0
T2 222958 222881 0 0
T3 246929 246572 0 0
T4 253206 253129 0 0
T5 230590 230243 0 0
T12 182824 182396 0 0
T13 202357 202267 0 0
T14 183648 183590 0 0
T15 247033 246976 0 0
T16 247262 247174 0 0

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