GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
err_counters.vhd40100.0%20100.0%

Cover Points
PSL Point NameTest nameFull Path NameLineCountStatus
err_ctrs_inc_one_covOpen collapsed tests.err_ctrs_inc_one_cov4323601covered
err_ctrs_inc_eight_covOpen collapsed tests.err_ctrs_inc_eight_cov4352836covered
err_ctrs_dec_one_covOpen collapsed tests.err_ctrs_dec_one_cov4388631covered
err_ctrs_rec_saturationOpen collapsed tests.err_ctrs_rec_saturation4413covered

Assertions
PSL Point NameTest nameFull Path NameLineCountStatus
no_simul_inc_dec_asrtOpen collapsed tests.no_simul_inc_dec_asrt4220passed
no_simul_transm_rec_asrtOpen collapsed tests.no_simul_transm_rec_asrt4280passed