GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | rx_shift_reg.vhd | 15 | 0 | 100.0% | 2 | 0 | 100.0% |
---|
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
rx_shift_reg_clear_cov | Open collapsed tests | .rx_shift_reg_clear_cov | 452 | 14562 | covered |
rx_shift_reg_linear_mode_cov | Open collapsed tests | .rx_shift_reg_linear_mode_cov | 456 | 29817134 | covered |
rx_shift_reg_byte_mode_byte_1_cov | Open collapsed tests | .rx_shift_reg_byte_mode_byte_1_cov | 459 | 11761811 | covered |
rx_shift_reg_byte_mode_byte_2_cov | Open collapsed tests | .rx_shift_reg_byte_mode_byte_2_cov | 462 | 10661243 | covered |
rx_shift_reg_byte_mode_byte_3_cov | Open collapsed tests | .rx_shift_reg_byte_mode_byte_3_cov | 465 | 10166934 | covered |
rx_shift_reg_byte_mode_byte_4_cov | Open collapsed tests | .rx_shift_reg_byte_mode_byte_4_cov | 468 | 9737480 | covered |
rx_shift_reg_store_base_id_cov | Open collapsed tests | .rx_shift_reg_store_base_id_cov | 471 | 14156 | covered |
rx_shift_reg_store_ext_id_cov | Open collapsed tests | .rx_shift_reg_store_ext_id_cov | 474 | 3678 | covered |
rx_shift_reg_store_ide_cov | Open collapsed tests | .rx_shift_reg_store_ide_cov | 477 | 13971 | covered |
rx_shift_reg_store_rtr_cov | Open collapsed tests | .rx_shift_reg_store_rtr_cov | 480 | 17751 | covered |
rx_shift_reg_store_edl_cov | Open collapsed tests | .rx_shift_reg_store_edl_cov | 483 | 13817 | covered |
rx_shift_reg_store_dlc_cov | Open collapsed tests | .rx_shift_reg_store_dlc_cov | 486 | 13589 | covered |
rx_shift_reg_store_esi_cov | Open collapsed tests | .rx_shift_reg_store_esi_cov | 489 | 8039 | covered |
rx_shift_reg_store_brs_cov | Open collapsed tests | .rx_shift_reg_store_brs_cov | 492 | 8049 | covered |
rx_shift_reg_store_stuff_count_cov | Open collapsed tests | .rx_shift_reg_store_stuff_count_cov | 495 | 4474 | covered |
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
rx_shift_reg_byte_config | Open collapsed tests | .rx_shift_reg_byte_config | 436 | 0 | passed |
no_simul_capture_and_clear | Open collapsed tests | .no_simul_capture_and_clear | 444 | 0 | passed |