GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
trigger_generator.vhd010.0%10100.0%

Cover Points
PSL Point NameTest nameFull Path NameLineCountStatus
tx_trigger_throttling_covOpen collapsed tests.tx_trigger_throttling_cov2320not covered

Assertions
PSL Point NameTest nameFull Path NameLineCountStatus
sync_sample_trig_no_simul_asrtOpen collapsed tests.sync_sample_trig_no_simul_asrt2270passed