| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | memory_registers.vhd | 2 | 0 | 100.0% | 4 | 0 | 100.0% |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| rx_buf_automatic_mode_cov | Open collapsed tests | .rx_buf_automatic_mode_cov | 945 | 152649362 | covered |
| rx_buf_manual_mode_cov | Open collapsed tests | .rx_buf_manual_mode_cov | 948 | 665294 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| no_simul_two_reg_block_access_asrt | Open collapsed tests | .no_simul_two_reg_block_access_asrt | 916 | 0 | passed |
| no_rxpe_when_parity_disabled_cov | Open collapsed tests | .no_rxpe_when_parity_disabled_cov | 920 | 0 | passed |
| no_txpe_when_parity_disabled_cov | Open collapsed tests | .no_txpe_when_parity_disabled_cov | 924 | 0 | passed |
| no_txdpe_when_parity_disabled_cov | Open collapsed tests | .no_txdpe_when_parity_disabled_cov | 928 | 0 | passed |