| 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 | 405 | 186637 | covered |
| rx_all_raw_mem_free_cov | Open collapsed tests | .rx_all_raw_mem_free_cov | 408 | 75040250 | covered |
| rx_no_int_mem_free_cov | Open collapsed tests | .rx_no_int_mem_free_cov | 411 | 172666 | covered |
| rx_all_int_mem_free_cov | Open collapsed tests | .rx_all_int_mem_free_cov | 414 | 101321182 | covered |
| rx_write_ptr_higher_than_read_ptr_cov | Open collapsed tests | .rx_write_ptr_higher_than_read_ptr_cov | 417 | 31532982 | covered |
| rx_read_ptr_higher_than_write_ptr_cov | Open collapsed tests | .rx_read_ptr_higher_than_write_ptr_cov | 420 | 1515091 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|