NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_CTU_CAN_FD_VIP.G_FUNC_COV.I_FUNC_COV_AGENT.I_FUNC_COV_PRESCALER_DBT

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/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.I_CTU_CAN_FD_VIP.G_FUNC_COV.I_FUNC_COV_AGENT.I_FUNC_COV_PRESCALER_DBT 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 132 to 135:

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

PSL cover point on lines 138 to 141:

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

PSL cover point on lines 144 to 147:

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

PSL cover point on lines 150 to 152:

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

PSL cover point on lines 155 to 157:

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

PSL cover point on lines 160 to 162:

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

PSL cover point on lines 164 to 165:

164:    -- psl dbt_exit_segm_immediate_cov : cover 
165:    --  {exit_segm_req = '1' and exit_ph2_immediate = '1'}; 
Count: 7517
Threshold: 1

PSL cover point on lines 167 to 168:

167:    -- psl dbt_exit_segm_regular_tseg1_cov : cover 
168:    --  {exit_segm_req = '1' and exit_segm_regular_tseg1 = '1' and exit_segm_regular_tseg2 = '0'}; 
Count: 8421120
Threshold: 1

PSL cover point on lines 170 to 171:

170:    -- psl dbt_exit_segm_regular_tseg2_cov : cover 
171:    --  {exit_segm_req = '1' and exit_segm_regular_tseg1 = '0' and exit_segm_regular_tseg2 = '1'}; 
Count: 8427238
Threshold: 1