NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.RX_BUFFER_INST.RX_BUFFER_FSM_INST.ASSERTIONS_BLOCK

File:  /__w/ctu-can-regression/ctu-can-regression/src/rx_buffer/rx_buffer_fsm.vhd


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.RX_BUFFER_INST.RX_BUFFER_FSM_INST.ASSERTIONS_BLOCK 100.0 % (1/1) N.A. 100.0 % (8/8) N.A. N.A. 100.0 % (3/3) 100.0 % (12/12)

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:

Signal assignment statement on line 391:

391:        cmd_join <= store_metadata_f & store_data_f & rec_valid_f & rec_abort_f; 
Count: 316942
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

Uncovered toggles:

Excluded toggles:

Covered toggles:

Signal:

 CMD_JOIN
ElementFromToCountThreshold
Bin(3)01264191
Bin(3)10280201
Bin(2)01860971
Bin(2)10876981
Bin(1)01130621
Bin(1)10146631
Bin(0)01312981
Bin(0)10328991

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 434 to 436:

434:        -- psl store_metadata_and_rec_abort_back_to_back_cov : cover 
435:        --  {mr_mode_erfm = ERFM_ENABLED and rec_abort_f = '1' and curr_state = s_rxb_store_frame_format} 
436:        --  report "rec_abort_f = 1 and curr_state = s_rxb_store_frame_format"; 
Count: 5
Threshold: 1

PSL cover point on lines 438 to 440:

438:        -- psl rec_abort_in_idle_cov : cover 
439:        --  {mr_mode_erfm = ERFM_ENABLED and rec_abort_f = '1' and curr_state = s_rxb_idle} 
440:        --  report "rec_abort_f = 1 and curr_state = s_rxb_idle"; 
Count: 317
Threshold: 1

PSL cover point on lines 442 to 444:

442:        -- psl rec_abort_in_store_data_cov : cover 
443:        --  {mr_mode_erfm = ERFM_ENABLED and rec_abort_f = '1' and curr_state = s_rxb_store_data} 
444:        --  report "rec_abort_f = 1 and curr_state = s_rxb_store_data"; 
Count: 15
Threshold: 1