GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
bit_err_detector.vhd3175.0%00NA

Cover Points
PSL Point NameTest nameFull Path NameLineCountStatus
bit_err_normal_covOpen collapsed tests.bit_err_normal_cov233777719covered
bit_err_secondary_covOpen collapsed tests.bit_err_secondary_cov23621covered
bit_err_secondary_capt_covOpen collapsed tests.bit_err_secondary_capt_cov23921covered
bit_err_secondary_direct_covOpen collapsed tests.bit_err_secondary_direct_cov2420not covered

Assertions
PSL Point NameTest nameFull Path NameLineCountStatus