GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
tx_shift_reg.vhd120100.0%70100.0%

Cover Points
PSL Point NameTest nameFull Path NameLineCountStatus
tx_shift_reg_load_base_id_covOpen collapsed tests.tx_shift_reg_load_base_id_cov43111172covered
tx_shift_reg_load_extended_id_covOpen collapsed tests.tx_shift_reg_load_extended_id_cov4343809covered
tx_shift_reg_load_dlc_covOpen collapsed tests.tx_shift_reg_load_dlc_cov43713756covered
tx_shift_reg_load_data_word_covOpen collapsed tests.tx_shift_reg_load_data_word_cov44050833covered
tx_shift_reg_load_stuff_count_covOpen collapsed tests.tx_shift_reg_load_stuff_count_cov4434523covered
tx_shift_reg_load_crc_covOpen collapsed tests.tx_shift_reg_load_crc_cov4469657covered
tx_shift_flip_fstc_covOpen collapsed tests.tx_shift_flip_fstc_cov44964075covered
tx_shift_flip_fcrc_covOpen collapsed tests.tx_shift_flip_fcrc_cov452677620covered
tx_shift_flip_sdlc_covOpen collapsed tests.tx_shift_flip_sdlc_cov45527677covered
tx_shift_flip_fstc_disable_covOpen collapsed tests.tx_shift_flip_fstc_disable_cov45839391covered
tx_shift_flip_fcrc_disable_covOpen collapsed tests.tx_shift_flip_fcrc_disable_cov46139391covered
tx_shift_flip_sdlc_disable_covOpen collapsed tests.tx_shift_flip_sdlc_disable_cov46439391covered

Assertions
PSL Point NameTest nameFull Path NameLineCountStatus
no_tx_undefined_data_asrtOpen collapsed tests.no_tx_undefined_data_asrt3550passed
no_sim_tx_shift_reg_load_1_asrtOpen collapsed tests.no_sim_tx_shift_reg_load_1_asrt3950passed
no_sim_tx_shift_reg_load_2_asrtOpen collapsed tests.no_sim_tx_shift_reg_load_2_asrt4010passed
no_sim_tx_shift_reg_load_3_asrtOpen collapsed tests.no_sim_tx_shift_reg_load_3_asrt4070passed
no_sim_tx_shift_reg_load_4_asrtOpen collapsed tests.no_sim_tx_shift_reg_load_4_asrt4130passed
no_sim_tx_shift_reg_load_5_asrtOpen collapsed tests.no_sim_tx_shift_reg_load_5_asrt4190passed
no_sim_tx_shift_reg_load_6_asrtOpen collapsed tests.no_sim_tx_shift_reg_load_6_asrt4250passed