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_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT1,T5,T2

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

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

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

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

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

 LINE       123
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT1,T3,T6
1-CoveredT1,T2,T3

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

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

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

Branch Coverage for Module : prim_reg_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 101335654 0 0
DstReqKnown_A 247859898 218394580 0 0
SrcAckBusyChk_A 2147483647 112484 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 101335654 0 0
T2 980496 3480 0 0
T3 2404827 2919 0 0
T6 1130607 0 0 0
T7 126905 34961 0 0
T11 0 5438 0 0
T13 1990494 1929 0 0
T14 1066851 0 0 0
T15 156906 0 0 0
T16 443925 0 0 0
T21 1741923 0 0 0
T23 791400 6922 0 0
T24 0 13370 0 0
T25 0 2807 0 0
T26 1232640 1424 0 0
T27 0 2767 0 0
T31 290888 43279 0 0
T32 0 8008 0 0
T33 0 2040 0 0
T38 604102 0 0 0
T40 433312 1909 0 0
T45 0 2924 0 0
T46 0 12458 0 0
T47 0 9438 0 0
T48 0 2783 0 0
T49 0 10841 0 0
T50 0 12399 0 0
T51 0 6035 0 0
T52 967455 0 0 0
T53 59884 0 0 0
T54 489344 0 0 0
T55 411396 0 0 0
T56 102654 0 0 0
T57 84882 0 0 0
T58 522062 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 247859898 218394580 0 0
T1 40970 27370 0 0
T2 757656 742322 0 0
T3 426054 165512 0 0
T4 13668 68 0 0
T5 17918 4318 0 0
T6 50558 36958 0 0
T13 15504 1904 0 0
T14 16762 3162 0 0
T15 14824 1224 0 0
T16 13974 374 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 112484 0 0
T2 980496 18 0 0
T3 2404827 4 0 0
T6 1130607 0 0 0
T7 126905 20 0 0
T11 0 6 0 0
T13 1990494 1 0 0
T14 1066851 0 0 0
T15 156906 0 0 0
T16 443925 0 0 0
T21 1741923 0 0 0
T23 791400 17 0 0
T24 0 8 0 0
T25 0 8 0 0
T26 1232640 2 0 0
T27 0 2 0 0
T31 290888 26 0 0
T32 0 9 0 0
T33 0 5 0 0
T38 604102 0 0 0
T40 433312 1 0 0
T45 0 8 0 0
T46 0 8 0 0
T47 0 7 0 0
T48 0 8 0 0
T49 0 30 0 0
T50 0 8 0 0
T51 0 6 0 0
T52 967455 0 0 0
T53 59884 0 0 0
T54 489344 0 0 0
T55 411396 0 0 0
T56 102654 0 0 0
T57 84882 0 0 0
T58 522062 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 1969280 1966662 0 0
T2 4167108 4157282 0 0
T3 9084902 9045802 0 0
T4 6568188 6565196 0 0
T5 1255178 1252254 0 0
T6 4271182 4268292 0 0
T13 7519644 7516414 0 0
T14 4030326 4027640 0 0
T15 592756 590784 0 0
T16 1677050 1674330 0 0

Line Coverage for Instance : tb.dut.u_reg.u_wkup_status_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT1,T2,T3

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

 LINE       123
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT29,T17,T18
1-CoveredT1,T2,T3

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 1098799 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1154 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1098799 0 0
T1 57920 469 0 0
T2 122562 1569 0 0
T3 267203 822 0 0
T4 193182 0 0 0
T5 36917 0 0 0
T6 125623 1414 0 0
T7 0 15751 0 0
T8 0 914 0 0
T9 0 1405 0 0
T11 0 996 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T31 0 14525 0 0
T32 0 7281 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1154 0 0
T1 57920 1 0 0
T2 122562 8 0 0
T3 267203 1 0 0
T4 193182 0 0 0
T5 36917 0 0 0
T6 125623 2 0 0
T7 0 9 0 0
T8 0 1 0 0
T9 0 1 0 0
T11 0 1 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T31 0 8 0 0
T32 0 8 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_ec_rst_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT5,T2,T13

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

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

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT5,T2,T13
11CoveredT5,T2,T13

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_ec_rst_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 1668946 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1948 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1668946 0 0
T2 122562 1605 0 0
T3 267203 2602 0 0
T5 36917 272 0 0
T6 125623 0 0 0
T7 0 16726 0 0
T11 0 2632 0 0
T13 221166 1925 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T23 0 702 0 0
T26 136960 562 0 0
T27 0 1279 0 0
T59 0 219 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1948 0 0
T2 122562 9 0 0
T3 267203 4 0 0
T5 36917 1 0 0
T6 125623 0 0 0
T7 0 10 0 0
T11 0 3 0 0
T13 221166 1 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T23 0 2 0 0
T26 136960 1 0 0
T27 0 1 0 0
T59 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT1,T3,T6

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 865489 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 964 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 865489 0 0
T1 57920 852 0 0
T2 122562 0 0 0
T3 267203 861 0 0
T4 193182 0 0 0
T5 36917 0 0 0
T6 125623 2417 0 0
T7 0 1986 0 0
T8 0 941 0 0
T9 0 4764 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T34 0 471 0 0
T35 0 1995 0 0
T49 0 1702 0 0
T60 0 1321 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 964 0 0
T1 57920 2 0 0
T2 122562 0 0 0
T3 267203 1 0 0
T4 193182 0 0 0
T5 36917 0 0 0
T6 125623 3 0 0
T7 0 1 0 0
T8 0 1 0 0
T9 0 3 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T34 0 1 0 0
T35 0 1 0 0
T49 0 5 0 0
T60 0 3 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT1,T3,T6

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 906289 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 992 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 906289 0 0
T1 57920 840 0 0
T2 122562 0 0 0
T3 267203 851 0 0
T4 193182 0 0 0
T5 36917 0 0 0
T6 125623 2385 0 0
T7 0 1977 0 0
T8 0 938 0 0
T9 0 4737 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T34 0 462 0 0
T35 0 1993 0 0
T49 0 1638 0 0
T60 0 1292 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 992 0 0
T1 57920 2 0 0
T2 122562 0 0 0
T3 267203 1 0 0
T4 193182 0 0 0
T5 36917 0 0 0
T6 125623 3 0 0
T7 0 1 0 0
T8 0 1 0 0
T9 0 3 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T34 0 1 0 0
T35 0 1 0 0
T49 0 5 0 0
T60 0 3 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT1,T3,T6

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 898188 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 984 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 898188 0 0
T1 57920 822 0 0
T2 122562 0 0 0
T3 267203 846 0 0
T4 193182 0 0 0
T5 36917 0 0 0
T6 125623 2375 0 0
T7 0 1965 0 0
T8 0 927 0 0
T9 0 4719 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T34 0 451 0 0
T35 0 1991 0 0
T49 0 1583 0 0
T60 0 1261 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 984 0 0
T1 57920 2 0 0
T2 122562 0 0 0
T3 267203 1 0 0
T4 193182 0 0 0
T5 36917 0 0 0
T6 125623 3 0 0
T7 0 1 0 0
T8 0 1 0 0
T9 0 3 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T34 0 1 0 0
T35 0 1 0 0
T49 0 5 0 0
T60 0 3 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_key_invert_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT3,T14,T20

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T4,T5
10CoveredT3,T14,T20
11CoveredT3,T14,T20

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT3,T14,T20

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT3,T14,T20
11CoveredT3,T14,T20

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_key_invert_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 3074363 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 3065 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 3074363 0 0
T3 267203 29705 0 0
T6 125623 0 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T14 118539 16934 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T20 0 31077 0 0
T21 193547 0 0 0
T26 136960 0 0 0
T34 0 25228 0 0
T37 0 33125 0 0
T52 107495 0 0 0
T54 0 33358 0 0
T57 0 5915 0 0
T61 0 9339 0 0
T62 0 8629 0 0
T63 0 7683 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 3065 0 0
T3 267203 40 0 0
T6 125623 0 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T14 118539 20 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T20 0 20 0 0
T21 193547 0 0 0
T26 136960 0 0 0
T34 0 60 0 0
T37 0 40 0 0
T52 107495 0 0 0
T54 0 20 0 0
T57 0 20 0 0
T61 0 20 0 0
T62 0 20 0 0
T63 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_pin_allowed_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT3,T14,T21

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T4,T5
10CoveredT3,T14,T21
11CoveredT3,T14,T21

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT3,T14,T21

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT3,T14,T21
11CoveredT3,T14,T21

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_pin_allowed_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 5871704 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 6571 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 5871704 0 0
T3 267203 40339 0 0
T6 125623 0 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T14 118539 944 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T20 0 1415 0 0
T21 193547 26813 0 0
T22 0 1702 0 0
T23 0 8329 0 0
T26 136960 0 0 0
T52 107495 0 0 0
T54 0 1470 0 0
T57 0 231 0 0
T64 0 17801 0 0
T65 0 5793 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 6571 0 0
T3 267203 55 0 0
T6 125623 0 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T14 118539 1 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T20 0 1 0 0
T21 193547 20 0 0
T22 0 20 0 0
T23 0 20 0 0
T26 136960 0 0 0
T52 107495 0 0 0
T54 0 1 0 0
T57 0 1 0 0
T64 0 20 0 0
T65 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_pin_out_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT5,T2,T13

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

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

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT5,T2,T13
11CoveredT5,T2,T13

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_pin_out_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 6910102 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 7693 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 6910102 0 0
T2 122562 1793 0 0
T3 267203 44501 0 0
T5 36917 278 0 0
T6 125623 0 0 0
T7 0 17858 0 0
T13 221166 1933 0 0
T14 118539 950 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 27247 0 0
T26 136960 769 0 0
T27 0 1430 0 0
T59 0 221 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 7693 0 0
T2 122562 9 0 0
T3 267203 60 0 0
T5 36917 1 0 0
T6 125623 0 0 0
T7 0 10 0 0
T13 221166 1 0 0
T14 118539 1 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 20 0 0
T26 136960 1 0 0
T27 0 1 0 0
T59 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_pin_out_value_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT3,T21,T22

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T4,T5
10CoveredT3,T21,T22
11CoveredT3,T21,T22

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT3,T21,T22

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT3,T21,T22
11CoveredT3,T21,T22

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_pin_out_value_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 5816336 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 6483 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 5816336 0 0
T3 267203 39380 0 0
T6 125623 0 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 27053 0 0
T22 0 1582 0 0
T23 0 8369 0 0
T26 136960 0 0 0
T34 0 32709 0 0
T52 107495 0 0 0
T58 0 35704 0 0
T64 0 17937 0 0
T65 0 5833 0 0
T66 0 35743 0 0
T67 0 32759 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 6483 0 0
T3 267203 53 0 0
T6 125623 0 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 20 0 0
T22 0 20 0 0
T23 0 20 0 0
T26 136960 0 0 0
T34 0 80 0 0
T52 107495 0 0 0
T58 0 20 0 0
T64 0 20 0 0
T65 0 20 0 0
T66 0 20 0 0
T67 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_key_intr_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT3,T7,T10

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T4,T5
10CoveredT3,T7,T10
11CoveredT3,T7,T10

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

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT3,T7,T10
11CoveredT3,T7,T10

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_key_intr_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 878238 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1005 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 878238 0 0
T3 267203 1508 0 0
T6 125623 0 0 0
T7 126905 1987 0 0
T8 145793 0 0 0
T10 0 1449 0 0
T12 0 727 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 0 0 0
T34 0 956 0 0
T35 0 4000 0 0
T36 0 1917 0 0
T37 0 716 0 0
T38 0 1496 0 0
T39 0 369 0 0
T52 107495 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1005 0 0
T3 267203 2 0 0
T6 125623 0 0 0
T7 126905 1 0 0
T8 145793 0 0 0
T10 0 1 0 0
T12 0 1 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 0 0 0
T34 0 2 0 0
T35 0 2 0 0
T36 0 1 0 0
T37 0 1 0 0
T38 0 1 0 0
T39 0 1 0 0
T52 107495 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_key_intr_debounce_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT2,T13,T3

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 1676161 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1932 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1676161 0 0
T2 122562 1587 0 0
T3 267203 3201 0 0
T6 125623 0 0 0
T7 0 18089 0 0
T10 0 1439 0 0
T11 0 2626 0 0
T12 0 721 0 0
T13 221166 1923 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T23 0 346 0 0
T26 136960 552 0 0
T27 0 1276 0 0
T52 107495 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1932 0 0
T2 122562 9 0 0
T3 267203 5 0 0
T6 125623 0 0 0
T7 0 11 0 0
T10 0 1 0 0
T11 0 3 0 0
T12 0 1 0 0
T13 221166 1 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T23 0 1 0 0
T26 136960 1 0 0
T27 0 1 0 0
T52 107495 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_auto_block_debounce_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT23,T24,T25

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T4,T5
10CoveredT23,T24,T25
11CoveredT23,T24,T25

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT23,T24,T25

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT23,T24,T25
11CoveredT23,T24,T25

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T23,T24,T25
0 0 1 Covered T23,T24,T25
0 0 0 Covered T1,T4,T5


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T23,T24,T25
0 0 1 Covered T23,T24,T25
0 0 0 Covered T1,T4,T5


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 1306785379 1208262 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1309 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1208262 0 0
T23 395700 4192 0 0
T24 0 8604 0 0
T25 0 1754 0 0
T31 145444 0 0 0
T38 302051 0 0 0
T40 216656 0 0 0
T45 0 1842 0 0
T46 0 7672 0 0
T47 0 5397 0 0
T48 0 1831 0 0
T49 0 6610 0 0
T50 0 7654 0 0
T51 0 3027 0 0
T53 29942 0 0 0
T54 244672 0 0 0
T55 205698 0 0 0
T56 51327 0 0 0
T57 42441 0 0 0
T58 261031 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1309 0 0
T23 395700 10 0 0
T24 0 5 0 0
T25 0 5 0 0
T31 145444 0 0 0
T38 302051 0 0 0
T40 216656 0 0 0
T45 0 5 0 0
T46 0 5 0 0
T47 0 4 0 0
T48 0 5 0 0
T49 0 18 0 0
T50 0 5 0 0
T51 0 3 0 0
T53 29942 0 0 0
T54 244672 0 0 0
T55 205698 0 0 0
T56 51327 0 0 0
T57 42441 0 0 0
T58 261031 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_auto_block_out_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT23,T24,T25

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T4,T5
10CoveredT23,T24,T25
11CoveredT23,T24,T25

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT23,T24,T25

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT23,T24,T25
11CoveredT23,T24,T25

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T23,T24,T25
0 0 1 Covered T23,T24,T25
0 0 0 Covered T1,T4,T5


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T23,T24,T25
0 0 1 Covered T23,T24,T25
0 0 0 Covered T1,T4,T5


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 1306785379 1008052 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1128 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1008052 0 0
T23 395700 2378 0 0
T24 0 4766 0 0
T25 0 1053 0 0
T31 145444 0 0 0
T38 302051 0 0 0
T40 216656 0 0 0
T45 0 1082 0 0
T46 0 4786 0 0
T47 0 4041 0 0
T48 0 952 0 0
T49 0 4231 0 0
T50 0 4745 0 0
T51 0 3008 0 0
T53 29942 0 0 0
T54 244672 0 0 0
T55 205698 0 0 0
T56 51327 0 0 0
T57 42441 0 0 0
T58 261031 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1128 0 0
T23 395700 6 0 0
T24 0 3 0 0
T25 0 3 0 0
T31 145444 0 0 0
T38 302051 0 0 0
T40 216656 0 0 0
T45 0 3 0 0
T46 0 3 0 0
T47 0 3 0 0
T48 0 3 0 0
T49 0 12 0 0
T50 0 3 0 0
T51 0 3 0 0
T53 29942 0 0 0
T54 244672 0 0 0
T55 205698 0 0 0
T56 51327 0 0 0
T57 42441 0 0 0
T58 261031 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_0_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT13,T26,T27

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T4,T5
10CoveredT13,T26,T27
11CoveredT13,T26,T27

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT13,T26,T27

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT13,T26,T27
11CoveredT13,T26,T27

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T13,T26,T27
0 0 1 Covered T13,T26,T27
0 0 0 Covered T1,T4,T5


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T13,T26,T27
0 0 1 Covered T13,T26,T27
0 0 0 Covered T1,T4,T5


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 1306785379 6301780 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 6830 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 6301780 0 0
T3 267203 0 0 0
T6 125623 0 0 0
T7 126905 0 0 0
T11 0 61293 0 0
T13 221166 1937 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 45511 0 0
T27 0 85323 0 0
T40 0 1917 0 0
T41 0 128068 0 0
T43 0 136018 0 0
T44 0 28182 0 0
T52 107495 0 0 0
T68 0 43604 0 0
T69 0 92435 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 6830 0 0
T3 267203 0 0 0
T6 125623 0 0 0
T7 126905 0 0 0
T11 0 69 0 0
T13 221166 1 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 51 0 0
T27 0 51 0 0
T40 0 1 0 0
T41 0 78 0 0
T43 0 82 0 0
T44 0 67 0 0
T52 107495 0 0 0
T68 0 51 0 0
T69 0 54 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_1_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT26,T27,T11

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T4,T5
10CoveredT26,T27,T11
11CoveredT26,T27,T11

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT26,T27,T11

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT26,T27,T11
11CoveredT26,T27,T11

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T26,T27,T11
0 0 1 Covered T26,T27,T11
0 0 0 Covered T1,T4,T5


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T26,T27,T11
0 0 1 Covered T26,T27,T11
0 0 0 Covered T1,T4,T5


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 1306785379 6262512 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 6926 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 6262512 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T9 227520 0 0 0
T10 280896 0 0 0
T11 301741 66262 0 0
T12 241612 0 0 0
T26 136960 44461 0 0
T27 226389 84542 0 0
T41 0 89102 0 0
T42 0 37075 0 0
T43 0 134614 0 0
T44 0 27908 0 0
T52 107495 0 0 0
T59 52196 0 0 0
T68 0 64010 0 0
T69 0 101107 0 0
T70 0 117679 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 6926 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T9 227520 0 0 0
T10 280896 0 0 0
T11 301741 75 0 0
T12 241612 0 0 0
T26 136960 51 0 0
T27 226389 51 0 0
T41 0 54 0 0
T42 0 77 0 0
T43 0 82 0 0
T44 0 67 0 0
T52 107495 0 0 0
T59 52196 0 0 0
T68 0 75 0 0
T69 0 59 0 0
T70 0 67 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_2_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT26,T27,T11

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T4,T5
10CoveredT26,T27,T11
11CoveredT26,T27,T11

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT26,T27,T11

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT26,T27,T11
11CoveredT26,T27,T11

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T26,T27,T11
0 0 1 Covered T26,T27,T11
0 0 0 Covered T1,T4,T5


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T26,T27,T11
0 0 1 Covered T26,T27,T11
0 0 0 Covered T1,T4,T5


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 1306785379 6128736 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 6827 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 6128736 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T9 227520 0 0 0
T10 280896 0 0 0
T11 301741 54331 0 0
T12 241612 0 0 0
T26 136960 43375 0 0
T27 226389 83817 0 0
T41 0 126013 0 0
T42 0 29415 0 0
T43 0 115370 0 0
T44 0 27634 0 0
T52 107495 0 0 0
T59 52196 0 0 0
T68 0 63704 0 0
T69 0 100847 0 0
T70 0 90883 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 6827 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T9 227520 0 0 0
T10 280896 0 0 0
T11 301741 62 0 0
T12 241612 0 0 0
T26 136960 51 0 0
T27 226389 51 0 0
T41 0 78 0 0
T42 0 63 0 0
T43 0 71 0 0
T44 0 67 0 0
T52 107495 0 0 0
T59 52196 0 0 0
T68 0 75 0 0
T69 0 59 0 0
T70 0 52 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_3_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT26,T27,T11

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T4,T5
10CoveredT26,T27,T11
11CoveredT26,T27,T11

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT26,T27,T11

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT26,T27,T11
11CoveredT26,T27,T11

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T26,T27,T11
0 0 1 Covered T26,T27,T11
0 0 0 Covered T1,T4,T5


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T26,T27,T11
0 0 1 Covered T26,T27,T11
0 0 0 Covered T1,T4,T5


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 1306785379 6212474 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 6869 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 6212474 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T9 227520 0 0 0
T10 280896 0 0 0
T11 301741 64714 0 0
T12 241612 0 0 0
T26 136960 42266 0 0
T27 226389 83143 0 0
T41 0 124864 0 0
T42 0 29103 0 0
T43 0 100231 0 0
T44 0 20614 0 0
T52 107495 0 0 0
T59 52196 0 0 0
T68 0 63398 0 0
T69 0 100587 0 0
T70 0 134771 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 6869 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T9 227520 0 0 0
T10 280896 0 0 0
T11 301741 74 0 0
T12 241612 0 0 0
T26 136960 51 0 0
T27 226389 51 0 0
T41 0 78 0 0
T42 0 63 0 0
T43 0 62 0 0
T44 0 51 0 0
T52 107495 0 0 0
T59 52196 0 0 0
T68 0 75 0 0
T69 0 59 0 0
T70 0 78 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_0_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT13,T26,T27

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T4,T5
10CoveredT13,T26,T27
11CoveredT13,T26,T27

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT13,T26,T27

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT13,T26,T27
11CoveredT13,T26,T27

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T13,T26,T27
0 0 1 Covered T13,T26,T27
0 0 0 Covered T1,T4,T5


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T13,T26,T27
0 0 1 Covered T13,T26,T27
0 0 0 Covered T1,T4,T5


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 1306785379 1111414 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1215 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1111414 0 0
T3 267203 0 0 0
T6 125623 0 0 0
T7 126905 0 0 0
T11 0 2746 0 0
T13 221166 1935 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 762 0 0
T27 0 1425 0 0
T40 0 1915 0 0
T41 0 7161 0 0
T43 0 19996 0 0
T44 0 358 0 0
T52 107495 0 0 0
T68 0 718 0 0
T69 0 6428 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1215 0 0
T3 267203 0 0 0
T6 125623 0 0 0
T7 126905 0 0 0
T11 0 3 0 0
T13 221166 1 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 1 0 0
T27 0 1 0 0
T40 0 1 0 0
T41 0 4 0 0
T43 0 12 0 0
T44 0 1 0 0
T52 107495 0 0 0
T68 0 1 0 0
T69 0 4 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_1_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT26,T27,T11

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T4,T5
10CoveredT26,T27,T11
11CoveredT26,T27,T11

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT26,T27,T11

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT26,T27,T11
11CoveredT26,T27,T11

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T26,T27,T11
0 0 1 Covered T26,T27,T11
0 0 0 Covered T1,T4,T5


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T26,T27,T11
0 0 1 Covered T26,T27,T11
0 0 0 Covered T1,T4,T5


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 1306785379 1086574 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1193 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1086574 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T9 227520 0 0 0
T10 280896 0 0 0
T11 301741 2716 0 0
T12 241612 0 0 0
T26 136960 707 0 0
T27 226389 1384 0 0
T41 0 7018 0 0
T42 0 4363 0 0
T43 0 19557 0 0
T44 0 348 0 0
T52 107495 0 0 0
T59 52196 0 0 0
T68 0 708 0 0
T69 0 6388 0 0
T70 0 3410 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1193 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T9 227520 0 0 0
T10 280896 0 0 0
T11 301741 3 0 0
T12 241612 0 0 0
T26 136960 1 0 0
T27 226389 1 0 0
T41 0 4 0 0
T42 0 10 0 0
T43 0 12 0 0
T44 0 1 0 0
T52 107495 0 0 0
T59 52196 0 0 0
T68 0 1 0 0
T69 0 4 0 0
T70 0 2 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_2_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT26,T27,T11

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T4,T5
10CoveredT26,T27,T11
11CoveredT26,T27,T11

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT26,T27,T11

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT26,T27,T11
11CoveredT26,T27,T11

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T26,T27,T11
0 0 1 Covered T26,T27,T11
0 0 0 Covered T1,T4,T5


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T26,T27,T11
0 0 1 Covered T26,T27,T11
0 0 0 Covered T1,T4,T5


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 1306785379 1071532 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1207 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1071532 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T9 227520 0 0 0
T10 280896 0 0 0
T11 301741 2686 0 0
T12 241612 0 0 0
T26 136960 662 0 0
T27 226389 1337 0 0
T41 0 6870 0 0
T42 0 4263 0 0
T43 0 19151 0 0
T44 0 338 0 0
T52 107495 0 0 0
T59 52196 0 0 0
T68 0 698 0 0
T69 0 6348 0 0
T70 0 3344 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1207 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T9 227520 0 0 0
T10 280896 0 0 0
T11 301741 3 0 0
T12 241612 0 0 0
T26 136960 1 0 0
T27 226389 1 0 0
T41 0 4 0 0
T42 0 10 0 0
T43 0 12 0 0
T44 0 1 0 0
T52 107495 0 0 0
T59 52196 0 0 0
T68 0 1 0 0
T69 0 4 0 0
T70 0 2 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_3_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT26,T27,T11

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT1,T4,T5
10CoveredT26,T27,T11
11CoveredT26,T27,T11

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT26,T27,T11

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT26,T27,T11
11CoveredT26,T27,T11

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T26,T27,T11
0 0 1 Covered T26,T27,T11
0 0 0 Covered T1,T4,T5


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T1,T4,T5
0 1 - Covered T26,T27,T11
0 0 1 Covered T26,T27,T11
0 0 0 Covered T1,T4,T5


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 1306785379 1055093 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1183 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1055093 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T9 227520 0 0 0
T10 280896 0 0 0
T11 301741 2656 0 0
T12 241612 0 0 0
T26 136960 592 0 0
T27 226389 1302 0 0
T41 0 6703 0 0
T42 0 4163 0 0
T43 0 18713 0 0
T44 0 328 0 0
T52 107495 0 0 0
T59 52196 0 0 0
T68 0 688 0 0
T69 0 6308 0 0
T70 0 3281 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1183 0 0
T7 126905 0 0 0
T8 145793 0 0 0
T9 227520 0 0 0
T10 280896 0 0 0
T11 301741 3 0 0
T12 241612 0 0 0
T26 136960 1 0 0
T27 226389 1 0 0
T41 0 4 0 0
T42 0 10 0 0
T43 0 12 0 0
T44 0 1 0 0
T52 107495 0 0 0
T59 52196 0 0 0
T68 0 1 0 0
T69 0 4 0 0
T70 0 2 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_0_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT2,T13,T3

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 6855395 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 7451 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 6855395 0 0
T2 122562 1821 0 0
T3 267203 2156 0 0
T6 125623 0 0 0
T7 0 17957 0 0
T11 0 61413 0 0
T13 221166 1931 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T23 0 354 0 0
T26 136960 46019 0 0
T27 0 85663 0 0
T31 0 22272 0 0
T40 0 1911 0 0
T52 107495 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 7451 0 0
T2 122562 9 0 0
T3 267203 3 0 0
T6 125623 0 0 0
T7 0 10 0 0
T11 0 69 0 0
T13 221166 1 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T23 0 1 0 0
T26 136960 51 0 0
T27 0 51 0 0
T31 0 13 0 0
T40 0 1 0 0
T52 107495 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_1_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT2,T3,T26

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 6775304 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 7502 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 6775304 0 0
T2 122562 1803 0 0
T3 267203 870 0 0
T6 125623 0 0 0
T7 0 17846 0 0
T11 0 66394 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 44934 0 0
T27 0 84898 0 0
T31 0 22137 0 0
T32 0 8368 0 0
T33 0 2174 0 0
T43 0 134910 0 0
T52 107495 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 7502 0 0
T2 122562 9 0 0
T3 267203 1 0 0
T6 125623 0 0 0
T7 0 10 0 0
T11 0 75 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 51 0 0
T27 0 51 0 0
T31 0 13 0 0
T32 0 9 0 0
T33 0 5 0 0
T43 0 82 0 0
T52 107495 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_2_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT2,T3,T26

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 6650259 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 7408 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 6650259 0 0
T2 122562 1785 0 0
T3 267203 854 0 0
T6 125623 0 0 0
T7 0 17741 0 0
T11 0 54437 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 43843 0 0
T27 0 84134 0 0
T31 0 21991 0 0
T32 0 8269 0 0
T33 0 2142 0 0
T43 0 115637 0 0
T52 107495 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 7408 0 0
T2 122562 9 0 0
T3 267203 1 0 0
T6 125623 0 0 0
T7 0 10 0 0
T11 0 62 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 51 0 0
T27 0 51 0 0
T31 0 13 0 0
T32 0 9 0 0
T33 0 5 0 0
T43 0 71 0 0
T52 107495 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_3_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT2,T3,T26

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 6703841 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 7419 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 6703841 0 0
T2 122562 1767 0 0
T3 267203 851 0 0
T6 125623 0 0 0
T7 0 17634 0 0
T11 0 64844 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 42756 0 0
T27 0 83428 0 0
T31 0 21821 0 0
T32 0 8173 0 0
T33 0 2113 0 0
T43 0 100388 0 0
T52 107495 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 7419 0 0
T2 122562 9 0 0
T3 267203 1 0 0
T6 125623 0 0 0
T7 0 10 0 0
T11 0 74 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 51 0 0
T27 0 51 0 0
T31 0 13 0 0
T32 0 9 0 0
T33 0 5 0 0
T43 0 62 0 0
T52 107495 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_0_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT2,T13,T3

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 1628287 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1860 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1628287 0 0
T2 122562 1749 0 0
T3 267203 2101 0 0
T6 125623 0 0 0
T7 0 17537 0 0
T11 0 2734 0 0
T13 221166 1929 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T23 0 352 0 0
T26 136960 739 0 0
T27 0 1406 0 0
T31 0 21707 0 0
T40 0 1909 0 0
T52 107495 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1860 0 0
T2 122562 9 0 0
T3 267203 3 0 0
T6 125623 0 0 0
T7 0 10 0 0
T11 0 3 0 0
T13 221166 1 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T23 0 1 0 0
T26 136960 1 0 0
T27 0 1 0 0
T31 0 13 0 0
T40 0 1 0 0
T52 107495 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_1_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT2,T3,T26

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 1557253 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1779 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1557253 0 0
T2 122562 1731 0 0
T3 267203 818 0 0
T6 125623 0 0 0
T7 0 17424 0 0
T11 0 2704 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 685 0 0
T27 0 1361 0 0
T31 0 21572 0 0
T32 0 8008 0 0
T33 0 2040 0 0
T43 0 19403 0 0
T52 107495 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1779 0 0
T2 122562 9 0 0
T3 267203 1 0 0
T6 125623 0 0 0
T7 0 10 0 0
T11 0 3 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 1 0 0
T27 0 1 0 0
T31 0 13 0 0
T32 0 9 0 0
T33 0 5 0 0
T43 0 12 0 0
T52 107495 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_2_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT2,T3,T26

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 1519429 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1747 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1519429 0 0
T2 122562 1713 0 0
T3 267203 806 0 0
T6 125623 0 0 0
T7 0 17322 0 0
T11 0 2674 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 632 0 0
T27 0 1325 0 0
T31 0 21408 0 0
T32 0 7920 0 0
T33 0 2010 0 0
T43 0 18973 0 0
T52 107495 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1747 0 0
T2 122562 9 0 0
T3 267203 1 0 0
T6 125623 0 0 0
T7 0 10 0 0
T11 0 3 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 1 0 0
T27 0 1 0 0
T31 0 13 0 0
T32 0 9 0 0
T33 0 5 0 0
T43 0 12 0 0
T52 107495 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_3_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT2,T3,T26

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 1517079 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1755 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1517079 0 0
T2 122562 1695 0 0
T3 267203 798 0 0
T6 125623 0 0 0
T7 0 17225 0 0
T11 0 2644 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 580 0 0
T27 0 1292 0 0
T31 0 21266 0 0
T32 0 7815 0 0
T33 0 1975 0 0
T43 0 18535 0 0
T52 107495 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1755 0 0
T2 122562 9 0 0
T3 267203 1 0 0
T6 125623 0 0 0
T7 0 10 0 0
T11 0 3 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 1 0 0
T27 0 1 0 0
T31 0 13 0 0
T32 0 9 0 0
T33 0 5 0 0
T43 0 12 0 0
T52 107495 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_0_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT2,T13,T3

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 1586494 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1820 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1586494 0 0
T2 122562 1677 0 0
T3 267203 2031 0 0
T6 125623 0 0 0
T7 0 17134 0 0
T11 0 2728 0 0
T13 221166 1927 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T23 0 350 0 0
T26 136960 730 0 0
T27 0 1403 0 0
T31 0 21125 0 0
T40 0 1907 0 0
T52 107495 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1820 0 0
T2 122562 9 0 0
T3 267203 3 0 0
T6 125623 0 0 0
T7 0 10 0 0
T11 0 3 0 0
T13 221166 1 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T23 0 1 0 0
T26 136960 1 0 0
T27 0 1 0 0
T31 0 13 0 0
T40 0 1 0 0
T52 107495 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_1_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT2,T3,T26

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 1503954 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1740 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1503954 0 0
T2 122562 1659 0 0
T3 267203 781 0 0
T6 125623 0 0 0
T7 0 17040 0 0
T11 0 2698 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 682 0 0
T27 0 1352 0 0
T31 0 20978 0 0
T32 0 7635 0 0
T33 0 1905 0 0
T43 0 19322 0 0
T52 107495 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1740 0 0
T2 122562 9 0 0
T3 267203 1 0 0
T6 125623 0 0 0
T7 0 10 0 0
T11 0 3 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 1 0 0
T27 0 1 0 0
T31 0 13 0 0
T32 0 9 0 0
T33 0 5 0 0
T43 0 12 0 0
T52 107495 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_2_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT2,T3,T26

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 1536788 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1786 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1536788 0 0
T2 122562 1641 0 0
T3 267203 775 0 0
T6 125623 0 0 0
T7 0 16925 0 0
T11 0 2668 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 619 0 0
T27 0 1317 0 0
T31 0 20841 0 0
T32 0 7549 0 0
T33 0 1874 0 0
T43 0 18894 0 0
T52 107495 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1786 0 0
T2 122562 9 0 0
T3 267203 1 0 0
T6 125623 0 0 0
T7 0 10 0 0
T11 0 3 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 1 0 0
T27 0 1 0 0
T31 0 13 0 0
T32 0 9 0 0
T33 0 5 0 0
T43 0 12 0 0
T52 107495 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_3_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 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       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT1,T4,T5
01Unreachable
10CoveredT2,T3,T26

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

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
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 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 1529392 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 1780 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1529392 0 0
T2 122562 1623 0 0
T3 267203 765 0 0
T6 125623 0 0 0
T7 0 16826 0 0
T11 0 2638 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 570 0 0
T27 0 1290 0 0
T31 0 20700 0 0
T32 0 7450 0 0
T33 0 1839 0 0
T43 0 18451 0 0
T52 107495 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1780 0 0
T2 122562 9 0 0
T3 267203 1 0 0
T6 125623 0 0 0
T7 0 10 0 0
T11 0 3 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T21 193547 0 0 0
T26 136960 1 0 0
T27 0 1 0 0
T31 0 13 0 0
T32 0 9 0 0
T33 0 5 0 0
T43 0 12 0 0
T52 107495 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

Line Coverage for Instance : tb.dut.u_reg.u_ulp_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.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
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

 LINE       123
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT1,T3,T6
1-CoveredT1,T3,T6

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

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

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT1,T4,T5
10Unreachable
11Unreachable

Branch Coverage for Instance : tb.dut.u_reg.u_ulp_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 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-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


LineNo. Expression -1-: 115 if ((!rst_src_ni)) -2-: 118 if (src_req) -3-: 125 if (((src_busy_q && src_ack) || (src_update && (!busy))))

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


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 1306785379 861135 0 0
DstReqKnown_A 7289997 6423370 0 0
SrcAckBusyChk_A 1306785379 959 0 0
SrcBusyKnown_A 1306785379 1305048184 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 861135 0 0
T1 57920 841 0 0
T2 122562 0 0 0
T3 267203 1704 0 0
T4 193182 0 0 0
T5 36917 0 0 0
T6 125623 3138 0 0
T8 0 2192 0 0
T9 0 2849 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T35 0 3491 0 0
T49 0 711 0 0
T60 0 2525 0 0
T71 0 239 0 0
T72 0 3423 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 7289997 6423370 0 0
T1 1205 805 0 0
T2 22284 21833 0 0
T3 12531 4868 0 0
T4 402 2 0 0
T5 527 127 0 0
T6 1487 1087 0 0
T13 456 56 0 0
T14 493 93 0 0
T15 436 36 0 0
T16 411 11 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 959 0 0
T1 57920 2 0 0
T2 122562 0 0 0
T3 267203 2 0 0
T4 193182 0 0 0
T5 36917 0 0 0
T6 125623 4 0 0
T8 0 2 0 0
T9 0 2 0 0
T13 221166 0 0 0
T14 118539 0 0 0
T15 17434 0 0 0
T16 49325 0 0 0
T35 0 2 0 0
T49 0 2 0 0
T60 0 6 0 0
T71 0 2 0 0
T72 0 2 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1306785379 1305048184 0 0
T1 57920 57843 0 0
T2 122562 122273 0 0
T3 267203 266053 0 0
T4 193182 193094 0 0
T5 36917 36831 0 0
T6 125623 125538 0 0
T13 221166 221071 0 0
T14 118539 118460 0 0
T15 17434 17376 0 0
T16 49325 49245 0 0

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