GHDL PSL Functional coverage report |
---|
Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | control_registers_reg_map.vhd | 73 | 0 | 100.0% | 0 | 0 | NA |
---|
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|---|---|---|---|---|
device_id_read_access_cov | Open collapsed tests | .device_id_read_access_cov | 3513 | 2 | covered |
version_read_access_cov | Open collapsed tests | .version_read_access_cov | 3516 | 2 | covered |
mode_write_access_cov | Open collapsed tests | .mode_write_access_cov | 3519 | 6867 | covered |
mode_read_access_cov | Open collapsed tests | .mode_read_access_cov | 3522 | 8129 | covered |
settings_write_access_cov | Open collapsed tests | .settings_write_access_cov | 3525 | 7995 | covered |
settings_read_access_cov | Open collapsed tests | .settings_read_access_cov | 3528 | 10232 | covered |
status_read_access_cov | Open collapsed tests | .status_read_access_cov | 3531 | 1754847 | covered |
command_write_access_cov | Open collapsed tests | .command_write_access_cov | 3534 | 559 | covered |
int_stat_write_access_cov | Open collapsed tests | .int_stat_write_access_cov | 3537 | 33 | covered |
int_stat_read_access_cov | Open collapsed tests | .int_stat_read_access_cov | 3540 | 259 | covered |
int_ena_set_write_access_cov | Open collapsed tests | .int_ena_set_write_access_cov | 3543 | 130 | covered |
int_ena_set_read_access_cov | Open collapsed tests | .int_ena_set_read_access_cov | 3546 | 17 | covered |
int_ena_clr_write_access_cov | Open collapsed tests | .int_ena_clr_write_access_cov | 3549 | 130 | covered |
int_mask_set_write_access_cov | Open collapsed tests | .int_mask_set_write_access_cov | 3552 | 113 | covered |
int_mask_set_read_access_cov | Open collapsed tests | .int_mask_set_read_access_cov | 3555 | 17 | covered |
int_mask_clr_write_access_cov | Open collapsed tests | .int_mask_clr_write_access_cov | 3558 | 113 | covered |
btr_write_access_cov | Open collapsed tests | .btr_write_access_cov | 3561 | 1440 | covered |
btr_read_access_cov | Open collapsed tests | .btr_read_access_cov | 3564 | 82 | covered |
btr_fd_write_access_cov | Open collapsed tests | .btr_fd_write_access_cov | 3567 | 1452 | covered |
btr_fd_read_access_cov | Open collapsed tests | .btr_fd_read_access_cov | 3570 | 88 | covered |
ewl_write_access_cov | Open collapsed tests | .ewl_write_access_cov | 3573 | 23 | covered |
ewl_read_access_cov | Open collapsed tests | .ewl_read_access_cov | 3576 | 3016 | covered |
erp_write_access_cov | Open collapsed tests | .erp_write_access_cov | 3579 | 23 | covered |
erp_read_access_cov | Open collapsed tests | .erp_read_access_cov | 3582 | 3016 | covered |
fault_state_read_access_cov | Open collapsed tests | .fault_state_read_access_cov | 3585 | 74741 | covered |
rec_read_access_cov | Open collapsed tests | .rec_read_access_cov | 3588 | 1158 | covered |
tec_read_access_cov | Open collapsed tests | .tec_read_access_cov | 3591 | 1158 | covered |
err_norm_read_access_cov | Open collapsed tests | .err_norm_read_access_cov | 3594 | 248 | covered |
err_fd_read_access_cov | Open collapsed tests | .err_fd_read_access_cov | 3597 | 248 | covered |
ctr_pres_write_access_cov | Open collapsed tests | .ctr_pres_write_access_cov | 3600 | 5484 | covered |
filter_a_mask_write_access_cov | Open collapsed tests | .filter_a_mask_write_access_cov | 3603 | 191 | covered |
filter_a_mask_read_access_cov | Open collapsed tests | .filter_a_mask_read_access_cov | 3606 | 2 | covered |
filter_a_val_write_access_cov | Open collapsed tests | .filter_a_val_write_access_cov | 3609 | 191 | covered |
filter_a_val_read_access_cov | Open collapsed tests | .filter_a_val_read_access_cov | 3612 | 2 | covered |
filter_b_mask_write_access_cov | Open collapsed tests | .filter_b_mask_write_access_cov | 3615 | 190 | covered |
filter_b_mask_read_access_cov | Open collapsed tests | .filter_b_mask_read_access_cov | 3618 | 2 | covered |
filter_b_val_write_access_cov | Open collapsed tests | .filter_b_val_write_access_cov | 3621 | 190 | covered |
filter_b_val_read_access_cov | Open collapsed tests | .filter_b_val_read_access_cov | 3624 | 2 | covered |
filter_c_mask_write_access_cov | Open collapsed tests | .filter_c_mask_write_access_cov | 3627 | 190 | covered |
filter_c_mask_read_access_cov | Open collapsed tests | .filter_c_mask_read_access_cov | 3630 | 2 | covered |
filter_c_val_write_access_cov | Open collapsed tests | .filter_c_val_write_access_cov | 3633 | 190 | covered |
filter_c_val_read_access_cov | Open collapsed tests | .filter_c_val_read_access_cov | 3636 | 2 | covered |
filter_ran_low_write_access_cov | Open collapsed tests | .filter_ran_low_write_access_cov | 3639 | 19 | covered |
filter_ran_low_read_access_cov | Open collapsed tests | .filter_ran_low_read_access_cov | 3642 | 2 | covered |
filter_ran_high_write_access_cov | Open collapsed tests | .filter_ran_high_write_access_cov | 3645 | 19 | covered |
filter_ran_high_read_access_cov | Open collapsed tests | .filter_ran_high_read_access_cov | 3648 | 2 | covered |
filter_control_write_access_cov | Open collapsed tests | .filter_control_write_access_cov | 3651 | 587 | covered |
filter_control_read_access_cov | Open collapsed tests | .filter_control_read_access_cov | 3654 | 588 | covered |
filter_status_read_access_cov | Open collapsed tests | .filter_status_read_access_cov | 3657 | 587 | covered |
rx_mem_info_read_access_cov | Open collapsed tests | .rx_mem_info_read_access_cov | 3660 | 2455 | covered |
rx_pointers_read_access_cov | Open collapsed tests | .rx_pointers_read_access_cov | 3663 | 2455 | covered |
rx_status_read_access_cov | Open collapsed tests | .rx_status_read_access_cov | 3666 | 2586 | covered |
rx_settings_write_access_cov | Open collapsed tests | .rx_settings_write_access_cov | 3669 | 3 | covered |
rx_settings_read_access_cov | Open collapsed tests | .rx_settings_read_access_cov | 3672 | 2587 | covered |
rx_data_read_access_cov | Open collapsed tests | .rx_data_read_access_cov | 3675 | 19829 | covered |
tx_status_read_access_cov | Open collapsed tests | .tx_status_read_access_cov | 3678 | 4932 | covered |
tx_command_write_access_cov | Open collapsed tests | .tx_command_write_access_cov | 3681 | 6736 | covered |
txtb_info_read_access_cov | Open collapsed tests | .txtb_info_read_access_cov | 3684 | 1693 | covered |
tx_priority_write_access_cov | Open collapsed tests | .tx_priority_write_access_cov | 3687 | 1375 | covered |
tx_priority_read_access_cov | Open collapsed tests | .tx_priority_read_access_cov | 3690 | 1376 | covered |
err_capt_read_access_cov | Open collapsed tests | .err_capt_read_access_cov | 3693 | 223 | covered |
retr_ctr_read_access_cov | Open collapsed tests | .retr_ctr_read_access_cov | 3696 | 17 | covered |
alc_read_access_cov | Open collapsed tests | .alc_read_access_cov | 3699 | 66 | covered |
ts_info_read_access_cov | Open collapsed tests | .ts_info_read_access_cov | 3702 | 1 | covered |
trv_delay_read_access_cov | Open collapsed tests | .trv_delay_read_access_cov | 3705 | 6 | covered |
ssp_cfg_write_access_cov | Open collapsed tests | .ssp_cfg_write_access_cov | 3708 | 236 | covered |
ssp_cfg_read_access_cov | Open collapsed tests | .ssp_cfg_read_access_cov | 3711 | 10 | covered |
rx_fr_ctr_read_access_cov | Open collapsed tests | .rx_fr_ctr_read_access_cov | 3714 | 232 | covered |
tx_fr_ctr_read_access_cov | Open collapsed tests | .tx_fr_ctr_read_access_cov | 3717 | 232 | covered |
debug_register_read_access_cov | Open collapsed tests | .debug_register_read_access_cov | 3720 | 8069195 | covered |
yolo_reg_read_access_cov | Open collapsed tests | .yolo_reg_read_access_cov | 3723 | 8 | covered |
timestamp_low_read_access_cov | Open collapsed tests | .timestamp_low_read_access_cov | 3726 | 766 | covered |
timestamp_high_read_access_cov | Open collapsed tests | .timestamp_high_read_access_cov | 3729 | 766 | covered |
PSL Point Name | Test name | Full Path Name | Line | Count | Status |
---|