| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | tx_arbitrator.vhd | 26 | 0 | 100.0% | 1 | 0 | 100.0% |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| txt_lock_cov | Open collapsed tests | .txt_lock_cov | 772 | 9710 | covered |
| txt_unlock_cov | Open collapsed tests | .txt_unlock_cov | 775 | 9706 | covered |
| txt_lock_buf_1_cov | Open collapsed tests | .txt_lock_buf_1_cov | 781 | 5586 | covered |
| txt_lock_buf_2_cov | Open collapsed tests | .txt_lock_buf_2_cov | 783 | 1154 | covered |
| txt_lock_buf_3_cov | Open collapsed tests | .txt_lock_buf_3_cov | 785 | 638 | covered |
| txt_lock_buf_4_cov | Open collapsed tests | .txt_lock_buf_4_cov | 787 | 555 | covered |
| txt_lock_buf_5_cov | Open collapsed tests | .txt_lock_buf_5_cov | 789 | 485 | covered |
| txt_lock_buf_6_cov | Open collapsed tests | .txt_lock_buf_6_cov | 791 | 460 | covered |
| txt_lock_buf_7_cov | Open collapsed tests | .txt_lock_buf_7_cov | 793 | 409 | covered |
| txt_lock_buf_8_cov | Open collapsed tests | .txt_lock_buf_8_cov | 795 | 423 | covered |
| txt_unlock_buf_1_cov | Open collapsed tests | .txt_unlock_buf_1_cov | 800 | 5583 | covered |
| txt_unlock_buf_2_cov | Open collapsed tests | .txt_unlock_buf_2_cov | 802 | 1153 | covered |
| txt_unlock_buf_3_cov | Open collapsed tests | .txt_unlock_buf_3_cov | 804 | 638 | covered |
| txt_unlock_buf_4_cov | Open collapsed tests | .txt_unlock_buf_4_cov | 806 | 555 | covered |
| txt_unlock_buf_5_cov | Open collapsed tests | .txt_unlock_buf_5_cov | 808 | 485 | covered |
| txt_unlock_buf_6_cov | Open collapsed tests | .txt_unlock_buf_6_cov | 810 | 460 | covered |
| txt_unlock_buf_7_cov | Open collapsed tests | .txt_unlock_buf_7_cov | 812 | 409 | covered |
| txt_unlock_buf_8_cov | Open collapsed tests | .txt_unlock_buf_8_cov | 814 | 423 | covered |
| txtb_ttm_ena_cov | Open collapsed tests | .txtb_ttm_ena_cov | 821 | 107295 | covered |
| txtb_ttm_dis_cov | Open collapsed tests | .txtb_ttm_dis_cov | 823 | 46960620 | covered |
| txtb_txbbm_ena_cov | Open collapsed tests | .txtb_txbbm_ena_cov | 826 | 575537 | covered |
| txtb_txbbm_dis_cov | Open collapsed tests | .txtb_txbbm_dis_cov | 828 | 46492378 | covered |
| txt_prio_change_cov | Open collapsed tests | .txt_prio_change_cov | 834 | 5017141 | covered |
| buf_ready_to_not_ready_cov | Open collapsed tests | .buf_ready_to_not_ready_cov | 842 | 148 | covered |
| txt_buf_change_cov | Open collapsed tests | .txt_buf_change_cov | 848 | 3440 | covered |
| txt_buf_sim_chng_and_lock_cov | Open collapsed tests | .txt_buf_sim_chng_and_lock_cov | 852 | 9 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| txtb_no_lock_when_not_ready_asrt | Open collapsed tests | .txtb_no_lock_when_not_ready_asrt | 864 | 0 | passed |