github-mirrors/ibex
1
0
Fork 0
mirror of https://github.com/lowRISC/ibex.git synced 2025-04-22 12:57:13 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

[pmp] Remove off mode from pmp_*_mode_cross coverpoints

Browse source
This commit is contained in:
Marno van der Maas 2022-09-27 11:36:50 +01:00 • committed by Marno van der Maas
parent 1313104bad
commit 3943a4eca3
1 changed files with 9 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

12
dv/uvm/core_ibex/fcov/core_ibex_pmp_fcov_if.sv
View file

@ -192,13 +192,19 @@ interface core_ibex_pmp_fcov_if import ibex_pkg::*; #(
// Wildcards in crosses are not supported by VCS. As a workaround we are using `with`
// keyword and basic logic expressions to constraint the condition as appropriate.
pmp_iside_mode_cross : cross cp_region_mode, pmp_iside_req_err
iff (g_pmp_fcov_signals.g_pmp_region_fcov[i_region].fcov_pmp_region_ichan_access);
iff (g_pmp_fcov_signals.g_pmp_region_fcov[i_region].fcov_pmp_region_ichan_access) {
illegal_bins illegal_off_mode_match = binsof(cp_region_mode) intersect {PMP_MODE_OFF};
}
pmp_iside2_mode_cross : cross cp_region_mode, pmp_iside2_req_err
iff (g_pmp_fcov_signals.g_pmp_region_fcov[i_region].fcov_pmp_region_ichan2_access);
iff (g_pmp_fcov_signals.g_pmp_region_fcov[i_region].fcov_pmp_region_ichan2_access) {
illegal_bins illegal_off_mode_match = binsof(cp_region_mode) intersect {PMP_MODE_OFF};
}
pmp_dside_mode_cross : cross cp_region_mode, pmp_dside_req_err
iff (g_pmp_fcov_signals.g_pmp_region_fcov[i_region].fcov_pmp_region_dchan_access);
iff (g_pmp_fcov_signals.g_pmp_region_fcov[i_region].fcov_pmp_region_dchan_access) {
illegal_bins illegal_off_mode_match = binsof(cp_region_mode) intersect {PMP_MODE_OFF};
}
pmp_iside_priv_bits_cross :
cross cp_region_priv_bits, cp_req_type_iside, cp_priv_lvl_iside, pmp_iside_req_err