| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | rx_buffer_ram.vhd | 1 | 0 | 100.0% | 2 | 0 | 100.0% |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| rx_ram_test_cov | Open collapsed tests | .rx_ram_test_cov | 338 | 4963 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| rx_ram_port_a_no_addr_overflow | Open collapsed tests | .rx_ram_port_a_no_addr_overflow | 330 | 0 | passed |
| rx_ram_port_b_no_addr_overflow | Open collapsed tests | .rx_ram_port_b_no_addr_overflow | 334 | 0 | passed |