GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | rx_buffer_fsm.vhd | 0 | 0 | NA | 3 | 0 | 100.0% |
---|
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
store_metadata_in_idle_asrt | Open collapsed tests | .store_metadata_in_idle_asrt | 328 | 0 | passed |
commit_or_store_data_asrt | Open collapsed tests | .commit_or_store_data_asrt | 332 | 0 | passed |
rx_no_abort_after_metadata | Open collapsed tests | .rx_no_abort_after_metadata | 349 | 0 | passed |