| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | txt_buffer.vhd | 11 | 0 | 100.0% | 0 | 0 | NA |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| txtb_set_ready_cov | Open collapsed tests | .txtb_set_ready_cov | 404 | 5704 | covered |
| txtb_set_empty_cov | Open collapsed tests | .txtb_set_empty_cov | 405 | 299 | covered |
| txtb_set_abort_cov | Open collapsed tests | .txtb_set_abort_cov | 406 | 509 | covered |
| txtb_hw_lock | Open collapsed tests | .txtb_hw_lock | 409 | 6845 | covered |
| txtb_hw_unlock | Open collapsed tests | .txtb_hw_unlock | 410 | 6841 | covered |
| txtb_hw_valid | Open collapsed tests | .txtb_hw_valid | 411 | 4324 | covered |
| txtb_hw_err | Open collapsed tests | .txtb_hw_err | 412 | 740 | covered |
| txtb_hw_arbl | Open collapsed tests | .txtb_hw_arbl | 413 | 108 | covered |
| txtb_hw_failed | Open collapsed tests | .txtb_hw_failed | 414 | 1669 | covered |
| txtb_double_parity_buf_1_cov | Open collapsed tests | .txtb_double_parity_buf_1_cov | 416 | 40 | covered |
| txtb_parity_buf_cov | Open collapsed tests | .txtb_parity_buf_cov | 419 | 285 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|