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

Module : prim_reg_cdc
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.37 100.00 89.49 100.00 100.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_reg.u_adc_chn_val_0_cdc 78.29 94.12 85.71 83.33 50.00
tb.dut.u_reg.u_adc_chn_val_1_cdc 78.29 94.12 85.71 83.33 50.00
tb.dut.u_reg.u_filter_status_cdc 96.43 100.00 85.71 100.00 100.00
tb.dut.u_reg.u_adc_fsm_state_cdc 96.43 100.00 85.71 100.00 100.00
tb.dut.u_reg.u_adc_en_ctl_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_pd_ctl_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_lp_sample_ctl_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_sample_ctl_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_wakeup_ctl_cdc 97.73 100.00 90.91 100.00 100.00
tb.dut.u_reg.u_adc_fsm_rst_cdc 98.08 100.00 92.31 100.00 100.00



Module Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
78.29 94.12 85.71 83.33 50.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
78.01 95.31 67.24 89.47 60.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 87.67 94.90 67.39 88.37 100.00
u_src_to_dst_req 60.00 100.00 40.00 100.00 0.00



Module Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
78.29 94.12 85.71 83.33 50.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
78.01 95.31 67.24 89.47 60.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 87.67 94.90 67.39 88.37 100.00
u_src_to_dst_req 60.00 100.00 40.00 100.00 0.00



Module Instance : tb.dut.u_reg.u_filter_status_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.43 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.74 100.00 92.65 98.31 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 97.79 100.00 93.48 97.67 100.00
u_src_to_dst_req 100.00 100.00 100.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_adc_fsm_state_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.43 100.00 85.71 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
90.72 98.44 79.69 94.74 90.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 86.03 97.87 78.57 92.68 75.00
u_src_to_dst_req 93.75 100.00 75.00 100.00 100.00



Module Instance : tb.dut.u_reg.u_adc_en_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
100.00 100.00 100.00 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_adc_pd_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
100.00 100.00 100.00 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_adc_lp_sample_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
100.00 100.00 100.00 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_adc_sample_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
100.00 100.00 100.00 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_adc_chn0_filter_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
100.00 100.00 100.00 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_adc_chn0_filter_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
100.00 100.00 100.00 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_adc_chn0_filter_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
100.00 100.00 100.00 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_adc_chn0_filter_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
100.00 100.00 100.00 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_adc_chn0_filter_ctl_4_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
100.00 100.00 100.00 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_adc_chn0_filter_ctl_5_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
100.00 100.00 100.00 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_adc_chn0_filter_ctl_6_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
100.00 100.00 100.00 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_adc_chn0_filter_ctl_7_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
100.00 100.00 100.00 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_adc_chn1_filter_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
100.00 100.00 100.00 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_adc_chn1_filter_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
100.00 100.00 100.00 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_adc_chn1_filter_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
100.00 100.00 100.00 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_adc_chn1_filter_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
100.00 100.00 100.00 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_adc_chn1_filter_ctl_4_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
100.00 100.00 100.00 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_adc_chn1_filter_ctl_5_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
100.00 100.00 100.00 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_adc_chn1_filter_ctl_6_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
100.00 100.00 100.00 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_adc_chn1_filter_ctl_7_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
100.00 100.00 100.00 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_adc_wakeup_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
100.00 100.00 100.00 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_adc_fsm_rst_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
100.00 100.00 100.00 100.00 100.00 u_reg


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

Line Coverage for Module : prim_reg_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


Cond Coverage for Module : prim_reg_cdc ( parameter DataWidth=2,ResetVal=0,BitMask=3,DstWrReq=0,TxnWidth=3 + DataWidth=32,ResetVal,BitMask,DstWrReq=0,TxnWidth=3 + DataWidth=8,ResetVal=4,BitMask=255,DstWrReq=0,TxnWidth=3 + DataWidth=16,ResetVal=155,BitMask=65535,DstWrReq=0,TxnWidth=3 + DataWidth=28,ResetVal=0,BitMask=268374015,DstWrReq=1,TxnWidth=3 + DataWidth=9,ResetVal=0,BitMask=511,DstWrReq=0,TxnWidth=3 + DataWidth=9,ResetVal=0,BitMask=511,DstWrReq=1,TxnWidth=3 + DataWidth=5,ResetVal=0,BitMask=31,DstWrReq=1,TxnWidth=3 )
Cond Coverage for Module self-instances :
SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_en_ctl_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_pd_ctl_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_lp_sample_ctl_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_sample_ctl_cdc

SCORECOND
78.29 85.71
tb.dut.u_reg.u_adc_chn_val_0_cdc

SCORECOND
78.29 85.71
tb.dut.u_reg.u_adc_chn_val_1_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_wakeup_ctl_cdc

SCORECOND
96.43 85.71
tb.dut.u_reg.u_filter_status_cdc

SCORECOND
96.43 85.71
tb.dut.u_reg.u_adc_fsm_state_cdc

TotalCoveredPercent
Conditions151386.67
Logical151386.67
Non-Logical00
Event00

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T1
01CoveredT10,T11,T34
10CoveredT4,T5,T1

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

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

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

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

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

TotalCoveredPercent
Conditions131292.31
Logical131292.31
Non-Logical00
Event00

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

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

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

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

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

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

Branch Coverage for Module : prim_reg_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


Assert Coverage for Module : prim_reg_cdc
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 2147483647 196534544 0 0
DstReqKnown_A 913170128 903623188 0 0
SrcAckBusyChk_A 2147483647 211861 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 196534544 0 0
T1 3014445 39644 0 0
T2 2927292 30840 0 0
T3 9568723 67802 0 0
T4 11161 0 0 0
T5 7833 0 0 0
T6 6822425 5926 0 0
T7 7302916 8848 0 0
T8 7462858 23165 0 0
T9 2068434 1083420 0 0
T10 11767156 40754 0 0
T11 382379 188486 0 0
T12 550174 8865 0 0
T13 144405 18866 0 0
T14 183327 96240 0 0
T15 159178 19908 0 0
T16 206568 0 0 0
T17 3663580 0 0 0
T18 0 1069 0 0
T19 0 614 0 0
T27 489739 0 0 0
T28 169801 0 0 0
T29 249023 0 0 0
T30 465946 0 0 0
T34 0 1132 0 0
T35 0 1038 0 0
T36 0 1127 0 0
T37 0 546 0 0
T38 0 1561 0 0
T39 0 1757 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 913170128 903623188 0 0
T1 868374 866528 0 0
T2 1856166 1854398 0 0
T3 26962 24752 0 0
T4 2262 208 0 0
T5 1664 260 0 0
T6 848692 847054 0 0
T7 1665534 1664104 0 0
T8 2545452 2543788 0 0
T16 2236 208 0 0
T17 40066 494 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 211861 0 0
T1 3014445 21 0 0
T2 2927292 42 0 0
T3 9568723 39 0 0
T4 11161 0 0 0
T5 7833 0 0 0
T6 6822425 21 0 0
T7 7302916 42 0 0
T8 7462858 63 0 0
T9 2068434 652 0 0
T10 11767156 102 0 0
T11 382379 108 0 0
T12 550174 21 0 0
T13 144405 54 0 0
T14 183327 54 0 0
T15 159178 14 0 0
T16 206568 0 0 0
T17 3663580 0 0 0
T18 0 1 0 0
T19 0 1 0 0
T27 489739 0 0 0
T28 169801 0 0 0
T29 249023 0 0 0
T30 465946 0 0 0
T34 0 1 0 0
T35 0 1 0 0
T36 0 1 0 0
T37 0 1 0 0
T38 0 1 0 0
T39 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 4125030 4125030 0 0
T2 4005768 4005742 0 0
T3 13094042 13092586 0 0
T4 290186 288314 0 0
T5 203658 201266 0 0
T6 9335950 9335742 0 0
T7 9993464 9993230 0 0
T8 10212332 10212176 0 0
T16 282672 280618 0 0
T17 5013320 4975490 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc
Line No.TotalCoveredPercent
TOTAL171694.12
CONT_ASSIGN6500
ALWAYS715480.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11577100.00
CONT_ASSIGN15000
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 unreachable
71 1 1
72 1 1
73 1 1
74 unreachable
75 1 1
76 0 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 unreachable
124 unreachable
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 unreachable
155 1 1
156 1 1
200 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc
TotalCoveredPercent
Conditions7685.71
Logical7685.71
Non-Logical00
Event00

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

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTestsExclude Annotation
01CoveredT4,T5,T1
10Excluded VC_COV_UNR
11Excluded VC_COV_UNR

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTestsExclude Annotation
00CoveredT4,T5,T1
01CoveredT1,T2,T3
10Excluded VC_COV_UNR

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTestsExclude Annotation
01Not Covered
10Excluded VC_COV_UNR
11Excluded VC_COV_UNR

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTestsExclude Annotation
01CoveredT4,T5,T1
10Excluded VC_COV_UNR
11CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc
Line No.TotalCoveredPercent
Branches 6 5 83.33
IF 71 3 2 66.67
IF 115 3 3 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 2147483647 0 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 0 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc
Line No.TotalCoveredPercent
TOTAL171694.12
CONT_ASSIGN6500
ALWAYS715480.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11577100.00
CONT_ASSIGN15000
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 unreachable
71 1 1
72 1 1
73 1 1
74 unreachable
75 1 1
76 0 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 unreachable
124 unreachable
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 unreachable
155 1 1
156 1 1
200 1 1


Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc
TotalCoveredPercent
Conditions7685.71
Logical7685.71
Non-Logical00
Event00

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

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTestsExclude Annotation
01CoveredT4,T5,T1
10Excluded VC_COV_UNR
11Excluded VC_COV_UNR

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTestsExclude Annotation
00CoveredT4,T5,T1
01CoveredT1,T2,T3
10Excluded VC_COV_UNR

 LINE       125
 SUB-EXPRESSION (src_busy_q && src_ack)
                 -----1----    ---2---
-1--2-StatusTestsExclude Annotation
01Not Covered
10Excluded VC_COV_UNR
11Excluded VC_COV_UNR

 LINE       125
 SUB-EXPRESSION (src_update && ((!busy)))
                 -----1----    ----2----
-1--2-StatusTestsExclude Annotation
01CoveredT4,T5,T1
10Excluded VC_COV_UNR
11CoveredT1,T2,T3

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc
Line No.TotalCoveredPercent
Branches 6 5 83.33
IF 71 3 2 66.67
IF 115 3 3 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 2147483647 0 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 0 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_filter_status_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_filter_status_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_filter_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 2147483647 63716020 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 66902 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 63716020 0 0
T1 158655 115813 0 0
T2 154068 103503 0 0
T3 503617 0 0 0
T6 359075 27883 0 0
T7 384364 29359 0 0
T8 392782 31301 0 0
T9 114913 0 0 0
T10 619324 35173 0 0
T11 0 3396 0 0
T13 0 100550 0 0
T14 0 138557 0 0
T15 0 162953 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 66902 0 0
T1 158655 67 0 0
T2 154068 131 0 0
T3 503617 0 0 0
T6 359075 77 0 0
T7 384364 175 0 0
T8 392782 84 0 0
T9 114913 0 0 0
T10 619324 89 0 0
T11 0 2 0 0
T13 0 242 0 0
T14 0 81 0 0
T15 0 97 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_fsm_state_cdc
Line No.TotalCoveredPercent
TOTAL2121100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15000
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 unreachable
155 1 1
156 1 1
200 1 1


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T1
01CoveredT10,T11,T34
10Unreachable

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T1
10CoveredT10,T11,T34
11CoveredT10,T11,T34

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_fsm_state_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T10,T11,T34
0 0 1 Covered T10,T11,T34
0 0 0 Covered T4,T5,T1


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 2147483647 89828 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 87 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 89828 0 0
T10 619324 761 0 0
T11 382379 1941 0 0
T12 550174 0 0 0
T13 144405 0 0 0
T14 183327 0 0 0
T15 159178 0 0 0
T18 0 1069 0 0
T19 0 614 0 0
T27 489739 0 0 0
T28 169801 0 0 0
T29 249023 0 0 0
T30 465946 0 0 0
T34 0 1132 0 0
T35 0 1038 0 0
T36 0 1127 0 0
T37 0 546 0 0
T38 0 1561 0 0
T39 0 1757 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 87 0 0
T10 619324 1 0 0
T11 382379 1 0 0
T12 550174 0 0 0
T13 144405 0 0 0
T14 183327 0 0 0
T15 159178 0 0 0
T18 0 1 0 0
T19 0 1 0 0
T27 489739 0 0 0
T28 169801 0 0 0
T29 249023 0 0 0
T30 465946 0 0 0
T34 0 1 0 0
T35 0 1 0 0
T36 0 1 0 0
T37 0 1 0 0
T38 0 1 0 0
T39 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_en_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_adc_en_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 2147483647 37574861 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 40978 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 37574861 0 0
T1 158655 5698 0 0
T2 154068 3120 0 0
T3 503617 67802 0 0
T6 359075 969 0 0
T7 384364 1160 0 0
T8 392782 2401 0 0
T9 114913 644878 0 0
T10 619324 14053 0 0
T11 0 118417 0 0
T12 0 8865 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 40978 0 0
T1 158655 3 0 0
T2 154068 6 0 0
T3 503617 39 0 0
T6 359075 3 0 0
T7 384364 6 0 0
T8 392782 9 0 0
T9 114913 388 0 0
T10 619324 35 0 0
T11 0 67 0 0
T12 0 21 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_pd_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_adc_pd_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 2147483647 17248770 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 19147 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 17248770 0 0
T1 158655 3761 0 0
T2 154068 1321 0 0
T3 503617 33222 0 0
T6 359075 645 0 0
T7 384364 741 0 0
T8 392782 1174 0 0
T9 114913 311936 0 0
T10 619324 8196 0 0
T11 0 29694 0 0
T12 0 4427 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 19147 0 0
T1 158655 2 0 0
T2 154068 4 0 0
T3 503617 19 0 0
T6 359075 2 0 0
T7 384364 4 0 0
T8 392782 6 0 0
T9 114913 194 0 0
T10 619324 21 0 0
T11 0 17 0 0
T12 0 10 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_adc_lp_sample_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 2147483647 13961183 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 15294 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 13961183 0 0
T1 158655 1865 0 0
T2 154068 1316 0 0
T3 503617 0 0 0
T4 11161 479 0 0
T5 7833 325 0 0
T6 359075 323 0 0
T7 384364 408 0 0
T8 392782 1058 0 0
T9 0 313869 0 0
T16 10872 403 0 0
T17 192820 499 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 15294 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T4 11161 1 0 0
T5 7833 1 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 0 194 0 0
T16 10872 1 0 0
T17 192820 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_sample_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_adc_sample_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 2147483647 14006231 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 15250 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 14006231 0 0
T1 158655 1867 0 0
T2 154068 1342 0 0
T3 503617 0 0 0
T4 11161 481 0 0
T5 7833 327 0 0
T6 359075 328 0 0
T7 384364 422 0 0
T8 392782 1075 0 0
T9 0 315824 0 0
T16 10872 405 0 0
T17 192820 501 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 15250 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T4 11161 1 0 0
T5 7833 1 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 0 194 0 0
T16 10872 1 0 0
T17 192820 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_0_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_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 2147483647 1936428 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 2075 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1936428 0 0
T1 158655 1899 0 0
T2 154068 1671 0 0
T3 503617 0 0 0
T6 359075 320 0 0
T7 384364 460 0 0
T8 392782 1273 0 0
T9 114913 1909 0 0
T10 619324 1757 0 0
T11 0 5445 0 0
T13 0 1074 0 0
T14 0 5386 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2075 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 114913 1 0 0
T10 619324 4 0 0
T11 0 3 0 0
T13 0 3 0 0
T14 0 3 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_1_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_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 2147483647 1819839 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 1954 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1819839 0 0
T1 158655 1897 0 0
T2 154068 1653 0 0
T3 503617 0 0 0
T6 359075 311 0 0
T7 384364 444 0 0
T8 392782 1230 0 0
T9 114913 0 0 0
T10 619324 1718 0 0
T11 0 3433 0 0
T13 0 1068 0 0
T14 0 5380 0 0
T15 0 1436 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1954 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 114913 0 0 0
T10 619324 4 0 0
T11 0 2 0 0
T13 0 3 0 0
T14 0 3 0 0
T15 0 1 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_2_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_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 2147483647 1820762 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 1937 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1820762 0 0
T1 158655 1895 0 0
T2 154068 1631 0 0
T3 503617 0 0 0
T6 359075 304 0 0
T7 384364 419 0 0
T8 392782 1213 0 0
T9 114913 0 0 0
T10 619324 1678 0 0
T11 0 3418 0 0
T13 0 1062 0 0
T14 0 5374 0 0
T15 0 1434 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1937 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 114913 0 0 0
T10 619324 4 0 0
T11 0 2 0 0
T13 0 3 0 0
T14 0 3 0 0
T15 0 1 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_3_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_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 2147483647 1794798 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 1950 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1794798 0 0
T1 158655 1893 0 0
T2 154068 1620 0 0
T3 503617 0 0 0
T6 359075 299 0 0
T7 384364 390 0 0
T8 392782 1184 0 0
T9 114913 0 0 0
T10 619324 1645 0 0
T11 0 3403 0 0
T13 0 1056 0 0
T14 0 5368 0 0
T15 0 1432 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1950 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 114913 0 0 0
T10 619324 4 0 0
T11 0 2 0 0
T13 0 3 0 0
T14 0 3 0 0
T15 0 1 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_4_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 2147483647 1784176 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 1949 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1784176 0 0
T1 158655 1891 0 0
T2 154068 1602 0 0
T3 503617 0 0 0
T6 359075 293 0 0
T7 384364 430 0 0
T8 392782 1141 0 0
T9 114913 0 0 0
T10 619324 1623 0 0
T11 0 3386 0 0
T13 0 1050 0 0
T14 0 5362 0 0
T15 0 1430 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1949 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 114913 0 0 0
T10 619324 4 0 0
T11 0 2 0 0
T13 0 3 0 0
T14 0 3 0 0
T15 0 1 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_5_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 2147483647 1802312 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 1969 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1802312 0 0
T1 158655 1889 0 0
T2 154068 1583 0 0
T3 503617 0 0 0
T6 359075 284 0 0
T7 384364 459 0 0
T8 392782 1106 0 0
T9 114913 0 0 0
T10 619324 1606 0 0
T11 0 3364 0 0
T13 0 1044 0 0
T14 0 5356 0 0
T15 0 1428 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1969 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 114913 0 0 0
T10 619324 4 0 0
T11 0 2 0 0
T13 0 3 0 0
T14 0 3 0 0
T15 0 1 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_6_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 2147483647 1789612 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 1950 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1789612 0 0
T1 158655 1887 0 0
T2 154068 1561 0 0
T3 503617 0 0 0
T6 359075 277 0 0
T7 384364 433 0 0
T8 392782 1074 0 0
T9 114913 0 0 0
T10 619324 1584 0 0
T11 0 3354 0 0
T13 0 1038 0 0
T14 0 5350 0 0
T15 0 1426 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1950 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 114913 0 0 0
T10 619324 4 0 0
T11 0 2 0 0
T13 0 3 0 0
T14 0 3 0 0
T15 0 1 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn0_filter_ctl_7_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 2147483647 1760817 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 1939 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1760817 0 0
T1 158655 1885 0 0
T2 154068 1535 0 0
T3 503617 0 0 0
T6 359075 273 0 0
T7 384364 411 0 0
T8 392782 1050 0 0
T9 114913 0 0 0
T10 619324 1549 0 0
T11 0 3340 0 0
T13 0 1032 0 0
T14 0 5344 0 0
T15 0 1424 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1939 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 114913 0 0 0
T10 619324 4 0 0
T11 0 2 0 0
T13 0 3 0 0
T14 0 3 0 0
T15 0 1 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_0_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_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 2147483647 1874430 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 2058 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1874430 0 0
T1 158655 1883 0 0
T2 154068 1512 0 0
T3 503617 0 0 0
T6 359075 261 0 0
T7 384364 392 0 0
T8 392782 1023 0 0
T9 114913 1899 0 0
T10 619324 1527 0 0
T11 0 5291 0 0
T13 0 1026 0 0
T14 0 5338 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2058 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 114913 1 0 0
T10 619324 4 0 0
T11 0 3 0 0
T13 0 3 0 0
T14 0 3 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_1_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_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 2147483647 1725379 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 1917 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1725379 0 0
T1 158655 1881 0 0
T2 154068 1491 0 0
T3 503617 0 0 0
T6 359075 256 0 0
T7 384364 425 0 0
T8 392782 1116 0 0
T9 114913 0 0 0
T10 619324 1503 0 0
T11 0 3311 0 0
T13 0 1020 0 0
T14 0 5332 0 0
T15 0 1420 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1917 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 114913 0 0 0
T10 619324 4 0 0
T11 0 2 0 0
T13 0 3 0 0
T14 0 3 0 0
T15 0 1 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_2_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_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 2147483647 1723337 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 1899 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1723337 0 0
T1 158655 1879 0 0
T2 154068 1469 0 0
T3 503617 0 0 0
T6 359075 250 0 0
T7 384364 456 0 0
T8 392782 1093 0 0
T9 114913 0 0 0
T10 619324 1471 0 0
T11 0 3292 0 0
T13 0 1014 0 0
T14 0 5326 0 0
T15 0 1418 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1899 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 114913 0 0 0
T10 619324 4 0 0
T11 0 2 0 0
T13 0 3 0 0
T14 0 3 0 0
T15 0 1 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_3_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_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 2147483647 1779203 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 1951 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1779203 0 0
T1 158655 1877 0 0
T2 154068 1455 0 0
T3 503617 0 0 0
T6 359075 242 0 0
T7 384364 427 0 0
T8 392782 1094 0 0
T9 114913 0 0 0
T10 619324 1436 0 0
T11 0 3271 0 0
T13 0 1008 0 0
T14 0 5320 0 0
T15 0 1416 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1951 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 114913 0 0 0
T10 619324 4 0 0
T11 0 2 0 0
T13 0 3 0 0
T14 0 3 0 0
T15 0 1 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_4_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 2147483647 1765081 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 1937 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1765081 0 0
T1 158655 1875 0 0
T2 154068 1441 0 0
T3 503617 0 0 0
T6 359075 240 0 0
T7 384364 405 0 0
T8 392782 1178 0 0
T9 114913 0 0 0
T10 619324 1528 0 0
T11 0 3258 0 0
T13 0 1002 0 0
T14 0 5314 0 0
T15 0 1414 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1937 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 114913 0 0 0
T10 619324 4 0 0
T11 0 2 0 0
T13 0 3 0 0
T14 0 3 0 0
T15 0 1 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_5_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 2147483647 1754433 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 1964 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1754433 0 0
T1 158655 1873 0 0
T2 154068 1415 0 0
T3 503617 0 0 0
T6 359075 237 0 0
T7 384364 384 0 0
T8 392782 1154 0 0
T9 114913 0 0 0
T10 619324 1515 0 0
T11 0 3223 0 0
T13 0 996 0 0
T14 0 5308 0 0
T15 0 1412 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1964 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 114913 0 0 0
T10 619324 4 0 0
T11 0 2 0 0
T13 0 3 0 0
T14 0 3 0 0
T15 0 1 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_6_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 2147483647 1755248 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 1949 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1755248 0 0
T1 158655 1871 0 0
T2 154068 1387 0 0
T3 503617 0 0 0
T6 359075 233 0 0
T7 384364 476 0 0
T8 392782 1125 0 0
T9 114913 0 0 0
T10 619324 1494 0 0
T11 0 3196 0 0
T13 0 990 0 0
T14 0 5302 0 0
T15 0 1410 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1949 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 114913 0 0 0
T10 619324 4 0 0
T11 0 2 0 0
T13 0 3 0 0
T14 0 3 0 0
T15 0 1 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn1_filter_ctl_7_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 2147483647 1704939 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 1931 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1704939 0 0
T1 158655 1869 0 0
T2 154068 1362 0 0
T3 503617 0 0 0
T6 359075 229 0 0
T7 384364 446 0 0
T8 392782 1099 0 0
T9 114913 0 0 0
T10 619324 1473 0 0
T11 0 3175 0 0
T13 0 984 0 0
T14 0 5296 0 0
T15 0 1408 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1931 0 0
T1 158655 1 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 1 0 0
T7 384364 2 0 0
T8 392782 3 0 0
T9 114913 0 0 0
T10 619324 4 0 0
T11 0 2 0 0
T13 0 3 0 0
T14 0 3 0 0
T15 0 1 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

 LINE       65
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T1
01Unreachable
10CoveredT2,T8,T10

 LINE       109
 EXPRESSION (src_busy_q & ((!src_ack)))
             -----1----   ------2-----
-1--2-StatusTests
01CoveredT4,T5,T1
10CoveredT2,T8,T10
11CoveredT2,T8,T10

 LINE       125
 EXPRESSION ((src_busy_q && src_ack) || (src_update && ((!busy))))
             -----------1-----------    ------------2------------
-1--2-StatusTests
00CoveredT4,T5,T1
01Unreachable
10CoveredT2,T8,T10

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_ctl_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


Assert Coverage for Instance : tb.dut.u_reg.u_adc_wakeup_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 2147483647 1278611 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 1425 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1278611 0 0
T2 154068 1276 0 0
T3 503617 0 0 0
T6 359075 0 0 0
T7 384364 0 0 0
T8 392782 982 0 0
T9 114913 0 0 0
T10 619324 1248 0 0
T11 382379 1277 0 0
T12 550174 0 0 0
T13 0 960 0 0
T14 0 5272 0 0
T15 0 1400 0 0
T17 192820 0 0 0
T28 0 3183 0 0
T40 0 1047 0 0
T41 0 501 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1425 0 0
T2 154068 2 0 0
T3 503617 0 0 0
T6 359075 0 0 0
T7 384364 0 0 0
T8 392782 3 0 0
T9 114913 0 0 0
T10 619324 3 0 0
T11 382379 1 0 0
T12 550174 0 0 0
T13 0 3 0 0
T14 0 3 0 0
T15 0 1 0 0
T17 192820 0 0 0
T28 0 2 0 0
T40 0 3 0 0
T41 0 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

Line Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc
Line No.TotalCoveredPercent
TOTAL2222100.00
CONT_ASSIGN6511100.00
ALWAYS7166100.00
CONT_ASSIGN8511100.00
CONT_ASSIGN10911100.00
ALWAYS11599100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN20011100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' or '../src/lowrisc_prim_subreg_0/rtl/prim_reg_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
65 1 1
71 1 1
72 1 1
73 1 1
74 1 1
75 1 1
76 1 1
MISSING_ELSE
85 1 1
109 1 1
115 1 1
116 1 1
117 1 1
118 1 1
123 1 1
124 1 1
125 1 1
134 1 1
135 1 1
MISSING_ELSE
150 1 1
155 1 1
156 1 1
200 1 1


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

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

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_fsm_rst_cdc
Line No.TotalCoveredPercent
Branches 8 8 100.00
IF 71 4 4 100.00
IF 115 4 4 100.00

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

LineNo. Expression -1-: 71 if ((!rst_src_ni)) -2-: 73 if (src_req) -3-: 75 if (src_ack)

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


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

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


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




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
BusySrcReqChk_A 2147483647 20068246 0 0
DstReqKnown_A 35121928 34754738 0 0
SrcAckBusyChk_A 2147483647 21449 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 20068246 0 0
T1 158655 3802 0 0
T2 154068 3332 0 0
T3 503617 0 0 0
T6 359075 648 0 0
T7 384364 831 0 0
T8 392782 2611 0 0
T9 114913 434734 0 0
T10 619324 833 0 0
T11 0 10968 0 0
T13 0 2402 0 0
T14 0 10784 0 0
T16 10872 0 0 0
T17 192820 0 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 35121928 34754738 0 0
T1 33399 33328 0 0
T2 71391 71323 0 0
T3 1037 952 0 0
T4 87 8 0 0
T5 64 10 0 0
T6 32642 32579 0 0
T7 64059 64004 0 0
T8 97902 97838 0 0
T16 86 8 0 0
T17 1541 19 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 21449 0 0
T1 158655 2 0 0
T2 154068 4 0 0
T3 503617 0 0 0
T6 359075 2 0 0
T7 384364 4 0 0
T8 392782 6 0 0
T9 114913 262 0 0
T10 619324 2 0 0
T11 0 6 0 0
T13 0 6 0 0
T14 0 6 0 0
T16 10872 0 0 0
T17 192820 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 158655 158655 0 0
T2 154068 154067 0 0
T3 503617 503561 0 0
T4 11161 11089 0 0
T5 7833 7741 0 0
T6 359075 359067 0 0
T7 384364 384355 0 0
T8 392782 392776 0 0
T16 10872 10793 0 0
T17 192820 191365 0 0

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