Skip to content

Commit 5ffc276

Browse files
Merge pull request #822 from silabs-oysteink/silabs-oysteink_todo-fix-4
Removed todo from controller_fsm.
2 parents 3dc9e5f + e4ff73f commit 5ffc276

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

rtl/cv32e40x_controller_fsm.sv

+1-2
Original file line numberDiff line numberDiff line change
@@ -314,8 +314,7 @@ module cv32e40x_controller_fsm import cv32e40x_pkg::*;
314314
// Detect mret pointers in ID
315315
assign mret_ptr_in_id = if_id_pipe_i.instr_valid && if_id_pipe_i.instr_meta.mret_ptr;
316316

317-
// 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?
317+
// 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.
319318

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

0 commit comments

Comments
 (0)