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 | 3245 | 17 | 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 | 3248 | 403 | 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 | 3251 | 131 | 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 | 3254 | 75 | 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 | 3257 | 109 | covered |
err_frm_req_in_s_pc_rtr_r1_cov | Open collapsed tests | .err_frm_req_in_s_pc_rtr_r1_cov | 3260 | 8 | covered |
err_frm_req_in_s_pc_edl_r1_cov | Open collapsed tests | .err_frm_req_in_s_pc_edl_r1_cov | 3263 | 9 | covered |
err_frm_req_in_s_pc_r0_ext_cov | Open collapsed tests | .err_frm_req_in_s_pc_r0_ext_cov | 3266 | 5 | covered |
err_frm_req_in_s_pc_r0_fd_cov | Open collapsed tests | .err_frm_req_in_s_pc_r0_fd_cov | 3269 | 16 | covered |
err_frm_req_in_s_pc_edl_r0_cov | Open collapsed tests | .err_frm_req_in_s_pc_edl_r0_cov | 3272 | 6 | covered |
err_frm_req_in_s_pc_esi_cov | Open collapsed tests | .err_frm_req_in_s_pc_esi_cov | 3275 | 10 | covered |
err_frm_req_in_s_pc_dlc_cov | Open collapsed tests | .err_frm_req_in_s_pc_dlc_cov | 3278 | 167 | covered |
err_frm_req_in_s_pc_data_cov | Open collapsed tests | .err_frm_req_in_s_pc_data_cov | 3281 | 3883 | covered |
err_frm_req_in_s_pc_stuff_count_cov | Open collapsed tests | .err_frm_req_in_s_pc_stuff_count_cov | 3284 | 49 | covered |
err_frm_req_in_s_pc_crc_cov | Open collapsed tests | .err_frm_req_in_s_pc_crc_cov | 3287 | 149 | covered |
err_frm_req_in_s_pc_crc_delim_cov | Open collapsed tests | .err_frm_req_in_s_pc_crc_delim_cov | 3290 | 1 | covered |
err_frm_req_in_s_pc_ack_cov | Open collapsed tests | .err_frm_req_in_s_pc_ack_cov | 3293 | 9 | covered |
err_frm_req_in_s_pc_eof_cov | Open collapsed tests | .err_frm_req_in_s_pc_eof_cov | 3296 | 591 | covered |
err_frm_req_in_s_pc_act_err_flag_cov | Open collapsed tests | .err_frm_req_in_s_pc_act_err_flag_cov | 3299 | 226 | covered |
err_frm_req_in_s_pc_ovr_flag_cov | Open collapsed tests | .err_frm_req_in_s_pc_ovr_flag_cov | 3302 | 22 | covered |
err_frm_req_in_s_pc_ovr_delim_cov | Open collapsed tests | .err_frm_req_in_s_pc_ovr_delim_cov | 3305 | 20 | covered |
err_frm_req_in_s_pc_err_delim_cov | Open collapsed tests | .err_frm_req_in_s_pc_err_delim_cov | 3308 | 54 | covered |
ovr_from_eof_cov | Open collapsed tests | .ovr_from_eof_cov | 3314 | 35 | covered |
ovr_from_intermission_cov | Open collapsed tests | .ovr_from_intermission_cov | 3317 | 77 | covered |
ovr_from_err_delim | Open collapsed tests | .ovr_from_err_delim | 3320 | 26 | covered |
ovr_from_ovr_delim_cov | Open collapsed tests | .ovr_from_ovr_delim_cov | 3323 | 8 | covered |
pex_on_fdf_enable_cov | Open collapsed tests | .pex_on_fdf_enable_cov | 3329 | 11303 | covered |
pex_on_res_enable_cov | Open collapsed tests | .pex_on_res_enable_cov | 3332 | 313930 | covered |
pex_in_s_pc_r0_fd_cov | Open collapsed tests | .pex_in_s_pc_r0_fd_cov | 3335 | 840 | covered |
pex_in_s_pc_edl_r1_cov | Open collapsed tests | .pex_in_s_pc_edl_r1_cov | 3338 | 3 | covered |
arb_lost_base_id_cov | Open collapsed tests | .arb_lost_base_id_cov | 3344 | 73 | covered |
arb_lost_rtr_srr_r1_cov | Open collapsed tests | .arb_lost_rtr_srr_r1_cov | 3347 | 10 | covered |
arb_lost_ide_cov | Open collapsed tests | .arb_lost_ide_cov | 3350 | 3 | covered |
arb_lost_ext_id_cov | Open collapsed tests | .arb_lost_ext_id_cov | 3353 | 59 | covered |
arb_lost_rtr_r1_cov | Open collapsed tests | .arb_lost_rtr_r1_cov | 3356 | 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 | 3185 | 0 | passed |
no_simul_rx_trigger_err_req_asrt | Open collapsed tests | .no_simul_rx_trigger_err_req_asrt | 3189 | 0 | passed |
no_simul_rx_rtr_and_fd_frame_asrt | Open collapsed tests | .no_simul_rx_rtr_and_fd_frame_asrt | 3193 | 0 | passed |
no_err_frm_req_in_off | Open collapsed tests | .no_err_frm_req_in_off | 3204 | 0 | passed |
no_secondary_sample_receiver | Open collapsed tests | .no_secondary_sample_receiver | 3211 | 0 | passed |
no_sof_receiver | Open collapsed tests | .no_sof_receiver | 3215 | 0 | passed |
no_err_ovr_in_rom_mode | Open collapsed tests | .no_err_ovr_in_rom_mode | 3219 | 0 | passed |
no_tx_in_rom_mode | Open collapsed tests | .no_tx_in_rom_mode | 3225 | 0 | passed |
no_stuff_destuff_in_eof | Open collapsed tests | .no_stuff_destuff_in_eof | 3229 | 0 | passed |