From 9fca5934aafaf48ca6f7b13fc763146c95100051 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 13 Sep 2017 18:44:57 +0200 Subject: Add rvfi_halt and rvfi_intr to picorv32_axi and picorv32_wb --- picorv32.v | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'picorv32.v') diff --git a/picorv32.v b/picorv32.v index 90aaa80..dee38e4 100644 --- a/picorv32.v +++ b/picorv32.v @@ -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), -- cgit