Skip to content

Commit e4ff73f

Browse files
Update cv32e40x_controller_fsm.sv
1 parent b1ff627 commit e4ff73f

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

rtl/cv32e40x_controller_fsm.sv

+1-1
Original file line numberDiff line numberDiff line change
@@ -314,7 +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;
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.
318318

319319
// EX stage
320320
// Branch taken for valid branch instructions in EX with valid decision

0 commit comments

Comments
 (0)