GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | tx_shift_reg.vhd | 12 | 0 | 100.0% | 7 | 0 | 100.0% |
---|
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
tx_shift_reg_load_base_id_cov | Open collapsed tests | .tx_shift_reg_load_base_id_cov | 431 | 11172 | covered |
tx_shift_reg_load_extended_id_cov | Open collapsed tests | .tx_shift_reg_load_extended_id_cov | 434 | 3809 | covered |
tx_shift_reg_load_dlc_cov | Open collapsed tests | .tx_shift_reg_load_dlc_cov | 437 | 13756 | covered |
tx_shift_reg_load_data_word_cov | Open collapsed tests | .tx_shift_reg_load_data_word_cov | 440 | 50833 | covered |
tx_shift_reg_load_stuff_count_cov | Open collapsed tests | .tx_shift_reg_load_stuff_count_cov | 443 | 4523 | covered |
tx_shift_reg_load_crc_cov | Open collapsed tests | .tx_shift_reg_load_crc_cov | 446 | 9657 | covered |
tx_shift_flip_fstc_cov | Open collapsed tests | .tx_shift_flip_fstc_cov | 449 | 64075 | covered |
tx_shift_flip_fcrc_cov | Open collapsed tests | .tx_shift_flip_fcrc_cov | 452 | 677620 | covered |
tx_shift_flip_sdlc_cov | Open collapsed tests | .tx_shift_flip_sdlc_cov | 455 | 27677 | covered |
tx_shift_flip_fstc_disable_cov | Open collapsed tests | .tx_shift_flip_fstc_disable_cov | 458 | 39391 | covered |
tx_shift_flip_fcrc_disable_cov | Open collapsed tests | .tx_shift_flip_fcrc_disable_cov | 461 | 39391 | covered |
tx_shift_flip_sdlc_disable_cov | Open collapsed tests | .tx_shift_flip_sdlc_disable_cov | 464 | 39391 | covered |
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
no_tx_undefined_data_asrt | Open collapsed tests | .no_tx_undefined_data_asrt | 355 | 0 | passed |
no_sim_tx_shift_reg_load_1_asrt | Open collapsed tests | .no_sim_tx_shift_reg_load_1_asrt | 395 | 0 | passed |
no_sim_tx_shift_reg_load_2_asrt | Open collapsed tests | .no_sim_tx_shift_reg_load_2_asrt | 401 | 0 | passed |
no_sim_tx_shift_reg_load_3_asrt | Open collapsed tests | .no_sim_tx_shift_reg_load_3_asrt | 407 | 0 | passed |
no_sim_tx_shift_reg_load_4_asrt | Open collapsed tests | .no_sim_tx_shift_reg_load_4_asrt | 413 | 0 | passed |
no_sim_tx_shift_reg_load_5_asrt | Open collapsed tests | .no_sim_tx_shift_reg_load_5_asrt | 419 | 0 | passed |
no_sim_tx_shift_reg_load_6_asrt | Open collapsed tests | .no_sim_tx_shift_reg_load_6_asrt | 425 | 0 | passed |