diff options
| -rw-r--r-- | picorv32.v | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -2395,6 +2395,8 @@ module picorv32_axi #( output [63:0] rvfi_order, output [31:0] rvfi_insn, output rvfi_trap, + output rvfi_halt, + output rvfi_intr, output [ 4:0] rvfi_rs1_addr, output [ 4:0] rvfi_rs2_addr, output [31:0] rvfi_rs1_rdata, @@ -2507,6 +2509,8 @@ module picorv32_axi #( .rvfi_order (rvfi_order ), .rvfi_insn (rvfi_insn ), .rvfi_trap (rvfi_trap ), + .rvfi_halt (rvfi_halt ), + .rvfi_intr (rvfi_intr ), .rvfi_rs1_addr (rvfi_rs1_addr ), .rvfi_rs2_addr (rvfi_rs2_addr ), .rvfi_rs1_rdata(rvfi_rs1_rdata), @@ -2677,6 +2681,8 @@ module picorv32_wb #( output [63:0] rvfi_order, output [31:0] rvfi_insn, output rvfi_trap, + output rvfi_halt, + output rvfi_intr, output [ 4:0] rvfi_rs1_addr, output [ 4:0] rvfi_rs2_addr, output [31:0] rvfi_rs1_rdata, @@ -2767,6 +2773,8 @@ module picorv32_wb #( .rvfi_order (rvfi_order ), .rvfi_insn (rvfi_insn ), .rvfi_trap (rvfi_trap ), + .rvfi_halt (rvfi_halt ), + .rvfi_intr (rvfi_intr ), .rvfi_rs1_addr (rvfi_rs1_addr ), .rvfi_rs2_addr (rvfi_rs2_addr ), .rvfi_rs1_rdata(rvfi_rs1_rdata), |