GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
bus_traffic_counters.vhd20100.0%10100.0%

Cover Points
PSL Point NameTest nameFull Path NameLineCountStatus
traffic_ctrs_tx_inc_covOpen collapsed tests.traffic_ctrs_tx_inc_cov2664324covered
traffic_ctrs_rx_inc_covOpen collapsed tests.traffic_ctrs_rx_inc_cov2694313covered

Assertions
PSL Point NameTest nameFull Path NameLineCountStatus
no_simul_inc_tx_rx_asrtOpen collapsed tests.no_simul_inc_tx_rx_asrt2620passed