GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | rx_buffer.vhd | 26 | 6 | 81.2% | 2 | 0 | 100.0% |
---|
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
rx_buf_empty_cov | Open collapsed tests | .rx_buf_empty_cov | 968 | 101321702 | covered |
rx_buf_not_empty_to_empty_cov | Open collapsed tests | .rx_buf_not_empty_to_empty_cov | 971 | 1761 | covered |
rx_buf_rx_full_cov | Open collapsed tests | .rx_buf_rx_full_cov | 974 | 172144 | covered |
rx_buf_rx_full_to_not_full_cov | Open collapsed tests | .rx_buf_rx_full_to_not_full_cov | 977 | 1 | covered |
rx_buf_overrun_cov | Open collapsed tests | .rx_buf_overrun_cov | 980 | 268 | covered |
rx_buf_commit_overrun_abort_cov | Open collapsed tests | .rx_buf_commit_overrun_abort_cov | 983 | 69 | covered |
rx_buf_overrun_flags_cov | Open collapsed tests | .rx_buf_overrun_flags_cov | 986 | 69486 | covered |
rx_buf_overrun_clear_cov | Open collapsed tests | .rx_buf_overrun_clear_cov | 989 | 7 | covered |
rx_buf_write_ts_cov | Open collapsed tests | .rx_buf_write_ts_cov | 992 | 8350 | covered |
rx_buf_release_receive_buffer_cov | Open collapsed tests | .rx_buf_release_receive_buffer_cov | 995 | 119 | covered |
rx_buf_commit_and_read_cov | Open collapsed tests | .rx_buf_commit_and_read_cov | 998 | 0 | not covered |
rx_buf_commit_after_read_cov | Open collapsed tests | .rx_buf_commit_after_read_cov | 1001 | 0 | not covered |
rx_buf_read_after_commit_cov | Open collapsed tests | .rx_buf_read_after_commit_cov | 1004 | 0 | not covered |
rx_buf_write_and_read_cov | Open collapsed tests | .rx_buf_write_and_read_cov | 1007 | 0 | not covered |
rx_buf_read_after_write_cov | Open collapsed tests | .rx_buf_read_after_write_cov | 1010 | 0 | not covered |
rx_buf_write_after_read_cov | Open collapsed tests | .rx_buf_write_after_read_cov | 1013 | 0 | not covered |
rx_buf_sof_timestamp | Open collapsed tests | .rx_buf_sof_timestamp | 1016 | 2 | covered |
rx_buf_eof_timestamp | Open collapsed tests | .rx_buf_eof_timestamp | 1019 | 4104 | covered |
rx_buf_burst_read_short_cov | Open collapsed tests | .rx_buf_burst_read_short_cov | 1022 | 11688 | covered |
rx_buf_burst_read_max_cov | Open collapsed tests | .rx_buf_burst_read_max_cov | 1025 | 3023 | covered |
rx_buf_frame_abort_cov | Open collapsed tests | .rx_buf_frame_abort_cov | 1030 | 3677 | covered |
rx_buf_store_rtr_cov | Open collapsed tests | .rx_buf_store_rtr_cov | 1033 | 1578 | covered |
rx_buf_store_empty_frame_cov | Open collapsed tests | .rx_buf_store_empty_frame_cov | 1036 | 336 | covered |
rx_buf_store_1_byte_frame_cov | Open collapsed tests | .rx_buf_store_1_byte_frame_cov | 1039 | 454 | covered |
rx_buf_store_2_byte_frame_cov | Open collapsed tests | .rx_buf_store_2_byte_frame_cov | 1042 | 175 | covered |
rx_buf_store_3_byte_frame_cov | Open collapsed tests | .rx_buf_store_3_byte_frame_cov | 1045 | 125 | covered |
rx_buf_store_4_byte_frame_cov | Open collapsed tests | .rx_buf_store_4_byte_frame_cov | 1048 | 205 | covered |
rx_buf_store_5_byte_frame_cov | Open collapsed tests | .rx_buf_store_5_byte_frame_cov | 1051 | 99 | covered |
rx_buf_store_8_byte_frame_cov | Open collapsed tests | .rx_buf_store_8_byte_frame_cov | 1054 | 147 | covered |
rx_buf_store_64_byte_frame_cov | Open collapsed tests | .rx_buf_store_64_byte_frame_cov | 1057 | 445 | covered |
rx_parity_err_cov | Open collapsed tests | .rx_parity_err_cov | 1060 | 14 | covered |
rx_parity_err_clr_cov | Open collapsed tests | .rx_parity_err_clr_cov | 1063 | 4 | covered |
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
read_counter_lt_rwcnt_asrt | Open collapsed tests | .read_counter_lt_rwcnt_asrt | 959 | 0 | passed |
sof_pulse_asrt_asrt | Open collapsed tests | .sof_pulse_asrt_asrt | 1071 | 0 | passed |