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 | 997 | 0 | passed |
sample_sec_proper_asrt | Open collapsed tests | .sample_sec_proper_asrt | 1001 | 0 | passed |
no_simul_tx_rx_trigger_asrt | Open collapsed tests | .no_simul_tx_rx_trigger_asrt | 1005 | 0 | passed |
no_simul_transmitter_receiver_asrt | Open collapsed tests | .no_simul_transmitter_receiver_asrt | 1009 | 0 | passed |
no_h_sync_in_data_bit_rate_asrt | Open collapsed tests | .no_h_sync_in_data_bit_rate_asrt | 1013 | 0 | passed |
no_simul_err_req_asrt | Open collapsed tests | .no_simul_err_req_asrt | 1017 | 0 | passed |