| 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 | 920 | 133858542 | covered |
| rx_buf_manual_mode_cov | Open collapsed tests | .rx_buf_manual_mode_cov | 923 | 682857 | 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 | 891 | 0 | passed |
| no_rxpe_when_parity_disabled_cov | Open collapsed tests | .no_rxpe_when_parity_disabled_cov | 895 | 0 | passed |
| no_txpe_when_parity_disabled_cov | Open collapsed tests | .no_txpe_when_parity_disabled_cov | 899 | 0 | passed |
| no_txdpe_when_parity_disabled_cov | Open collapsed tests | .no_txdpe_when_parity_disabled_cov | 903 | 0 | passed |