dashboard | hierarchy | modlist | groups | tests | asserts

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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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_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.61 100.00 94.44 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_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.61 100.00 94.44 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_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.61 100.00 94.44 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_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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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.61 100.00 94.44 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_combo_intr_status_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.43 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.76 100.00 88.73 98.31 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
98.61 100.00 94.44 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 96.36 100.00 87.76 97.67 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00

Go back
Module Instances:
tb.dut.u_reg.u_ec_rst_ctl_cdc
tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc
tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc
tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc
tb.dut.u_reg.u_ulp_ctl_cdc
tb.dut.u_reg.u_ulp_status_cdc
tb.dut.u_reg.u_wkup_status_cdc
tb.dut.u_reg.u_key_invert_ctl_cdc
tb.dut.u_reg.u_pin_allowed_ctl_cdc
tb.dut.u_reg.u_pin_out_ctl_cdc
tb.dut.u_reg.u_pin_out_value_cdc
tb.dut.u_reg.u_key_intr_ctl_cdc
tb.dut.u_reg.u_key_intr_debounce_ctl_cdc
tb.dut.u_reg.u_auto_block_debounce_ctl_cdc
tb.dut.u_reg.u_auto_block_out_ctl_cdc
tb.dut.u_reg.u_com_pre_sel_ctl_0_cdc
tb.dut.u_reg.u_com_pre_sel_ctl_1_cdc
tb.dut.u_reg.u_com_pre_sel_ctl_2_cdc
tb.dut.u_reg.u_com_pre_sel_ctl_3_cdc
tb.dut.u_reg.u_com_pre_det_ctl_0_cdc
tb.dut.u_reg.u_com_pre_det_ctl_1_cdc
tb.dut.u_reg.u_com_pre_det_ctl_2_cdc
tb.dut.u_reg.u_com_pre_det_ctl_3_cdc
tb.dut.u_reg.u_com_sel_ctl_0_cdc
tb.dut.u_reg.u_com_sel_ctl_1_cdc
tb.dut.u_reg.u_com_sel_ctl_2_cdc
tb.dut.u_reg.u_com_sel_ctl_3_cdc
tb.dut.u_reg.u_com_det_ctl_0_cdc
tb.dut.u_reg.u_com_det_ctl_1_cdc
tb.dut.u_reg.u_com_det_ctl_2_cdc
tb.dut.u_reg.u_com_det_ctl_3_cdc
tb.dut.u_reg.u_com_out_ctl_0_cdc
tb.dut.u_reg.u_com_out_ctl_1_cdc
tb.dut.u_reg.u_com_out_ctl_2_cdc
tb.dut.u_reg.u_com_out_ctl_3_cdc
tb.dut.u_reg.u_combo_intr_status_cdc
Line Coverage for Instance : tb.dut.u_reg.u_ec_rst_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN5411100.00
ALWAYS6066100.00
CONT_ASSIGN7411100.00
CONT_ASSIGN9811100.00
ALWAYS10499100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN14511100.00
CONT_ASSIGN18711100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
60 1 1
61 1 1
62 1 1
63 1 1
64 1 1
65 1 1
MISSING_ELSE
74 1 1
98 1 1
104 1 1
105 1 1
106 1 1
107 1 1
112 1 1
113 1 1
114 1 1
123 1 1
124 1 1
MISSING_ELSE
139 1 1
144 1 1
145 1 1
187 1 1


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_ec_rst_ctl_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 2077606 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 2050 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 2077606 0 0
T2 105427 13419 0 0
T3 204269 1809 0 0
T7 126134 18282 0 0
T8 0 10934 0 0
T9 0 4827 0 0
T10 0 1006 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 114 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1861 0 0
T52 0 1266 0 0
T69 0 475 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 2050 0 0
T2 105427 11 0 0
T3 204269 5 0 0
T7 126134 11 0 0
T8 0 14 0 0
T9 0 3 0 0
T10 0 3 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 1 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1 0 0
T52 0 1 0 0
T69 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T30,T10,T11
0 0 1 Covered T30,T10,T11
0 0 0 Covered T4,T5,T6


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T30,T10,T11
0 0 1 Covered T30,T10,T11
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_ulp_ac_debounce_ctl_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1390342 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1124 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1390342 0 0
T8 811888 0 0 0
T9 518327 0 0 0
T10 170885 364 0 0
T11 0 4791 0 0
T14 0 1849 0 0
T15 0 4476 0 0
T30 50159 480 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T39 0 800 0 0
T40 0 1978 0 0
T41 0 1984 0 0
T42 0 1922 0 0
T50 236235 0 0 0
T51 106742 0 0 0
T52 418443 0 0 0
T68 94109 0 0 0
T70 0 2201 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1124 0 0
T8 811888 0 0 0
T9 518327 0 0 0
T10 170885 1 0 0
T11 0 3 0 0
T14 0 1 0 0
T15 0 3 0 0
T30 50159 1 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T39 0 2 0 0
T40 0 1 0 0
T41 0 1 0 0
T42 0 1 0 0
T50 236235 0 0 0
T51 106742 0 0 0
T52 418443 0 0 0
T68 94109 0 0 0
T70 0 3 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T30,T10,T11
0 0 1 Covered T30,T10,T11
0 0 0 Covered T4,T5,T6


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T30,T10,T11
0 0 1 Covered T30,T10,T11
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_ulp_lid_debounce_ctl_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1388320 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1128 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1388320 0 0
T8 811888 0 0 0
T9 518327 0 0 0
T10 170885 362 0 0
T11 0 4785 0 0
T14 0 1846 0 0
T15 0 4452 0 0
T30 50159 478 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T39 0 796 0 0
T40 0 1968 0 0
T41 0 1972 0 0
T42 0 1911 0 0
T50 236235 0 0 0
T51 106742 0 0 0
T52 418443 0 0 0
T68 94109 0 0 0
T70 0 2195 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1128 0 0
T8 811888 0 0 0
T9 518327 0 0 0
T10 170885 1 0 0
T11 0 3 0 0
T14 0 1 0 0
T15 0 3 0 0
T30 50159 1 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T39 0 2 0 0
T40 0 1 0 0
T41 0 1 0 0
T42 0 1 0 0
T50 236235 0 0 0
T51 106742 0 0 0
T52 418443 0 0 0
T68 94109 0 0 0
T70 0 3 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T30,T10,T11
0 0 1 Covered T30,T10,T11
0 0 0 Covered T4,T5,T6


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T30,T10,T11
0 0 1 Covered T30,T10,T11
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_ulp_pwrb_debounce_ctl_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1340244 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1085 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1340244 0 0
T8 811888 0 0 0
T9 518327 0 0 0
T10 170885 356 0 0
T11 0 4779 0 0
T14 0 1840 0 0
T15 0 4433 0 0
T30 50159 476 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T39 0 792 0 0
T40 0 1962 0 0
T41 0 1970 0 0
T42 0 1901 0 0
T50 236235 0 0 0
T51 106742 0 0 0
T52 418443 0 0 0
T68 94109 0 0 0
T70 0 2189 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1085 0 0
T8 811888 0 0 0
T9 518327 0 0 0
T10 170885 1 0 0
T11 0 3 0 0
T14 0 1 0 0
T15 0 3 0 0
T30 50159 1 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T39 0 2 0 0
T40 0 1 0 0
T41 0 1 0 0
T42 0 1 0 0
T50 236235 0 0 0
T51 106742 0 0 0
T52 418443 0 0 0
T68 94109 0 0 0
T70 0 3 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

 LINE       112
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT11,T14,T15
1-CoveredT11,T14,T15

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

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT11,T14,T15
11CoveredT11,T14,T15

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

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

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

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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T11,T14,T15
0 0 1 Covered T11,T14,T15
0 0 0 Covered T4,T5,T6


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T11,T14,T15
0 0 1 Covered T11,T14,T15
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_ulp_ctl_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1410978 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1125 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1410978 0 0
T11 240975 6714 0 0
T12 335568 0 0 0
T13 195733 0 0 0
T14 327219 3238 0 0
T15 0 6465 0 0
T33 283414 0 0 0
T34 248400 0 0 0
T35 48767 0 0 0
T36 98705 0 0 0
T37 123504 0 0 0
T38 69295 0 0 0
T39 0 804 0 0
T40 0 3468 0 0
T41 0 3977 0 0
T42 0 3851 0 0
T43 0 477 0 0
T44 0 5347 0 0
T71 0 1997 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1125 0 0
T11 240975 4 0 0
T12 335568 0 0 0
T13 195733 0 0 0
T14 327219 2 0 0
T15 0 4 0 0
T33 283414 0 0 0
T34 248400 0 0 0
T35 48767 0 0 0
T36 98705 0 0 0
T37 123504 0 0 0
T38 69295 0 0 0
T39 0 2 0 0
T40 0 2 0 0
T41 0 2 0 0
T42 0 2 0 0
T43 0 2 0 0
T44 0 6 0 0
T71 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

 LINE       112
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT48,T49,T72
1-CoveredT11,T14,T15

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

 LINE       114
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTests
01Not Covered
10CoveredT11,T14,T15
11CoveredT11,T14,T15

 LINE       114
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTests
01CoveredT4,T5,T6
10Not Covered
11CoveredT11,T14,T15

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

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

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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T11,T14,T15
0 0 1 Covered T11,T14,T15
0 0 0 Covered T4,T5,T6


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T6
0 1 - Covered T11,T14,T15
0 0 1 Covered T11,T14,T15
0 0 0 Covered T4,T5,T6


Assert Coverage for Instance : tb.dut.u_reg.u_ulp_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 1396952907 633709 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 595 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 633709 0 0
T11 240975 3349 0 0
T12 335568 0 0 0
T13 195733 0 0 0
T14 327219 1841 0 0
T15 0 2942 0 0
T33 283414 0 0 0
T34 248400 0 0 0
T35 48767 0 0 0
T36 98705 0 0 0
T37 123504 0 0 0
T38 69295 0 0 0
T39 0 454 0 0
T40 0 1988 0 0
T41 0 1972 0 0
T42 0 1894 0 0
T43 0 234 0 0
T44 0 2825 0 0
T45 0 440 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 595 0 0
T11 240975 2 0 0
T12 335568 0 0 0
T13 195733 0 0 0
T14 327219 1 0 0
T15 0 2 0 0
T33 283414 0 0 0
T34 248400 0 0 0
T35 48767 0 0 0
T36 98705 0 0 0
T37 123504 0 0 0
T38 69295 0 0 0
T39 0 1 0 0
T40 0 1 0 0
T41 0 1 0 0
T42 0 1 0 0
T43 0 1 0 0
T44 0 3 0 0
T45 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

 LINE       112
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT19,T65,T73
1-CoveredT2,T3,T7

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_wkup_status_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1093008 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1242 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1093008 0 0
T2 105427 2272 0 0
T3 204269 1600 0 0
T7 126134 16096 0 0
T8 0 11033 0 0
T9 0 5227 0 0
T10 0 361 0 0
T11 0 2873 0 0
T13 0 1928 0 0
T14 0 1845 0 0
T15 0 2957 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1242 0 0
T2 105427 2 0 0
T3 204269 4 0 0
T7 126134 9 0 0
T8 0 13 0 0
T9 0 3 0 0
T10 0 1 0 0
T11 0 2 0 0
T13 0 5 0 0
T14 0 1 0 0
T15 0 2 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_key_invert_ctl_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 3307587 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 3173 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 3307587 0 0
T2 105427 0 0 0
T3 204269 0 0 0
T7 126134 0 0 0
T10 0 6737 0 0
T14 0 32455 0 0
T25 199495 28241 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T37 0 17753 0 0
T50 0 33485 0 0
T62 0 7071 0 0
T63 0 1674 0 0
T74 0 16106 0 0
T75 0 33120 0 0
T76 0 33754 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 3173 0 0
T2 105427 0 0 0
T3 204269 0 0 0
T7 126134 0 0 0
T10 0 20 0 0
T14 0 20 0 0
T25 199495 20 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T37 0 20 0 0
T50 0 20 0 0
T62 0 20 0 0
T63 0 20 0 0
T74 0 20 0 0
T75 0 20 0 0
T76 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_pin_allowed_ctl_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 6425378 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 6624 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 6425378 0 0
T1 101295 0 0 0
T2 105427 50006 0 0
T3 204269 0 0 0
T4 286264 17103 0 0
T5 104917 0 0 0
T6 53336 0 0 0
T10 0 19245 0 0
T25 199495 1605 0 0
T26 63405 8507 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T34 0 33587 0 0
T50 0 1903 0 0
T74 0 918 0 0
T77 0 9180 0 0
T78 0 33202 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 6624 0 0
T1 101295 0 0 0
T2 105427 40 0 0
T3 204269 0 0 0
T4 286264 40 0 0
T5 104917 0 0 0
T6 53336 0 0 0
T10 0 61 0 0
T25 199495 1 0 0
T26 63405 20 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T34 0 20 0 0
T50 0 1 0 0
T74 0 1 0 0
T77 0 20 0 0
T78 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_pin_out_ctl_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 7506563 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 7787 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 7506563 0 0
T1 101295 0 0 0
T2 105427 66463 0 0
T3 204269 2084 0 0
T4 286264 17263 0 0
T5 104917 0 0 0
T6 53336 0 0 0
T7 0 19345 0 0
T8 0 12076 0 0
T9 0 5244 0 0
T10 0 21441 0 0
T25 199495 1617 0 0
T26 63405 8790 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 0 116 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 7787 0 0
T1 101295 0 0 0
T2 105427 51 0 0
T3 204269 5 0 0
T4 286264 40 0 0
T5 104917 0 0 0
T6 53336 0 0 0
T7 0 11 0 0
T8 0 14 0 0
T9 0 3 0 0
T10 0 65 0 0
T25 199495 1 0 0
T26 63405 20 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_pin_out_value_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 6377684 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 6523 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 6377684 0 0
T1 101295 0 0 0
T2 105427 50086 0 0
T3 204269 0 0 0
T4 286264 17183 0 0
T5 104917 0 0 0
T6 53336 0 0 0
T10 0 19266 0 0
T14 0 32317 0 0
T25 199495 0 0 0
T26 63405 8644 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T34 0 33627 0 0
T63 0 1641 0 0
T77 0 9220 0 0
T78 0 33334 0 0
T79 0 33217 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 6523 0 0
T1 101295 0 0 0
T2 105427 40 0 0
T3 204269 0 0 0
T4 286264 40 0 0
T5 104917 0 0 0
T6 53336 0 0 0
T10 0 60 0 0
T14 0 20 0 0
T25 199495 0 0 0
T26 63405 20 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T34 0 20 0 0
T63 0 20 0 0
T77 0 20 0 0
T78 0 20 0 0
T79 0 20 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_key_intr_ctl_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1325715 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1088 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1325715 0 0
T1 101295 236 0 0
T2 105427 0 0 0
T3 204269 0 0 0
T7 126134 0 0 0
T10 0 372 0 0
T12 0 1913 0 0
T14 0 1855 0 0
T17 0 470 0 0
T20 0 731 0 0
T21 0 267 0 0
T22 0 1990 0 0
T23 0 1910 0 0
T24 0 1957 0 0
T25 199495 0 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1088 0 0
T1 101295 1 0 0
T2 105427 0 0 0
T3 204269 0 0 0
T7 126134 0 0 0
T10 0 1 0 0
T12 0 1 0 0
T14 0 1 0 0
T17 0 1 0 0
T20 0 1 0 0
T21 0 1 0 0
T22 0 2 0 0
T23 0 1 0 0
T24 0 1 0 0
T25 199495 0 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_key_intr_debounce_ctl_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 2090985 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 2050 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 2090985 0 0
T1 101295 234 0 0
T2 105427 13397 0 0
T3 204269 1750 0 0
T7 126134 18201 0 0
T8 0 10833 0 0
T9 0 4816 0 0
T10 0 1249 0 0
T12 0 1899 0 0
T25 199495 0 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T33 0 1859 0 0
T52 0 1259 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 2050 0 0
T1 101295 1 0 0
T2 105427 11 0 0
T3 204269 5 0 0
T7 126134 11 0 0
T8 0 14 0 0
T9 0 3 0 0
T10 0 4 0 0
T12 0 1 0 0
T25 199495 0 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T33 0 1 0 0
T52 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_auto_block_debounce_ctl_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1576121 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1381 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1576121 0 0
T2 105427 4556 0 0
T3 204269 0 0 0
T7 126134 0 0 0
T10 0 3471 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 1676 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T38 0 1300 0 0
T51 0 1472 0 0
T61 0 1863 0 0
T62 0 1376 0 0
T63 0 250 0 0
T64 0 8152 0 0
T65 0 10982 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1381 0 0
T2 105427 4 0 0
T3 204269 0 0 0
T7 126134 0 0 0
T10 0 10 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 4 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T38 0 4 0 0
T51 0 3 0 0
T61 0 4 0 0
T62 0 4 0 0
T63 0 3 0 0
T64 0 5 0 0
T65 0 6 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_auto_block_out_ctl_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1418135 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1206 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1418135 0 0
T2 105427 2272 0 0
T3 204269 0 0 0
T7 126134 0 0 0
T10 0 2399 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 833 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T38 0 996 0 0
T51 0 1457 0 0
T61 0 1301 0 0
T62 0 944 0 0
T63 0 244 0 0
T64 0 4789 0 0
T65 0 5465 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1206 0 0
T2 105427 2 0 0
T3 204269 0 0 0
T7 126134 0 0 0
T10 0 7 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 2 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T38 0 3 0 0
T51 0 3 0 0
T61 0 3 0 0
T62 0 3 0 0
T63 0 3 0 0
T64 0 3 0 0
T65 0 3 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_0_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 6935918 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 7107 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 6935918 0 0
T3 204269 27524 0 0
T7 126134 0 0 0
T8 811888 0 0 0
T9 0 101667 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 83525 0 0
T51 106742 0 0 0
T52 0 116416 0 0
T59 0 129634 0 0
T60 0 83030 0 0
T66 0 39654 0 0
T67 0 107738 0 0
T80 0 42831 0 0
T81 0 61513 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 7107 0 0
T3 204269 68 0 0
T7 126134 0 0 0
T8 811888 0 0 0
T9 0 60 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 51 0 0
T51 106742 0 0 0
T52 0 69 0 0
T59 0 74 0 0
T60 0 51 0 0
T66 0 85 0 0
T67 0 63 0 0
T80 0 51 0 0
T81 0 71 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_1_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 6651930 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 6941 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 6651930 0 0
T3 204269 26973 0 0
T7 126134 0 0 0
T8 811888 0 0 0
T9 0 106158 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 83315 0 0
T51 106742 0 0 0
T52 0 125261 0 0
T59 0 107564 0 0
T60 0 95101 0 0
T66 0 25746 0 0
T67 0 149532 0 0
T80 0 42121 0 0
T81 0 64667 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 6941 0 0
T3 204269 69 0 0
T7 126134 0 0 0
T8 811888 0 0 0
T9 0 63 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 51 0 0
T51 106742 0 0 0
T52 0 75 0 0
T59 0 62 0 0
T60 0 59 0 0
T66 0 58 0 0
T67 0 87 0 0
T80 0 51 0 0
T81 0 75 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_2_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 6644100 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 6869 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 6644100 0 0
T3 204269 35921 0 0
T7 126134 0 0 0
T8 811888 0 0 0
T9 0 126772 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 83105 0 0
T51 106742 0 0 0
T52 0 115303 0 0
T59 0 121111 0 0
T60 0 80849 0 0
T66 0 36328 0 0
T67 0 118147 0 0
T80 0 41321 0 0
T81 0 53951 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 6869 0 0
T3 204269 94 0 0
T7 126134 0 0 0
T8 811888 0 0 0
T9 0 76 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 51 0 0
T51 106742 0 0 0
T52 0 70 0 0
T59 0 70 0 0
T60 0 51 0 0
T66 0 85 0 0
T67 0 69 0 0
T80 0 51 0 0
T81 0 63 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_pre_sel_ctl_3_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 6820280 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 7138 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 6820280 0 0
T3 204269 29604 0 0
T7 126134 0 0 0
T8 811888 0 0 0
T9 0 125685 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 82895 0 0
T51 106742 0 0 0
T52 0 90797 0 0
T59 0 125334 0 0
T60 0 111953 0 0
T66 0 35554 0 0
T67 0 152412 0 0
T80 0 40618 0 0
T81 0 76335 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 7138 0 0
T3 204269 80 0 0
T7 126134 0 0 0
T8 811888 0 0 0
T9 0 76 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 51 0 0
T51 106742 0 0 0
T52 0 56 0 0
T59 0 73 0 0
T60 0 70 0 0
T66 0 85 0 0
T67 0 89 0 0
T80 0 51 0 0
T81 0 89 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_0_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1568800 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1366 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1568800 0 0
T3 204269 2095 0 0
T7 126134 0 0 0
T8 811888 0 0 0
T9 0 5248 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1899 0 0
T51 106742 0 0 0
T52 0 1457 0 0
T59 0 1997 0 0
T60 0 1454 0 0
T66 0 3655 0 0
T67 0 3462 0 0
T80 0 711 0 0
T81 0 3425 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1366 0 0
T3 204269 5 0 0
T7 126134 0 0 0
T8 811888 0 0 0
T9 0 3 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1 0 0
T51 106742 0 0 0
T52 0 1 0 0
T59 0 1 0 0
T60 0 1 0 0
T66 0 8 0 0
T67 0 2 0 0
T80 0 1 0 0
T81 0 4 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_1_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1609614 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1394 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1609614 0 0
T3 204269 1864 0 0
T7 126134 0 0 0
T8 811888 0 0 0
T9 0 5108 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1889 0 0
T51 106742 0 0 0
T52 0 1406 0 0
T59 0 1975 0 0
T60 0 1384 0 0
T66 0 3244 0 0
T67 0 3442 0 0
T80 0 662 0 0
T81 0 3385 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1394 0 0
T3 204269 5 0 0
T7 126134 0 0 0
T8 811888 0 0 0
T9 0 3 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1 0 0
T51 106742 0 0 0
T52 0 1 0 0
T59 0 1 0 0
T60 0 1 0 0
T66 0 8 0 0
T67 0 2 0 0
T80 0 1 0 0
T81 0 4 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_2_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1516261 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1316 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1516261 0 0
T3 204269 1620 0 0
T7 126134 0 0 0
T8 811888 0 0 0
T9 0 5014 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1879 0 0
T51 106742 0 0 0
T52 0 1350 0 0
T59 0 1936 0 0
T60 0 1316 0 0
T66 0 3092 0 0
T67 0 3422 0 0
T80 0 628 0 0
T81 0 3345 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1316 0 0
T3 204269 5 0 0
T7 126134 0 0 0
T8 811888 0 0 0
T9 0 3 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1 0 0
T51 106742 0 0 0
T52 0 1 0 0
T59 0 1 0 0
T60 0 1 0 0
T66 0 8 0 0
T67 0 2 0 0
T80 0 1 0 0
T81 0 4 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_pre_det_ctl_3_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1515208 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1319 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1515208 0 0
T3 204269 1992 0 0
T7 126134 0 0 0
T8 811888 0 0 0
T9 0 4916 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1869 0 0
T51 106742 0 0 0
T52 0 1306 0 0
T59 0 1908 0 0
T60 0 1282 0 0
T66 0 3490 0 0
T67 0 3402 0 0
T80 0 599 0 0
T81 0 3305 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1319 0 0
T3 204269 5 0 0
T7 126134 0 0 0
T8 811888 0 0 0
T9 0 3 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1 0 0
T51 106742 0 0 0
T52 0 1 0 0
T59 0 1 0 0
T60 0 1 0 0
T66 0 8 0 0
T67 0 2 0 0
T80 0 1 0 0
T81 0 4 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_0_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 7441703 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 7720 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 7441703 0 0
T2 105427 13683 0 0
T3 204269 28016 0 0
T7 126134 19478 0 0
T8 0 12175 0 0
T9 0 101971 0 0
T10 0 1019 0 0
T13 0 2495 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 83621 0 0
T52 0 117055 0 0
T59 0 130169 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 7720 0 0
T2 105427 11 0 0
T3 204269 68 0 0
T7 126134 11 0 0
T8 0 14 0 0
T9 0 60 0 0
T10 0 3 0 0
T13 0 6 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 51 0 0
T52 0 69 0 0
T59 0 74 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_1_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 7122028 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 7482 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 7122028 0 0
T2 105427 13661 0 0
T3 204269 27458 0 0
T7 126134 19377 0 0
T8 0 12052 0 0
T9 0 106509 0 0
T10 0 643 0 0
T13 0 2446 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 83411 0 0
T52 0 126006 0 0
T59 0 107980 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 7482 0 0
T2 105427 11 0 0
T3 204269 69 0 0
T7 126134 11 0 0
T8 0 14 0 0
T9 0 63 0 0
T10 0 2 0 0
T13 0 6 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 51 0 0
T52 0 75 0 0
T59 0 62 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_2_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 7098299 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 7438 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 7098299 0 0
T2 105427 13639 0 0
T3 204269 37102 0 0
T7 126134 19267 0 0
T8 0 11954 0 0
T9 0 127272 0 0
T10 0 625 0 0
T13 0 2406 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 83201 0 0
T52 0 115936 0 0
T59 0 121574 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 7438 0 0
T2 105427 11 0 0
T3 204269 94 0 0
T7 126134 11 0 0
T8 0 14 0 0
T9 0 76 0 0
T10 0 2 0 0
T13 0 6 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 51 0 0
T52 0 70 0 0
T59 0 70 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_sel_ctl_3_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 7277066 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 7681 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 7277066 0 0
T2 105427 13617 0 0
T3 204269 30053 0 0
T7 126134 19184 0 0
T8 0 11844 0 0
T9 0 126106 0 0
T10 0 607 0 0
T13 0 2371 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 82991 0 0
T52 0 91355 0 0
T59 0 125898 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 7681 0 0
T2 105427 11 0 0
T3 204269 80 0 0
T7 126134 11 0 0
T8 0 14 0 0
T9 0 76 0 0
T10 0 2 0 0
T13 0 6 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 51 0 0
T52 0 56 0 0
T59 0 73 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_0_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 2053578 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1971 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 2053578 0 0
T2 105427 13595 0 0
T3 204269 1998 0 0
T7 126134 19096 0 0
T8 0 11734 0 0
T9 0 5192 0 0
T10 0 946 0 0
T13 0 2338 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1895 0 0
T52 0 1429 0 0
T59 0 1987 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1971 0 0
T2 105427 11 0 0
T3 204269 5 0 0
T7 126134 11 0 0
T8 0 14 0 0
T9 0 3 0 0
T10 0 3 0 0
T13 0 6 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1 0 0
T52 0 1 0 0
T59 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_1_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1929815 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1883 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1929815 0 0
T2 105427 13573 0 0
T3 204269 1755 0 0
T7 126134 18985 0 0
T8 0 11646 0 0
T9 0 5074 0 0
T10 0 576 0 0
T13 0 2298 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1885 0 0
T52 0 1388 0 0
T59 0 1959 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1883 0 0
T2 105427 11 0 0
T3 204269 5 0 0
T7 126134 11 0 0
T8 0 14 0 0
T9 0 3 0 0
T10 0 2 0 0
T13 0 6 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1 0 0
T52 0 1 0 0
T59 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_2_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1957179 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1891 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1957179 0 0
T2 105427 13551 0 0
T3 204269 2019 0 0
T7 126134 18895 0 0
T8 0 11531 0 0
T9 0 4979 0 0
T10 0 552 0 0
T13 0 2255 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1875 0 0
T52 0 1332 0 0
T59 0 1921 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1891 0 0
T2 105427 11 0 0
T3 204269 5 0 0
T7 126134 11 0 0
T8 0 14 0 0
T9 0 3 0 0
T10 0 2 0 0
T13 0 6 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1 0 0
T52 0 1 0 0
T59 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_det_ctl_3_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1944223 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1887 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1944223 0 0
T2 105427 13529 0 0
T3 204269 1887 0 0
T7 126134 18796 0 0
T8 0 11404 0 0
T9 0 4868 0 0
T10 0 535 0 0
T13 0 2210 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1865 0 0
T52 0 1284 0 0
T59 0 1891 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1887 0 0
T2 105427 11 0 0
T3 204269 5 0 0
T7 126134 11 0 0
T8 0 14 0 0
T9 0 3 0 0
T10 0 2 0 0
T13 0 6 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1 0 0
T52 0 1 0 0
T59 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_0_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 2050133 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1977 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 2050133 0 0
T2 105427 13507 0 0
T3 204269 1952 0 0
T7 126134 18713 0 0
T8 0 11334 0 0
T9 0 5162 0 0
T10 0 863 0 0
T13 0 2172 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1893 0 0
T52 0 1422 0 0
T59 0 1985 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1977 0 0
T2 105427 11 0 0
T3 204269 5 0 0
T7 126134 11 0 0
T8 0 14 0 0
T9 0 3 0 0
T10 0 3 0 0
T13 0 6 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1 0 0
T52 0 1 0 0
T59 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_1_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1995102 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1931 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1995102 0 0
T2 105427 13485 0 0
T3 204269 1701 0 0
T7 126134 18609 0 0
T8 0 11241 0 0
T9 0 5053 0 0
T10 0 509 0 0
T13 0 2130 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1883 0 0
T52 0 1371 0 0
T59 0 1956 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1931 0 0
T2 105427 11 0 0
T3 204269 5 0 0
T7 126134 11 0 0
T8 0 14 0 0
T9 0 3 0 0
T10 0 2 0 0
T13 0 6 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1 0 0
T52 0 1 0 0
T59 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_2_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1971454 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1907 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1971454 0 0
T2 105427 13463 0 0
T3 204269 2082 0 0
T7 126134 18475 0 0
T8 0 11128 0 0
T9 0 4962 0 0
T10 0 495 0 0
T13 0 2089 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1873 0 0
T52 0 1323 0 0
T59 0 1918 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1907 0 0
T2 105427 11 0 0
T3 204269 5 0 0
T7 126134 11 0 0
T8 0 14 0 0
T9 0 3 0 0
T10 0 2 0 0
T13 0 6 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1 0 0
T52 0 1 0 0
T59 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


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

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_com_out_ctl_3_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 1396952907 1976626 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1906 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1976626 0 0
T2 105427 13441 0 0
T3 204269 1845 0 0
T7 126134 18374 0 0
T8 0 11021 0 0
T9 0 4852 0 0
T10 0 487 0 0
T13 0 2053 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1863 0 0
T52 0 1274 0 0
T59 0 1882 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1906 0 0
T2 105427 11 0 0
T3 204269 5 0 0
T7 126134 11 0 0
T8 0 14 0 0
T9 0 3 0 0
T10 0 2 0 0
T13 0 6 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0
T33 0 1 0 0
T52 0 1 0 0
T59 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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


Cond Coverage for Instance : tb.dut.u_reg.u_combo_intr_status_cdc
TotalCoveredPercent
Conditions141285.71
Logical141285.71
Non-Logical00
Event00

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

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

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

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

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

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

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

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

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_combo_intr_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 1396952907 1071202 0 0
DstReqKnown_A 9375037 8526087 0 0
SrcAckBusyChk_A 1396952907 1205 0 0
SrcBusyKnown_A 1396952907 1395146188 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1071202 0 0
T2 105427 2268 0 0
T3 204269 1536 0 0
T7 126134 15966 0 0
T8 0 10926 0 0
T9 0 5210 0 0
T10 0 361 0 0
T13 0 1908 0 0
T16 0 6276 0 0
T18 0 13735 0 0
T19 0 358 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 9375037 8526087 0 0
T1 215137 214737 0 0
T2 27744 25699 0 0
T3 17023 16588 0 0
T4 2290 290 0 0
T5 419 19 0 0
T6 444 44 0 0
T25 492 92 0 0
T26 507 107 0 0
T27 405 5 0 0
T28 768 368 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1205 0 0
T2 105427 2 0 0
T3 204269 4 0 0
T7 126134 9 0 0
T8 0 13 0 0
T9 0 3 0 0
T10 0 1 0 0
T13 0 5 0 0
T16 0 8 0 0
T18 0 9 0 0
T19 0 1 0 0
T26 63405 0 0 0
T27 56848 0 0 0
T28 92232 0 0 0
T29 21870 0 0 0
T30 50159 0 0 0
T31 29347 0 0 0
T32 220764 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1396952907 1395146188 0 0
T1 101295 101294 0 0
T2 105427 105253 0 0
T3 204269 203844 0 0
T4 286264 285919 0 0
T5 104917 104819 0 0
T6 53336 53269 0 0
T25 199495 199417 0 0
T26 63405 63351 0 0
T27 56848 56757 0 0
T28 92232 92149 0 0

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