GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
control_registers_reg_map.vhd730100.0%00NA

Cover Points
PSL Point NameTest nameFull Path NameLineCountStatus
device_id_read_access_covOpen collapsed tests.device_id_read_access_cov35132covered
version_read_access_covOpen collapsed tests.version_read_access_cov35162covered
mode_write_access_covOpen collapsed tests.mode_write_access_cov35196867covered
mode_read_access_covOpen collapsed tests.mode_read_access_cov35228129covered
settings_write_access_covOpen collapsed tests.settings_write_access_cov35257995covered
settings_read_access_covOpen collapsed tests.settings_read_access_cov352810232covered
status_read_access_covOpen collapsed tests.status_read_access_cov35311754847covered
command_write_access_covOpen collapsed tests.command_write_access_cov3534559covered
int_stat_write_access_covOpen collapsed tests.int_stat_write_access_cov353733covered
int_stat_read_access_covOpen collapsed tests.int_stat_read_access_cov3540259covered
int_ena_set_write_access_covOpen collapsed tests.int_ena_set_write_access_cov3543130covered
int_ena_set_read_access_covOpen collapsed tests.int_ena_set_read_access_cov354617covered
int_ena_clr_write_access_covOpen collapsed tests.int_ena_clr_write_access_cov3549130covered
int_mask_set_write_access_covOpen collapsed tests.int_mask_set_write_access_cov3552113covered
int_mask_set_read_access_covOpen collapsed tests.int_mask_set_read_access_cov355517covered
int_mask_clr_write_access_covOpen collapsed tests.int_mask_clr_write_access_cov3558113covered
btr_write_access_covOpen collapsed tests.btr_write_access_cov35611440covered
btr_read_access_covOpen collapsed tests.btr_read_access_cov356482covered
btr_fd_write_access_covOpen collapsed tests.btr_fd_write_access_cov35671452covered
btr_fd_read_access_covOpen collapsed tests.btr_fd_read_access_cov357088covered
ewl_write_access_covOpen collapsed tests.ewl_write_access_cov357323covered
ewl_read_access_covOpen collapsed tests.ewl_read_access_cov35763016covered
erp_write_access_covOpen collapsed tests.erp_write_access_cov357923covered
erp_read_access_covOpen collapsed tests.erp_read_access_cov35823016covered
fault_state_read_access_covOpen collapsed tests.fault_state_read_access_cov358574741covered
rec_read_access_covOpen collapsed tests.rec_read_access_cov35881158covered
tec_read_access_covOpen collapsed tests.tec_read_access_cov35911158covered
err_norm_read_access_covOpen collapsed tests.err_norm_read_access_cov3594248covered
err_fd_read_access_covOpen collapsed tests.err_fd_read_access_cov3597248covered
ctr_pres_write_access_covOpen collapsed tests.ctr_pres_write_access_cov36005484covered
filter_a_mask_write_access_covOpen collapsed tests.filter_a_mask_write_access_cov3603191covered
filter_a_mask_read_access_covOpen collapsed tests.filter_a_mask_read_access_cov36062covered
filter_a_val_write_access_covOpen collapsed tests.filter_a_val_write_access_cov3609191covered
filter_a_val_read_access_covOpen collapsed tests.filter_a_val_read_access_cov36122covered
filter_b_mask_write_access_covOpen collapsed tests.filter_b_mask_write_access_cov3615190covered
filter_b_mask_read_access_covOpen collapsed tests.filter_b_mask_read_access_cov36182covered
filter_b_val_write_access_covOpen collapsed tests.filter_b_val_write_access_cov3621190covered
filter_b_val_read_access_covOpen collapsed tests.filter_b_val_read_access_cov36242covered
filter_c_mask_write_access_covOpen collapsed tests.filter_c_mask_write_access_cov3627190covered
filter_c_mask_read_access_covOpen collapsed tests.filter_c_mask_read_access_cov36302covered
filter_c_val_write_access_covOpen collapsed tests.filter_c_val_write_access_cov3633190covered
filter_c_val_read_access_covOpen collapsed tests.filter_c_val_read_access_cov36362covered
filter_ran_low_write_access_covOpen collapsed tests.filter_ran_low_write_access_cov363919covered
filter_ran_low_read_access_covOpen collapsed tests.filter_ran_low_read_access_cov36422covered
filter_ran_high_write_access_covOpen collapsed tests.filter_ran_high_write_access_cov364519covered
filter_ran_high_read_access_covOpen collapsed tests.filter_ran_high_read_access_cov36482covered
filter_control_write_access_covOpen collapsed tests.filter_control_write_access_cov3651587covered
filter_control_read_access_covOpen collapsed tests.filter_control_read_access_cov3654588covered
filter_status_read_access_covOpen collapsed tests.filter_status_read_access_cov3657587covered
rx_mem_info_read_access_covOpen collapsed tests.rx_mem_info_read_access_cov36602455covered
rx_pointers_read_access_covOpen collapsed tests.rx_pointers_read_access_cov36632455covered
rx_status_read_access_covOpen collapsed tests.rx_status_read_access_cov36662586covered
rx_settings_write_access_covOpen collapsed tests.rx_settings_write_access_cov36693covered
rx_settings_read_access_covOpen collapsed tests.rx_settings_read_access_cov36722587covered
rx_data_read_access_covOpen collapsed tests.rx_data_read_access_cov367519829covered
tx_status_read_access_covOpen collapsed tests.tx_status_read_access_cov36784932covered
tx_command_write_access_covOpen collapsed tests.tx_command_write_access_cov36816736covered
txtb_info_read_access_covOpen collapsed tests.txtb_info_read_access_cov36841693covered
tx_priority_write_access_covOpen collapsed tests.tx_priority_write_access_cov36871375covered
tx_priority_read_access_covOpen collapsed tests.tx_priority_read_access_cov36901376covered
err_capt_read_access_covOpen collapsed tests.err_capt_read_access_cov3693223covered
retr_ctr_read_access_covOpen collapsed tests.retr_ctr_read_access_cov369617covered
alc_read_access_covOpen collapsed tests.alc_read_access_cov369966covered
ts_info_read_access_covOpen collapsed tests.ts_info_read_access_cov37021covered
trv_delay_read_access_covOpen collapsed tests.trv_delay_read_access_cov37056covered
ssp_cfg_write_access_covOpen collapsed tests.ssp_cfg_write_access_cov3708236covered
ssp_cfg_read_access_covOpen collapsed tests.ssp_cfg_read_access_cov371110covered
rx_fr_ctr_read_access_covOpen collapsed tests.rx_fr_ctr_read_access_cov3714232covered
tx_fr_ctr_read_access_covOpen collapsed tests.tx_fr_ctr_read_access_cov3717232covered
debug_register_read_access_covOpen collapsed tests.debug_register_read_access_cov37208069195covered
yolo_reg_read_access_covOpen collapsed tests.yolo_reg_read_access_cov37238covered
timestamp_low_read_access_covOpen collapsed tests.timestamp_low_read_access_cov3726766covered
timestamp_high_read_access_covOpen collapsed tests.timestamp_high_read_access_cov3729766covered

Assertions
PSL Point NameTest nameFull Path NameLineCountStatus