| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | txt_buffer.vhd | 10 | 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 | 397 | 8340 | covered |
| txtb_set_empty_cov | Open collapsed tests | .txtb_set_empty_cov | 398 | 299 | covered |
| txtb_set_abort_cov | Open collapsed tests | .txtb_set_abort_cov | 399 | 546 | covered |
| txtb_hw_lock | Open collapsed tests | .txtb_hw_lock | 402 | 9710 | covered |
| txtb_hw_valid | Open collapsed tests | .txtb_hw_valid | 403 | 6129 | covered |
| txtb_hw_err | Open collapsed tests | .txtb_hw_err | 404 | 939 | covered |
| txtb_hw_arbl | Open collapsed tests | .txtb_hw_arbl | 405 | 123 | covered |
| txtb_hw_failed | Open collapsed tests | .txtb_hw_failed | 406 | 2515 | covered |
| txtb_double_parity_buf_1_cov | Open collapsed tests | .txtb_double_parity_buf_1_cov | 408 | 41 | covered |
| txtb_parity_buf_cov | Open collapsed tests | .txtb_parity_buf_cov | 411 | 290 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|