mirror of
https://github.com/lowRISC/ibex.git
synced 2025-04-21 20:37:12 -04:00
Previously any changes in interrupt state or debug requests were strictly associated with retired instructions. This causes cosim mismatches where a lower priority interrupt occurs in time before a higher priority interrupt or debug request but between instruction fetches/retirements so both the low and high priority interrupts are signalled with the instruction retirement. This introduces a way for the RVFI to signal an interrupt has occurred that isn't associated with an instruction retirement to allow the cosim to see the seperation in time between different interrupts and debug requests and hence model behaviour correctly. |
||
---|---|---|
.. | ||
core_ibex_csr_if.sv | ||
core_ibex_dut_probe_if.sv | ||
core_ibex_env.sv | ||
core_ibex_env_cfg.sv | ||
core_ibex_env_pkg.sv | ||
core_ibex_instr_monitor_if.sv | ||
core_ibex_rvfi_if.sv | ||
core_ibex_scoreboard.sv | ||
core_ibex_vseqr.sv |