GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | txt_buffer_ram.vhd | 8 | 0 | 100.0% | 0 | 0 | NA |
---|
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
txt_ram_0_test_cov | Open collapsed tests | .txt_ram_0_test_cov | 307 | 8699 | covered |
txt_ram_1_test_cov | Open collapsed tests | .txt_ram_1_test_cov | 309 | 8755 | covered |
txt_ram_2_test_cov | Open collapsed tests | .txt_ram_2_test_cov | 311 | 8483 | covered |
txt_ram_3_test_cov | Open collapsed tests | .txt_ram_3_test_cov | 313 | 8105 | covered |
txt_ram_4_test_cov | Open collapsed tests | .txt_ram_4_test_cov | 315 | 7403 | covered |
txt_ram_5_test_cov | Open collapsed tests | .txt_ram_5_test_cov | 317 | 6591 | covered |
txt_ram_6_test_cov | Open collapsed tests | .txt_ram_6_test_cov | 319 | 6521 | covered |
txt_ram_7_test_cov | Open collapsed tests | .txt_ram_7_test_cov | 321 | 6535 | covered |
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|