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_BUS_SAMPLING

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_BUS_SAMPLING N.A. N.A. 100.0 % (2/2) N.A. N.A. 93.3 % (14/15) 94.1 % (16/17)

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:

PSL cover point on lines 162 to 163:

162:    -- psl bit_err_secondary_direct_cov : cover 
163:    --  {bit_err_ssp_valid = '1' and bit_err_ssp_capt_q = '0' and bit_err_ssp_condition = '1'}; 
Count: 0
Threshold: 1

Excluded functional coverage:

Covered functional coverage:

PSL cover point on lines 156 to 157:

156:    -- psl bit_err_secondary_cov : cover 
157:    --  {bit_err_ssp_valid = '1' and bit_err_norm_valid = '0'}; 
Count: 544
Threshold: 1

PSL cover point on lines 159 to 160:

159:    -- psl bit_err_secondary_capt_cov : cover 
160:    --  {bit_err_ssp_valid = '1' and bit_err_ssp_capt_q = '1' and bit_err_ssp_condition = '0'}; 
Count: 544
Threshold: 1

PSL cover point on lines 170 to 172:

170:    -- psl sync_edge_but_prev_sample_the_same_cov : cover 
171:    --  {(rx_data_sync_prev /= rx_data) and (rx_data_sync_prev = RECESSIVE) and 
172:    --   (prev_rx_sample = rx_data) and (tq_edge = '1')}; 
Count: 5054
Threshold: 1

PSL cover point on lines 179 to 180:

179:    -- psl ssp_meas_n_offset_cov : cover 
180:    --  {mr_ssp_cfg_ssp_src = SSP_SRC_MEAS_N_OFFSET and tran_delay_meas = '1'}; 
Count: 482370
Threshold: 1

PSL cover point on lines 182 to 183:

182:    -- psl ssp_offset_cov : cover 
183:    --  {mr_ssp_cfg_ssp_src = SSP_SRC_OFFSET and tran_delay_meas = '1'}; 
Count: 9000
Threshold: 1

PSL cover point on lines 185 to 186:

185:    -- psl ssp_no_ssp_cov : cover 
186:    --  {mr_ssp_cfg_ssp_src = SSP_SRC_NO_SSP and tran_delay_meas = '1'}; 
Count: 2064746
Threshold: 1

PSL cover point on lines 190 to 191:

190:    -- psl ssp_offset_max_cov : cover 
191:    --  {ssp_delay = std_logic_vector(to_unsigned(C_SSP_DELAY_SAT_VAL, C_SSP_POS_WIDTH))}; 
Count: 112500
Threshold: 1

PSL cover point on lines 198 to 199:

198:    -- psl bm_tx_data_cache_one_bit_on_fly_cov : cover 
199:    --  {write_pointer_q = read_pointer_q + 1}; 
Count: 2645205
Threshold: 1

PSL cover point on lines 201 to 202:

201:    -- psl bm_tx_data_cache_two_bits_on_fly_cov : cover 
202:    --  {write_pointer_q = read_pointer_q + 2}; 
Count: 605566
Threshold: 1

PSL cover point on lines 204 to 205:

204:    -- psl bm_tx_data_cache_three_bits_on_fly_cov : cover 
205:    --  {write_pointer_q = read_pointer_q + 3}; 
Count: 541839
Threshold: 1

PSL cover point on lines 207 to 208:

207:    -- psl bm_tx_data_cache_four_bits_on_fly_cov : cover 
208:    --  {write_pointer_q = read_pointer_q + 4}; 
Count: 2345
Threshold: 1

PSL cover point on lines 210 to 211:

210:    -- psl bm_tx_data_cache_five_bits_on_fly_cov : cover 
211:    --  {write_pointer_q = read_pointer_q + 5}; 
Count: 147589
Threshold: 1

PSL cover point on lines 213 to 214:

213:    -- psl bm_tx_data_cache_six_bits_on_fly_cov : cover 
214:    --  {write_pointer_q = read_pointer_q + 6}; 
Count: 5821
Threshold: 1

PSL cover point on lines 216 to 217:

216:    -- psl bm_tx_data_cache_seven_bits_on_fly_cov : cover 
217:    --  {write_pointer_q = read_pointer_q + 7}; 
Count: 467
Threshold: 1