diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-09-13 18:44:57 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-09-13 18:44:57 +0200 |
| commit | 9fca5934aafaf48ca6f7b13fc763146c95100051 (patch) | |
| tree | 713944a560a6ef66e4033299a31fb5cc139dc701 /picorv32.v | |
| parent | 13f93b70009fac1131205477064c36ae54dff1f6 (diff) | |
| download | picorv32-9fca5934aafaf48ca6f7b13fc763146c95100051.tar.gz picorv32-9fca5934aafaf48ca6f7b13fc763146c95100051.zip | |
Add rvfi_halt and rvfi_intr to picorv32_axi and picorv32_wb
Diffstat (limited to 'picorv32.v')
| -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), |