| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | rx_buffer_fsm.vhd | 3 | 0 | 100.0% | 5 | 0 | 100.0% |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| store_metadata_and_rec_abort_back_to_back_cov | Open collapsed tests | .store_metadata_and_rec_abort_back_to_back_cov | 436 | 1 | covered |
| rec_abort_in_idle_cov | Open collapsed tests | .rec_abort_in_idle_cov | 440 | 67 | covered |
| rec_abort_in_store_data_cov | Open collapsed tests | .rec_abort_in_store_data_cov | 444 | 3 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| store_metadata_in_idle_asrt | Open collapsed tests | .store_metadata_in_idle_asrt | 397 | 0 | passed |
| commit_or_store_data_asrt | Open collapsed tests | .commit_or_store_data_asrt | 401 | 0 | passed |
| rxb_not_storing_err_frm_when_next_occurs_asrt | Open collapsed tests | .rxb_not_storing_err_frm_when_next_occurs_asrt | 405 | 0 | passed |
| rx_no_abort_after_metadata_cov | Open collapsed tests | .rx_no_abort_after_metadata_cov | 425 | 0 | passed |
| rx_never_abort_and_store_in_idle | Open collapsed tests | .rx_never_abort_and_store_in_idle | 432 | 0 | passed |