GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
bit_destuffing.vhd40100.0%00NA

Cover Points
PSL Point NameTest nameFull Path NameLineCountStatus
bds_non_fix_to_fixed_change_covOpen collapsed tests.bds_non_fix_to_fixed_change_cov4596350covered
bds_stuff_err_detect_covOpen collapsed tests.bds_stuff_err_detect_cov4626674covered
bds_stuff_lvl_reached_regular_covOpen collapsed tests.bds_stuff_lvl_reached_regular_cov4659337144covered
bds_stuff_lvl_reached_fixed_covOpen collapsed tests.bds_stuff_lvl_reached_fixed_cov4681464560covered

Assertions
PSL Point NameTest nameFull Path NameLineCountStatus