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_TX_ARBITRATOR_INST

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

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
G_EACH_BUF(0) N.A. N.A. 100.0 % (2/2) N.A. N.A. 100.0 % (3/3) 100.0 % (5/5)
G_EACH_BUF(1) N.A. N.A. 100.0 % (2/2) N.A. N.A. N.A. 100.0 % (2/2)
G_EACH_BUF(2) N.A. N.A. 100.0 % (2/2) N.A. N.A. N.A. 100.0 % (2/2)
G_EACH_BUF(3) N.A. N.A. 100.0 % (2/2) N.A. N.A. N.A. 100.0 % (2/2)
G_EACH_BUF(4) N.A. N.A. 100.0 % (2/2) N.A. N.A. N.A. 100.0 % (2/2)
G_EACH_BUF(5) N.A. N.A. 100.0 % (2/2) N.A. N.A. N.A. 100.0 % (2/2)
G_EACH_BUF(6) N.A. N.A. 100.0 % (2/2) N.A. N.A. N.A. 100.0 % (2/2)
G_EACH_BUF(7) N.A. N.A. 100.0 % (2/2) N.A. N.A. N.A. 100.0 % (2/2)

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_TX_ARBITRATOR_INST N.A. N.A. 100.0 % (2/2) N.A. N.A. 100.0 % (23/23) 100.0 % (25/25)

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 175 to 176:

175:    -- psl txtb_ttm_ena_cov : cover 
176:    --    {mr_mode_tttm = '1' and tran_frame_valid = '1'}; 
Count: 378735
Threshold: 1

PSL cover point on lines 177 to 178:

177:    -- psl txtb_ttm_dis_cov : cover 
178:    --    {mr_mode_tttm = '0' and tran_frame_valid = '1'}; 
Count: 181317039
Threshold: 1

PSL cover point on lines 180 to 181:

180:    -- psl txtb_txbbm_ena_cov : cover 
181:    --    {mr_mode_txbbm = '1' and tran_frame_valid = '1'}; 
Count: 432116
Threshold: 1

PSL cover point on lines 182 to 183:

182:    -- psl txtb_txbbm_dis_cov : cover 
183:    --    {mr_mode_txbbm = '0' and tran_frame_valid = '1'}; 
Count: 181263658
Threshold: 1

PSL cover point on lines 189 to 191:

189:    -- psl txt_buf_change_cov : cover 
190:    --    {txtb_changed = '1' and txtb_hw_cmd.lock = '1'} 
191:    --    report "TX Buffer changed between two frames"; 
Count: 10020
Threshold: 1

PSL cover point on lines 193 to 194:

193:    -- psl txt_buf_sim_chng_and_lock_cov : cover 
194:    --    {select_index_changed = '1' and txtb_hw_cmd.lock = '1'}; 
Count: 24
Threshold: 1

PSL cover point on lines 200 to 201:

200:    -- psl txtb_lock_arb_sel_low_cov : cover 
201:    --  {curr_state = s_arb_sel_low_ts and txtb_hw_cmd_lock = '1'}; 
Count: 10
Threshold: 1

PSL cover point on lines 203 to 204:

203:    -- psl txtb_lock_arb_sel_hi_cov : cover 
204:    --  {curr_state = s_arb_sel_upp_ts and txtb_hw_cmd_lock = '1'}; 
Count: 10
Threshold: 1

PSL cover point on lines 206 to 207:

206:    -- psl txtb_lock_arb_sel_ftw_cov : cover 
207:    --  {curr_state = s_arb_sel_ftw and txtb_hw_cmd_lock = '1'}; 
Count: 2
Threshold: 1

PSL cover point on lines 209 to 210:

209:    -- psl txtb_lock_arb_sel_ffw_cov : cover 
210:    --  {curr_state = s_arb_sel_ffw and txtb_hw_cmd_lock = '1'}; 
Count: 2
Threshold: 1

PSL cover point on lines 212 to 213:

212:    -- psl txtb_lock_arb_sel_idw_cov : cover 
213:    --  {curr_state = s_arb_sel_idw and txtb_hw_cmd_lock = '1'}; 
Count: 2
Threshold: 1

PSL cover point on lines 215 to 216:

215:    -- psl txtb_lock_arb_sel_validated_cov : cover 
216:    --  {curr_state = s_arb_validated and txtb_hw_cmd_lock = '1'}; 
Count: 25249
Threshold: 1

PSL cover point on lines 222 to 223:

222:    -- psl txtb_not_available_arb_sel_low_cov : cover 
223:    --  {curr_state = s_arb_sel_low_ts and select_buf_avail = '0'}; 
Count: 186
Threshold: 1

PSL cover point on lines 225 to 226:

225:    -- psl txtb_not_available_arb_sel_upp_cov : cover 
226:    --  {curr_state = s_arb_sel_upp_ts and select_buf_avail = '0'}; 
Count: 112
Threshold: 1

PSL cover point on lines 228 to 229:

228:    -- psl txtb_not_available_arb_sel_ffw_cov : cover 
229:    --  {curr_state = s_arb_sel_ffw and select_buf_avail = '0'}; 
Count: 90
Threshold: 1

PSL cover point on lines 231 to 232:

231:    -- psl txtb_not_available_arb_sel_ftw_cov : cover 
232:    --  {curr_state = s_arb_sel_ftw and select_buf_avail = '0'}; 
Count: 90
Threshold: 1

PSL cover point on lines 234 to 235:

234:    -- psl txtb_not_available_arb_sel_idw_cov : cover 
235:    --  {curr_state = s_arb_sel_idw and select_buf_avail = '0'}; 
Count: 72
Threshold: 1

PSL cover point on lines 237 to 238:

237:    -- psl txtb_not_available_arb_validated_cov : cover 
238:    --  {curr_state = s_arb_validated and select_buf_avail = '0'}; 
Count: 227
Threshold: 1

PSL cover point on lines 244 to 245:

244:    -- psl txtb_ffw_parity_error_cov : cover 
245:    --  {curr_state = s_arb_sel_ffw and parity_error_vld = '1'}; 
Count: 55
Threshold: 1

PSL cover point on lines 247 to 248:

247:    -- psl txtb_idw_parity_error_cov : cover 
248:    --  {curr_state = s_arb_sel_idw and parity_error_vld = '1'}; 
Count: 68
Threshold: 1

PSL cover point on lines 250 to 251:

250:    -- psl txtb_lts_parity_error_cov : cover 
251:    --  {curr_state = s_arb_sel_low_ts and parity_error_vld = '1'}; 
Count: 63
Threshold: 1

PSL cover point on lines 253 to 254:

253:    -- psl txtb_uts_parity_error_cov : cover 
254:    --  {curr_state = s_arb_sel_upp_ts and parity_error_vld = '1'}; 
Count: 42
Threshold: 1

PSL cover point on lines 260 to 262:

260:    -- psl txt_buf_wait_till_timestamp_cov : cover 
261:    --    {curr_state = s_arb_sel_upp_ts and fsm_wait_state_q = '0' and 
262:    --     timestamp_valid = '0'}; 
Count: 392015
Threshold: 1