NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.CTU_CAN_FD_VIP_INST.G_FUNC_COV.FUNC_COV_AGENT_INST.FUNC_COV_PRESCALER_NBT_INST

File:  /__w/ctu-can-regression/ctu-can-regression/test/main_tb/agents/functional_coverage_agent/func_cov_agent.vhd


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.CTU_CAN_FD_VIP_INST.G_FUNC_COV.FUNC_COV_AGENT_INST.FUNC_COV_PRESCALER_NBT_INST N.A. N.A. 100.0 % (2/2) N.A. N.A. 100.0 % (9/9) 100.0 % (11/11)

Details:

The limit of printed items was reached (5000). Total 260336 items are not displayed.


Statement Branch Toggle Expression FSM state Functional

Uncovered statements:

Excluded statements:

Covered statements:

Uncovered branches:

Excluded branches:

Covered branches:

Uncovered toggles:

Excluded toggles:

Port:

 CLK
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Uncovered expressions:

Excluded expressions:

Covered expressions:

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage:

PSL cover point on lines 133 to 136:

133:    -- psl nbt_pos_resync_e_less_than_sjw_cov : cover 
134:    --  {exp_seg_length_ce = '1' and use_basic_segm_length = '0' and is_tseg1 = '1' 
135:    --   and resync_edge_valid = '1' and 
136:    --   (to_integer(unsigned(phase_err)) < to_integer(unsigned(sjw)))}; 
Count: 551495
Threshold: 1

PSL cover point on lines 139 to 142:

139:    -- psl nbt_pos_resync_e_more_than_sjw_cov : cover 
140:    --  {exp_seg_length_ce = '1' and use_basic_segm_length = '0' and is_tseg1 = '1' 
141:    --   and resync_edge_valid = '1' and 
142:    --   (to_integer(unsigned(phase_err)) > to_integer(unsigned(sjw)))}; 
Count: 4630
Threshold: 1

PSL cover point on lines 145 to 148:

145:    -- psl nbt_pos_resync_e_equal_sjw_cov : cover 
146:    --  {exp_seg_length_ce = '1' and use_basic_segm_length = '0' and is_tseg1 = '1' 
147:    --   and resync_edge_valid = '1' and 
148:    --   (to_integer(unsigned(phase_err)) = to_integer(unsigned(sjw)))}; 
Count: 147340
Threshold: 1

PSL cover point on lines 151 to 153:

151:    -- psl nbt_neg_resync_e_less_than_sjw_cov : cover 
152:    --  {exp_seg_length_ce = '1' and resync_edge_valid = '1' and is_tseg2 = '1' and 
153:    --   (to_integer(unsigned(phase_err)) < to_integer(unsigned(sjw)))}; 
Count: 9029
Threshold: 1

PSL cover point on lines 156 to 158:

156:    -- psl nbt_neg_resync_e_more_than_sjw_cov : cover 
157:    --  {exp_seg_length_ce = '1' and resync_edge_valid = '1' and is_tseg2 = '1' and 
158:    --   (to_integer(unsigned(phase_err)) > to_integer(unsigned(sjw)))}; 
Count: 7913
Threshold: 1

PSL cover point on lines 161 to 163:

161:    -- psl nbt_neg_resync_e_equal_sjw_cov : cover 
162:    --  {exp_seg_length_ce = '1' and resync_edge_valid = '1' and is_tseg2 = '1' and 
163:    --   (to_integer(unsigned(phase_err)) = to_integer(unsigned(sjw)))}; 
Count: 96
Threshold: 1

PSL cover point on lines 165 to 166:

165:    -- psl nbt_exit_segm_immediate_cov : cover 
166:    --  {exit_segm_req = '1' and exit_ph2_immediate = '1'}; 
Count: 9388
Threshold: 1

PSL cover point on lines 168 to 169:

168:    -- psl nbt_exit_segm_regular_tseg1_cov : cover 
169:    --  {exit_segm_req = '1' and exit_segm_regular_tseg1 = '1' and exit_segm_regular_tseg2 = '0'}; 
Count: 16763824
Threshold: 1

PSL cover point on lines 171 to 172:

171:    -- psl nbt_exit_segm_regular_tseg2_cov : cover 
172:    --  {exit_segm_req = '1' and exit_segm_regular_tseg1 = '0' and exit_segm_regular_tseg2 = '1'}; 
Count: 14215306
Threshold: 1