GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
rx_shift_reg.vhd150100.0%20100.0%

Cover Points
PSL Point NameTest nameFull Path NameLineCountStatus
rx_shift_reg_clear_covOpen collapsed tests.rx_shift_reg_clear_cov45221734covered
rx_shift_reg_linear_mode_covOpen collapsed tests.rx_shift_reg_linear_mode_cov45639297686covered
rx_shift_reg_byte_mode_byte_1_covOpen collapsed tests.rx_shift_reg_byte_mode_byte_1_cov45915150186covered
rx_shift_reg_byte_mode_byte_2_covOpen collapsed tests.rx_shift_reg_byte_mode_byte_2_cov46213864212covered
rx_shift_reg_byte_mode_byte_3_covOpen collapsed tests.rx_shift_reg_byte_mode_byte_3_cov46513160318covered
rx_shift_reg_byte_mode_byte_4_covOpen collapsed tests.rx_shift_reg_byte_mode_byte_4_cov46812609606covered
rx_shift_reg_store_base_id_covOpen collapsed tests.rx_shift_reg_store_base_id_cov47120907covered
rx_shift_reg_store_ext_id_covOpen collapsed tests.rx_shift_reg_store_ext_id_cov4746564covered
rx_shift_reg_store_ide_covOpen collapsed tests.rx_shift_reg_store_ide_cov47720803covered
rx_shift_reg_store_rtr_covOpen collapsed tests.rx_shift_reg_store_rtr_cov48027393covered
rx_shift_reg_store_edl_covOpen collapsed tests.rx_shift_reg_store_edl_cov48320344covered
rx_shift_reg_store_dlc_covOpen collapsed tests.rx_shift_reg_store_dlc_cov48619956covered
rx_shift_reg_store_esi_covOpen collapsed tests.rx_shift_reg_store_esi_cov48911158covered
rx_shift_reg_store_brs_covOpen collapsed tests.rx_shift_reg_store_brs_cov49211169covered
rx_shift_reg_store_stuff_count_covOpen collapsed tests.rx_shift_reg_store_stuff_count_cov4956250covered

Assertions
PSL Point NameTest nameFull Path NameLineCountStatus
rx_shift_reg_byte_configOpen collapsed tests.rx_shift_reg_byte_config4360passed
no_simul_capture_and_clearOpen collapsed tests.no_simul_capture_and_clear4440passed