GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | tx_arbitrator_fsm.vhd | 23 | 0 | 100.0% | 2 | 0 | 100.0% |
---|
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
txtb_lock_arb_sel_low_cov | Open collapsed tests | .txtb_lock_arb_sel_low_cov | 549 | 6 | covered |
txtb_lock_arb_sel_hi_cov | Open collapsed tests | .txtb_lock_arb_sel_hi_cov | 552 | 3 | covered |
txtb_lock_arb_sel_ftw_cov | Open collapsed tests | .txtb_lock_arb_sel_ftw_cov | 555 | 5 | covered |
txtb_lock_arb_sel_ffw_cov | Open collapsed tests | .txtb_lock_arb_sel_ffw_cov | 558 | 4 | covered |
txtb_lock_arb_sel_idw_cov | Open collapsed tests | .txtb_lock_arb_sel_idw_cov | 561 | 2 | covered |
txtb_lock_arb_sel_validated_cov | Open collapsed tests | .txtb_lock_arb_sel_validated_cov | 564 | 6825 | covered |
txtb_not_available_arb_sel_low_cov | Open collapsed tests | .txtb_not_available_arb_sel_low_cov | 571 | 73 | covered |
txtb_not_available_arb_sel_upp_cov | Open collapsed tests | .txtb_not_available_arb_sel_upp_cov | 574 | 26 | covered |
txtb_not_available_arb_sel_ffw_cov | Open collapsed tests | .txtb_not_available_arb_sel_ffw_cov | 577 | 18 | covered |
txtb_not_available_arb_sel_ftw_cov | Open collapsed tests | .txtb_not_available_arb_sel_ftw_cov | 580 | 18 | covered |
txtb_not_available_arb_sel_idw_cov | Open collapsed tests | .txtb_not_available_arb_sel_idw_cov | 583 | 10 | covered |
txtb_not_available_arb_validated_cov | Open collapsed tests | .txtb_not_available_arb_validated_cov | 586 | 99 | covered |
txtb_changed_arb_sel_low_cov | Open collapsed tests | .txtb_changed_arb_sel_low_cov | 592 | 63 | covered |
txtb_changed_arb_sel_upp_cov | Open collapsed tests | .txtb_changed_arb_sel_upp_cov | 595 | 25 | covered |
txtb_changed_arb_sel_ffw_cov | Open collapsed tests | .txtb_changed_arb_sel_ffw_cov | 598 | 18 | covered |
txtb_changed_arb_sel_ftw_cov | Open collapsed tests | .txtb_changed_arb_sel_ftw_cov | 601 | 18 | covered |
txtb_changed_arb_sel_idw_cov | Open collapsed tests | .txtb_changed_arb_sel_idw_cov | 604 | 11 | covered |
txtb_changed_arb_validated_cov | Open collapsed tests | .txtb_changed_arb_validated_cov | 607 | 115 | covered |
txtb_ffw_parity_error_cov | Open collapsed tests | .txtb_ffw_parity_error_cov | 613 | 45 | covered |
txtb_idw_parity_error_cov | Open collapsed tests | .txtb_idw_parity_error_cov | 616 | 57 | covered |
txtb_lts_parity_error_cov | Open collapsed tests | .txtb_lts_parity_error_cov | 619 | 59 | covered |
txtb_uts_parity_error_cov | Open collapsed tests | .txtb_uts_parity_error_cov | 622 | 33 | covered |
txt_buf_wait_till_timestamp_cov | Open collapsed tests | .txt_buf_wait_till_timestamp_cov | 627 | 45104 | covered |
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
tx_arb_no_lock_when_idle_asrt | Open collapsed tests | .tx_arb_no_lock_when_idle_asrt | 635 | 0 | passed |
tx_arb_no_lock_when_locked_asrt | Open collapsed tests | .tx_arb_no_lock_when_locked_asrt | 638 | 0 | passed |