| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | can_core.vhd | 8 | 0 | 100.0% | 7 | 0 | 100.0% |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| tx_base_id_can_2_0_cov | Open collapsed tests | .tx_base_id_can_2_0_cov | 1018 | 117701596 | covered |
| tx_extended_id_can_2_0_cov | Open collapsed tests | .tx_extended_id_can_2_0_cov | 1021 | 6046321 | covered |
| tx_base_id_can_fd_cov | Open collapsed tests | .tx_base_id_can_fd_cov | 1024 | 27201072 | covered |
| tx_extended_id_can_fd_cov | Open collapsed tests | .tx_extended_id_can_fd_cov | 1027 | 10158364 | covered |
| tx_base_id_can_2_0_rtr_cov | Open collapsed tests | .tx_base_id_can_2_0_rtr_cov | 1032 | 1078422 | covered |
| tx_extended_id_can_2_0_rtr_cov | Open collapsed tests | .tx_extended_id_can_2_0_rtr_cov | 1035 | 1446879 | covered |
| tx_base_id_can_fd_rtr_cov | Open collapsed tests | .tx_base_id_can_fd_rtr_cov | 1038 | 1415077 | covered |
| tx_extended_id_can_fd_rtr_cov | Open collapsed tests | .tx_extended_id_can_fd_rtr_cov | 1041 | 149980 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| no_stuff_bit_in_error_frame_1_asrt | Open collapsed tests | .no_stuff_bit_in_error_frame_1_asrt | 978 | 0 | passed |
| no_stuff_bit_in_error_frame_2_asrt | Open collapsed tests | .no_stuff_bit_in_error_frame_2_asrt | 986 | 0 | passed |
| no_stuff_bit_in_overload_frame_asrt | Open collapsed tests | .no_stuff_bit_in_overload_frame_asrt | 990 | 0 | passed |
| no_stuff_bit_in_eof_asrt | Open collapsed tests | .no_stuff_bit_in_eof_asrt | 994 | 0 | passed |
| no_stuff_bit_in_intermission_asrt | Open collapsed tests | .no_stuff_bit_in_intermission_asrt | 998 | 0 | passed |
| no_stuff_bit_in_idle_asrt | Open collapsed tests | .no_stuff_bit_in_idle_asrt | 1002 | 0 | passed |
| no_tran_frame_valid_in_rom_or_bmm_asrt | Open collapsed tests | .no_tran_frame_valid_in_rom_or_bmm_asrt | 1006 | 0 | passed |