| 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 | 496 | 970675782 | covered |
| txtb_fsm_ready_cov | Open collapsed tests | .txtb_fsm_ready_cov | 497 | 6950168 | covered |
| txtb_fsm_tx_prog_cov | Open collapsed tests | .txtb_fsm_tx_prog_cov | 498 | 43061538 | covered |
| txtb_fsm_ab_prog_cov | Open collapsed tests | .txtb_fsm_ab_prog_cov | 499 | 885046 | covered |
| txtb_fsm_error_cov | Open collapsed tests | .txtb_fsm_error_cov | 500 | 86752736 | covered |
| txtb_fsm_aborted_cov | Open collapsed tests | .txtb_fsm_aborted_cov | 501 | 1249105 | covered |
| txtb_fsm_tx_ok_cov | Open collapsed tests | .txtb_fsm_tx_ok_cov | 502 | 76651343 | covered |
| txtb_fsm_parity_err_cov | Open collapsed tests | .txtb_fsm_parity_err_cov | 503 | 649692 | covered |
| txtb_perr_txt_ready_cov | Open collapsed tests | .txtb_perr_txt_ready_cov | 506 | 200 | covered |
| txtb_perr_txt_tx_prog_cov | Open collapsed tests | .txtb_perr_txt_tx_prog_cov | 508 | 62 | covered |
| txtb_perr_txt_ab_prog_cov | Open collapsed tests | .txtb_perr_txt_ab_prog_cov | 510 | 28 | covered |
| txtb_skip_backup_buffers | Open collapsed tests | .txtb_skip_backup_buffers | 515 | 50 | covered |
| txtb_hw_sw_cmd_txt_ready_hazard_cov | Open collapsed tests | .txtb_hw_sw_cmd_txt_ready_hazard_cov | 520 | 10 | covered |
| txtb_hw_sw_cmd_txt_tx_prog_hazard_cov | Open collapsed tests | .txtb_hw_sw_cmd_txt_tx_prog_hazard_cov | 524 | 8 | covered |
| txtb_ready_to_abt_in_progress_cov | Open collapsed tests | .txtb_ready_to_abt_in_progress_cov | 531 | 10 | covered |
| txtb_abt_in_progress_to_parity_error_cov | Open collapsed tests | .txtb_abt_in_progress_to_parity_error_cov | 534 | 28 | covered |
| txtb_tx_in_progress_to_aborted_cov | Open collapsed tests | .txtb_tx_in_progress_to_aborted_cov | 537 | 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 | 546 | 0 | passed |
| txtb_unlock_only_in_tx_prog_asrt | Open collapsed tests | .txtb_unlock_only_in_tx_prog_asrt | 553 | 0 | passed |
| txtb_no_lock_after_abort | Open collapsed tests | .txtb_no_lock_after_abort | 560 | 0 | passed |
| txtb_no_skip_when_not_ready | Open collapsed tests | .txtb_no_skip_when_not_ready | 568 | 0 | passed |