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 | 319 | 12744 | covered |
sspc_ena_q_cov | Open collapsed tests | .sspc_ena_q_cov | 322 | 5955838 | covered |
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
no_sspc_overflow | Open collapsed tests | .no_sspc_overflow | 311 | 0 | passed |
no_btmc_overflow | Open collapsed tests | .no_btmc_overflow | 315 | 0 | passed |