From 17c7da49f48a68cd4197e4580ec0b2954d510b6c Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Mon, 28 Nov 2016 14:56:29 +0100 Subject: Renamed rvfi_opcode to rvfi_insn --- picorv32.v | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'picorv32.v') diff --git a/picorv32.v b/picorv32.v index b95f561..e7036e1 100644 --- a/picorv32.v +++ b/picorv32.v @@ -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; -- cgit