diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-11-24 15:23:33 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-11-24 15:23:33 +0100 |
| commit | fd38f876e1371501d0bd093b9351629d29bacaa5 (patch) | |
| tree | 4796764727805f6e6e968aea5a3fa0c667f4e6f3 /picorv32.v | |
| parent | 117586ff199608e83aad73c1f0657fbe8584a9d3 (diff) | |
| download | picorv32-fd38f876e1371501d0bd093b9351629d29bacaa5.tar.gz picorv32-fd38f876e1371501d0bd093b9351629d29bacaa5.zip | |
Minor RVFI bugfix
Diffstat (limited to 'picorv32.v')
| -rw-r--r-- | picorv32.v | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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; |