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_cov3078699covered
txt_ram_1_test_covOpen collapsed tests.txt_ram_1_test_cov3098755covered
txt_ram_2_test_covOpen collapsed tests.txt_ram_2_test_cov3118483covered
txt_ram_3_test_covOpen collapsed tests.txt_ram_3_test_cov3138105covered
txt_ram_4_test_covOpen collapsed tests.txt_ram_4_test_cov3157403covered
txt_ram_5_test_covOpen collapsed tests.txt_ram_5_test_cov3176591covered
txt_ram_6_test_covOpen collapsed tests.txt_ram_6_test_cov3196521covered
txt_ram_7_test_covOpen collapsed tests.txt_ram_7_test_cov3216535covered

Assertions
PSL Point NameTest nameFull Path NameLineCountStatus