GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
ssp_generator.vhd20100.0%20100.0%

Cover Points
PSL Point NameTest nameFull Path NameLineCountStatus
first_ssp_covOpen collapsed tests.first_ssp_cov31912744covered
sspc_ena_q_covOpen collapsed tests.sspc_ena_q_cov3225955838covered

Assertions
PSL Point NameTest nameFull Path NameLineCountStatus
no_sspc_overflowOpen collapsed tests.no_sspc_overflow3110passed
no_btmc_overflowOpen collapsed tests.no_btmc_overflow3150passed