From fd38f876e1371501d0bd093b9351629d29bacaa5 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 24 Nov 2016 15:23:33 +0100 Subject: [PATCH] Minor RVFI bugfix --- picorv32.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/picorv32.v b/picorv32.v index 0c2d5d8..7b21986 100644 --- a/picorv32.v +++ b/picorv32.v @@ -1861,7 +1861,7 @@ module picorv32 #( `ifdef RISCV_FORMAL always @(posedge clk) begin - rvfi_valid <= launch_next_insn && dbg_valid_insn; + rvfi_valid <= resetn && launch_next_insn && dbg_valid_insn; rvfi_opcode <= dbg_insn_opcode; rvfi_rs1 <= dbg_rs1val_valid ? dbg_insn_rs1 : 0; rvfi_rs2 <= dbg_rs1val_valid ? dbg_insn_rs2 : 0;