| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | operation_control.vhd | 2 | 0 | 100.0% | 5 | 0 | 100.0% |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| op_fsm_transmitter_cov | Open collapsed tests | .op_fsm_transmitter_cov | 258 | 48659610 | covered |
| op_fsm_received_cov | Open collapsed tests | .op_fsm_received_cov | 261 | 72270478 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| valid_arb_lost_asrt | Open collapsed tests | .valid_arb_lost_asrt | 238 | 0 | passed |
| no_tx_rx_req_in_idle_asrt | Open collapsed tests | .no_tx_rx_req_in_idle_asrt | 242 | 0 | passed |
| no_simul_tx_rx_set_asrt | Open collapsed tests | .no_simul_tx_rx_set_asrt | 246 | 0 | passed |
| no_simul_tx_idle_set_asrt | Open collapsed tests | .no_simul_tx_idle_set_asrt | 250 | 0 | passed |
| never_to_off_as_receiver_asrt | Open collapsed tests | .never_to_off_as_receiver_asrt | 254 | 0 | passed |