GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | txt_buffer_fsm.vhd | 17 | 0 | 100.0% | 4 | 0 | 100.0% |
---|
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
txtb_fsm_empty_cov | Open collapsed tests | .txtb_fsm_empty_cov | 494 | 775568958 | covered |
txtb_fsm_ready_cov | Open collapsed tests | .txtb_fsm_ready_cov | 495 | 6564609 | covered |
txtb_fsm_tx_prog_cov | Open collapsed tests | .txtb_fsm_tx_prog_cov | 496 | 35647058 | covered |
txtb_fsm_ab_prog_cov | Open collapsed tests | .txtb_fsm_ab_prog_cov | 497 | 448942 | covered |
txtb_fsm_error_cov | Open collapsed tests | .txtb_fsm_error_cov | 498 | 82965651 | covered |
txtb_fsm_aborted_cov | Open collapsed tests | .txtb_fsm_aborted_cov | 499 | 1255203 | covered |
txtb_fsm_tx_ok_cov | Open collapsed tests | .txtb_fsm_tx_ok_cov | 500 | 75512815 | covered |
txtb_fsm_parity_err_cov | Open collapsed tests | .txtb_fsm_parity_err_cov | 501 | 717646 | covered |
txtb_perr_txt_ready_cov | Open collapsed tests | .txtb_perr_txt_ready_cov | 504 | 194 | covered |
txtb_perr_txt_tx_prog_cov | Open collapsed tests | .txtb_perr_txt_tx_prog_cov | 506 | 63 | covered |
txtb_perr_txt_ab_prog_cov | Open collapsed tests | .txtb_perr_txt_ab_prog_cov | 508 | 28 | covered |
txtb_skip_backup_buffers | Open collapsed tests | .txtb_skip_backup_buffers | 513 | 50 | covered |
txtb_hw_sw_cmd_txt_ready_hazard_cov | Open collapsed tests | .txtb_hw_sw_cmd_txt_ready_hazard_cov | 518 | 8 | covered |
txtb_hw_sw_cmd_txt_tx_prog_hazard_cov | Open collapsed tests | .txtb_hw_sw_cmd_txt_tx_prog_hazard_cov | 522 | 8 | covered |
txtb_ready_to_abt_in_progress_cov | Open collapsed tests | .txtb_ready_to_abt_in_progress_cov | 529 | 8 | covered |
txtb_abt_in_progress_to_parity_error_cov | Open collapsed tests | .txtb_abt_in_progress_to_parity_error_cov | 532 | 28 | covered |
txtb_tx_in_progress_to_aborted_cov | Open collapsed tests | .txtb_tx_in_progress_to_aborted_cov | 535 | 8 | covered |
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
txtb_lock_only_in_rdy_asrt | Open collapsed tests | .txtb_lock_only_in_rdy_asrt | 544 | 0 | passed |
txtb_unlock_only_in_tx_prog_asrt | Open collapsed tests | .txtb_unlock_only_in_tx_prog_asrt | 551 | 0 | passed |
txtb_no_lock_after_abort | Open collapsed tests | .txtb_no_lock_after_abort | 558 | 0 | passed |
txtb_no_skip_when_not_ready | Open collapsed tests | .txtb_no_skip_when_not_ready | 566 | 0 | passed |