diff options
Diffstat (limited to 'picorv32.v')
-rw-r--r-- | picorv32.v | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -107,7 +107,7 @@ module picorv32 #( output reg [4:0] rvfi_rs1, output reg [4:0] rvfi_rs2, output reg [4:0] rvfi_rd, - output reg [31:0] rvfi_opcode, + output reg [31:0] rvfi_insn, output reg [31:0] rvfi_pre_pc, output reg [31:0] rvfi_pre_rs1, output reg [31:0] rvfi_pre_rs2, @@ -1862,7 +1862,7 @@ module picorv32 #( `ifdef RISCV_FORMAL always @(posedge clk) begin rvfi_valid <= resetn && launch_next_insn && dbg_valid_insn; - rvfi_opcode <= dbg_insn_opcode; + rvfi_insn <= dbg_insn_opcode; rvfi_rs1 <= dbg_rs1val_valid ? dbg_insn_rs1 : 0; rvfi_rs2 <= dbg_rs2val_valid ? dbg_insn_rs2 : 0; rvfi_pre_pc <= dbg_insn_addr; |