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

[cov] Add illegal bin for misaligned data accesses

Browse source
This commit is contained in:
Greg Chadwick 2022-10-29 10:38:27 +01:00 • committed by Greg Chadwick
parent ad584baa9a
commit cb01156154
1 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
dv/uvm/core_ibex/fcov/core_ibex_fcov_if.sv
View file

@ -565,7 +565,12 @@ interface core_ibex_fcov_if import ibex_pkg::*; (
(load_store_unit_i.fcov_mis_rvalid_2);
misaligned_data_bus_err_cross: cross cp_misaligned_first_data_bus_err,
cp_misaligned_second_data_bus_err;
cp_misaligned_second_data_bus_err {
// Cannot see both bus errors together as they're signalled at different states of the load
// store unit FSM
illegal_bins illegal = binsof(cp_misaligned_first_data_bus_err) intersect {1'b1} &&
binsof(cp_misaligned_second_data_bus_err) intersect {1'b1};
}
misaligned_insn_bus_err_cross: cross id_stage_i.instr_fetch_err_i,
id_stage_i.instr_fetch_err_plus2_i;