github-mirrors/cve2
1
0
Fork 0
mirror of https://github.com/openhwgroup/cve2.git synced 2025-04-22 13:07:46 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

[rtl] Remove unused transition in ibex_controller FSM (#98)

Browse source 
When in the FLUSH state we cannot have `csr_pipe_flush` set as it
depends upon `instr_executing` being set (within `ibex_id_stage`) and
that is only set in the DECODE stage.

Co-authored-by: Greg Chadwick <gac@lowrisc.org>
This commit is contained in:
christian-herber-nxp 2023-03-03 17:06:24 +01:00 • committed by GitHub
parent 91eb8564de
commit f6268d4eb9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

1
doc/03_reference/coverage_plan.rst
View file

@ -185,7 +185,6 @@ Each pipeline stage has some associated state.
* ``FLUSH`` -> ``DECODE`` *
* ``FLUSH`` -> ``DBG_TAKEN_ID``
* ``FLUSH`` -> ``WAIT_SLEEP``
* ``FLUSH`` -> ``IRQ_TAKEN`` *
* ``FLUSH`` -> ``DBG_TAKEN_IF`` *
* ``WAIT_SLEEP`` -> ``SLEEP``
* ``SLEEP`` -> ``FIRST_FETCH``

3
rtl/cve2_controller.sv
View file

@ -738,9 +738,6 @@ module cve2_controller #(
csr_restore_dret_id_o = 1'b1;
end else if (wfi_insn) begin
ctrl_fsm_ns = WAIT_SLEEP;
end else if (csr_pipe_flush && handle_irq) begin
// start handling IRQs when doing CSR-related pipeline flushes
ctrl_fsm_ns = IRQ_TAKEN;
end
end // exc_req_q