diff options
author | Clifford Wolf <clifford@clifford.at> | 2016-11-28 14:56:29 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2016-11-28 14:56:29 +0100 |
commit | 17c7da49f48a68cd4197e4580ec0b2954d510b6c (patch) | |
tree | 603bdb97f2507d3d6c3a88754b4dc12f743f4174 /picorv32.v | |
parent | 7fc2cbd72a63228e85a002aac80104febf8b41ba (diff) | |
download | picorv32-17c7da49f48a68cd4197e4580ec0b2954d510b6c.tar.gz picorv32-17c7da49f48a68cd4197e4580ec0b2954d510b6c.zip |
Renamed rvfi_opcode to rvfi_insn
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; |