github-mirrors/ibex
1
0
Fork 0
mirror of https://github.com/lowRISC/ibex.git synced 2025-04-20 03:47:15 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

[dv] Fix exception_stall_instr_cross illegal bins

Browse source
This commit is contained in:
Greg Chadwick 2024-06-26 17:20:22 +02:00
parent 2c132113c0
commit 89f4d86719
1 changed files with 5 additions and 2 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

@ -758,9 +758,12 @@ interface core_ibex_fcov_if import ibex_pkg::*; (
binsof(cp_stall_type_id) intersect {IdStallTypeLdHz});
// Cannot have a memory stall when we see an LS exception unless it is a load or store
// instruction
// instruction or a fetch error (the raw instruction decode can still indicate a load or store
// which produces a stall, though won't cause any load or store to occur due to the fetch
// error).
illegal_bins mem_stall_illegal =
(!binsof(cp_id_instr_category) intersect {InstrCategoryLoad, InstrCategoryStore} &&
(!binsof(cp_id_instr_category) intersect {InstrCategoryLoad, InstrCategoryStore,
InstrCategoryFetchError} &&
binsof(cp_stall_type_id) intersect {IdStallTypeMem}) with
(cp_ls_pmp_exception == 1'b1 || cp_ls_error_exception == 1'b1);