GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | trv_delay_meas.vhd | 5 | 0 | 100.0% | 2 | 0 | 100.0% |
---|
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
trv_measurement_cov | Open collapsed tests | .trv_measurement_cov | 421 | 796474 | covered |
ssp_meas_n_offset_cov | Open collapsed tests | .ssp_meas_n_offset_cov | 424 | 393024 | covered |
ssp_offset_cov | Open collapsed tests | .ssp_offset_cov | 427 | 1080 | covered |
ssp_no_ssp_cov | Open collapsed tests | .ssp_no_ssp_cov | 430 | 402370 | covered |
ssp_offset_sat_cov | Open collapsed tests | .ssp_offset_sat_cov | 435 | 21965 | covered |
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
trv_delay_ctr_sat_asrt | Open collapsed tests | .trv_delay_ctr_sat_asrt | 415 | 0 | passed |
ssp_offset_sat_asrt | Open collapsed tests | .ssp_offset_sat_asrt | 418 | 0 | passed |