GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | test_registers_reg_map.vhd | 7 | 0 | 100.0% | 0 | 0 | NA |
---|
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
tst_control_write_access_cov | Open collapsed tests | .tst_control_write_access_cov | 406 | 24330 | covered |
tst_control_read_access_cov | Open collapsed tests | .tst_control_read_access_cov | 409 | 1 | covered |
tst_dest_write_access_cov | Open collapsed tests | .tst_dest_write_access_cov | 412 | 98909 | covered |
tst_dest_read_access_cov | Open collapsed tests | .tst_dest_read_access_cov | 415 | 1 | covered |
tst_wdata_write_access_cov | Open collapsed tests | .tst_wdata_write_access_cov | 418 | 23265 | covered |
tst_wdata_read_access_cov | Open collapsed tests | .tst_wdata_read_access_cov | 421 | 1 | covered |
tst_rdata_read_access_cov | Open collapsed tests | .tst_rdata_read_access_cov | 424 | 75634 | covered |
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|