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

Module : prim_reg_cdc
SCORELINECONDTOGGLEFSMBRANCHASSERT
97.25 100.00 89.01 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 68.40 94.12 46.15 83.33 50.00
tb.dut.u_reg.u_adc_chn_val_1_cdc 68.40 94.12 46.15 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_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
68.40 94.12 46.15 83.33 50.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
75.53 95.31 57.35 89.47 60.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 86.63 94.90 63.27 88.37 100.00
u_src_to_dst_req 58.33 100.00 33.33 100.00 0.00



Module Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
68.40 94.12 46.15 83.33 50.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
75.53 95.31 57.35 89.47 60.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 u_reg


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_arb 86.63 94.90 63.27 88.37 100.00
u_src_to_dst_req 58.33 100.00 33.33 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
96.76 100.00 88.73 98.31 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 u_reg


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



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


Cond Coverage for Module : prim_reg_cdc ( parameter DataWidth=2,ResetVal=0,BitMask=3,DstWrReq=0,TxnWidth=3 + DataWidth=32,ResetVal,BitMask,DstWrReq=0,TxnWidth=3 + DataWidth=8,ResetVal,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=8,ResetVal=0,BitMask=255,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_wakeup_ctl_cdc

SCORECOND
97.73 90.91
tb.dut.u_reg.u_adc_sample_ctl_cdc

SCORECOND
68.40 46.15
tb.dut.u_reg.u_adc_chn_val_0_cdc

SCORECOND
68.40 46.15
tb.dut.u_reg.u_adc_chn_val_1_cdc

SCORECOND
96.43 85.71
tb.dut.u_reg.u_filter_status_cdc

TotalCoveredPercent
Conditions141285.71
Logical141285.71
Non-Logical00
Event00

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

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

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

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

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

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       54
 EXPRESSION (src_we_i | src_re_i)
             ----1---   ----2---
-1--2-StatusTests
00CoveredT4,T5,T1
01Unreachable
10CoveredT4,T1,T2

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

 LINE       112
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT4,T1,T2
1-CoveredT1,T2,T25

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,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 175850570 0 0
DstReqKnown_A 792822950 784136125 0 0
SrcAckBusyChk_A 2147483647 200948 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 175850570 0 0
T1 2578875 113733 0 0
T2 1180268 49354 0 0
T3 9634056 427637 0 0
T4 933593 16774 0 0
T5 507265 1403 0 0
T6 7306456 285081 0 0
T7 0 16539 0 0
T8 0 411601 0 0
T9 0 4727 0 0
T23 180251 929 0 0
T24 167624 564 0 0
T25 482356 4863 0 0
T26 155503 502 0 0
T27 0 7453 0 0
T28 0 3942 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 792822950 784136125 0 0
T1 23300 20975 0 0
T2 25625 23375 0 0
T3 21550 19275 0 0
T4 2100 175 0 0
T5 2575 150 0 0
T6 20850 1025 0 0
T23 1600 300 0 0
T24 2250 300 0 0
T25 2450 200 0 0
T26 2575 425 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 200948 0 0
T1 2578875 287 0 0
T2 1180268 272 0 0
T3 9634056 259 0 0
T4 81182 2 0 0
T5 44110 2 0 0
T6 7306456 206 0 0
T7 0 42 0 0
T8 0 231 0 0
T9 0 253 0 0
T10 0 125 0 0
T11 0 854 0 0
T12 0 413 0 0
T23 180251 2 0 0
T24 167624 2 0 0
T25 482356 2 0 0
T26 155503 2 0 0
T27 289842 0 0 0
T28 632226 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 2803125 2801150 0 0
T2 1282900 1281150 0 0
T3 10471800 10469650 0 0
T4 1014775 989125 0 0
T5 551375 549550 0 0
T6 7941800 7920750 0 0
T23 195925 194425 0 0
T24 182200 180625 0 0
T25 524300 507250 0 0
T26 169025 166900 0 0

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


Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc
TotalCoveredPercent
Conditions13646.15
Logical13646.15
Non-Logical00
Event00

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_0_cdc
Line No.TotalCoveredPercent
Branches 6 5 83.33
IF 60 3 2 66.67
IF 104 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-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 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-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Unreachable
0 0 1 Covered T13,T14,T15
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 31712918 31365445 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 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


Cond Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc
TotalCoveredPercent
Conditions13646.15
Logical13646.15
Non-Logical00
Event00

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

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

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

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

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

Branch Coverage for Instance : tb.dut.u_reg.u_adc_chn_val_1_cdc
Line No.TotalCoveredPercent
Branches 6 5 83.33
IF 60 3 2 66.67
IF 104 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-: 60 if ((!rst_src_ni)) -2-: 62 if (src_req) -3-: 64 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-: 104 if ((!rst_src_ni)) -2-: 107 if (src_req) -3-: 114 if (((src_busy_q && src_ack) || (src_update && (!busy))))

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Unreachable
0 0 1 Covered T13,T14,T15
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 31712918 31365445 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 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

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

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

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 58920333 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 65522 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 58920333 0 0
T1 112125 5340 0 0
T2 51316 3321 0 0
T3 418872 15420 0 0
T4 40591 628 0 0
T5 22055 0 0 0
T6 317672 11629 0 0
T7 0 803 0 0
T8 0 17200 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 85 0 0
T26 6761 0 0 0
T27 0 367 0 0
T28 0 160 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 65522 0 0
T1 112125 11 0 0
T2 51316 15 0 0
T3 418872 8 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 8 0 0
T9 0 8 0 0
T10 0 2 0 0
T11 0 43 0 0
T12 0 20 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
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 33009078 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 38431 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 33009078 0 0
T1 112125 7482 0 0
T2 51316 1628 0 0
T3 418872 16415 0 0
T4 40591 558 0 0
T5 22055 0 0 0
T6 317672 12898 0 0
T7 0 819 0 0
T8 0 10595 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 219 0 0
T26 6761 0 0 0
T27 0 373 0 0
T28 0 124 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 38431 0 0
T1 112125 19 0 0
T2 51316 9 0 0
T3 418872 10 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 6 0 0
T9 0 13 0 0
T10 0 2 0 0
T11 0 43 0 0
T12 0 20 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
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 15273279 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 18092 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 15273279 0 0
T1 112125 2712 0 0
T2 51316 2478 0 0
T3 418872 35590 0 0
T4 40591 671 0 0
T5 22055 0 0 0
T6 317672 12921 0 0
T7 0 758 0 0
T8 0 21577 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 145 0 0
T26 6761 0 0 0
T27 0 377 0 0
T28 0 228 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 18092 0 0
T1 112125 7 0 0
T2 51316 14 0 0
T3 418872 21 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 12 0 0
T9 0 13 0 0
T10 0 2 0 0
T11 0 39 0 0
T12 0 19 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,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 11684545 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 14150 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 11684545 0 0
T1 112125 3195 0 0
T2 51316 586 0 0
T3 418872 37140 0 0
T4 40591 1999 0 0
T5 22055 699 0 0
T6 317672 14364 0 0
T23 7837 461 0 0
T24 7288 281 0 0
T25 20972 636 0 0
T26 6761 250 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 14150 0 0
T1 112125 8 0 0
T2 51316 3 0 0
T3 418872 22 0 0
T4 40591 1 0 0
T5 22055 1 0 0
T6 317672 10 0 0
T23 7837 1 0 0
T24 7288 1 0 0
T25 20972 1 0 0
T26 6761 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,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 11735485 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 14159 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 11735485 0 0
T1 112125 5929 0 0
T2 51316 1452 0 0
T3 418872 24923 0 0
T4 40591 1919 0 0
T5 22055 704 0 0
T6 317672 14441 0 0
T23 7837 468 0 0
T24 7288 283 0 0
T25 20972 732 0 0
T26 6761 252 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 14159 0 0
T1 112125 15 0 0
T2 51316 8 0 0
T3 418872 15 0 0
T4 40591 1 0 0
T5 22055 1 0 0
T6 317672 10 0 0
T23 7837 1 0 0
T24 7288 1 0 0
T25 20972 1 0 0
T26 6761 1 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1846123 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1936 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1846123 0 0
T1 112125 3916 0 0
T2 51316 576 0 0
T3 418872 19244 0 0
T4 40591 652 0 0
T5 22055 0 0 0
T6 317672 10393 0 0
T7 0 746 0 0
T8 0 23015 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 168 0 0
T26 6761 0 0 0
T27 0 379 0 0
T28 0 75 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1936 0 0
T1 112125 10 0 0
T2 51316 3 0 0
T3 418872 12 0 0
T6 317672 8 0 0
T7 0 2 0 0
T8 0 13 0 0
T9 0 11 0 0
T10 0 6 0 0
T11 0 43 0 0
T12 0 20 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1707687 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1817 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1707687 0 0
T1 112125 4278 0 0
T2 51316 2849 0 0
T3 418872 14423 0 0
T4 40591 621 0 0
T5 22055 0 0 0
T6 317672 12882 0 0
T7 0 821 0 0
T8 0 12260 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 192 0 0
T26 6761 0 0 0
T27 0 346 0 0
T28 0 279 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1817 0 0
T1 112125 11 0 0
T2 51316 16 0 0
T3 418872 9 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 7 0 0
T9 0 19 0 0
T10 0 1 0 0
T11 0 42 0 0
T12 0 19 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1680098 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1801 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1680098 0 0
T1 112125 3911 0 0
T2 51316 2694 0 0
T3 418872 7665 0 0
T4 40591 573 0 0
T5 22055 0 0 0
T6 317672 11539 0 0
T7 0 718 0 0
T8 0 7233 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 115 0 0
T26 6761 0 0 0
T27 0 330 0 0
T28 0 157 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1801 0 0
T1 112125 10 0 0
T2 51316 15 0 0
T3 418872 5 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 4 0 0
T9 0 9 0 0
T10 0 8 0 0
T11 0 40 0 0
T12 0 20 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1719477 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1847 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1719477 0 0
T1 112125 5932 0 0
T2 51316 2861 0 0
T3 418872 6196 0 0
T4 40591 563 0 0
T5 22055 0 0 0
T6 317672 12926 0 0
T7 0 855 0 0
T8 0 16218 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 165 0 0
T26 6761 0 0 0
T27 0 363 0 0
T28 0 265 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1847 0 0
T1 112125 15 0 0
T2 51316 16 0 0
T3 418872 4 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 9 0 0
T9 0 15 0 0
T10 0 4 0 0
T11 0 45 0 0
T12 0 20 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1686693 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1807 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1686693 0 0
T1 112125 4965 0 0
T2 51316 3514 0 0
T3 418872 16290 0 0
T4 40591 612 0 0
T5 22055 0 0 0
T6 317672 12912 0 0
T7 0 718 0 0
T8 0 19604 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 216 0 0
T26 6761 0 0 0
T27 0 336 0 0
T28 0 352 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1807 0 0
T1 112125 13 0 0
T2 51316 20 0 0
T3 418872 10 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 11 0 0
T9 0 7 0 0
T10 0 6 0 0
T11 0 35 0 0
T12 0 20 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1700571 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1817 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1700571 0 0
T1 112125 7113 0 0
T2 51316 2172 0 0
T3 418872 24993 0 0
T4 40591 706 0 0
T5 22055 0 0 0
T6 317672 11596 0 0
T7 0 700 0 0
T8 0 19637 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 284 0 0
T26 6761 0 0 0
T27 0 357 0 0
T28 0 195 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1817 0 0
T1 112125 18 0 0
T2 51316 12 0 0
T3 418872 15 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 11 0 0
T9 0 17 0 0
T10 0 3 0 0
T11 0 41 0 0
T12 0 20 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1682141 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1788 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1682141 0 0
T1 112125 6765 0 0
T2 51316 1458 0 0
T3 418872 19217 0 0
T4 40591 547 0 0
T5 22055 0 0 0
T6 317672 12849 0 0
T7 0 726 0 0
T8 0 28494 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 262 0 0
T26 6761 0 0 0
T27 0 361 0 0
T28 0 170 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1788 0 0
T1 112125 17 0 0
T2 51316 8 0 0
T3 418872 12 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 16 0 0
T9 0 14 0 0
T10 0 4 0 0
T11 0 42 0 0
T12 0 19 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1715028 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1851 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1715028 0 0
T1 112125 4618 0 0
T2 51316 3074 0 0
T3 418872 30809 0 0
T4 40591 661 0 0
T5 22055 0 0 0
T6 317672 10384 0 0
T7 0 825 0 0
T8 0 24412 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 251 0 0
T26 6761 0 0 0
T27 0 353 0 0
T28 0 195 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1851 0 0
T1 112125 12 0 0
T2 51316 17 0 0
T3 418872 18 0 0
T6 317672 8 0 0
T7 0 2 0 0
T8 0 14 0 0
T9 0 12 0 0
T10 0 12 0 0
T11 0 36 0 0
T12 0 20 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1800475 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1953 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1800475 0 0
T1 112125 2359 0 0
T2 51316 2468 0 0
T3 418872 17846 0 0
T4 40591 591 0 0
T5 22055 0 0 0
T6 317672 11487 0 0
T7 0 797 0 0
T8 0 16027 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 202 0 0
T26 6761 0 0 0
T27 0 371 0 0
T28 0 131 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1953 0 0
T1 112125 6 0 0
T2 51316 14 0 0
T3 418872 11 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 9 0 0
T9 0 11 0 0
T10 0 7 0 0
T11 0 48 0 0
T12 0 19 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1671374 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1822 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1671374 0 0
T1 112125 2725 0 0
T2 51316 1804 0 0
T3 418872 7665 0 0
T4 40591 687 0 0
T5 22055 0 0 0
T6 317672 12971 0 0
T7 0 855 0 0
T8 0 10741 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 143 0 0
T26 6761 0 0 0
T27 0 344 0 0
T28 0 62 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1822 0 0
T1 112125 7 0 0
T2 51316 10 0 0
T3 418872 5 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 6 0 0
T9 0 17 0 0
T10 0 9 0 0
T11 0 45 0 0
T12 0 20 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1676531 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1821 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1676531 0 0
T1 112125 3903 0 0
T2 51316 1459 0 0
T3 418872 6206 0 0
T4 40591 697 0 0
T5 22055 0 0 0
T6 317672 12868 0 0
T7 0 851 0 0
T8 0 14295 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 95 0 0
T26 6761 0 0 0
T27 0 365 0 0
T28 0 76 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1821 0 0
T1 112125 10 0 0
T2 51316 8 0 0
T3 418872 4 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 8 0 0
T9 0 15 0 0
T10 0 5 0 0
T11 0 38 0 0
T12 0 19 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1647504 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1792 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1647504 0 0
T1 112125 5889 0 0
T2 51316 1257 0 0
T3 418872 17783 0 0
T4 40591 649 0 0
T5 22055 0 0 0
T6 317672 12928 0 0
T7 0 827 0 0
T8 0 14191 0 0
T9 0 4727 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 0 342 0 0
T28 0 284 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1792 0 0
T1 112125 15 0 0
T2 51316 7 0 0
T3 418872 11 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 8 0 0
T9 0 12 0 0
T10 0 10 0 0
T11 0 38 0 0
T12 0 20 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1683517 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1843 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1683517 0 0
T1 112125 8789 0 0
T2 51316 2481 0 0
T3 418872 11046 0 0
T4 40591 520 0 0
T5 22055 0 0 0
T6 317672 11551 0 0
T7 0 817 0 0
T8 0 45205 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 187 0 0
T26 6761 0 0 0
T27 0 340 0 0
T28 0 214 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1843 0 0
T1 112125 22 0 0
T2 51316 14 0 0
T3 418872 7 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 26 0 0
T9 0 10 0 0
T10 0 12 0 0
T11 0 43 0 0
T12 0 20 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1676200 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1829 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1676200 0 0
T1 112125 2688 0 0
T2 51316 1799 0 0
T3 418872 16342 0 0
T4 40591 581 0 0
T5 22055 0 0 0
T6 317672 11501 0 0
T7 0 817 0 0
T8 0 29784 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 159 0 0
T26 6761 0 0 0
T27 0 369 0 0
T28 0 197 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1829 0 0
T1 112125 7 0 0
T2 51316 10 0 0
T3 418872 10 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 17 0 0
T9 0 10 0 0
T10 0 9 0 0
T11 0 37 0 0
T12 0 19 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1645948 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1800 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1645948 0 0
T1 112125 1984 0 0
T2 51316 1121 0 0
T3 418872 9603 0 0
T4 40591 532 0 0
T5 22055 0 0 0
T6 317672 12972 0 0
T7 0 821 0 0
T8 0 16181 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 206 0 0
T26 6761 0 0 0
T27 0 338 0 0
T28 0 179 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1800 0 0
T1 112125 5 0 0
T2 51316 6 0 0
T3 418872 6 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 9 0 0
T9 0 3 0 0
T10 0 10 0 0
T11 0 34 0 0
T12 0 20 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1651464 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1830 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1651464 0 0
T1 112125 9637 0 0
T2 51316 2163 0 0
T3 418872 14436 0 0
T4 40591 717 0 0
T5 22055 0 0 0
T6 317672 11354 0 0
T7 0 847 0 0
T8 0 19548 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 117 0 0
T26 6761 0 0 0
T27 0 355 0 0
T28 0 217 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1830 0 0
T1 112125 24 0 0
T2 51316 12 0 0
T3 418872 9 0 0
T6 317672 8 0 0
T7 0 2 0 0
T8 0 11 0 0
T9 0 9 0 0
T10 0 5 0 0
T11 0 39 0 0
T12 0 19 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
0 0 1 Covered T1,T2,T3
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 1278363 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 1359 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1278363 0 0
T1 112125 4619 0 0
T2 51316 3669 0 0
T3 418872 21198 0 0
T4 40591 536 0 0
T5 22055 0 0 0
T6 317672 12922 0 0
T7 0 700 0 0
T8 0 38009 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 132 0 0
T26 6761 0 0 0
T27 0 328 0 0
T28 0 246 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 1359 0 0
T1 112125 12 0 0
T2 51316 21 0 0
T3 418872 13 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 22 0 0
T9 0 11 0 0
T10 0 2 0 0
T11 0 40 0 0
T12 0 20 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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


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

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

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

 LINE       112
 EXPRESSION (src_wd_i & BitMask)
             ----1---   ---2---
-1--2-StatusTests
0-CoveredT4,T1,T2
1-CoveredT1,T2,T25

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

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

 LINE       114
 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 60 4 4 100.00
IF 104 4 4 100.00

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

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

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


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

Branches:
-1--2--3-StatusTests
1 - - Covered T4,T5,T1
0 1 - Covered T4,T1,T2
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_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 16758656 0 0
DstReqKnown_A 31712918 31365445 0 0
SrcAckBusyChk_A 2147483647 19881 0 0
SrcBusyKnown_A 2147483647 2147483647 0 0


BusySrcReqChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 16758656 0 0
T1 112125 4984 0 0
T2 51316 2470 0 0
T3 418872 37187 0 0
T4 40591 554 0 0
T5 22055 0 0 0
T6 317672 12793 0 0
T7 0 718 0 0
T8 0 7375 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 152 0 0
T26 6761 0 0 0
T27 0 359 0 0
T28 0 136 0 0

DstReqKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 31712918 31365445 0 0
T1 932 839 0 0
T2 1025 935 0 0
T3 862 771 0 0
T4 84 7 0 0
T5 103 6 0 0
T6 834 41 0 0
T23 64 12 0 0
T24 90 12 0 0
T25 98 8 0 0
T26 103 17 0 0

SrcAckBusyChk_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 19881 0 0
T1 112125 13 0 0
T2 51316 14 0 0
T3 418872 22 0 0
T6 317672 9 0 0
T7 0 2 0 0
T8 0 4 0 0
T9 0 17 0 0
T10 0 6 0 0
T11 0 43 0 0
T12 0 20 0 0
T23 7837 0 0 0
T24 7288 0 0 0
T25 20972 0 0 0
T26 6761 0 0 0
T27 13802 0 0 0
T28 30106 0 0 0

SrcBusyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 112125 112046 0 0
T2 51316 51246 0 0
T3 418872 418786 0 0
T4 40591 39565 0 0
T5 22055 21982 0 0
T6 317672 316830 0 0
T23 7837 7777 0 0
T24 7288 7225 0 0
T25 20972 20290 0 0
T26 6761 6676 0 0

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