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 | 747 | 6845 | covered |
txt_unlock_cov | Open collapsed tests | .txt_unlock_cov | 750 | 6841 | covered |
txt_lock_buf_1_cov | Open collapsed tests | .txt_lock_buf_1_cov | 756 | 3365 | covered |
txt_lock_buf_2_cov | Open collapsed tests | .txt_lock_buf_2_cov | 758 | 761 | covered |
txt_lock_buf_3_cov | Open collapsed tests | .txt_lock_buf_3_cov | 760 | 534 | covered |
txt_lock_buf_4_cov | Open collapsed tests | .txt_lock_buf_4_cov | 762 | 532 | covered |
txt_lock_buf_5_cov | Open collapsed tests | .txt_lock_buf_5_cov | 764 | 458 | covered |
txt_lock_buf_6_cov | Open collapsed tests | .txt_lock_buf_6_cov | 766 | 463 | covered |
txt_lock_buf_7_cov | Open collapsed tests | .txt_lock_buf_7_cov | 768 | 359 | covered |
txt_lock_buf_8_cov | Open collapsed tests | .txt_lock_buf_8_cov | 770 | 373 | covered |
txt_unlock_buf_1_cov | Open collapsed tests | .txt_unlock_buf_1_cov | 775 | 3362 | covered |
txt_unlock_buf_2_cov | Open collapsed tests | .txt_unlock_buf_2_cov | 777 | 760 | covered |
txt_unlock_buf_3_cov | Open collapsed tests | .txt_unlock_buf_3_cov | 779 | 534 | covered |
txt_unlock_buf_4_cov | Open collapsed tests | .txt_unlock_buf_4_cov | 781 | 532 | covered |
txt_unlock_buf_5_cov | Open collapsed tests | .txt_unlock_buf_5_cov | 783 | 458 | covered |
txt_unlock_buf_6_cov | Open collapsed tests | .txt_unlock_buf_6_cov | 785 | 463 | covered |
txt_unlock_buf_7_cov | Open collapsed tests | .txt_unlock_buf_7_cov | 787 | 359 | covered |
txt_unlock_buf_8_cov | Open collapsed tests | .txt_unlock_buf_8_cov | 789 | 373 | covered |
txtb_ttm_ena_cov | Open collapsed tests | .txtb_ttm_ena_cov | 796 | 86849 | covered |
txtb_ttm_dis_cov | Open collapsed tests | .txtb_ttm_dis_cov | 798 | 38951021 | covered |
txtb_txbbm_ena_cov | Open collapsed tests | .txtb_txbbm_ena_cov | 801 | 668380 | covered |
txtb_txbbm_dis_cov | Open collapsed tests | .txtb_txbbm_dis_cov | 803 | 38369490 | covered |
txt_prio_change_cov | Open collapsed tests | .txt_prio_change_cov | 809 | 4612991 | covered |
buf_ready_to_not_ready_cov | Open collapsed tests | .buf_ready_to_not_ready_cov | 817 | 133 | covered |
txt_buf_change_cov | Open collapsed tests | .txt_buf_change_cov | 823 | 2597 | covered |
txt_buf_sim_chng_and_lock_cov | Open collapsed tests | .txt_buf_sim_chng_and_lock_cov | 827 | 10 | 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 | 839 | 0 | passed |