| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | rx_buffer_pointers.vhd | 6 | 0 | 100.0% | 0 | 0 | NA |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| rx_no_raw_mem_free_cov | Open collapsed tests | .rx_no_raw_mem_free_cov | 400 | 341370 | covered |
| rx_all_raw_mem_free_cov | Open collapsed tests | .rx_all_raw_mem_free_cov | 403 | 93368181 | covered |
| rx_no_int_mem_free_cov | Open collapsed tests | .rx_no_int_mem_free_cov | 406 | 15819 | covered |
| rx_all_int_mem_free_cov | Open collapsed tests | .rx_all_int_mem_free_cov | 409 | 128191096 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | Open collapsed tests | .rx_write_ptr_higher_than_read_ptr_cov | 412 | 35295271 | covered |
| rx_read_ptr_higher_than_write_ptr_cov | Open collapsed tests | .rx_read_ptr_higher_than_write_ptr_cov | 415 | 1696114 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|