GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
trv_delay_meas.vhd50100.0%20100.0%

Cover Points
PSL Point NameTest nameFull Path NameLineCountStatus
trv_measurement_covOpen collapsed tests.trv_measurement_cov421796474covered
ssp_meas_n_offset_covOpen collapsed tests.ssp_meas_n_offset_cov424393024covered
ssp_offset_covOpen collapsed tests.ssp_offset_cov4271080covered
ssp_no_ssp_covOpen collapsed tests.ssp_no_ssp_cov430402370covered
ssp_offset_sat_covOpen collapsed tests.ssp_offset_sat_cov43521965covered

Assertions
PSL Point NameTest nameFull Path NameLineCountStatus
trv_delay_ctr_sat_asrtOpen collapsed tests.trv_delay_ctr_sat_asrt4150passed
ssp_offset_sat_asrtOpen collapsed tests.ssp_offset_sat_asrt4180passed