| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | protocol_control.vhd | 0 | 0 | NA | 6 | 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 |
|---|---|---|---|---|---|
| no_invalid_ack_err_asrt | Open collapsed tests | .no_invalid_ack_err_asrt | 998 | 0 | passed |
| sample_sec_proper_asrt | Open collapsed tests | .sample_sec_proper_asrt | 1002 | 0 | passed |
| no_simul_tx_rx_trigger_asrt | Open collapsed tests | .no_simul_tx_rx_trigger_asrt | 1006 | 0 | passed |
| no_simul_transmitter_receiver_asrt | Open collapsed tests | .no_simul_transmitter_receiver_asrt | 1010 | 0 | passed |
| no_h_sync_in_data_bit_rate_asrt | Open collapsed tests | .no_h_sync_in_data_bit_rate_asrt | 1014 | 0 | passed |
| no_simul_err_req_asrt | Open collapsed tests | .no_simul_err_req_asrt | 1018 | 0 | passed |