| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | protocol_control_fsm.vhd | 35 | 0 | 100.0% | 9 | 0 | 100.0% |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| err_frm_req_in_sof_cov | Open collapsed tests | .err_frm_req_in_sof_cov | 3296 | 24 | covered |
| err_frm_req_in_s_pc_base_id_in_base_cov | Open collapsed tests | .err_frm_req_in_s_pc_base_id_in_base_cov | 3299 | 824 | covered |
| err_frm_req_in_s_pc_ext_id_in_ext_id_cov | Open collapsed tests | .err_frm_req_in_s_pc_ext_id_in_ext_id_cov | 3302 | 397 | covered |
| err_frm_req_in_s_pc_ext_id_in_rtr_srr_r1_cov | Open collapsed tests | .err_frm_req_in_s_pc_ext_id_in_rtr_srr_r1_cov | 3305 | 54 | covered |
| err_frm_req_in_s_pc_ext_id_in_ide_cov | Open collapsed tests | .err_frm_req_in_s_pc_ext_id_in_ide_cov | 3308 | 49 | covered |
| err_frm_req_in_s_pc_rtr_r1_cov | Open collapsed tests | .err_frm_req_in_s_pc_rtr_r1_cov | 3311 | 24 | covered |
| err_frm_req_in_s_pc_edl_r1_cov | Open collapsed tests | .err_frm_req_in_s_pc_edl_r1_cov | 3314 | 27 | covered |
| err_frm_req_in_s_pc_r0_ext_cov | Open collapsed tests | .err_frm_req_in_s_pc_r0_ext_cov | 3317 | 19 | covered |
| err_frm_req_in_s_pc_r0_fd_cov | Open collapsed tests | .err_frm_req_in_s_pc_r0_fd_cov | 3320 | 29 | covered |
| err_frm_req_in_s_pc_edl_r0_cov | Open collapsed tests | .err_frm_req_in_s_pc_edl_r0_cov | 3323 | 11 | covered |
| err_frm_req_in_s_pc_esi_cov | Open collapsed tests | .err_frm_req_in_s_pc_esi_cov | 3326 | 11 | covered |
| err_frm_req_in_s_pc_dlc_cov | Open collapsed tests | .err_frm_req_in_s_pc_dlc_cov | 3329 | 277 | covered |
| err_frm_req_in_s_pc_data_cov | Open collapsed tests | .err_frm_req_in_s_pc_data_cov | 3332 | 5382 | covered |
| err_frm_req_in_s_pc_stuff_count_cov | Open collapsed tests | .err_frm_req_in_s_pc_stuff_count_cov | 3335 | 102 | covered |
| err_frm_req_in_s_pc_crc_cov | Open collapsed tests | .err_frm_req_in_s_pc_crc_cov | 3338 | 495 | covered |
| err_frm_req_in_s_pc_crc_delim_cov | Open collapsed tests | .err_frm_req_in_s_pc_crc_delim_cov | 3341 | 14 | covered |
| err_frm_req_in_s_pc_ack_cov | Open collapsed tests | .err_frm_req_in_s_pc_ack_cov | 3344 | 36 | covered |
| err_frm_req_in_s_pc_eof_cov | Open collapsed tests | .err_frm_req_in_s_pc_eof_cov | 3347 | 1000 | covered |
| err_frm_req_in_s_pc_act_err_flag_cov | Open collapsed tests | .err_frm_req_in_s_pc_act_err_flag_cov | 3350 | 259 | covered |
| err_frm_req_in_s_pc_ovr_flag_cov | Open collapsed tests | .err_frm_req_in_s_pc_ovr_flag_cov | 3353 | 24 | covered |
| err_frm_req_in_s_pc_ovr_delim_cov | Open collapsed tests | .err_frm_req_in_s_pc_ovr_delim_cov | 3356 | 22 | covered |
| err_frm_req_in_s_pc_err_delim_cov | Open collapsed tests | .err_frm_req_in_s_pc_err_delim_cov | 3359 | 123 | covered |
| ovr_from_eof_cov | Open collapsed tests | .ovr_from_eof_cov | 3365 | 35 | covered |
| ovr_from_intermission_cov | Open collapsed tests | .ovr_from_intermission_cov | 3368 | 83 | covered |
| ovr_from_err_delim | Open collapsed tests | .ovr_from_err_delim | 3371 | 26 | covered |
| ovr_from_ovr_delim_cov | Open collapsed tests | .ovr_from_ovr_delim_cov | 3374 | 8 | covered |
| pex_on_fdf_enable_cov | Open collapsed tests | .pex_on_fdf_enable_cov | 3380 | 14103 | covered |
| pex_on_res_enable_cov | Open collapsed tests | .pex_on_res_enable_cov | 3383 | 233906 | covered |
| pex_in_s_pc_r0_fd_cov | Open collapsed tests | .pex_in_s_pc_r0_fd_cov | 3386 | 840 | covered |
| pex_in_s_pc_edl_r1_cov | Open collapsed tests | .pex_in_s_pc_edl_r1_cov | 3389 | 2 | covered |
| arb_lost_base_id_cov | Open collapsed tests | .arb_lost_base_id_cov | 3395 | 89 | covered |
| arb_lost_rtr_srr_r1_cov | Open collapsed tests | .arb_lost_rtr_srr_r1_cov | 3398 | 14 | covered |
| arb_lost_ide_cov | Open collapsed tests | .arb_lost_ide_cov | 3401 | 14 | covered |
| arb_lost_ext_id_cov | Open collapsed tests | .arb_lost_ext_id_cov | 3404 | 57 | covered |
| arb_lost_rtr_r1_cov | Open collapsed tests | .arb_lost_rtr_r1_cov | 3407 | 4 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| no_simul_crc_17_crc_21_asrt | Open collapsed tests | .no_simul_crc_17_crc_21_asrt | 3236 | 0 | passed |
| no_simul_rx_trigger_err_req_asrt | Open collapsed tests | .no_simul_rx_trigger_err_req_asrt | 3240 | 0 | passed |
| no_simul_rx_rtr_and_fd_frame_asrt | Open collapsed tests | .no_simul_rx_rtr_and_fd_frame_asrt | 3244 | 0 | passed |
| no_err_frm_req_in_off | Open collapsed tests | .no_err_frm_req_in_off | 3255 | 0 | passed |
| no_secondary_sample_receiver | Open collapsed tests | .no_secondary_sample_receiver | 3262 | 0 | passed |
| no_sof_receiver | Open collapsed tests | .no_sof_receiver | 3266 | 0 | passed |
| no_err_ovr_in_rom_mode | Open collapsed tests | .no_err_ovr_in_rom_mode | 3270 | 0 | passed |
| no_tx_in_rom_mode | Open collapsed tests | .no_tx_in_rom_mode | 3276 | 0 | passed |
| no_stuff_destuff_in_eof | Open collapsed tests | .no_stuff_destuff_in_eof | 3280 | 0 | passed |