| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | ssp_generator.vhd | 2 | 0 | 100.0% | 2 | 0 | 100.0% |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| first_ssp_cov | Open collapsed tests | .first_ssp_cov | 312 | 18788 | covered |
| sspc_ena_q_cov | Open collapsed tests | .sspc_ena_q_cov | 315 | 6816411 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| no_sspc_overflow | Open collapsed tests | .no_sspc_overflow | 304 | 0 | passed |
| no_btmc_overflow | Open collapsed tests | .no_btmc_overflow | 308 | 0 | passed |