GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
txt_buffer_ram.vhd80100.0%00NA

Cover Points
PSL Point NameTest nameFull Path NameLineCountStatus
txt_ram_0_test_covOpen collapsed tests.txt_ram_0_test_cov31228026covered
txt_ram_1_test_covOpen collapsed tests.txt_ram_1_test_cov31428083covered
txt_ram_2_test_covOpen collapsed tests.txt_ram_2_test_cov31627817covered
txt_ram_3_test_covOpen collapsed tests.txt_ram_3_test_cov31827439covered
txt_ram_4_test_covOpen collapsed tests.txt_ram_4_test_cov32026734covered
txt_ram_5_test_covOpen collapsed tests.txt_ram_5_test_cov32225922covered
txt_ram_6_test_covOpen collapsed tests.txt_ram_6_test_cov32425851covered
txt_ram_7_test_covOpen collapsed tests.txt_ram_7_test_cov32625865covered

Assertions
PSL Point NameTest nameFull Path NameLineCountStatus