Skip to content

Commit b1ff627

Browse files
Removed todo from controller_fsm.
" // todo: Do we need a similar stability check for branches?". Existing assertion "a_bch_target_stable" within cv32e40x_ex_stage_sva checks this. Signed-off-by: Oystein Knauserud <[email protected]>
1 parent 5d83732 commit b1ff627

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

rtl/cv32e40x_controller_fsm.sv

-1
Original file line numberDiff line numberDiff line change
@@ -315,7 +315,6 @@ module cv32e40x_controller_fsm import cv32e40x_pkg::*;
315315
assign mret_ptr_in_id = if_id_pipe_i.instr_valid && if_id_pipe_i.instr_meta.mret_ptr;
316316

317317
// Note: RVFI does not use jump_taken_id (which is not in itself an issue); An assertion in id_stage_sva checks that the jump target remains stable;
318-
// todo: Do we need a similar stability check for branches?
319318

320319
// EX stage
321320
// Branch taken for valid branch instructions in EX with valid decision

0 commit comments

Comments
 (0)