GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
rx_buffer_fsm.vhd00NA30100.0%

Cover Points
PSL Point NameTest nameFull Path NameLineCountStatus

Assertions
PSL Point NameTest nameFull Path NameLineCountStatus
store_metadata_in_idle_asrtOpen collapsed tests.store_metadata_in_idle_asrt3280passed
commit_or_store_data_asrtOpen collapsed tests.commit_or_store_data_asrt3320passed
rx_no_abort_after_metadataOpen collapsed tests.rx_no_abort_after_metadata3490passed