GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | can_core.vhd | 8 | 0 | 100.0% | 6 | 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 | 1037 | 93273831 | covered |
tx_extended_id_can_2_0_cov | Open collapsed tests | .tx_extended_id_can_2_0_cov | 1040 | 4047054 | covered |
tx_base_id_can_fd_cov | Open collapsed tests | .tx_base_id_can_fd_cov | 1043 | 24353036 | covered |
tx_extended_id_can_fd_cov | Open collapsed tests | .tx_extended_id_can_fd_cov | 1046 | 7484982 | covered |
tx_base_id_can_2_0_rtr_cov | Open collapsed tests | .tx_base_id_can_2_0_rtr_cov | 1051 | 2793152 | covered |
tx_extended_id_can_2_0_rtr_cov | Open collapsed tests | .tx_extended_id_can_2_0_rtr_cov | 1054 | 1100584 | covered |
tx_base_id_can_fd_rtr_cov | Open collapsed tests | .tx_base_id_can_fd_rtr_cov | 1057 | 1375961 | covered |
tx_extended_id_can_fd_rtr_cov | Open collapsed tests | .tx_extended_id_can_fd_rtr_cov | 1060 | 112799 | 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 | 1001 | 0 | passed |
no_stuff_bit_in_error_frame_2_asrt | Open collapsed tests | .no_stuff_bit_in_error_frame_2_asrt | 1009 | 0 | passed |
no_stuff_bit_in_overload_frame_asrt | Open collapsed tests | .no_stuff_bit_in_overload_frame_asrt | 1013 | 0 | passed |
no_stuff_bit_in_eof_asrt | Open collapsed tests | .no_stuff_bit_in_eof_asrt | 1017 | 0 | passed |
no_stuff_bit_in_intermission_asrt | Open collapsed tests | .no_stuff_bit_in_intermission_asrt | 1021 | 0 | passed |
no_stuff_bit_in_idle_asrt | Open collapsed tests | .no_stuff_bit_in_idle_asrt | 1025 | 0 | passed |