| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | rx_buffer.vhd | 28 | 3 | 90.3% | 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 | 1025 | 128191096 | covered |
| rx_buf_not_empty_to_empty_cov | Open collapsed tests | .rx_buf_not_empty_to_empty_cov | 1028 | 3209 | covered |
| rx_buf_rx_full_cov | Open collapsed tests | .rx_buf_rx_full_cov | 1031 | 15230 | covered |
| rx_buf_rx_full_to_not_full_cov | Open collapsed tests | .rx_buf_rx_full_to_not_full_cov | 1034 | 4 | covered |
| rx_buf_overrun_cov | Open collapsed tests | .rx_buf_overrun_cov | 1037 | 208 | covered |
| rx_buf_commit_overrun_abort_cov | Open collapsed tests | .rx_buf_commit_overrun_abort_cov | 1040 | 97 | covered |
| rx_buf_overrun_flags_cov | Open collapsed tests | .rx_buf_overrun_flags_cov | 1043 | 213327 | covered |
| rx_buf_overrun_clear_cov | Open collapsed tests | .rx_buf_overrun_clear_cov | 1046 | 7 | covered |
| rx_buf_select_ts_wptr_cov | Open collapsed tests | .rx_buf_select_ts_wptr_cov | 1049 | 10104 | covered |
| rx_buf_release_receive_buffer_cov | Open collapsed tests | .rx_buf_release_receive_buffer_cov | 1052 | 119 | covered |
| rx_buf_commit_and_read_cov | Open collapsed tests | .rx_buf_commit_and_read_cov | 1055 | 1 | covered |
| rx_buf_write_and_read_cov | Open collapsed tests | .rx_buf_write_and_read_cov | 1059 | 0 | not covered |
| rx_buf_read_after_write_cov | Open collapsed tests | .rx_buf_read_after_write_cov | 1062 | 0 | not covered |
| rx_buf_write_after_read_cov | Open collapsed tests | .rx_buf_write_after_read_cov | 1065 | 0 | not covered |
| rx_buf_sof_timestamp | Open collapsed tests | .rx_buf_sof_timestamp | 1068 | 2 | covered |
| rx_buf_eof_timestamp | Open collapsed tests | .rx_buf_eof_timestamp | 1071 | 5024 | covered |
| rx_buf_burst_read_short_cov | Open collapsed tests | .rx_buf_burst_read_short_cov | 1074 | 14705 | covered |
| rx_buf_burst_read_max_cov | Open collapsed tests | .rx_buf_burst_read_max_cov | 1077 | 3195 | covered |
| rx_buf_frame_abort_cov | Open collapsed tests | .rx_buf_frame_abort_cov | 1082 | 9936 | covered |
| rx_buf_store_rtr_cov | Open collapsed tests | .rx_buf_store_rtr_cov | 1085 | 621 | covered |
| rx_buf_store_empty_frame_cov | Open collapsed tests | .rx_buf_store_empty_frame_cov | 1088 | 1797 | covered |
| rx_buf_store_1_byte_frame_cov | Open collapsed tests | .rx_buf_store_1_byte_frame_cov | 1091 | 472 | covered |
| rx_buf_store_2_byte_frame_cov | Open collapsed tests | .rx_buf_store_2_byte_frame_cov | 1094 | 255 | covered |
| rx_buf_store_3_byte_frame_cov | Open collapsed tests | .rx_buf_store_3_byte_frame_cov | 1097 | 147 | covered |
| rx_buf_store_4_byte_frame_cov | Open collapsed tests | .rx_buf_store_4_byte_frame_cov | 1100 | 222 | covered |
| rx_buf_store_5_byte_frame_cov | Open collapsed tests | .rx_buf_store_5_byte_frame_cov | 1103 | 153 | covered |
| rx_buf_store_8_byte_frame_cov | Open collapsed tests | .rx_buf_store_8_byte_frame_cov | 1106 | 275 | covered |
| rx_buf_store_64_byte_frame_cov | Open collapsed tests | .rx_buf_store_64_byte_frame_cov | 1109 | 474 | covered |
| rx_parity_err_cov | Open collapsed tests | .rx_parity_err_cov | 1112 | 12 | covered |
| rx_parity_err_clr_cov | Open collapsed tests | .rx_parity_err_clr_cov | 1115 | 3 | covered |
| rx_lbpf_cov | Open collapsed tests | .rx_lbpf_cov | 1118 | 352904 | 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 | 1016 | 0 | passed |
| sof_pulse_asrt_asrt | Open collapsed tests | .sof_pulse_asrt_asrt | 1126 | 0 | passed |