From e93fd0d30ebe3789e050ebec459e7457991a2b01 Mon Sep 17 00:00:00 2001
From: Olof Kindgren <olof.kindgren@gmail.com>
Date: Wed, 4 Dec 2019 23:42:40 +0100
Subject: [PATCH] Fix compile errors with RISCV_FORMAL

---
 rtl/serv_top.v | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/rtl/serv_top.v b/rtl/serv_top.v
index 489ef6d..fe9bfe1 100644
--- a/rtl/serv_top.v
+++ b/rtl/serv_top.v
@@ -422,8 +422,8 @@ module serv_top
       rvfi_order <= rvfi_order + {63'd0,rvfi_valid};
       if (o_ibus_cyc & i_ibus_ack)
 	rvfi_insn <= i_ibus_rdt;
-      if (wen0)
-        rvfi_rd_wdata <= {wdata0,rvfi_rd_wdata[31:1]};
+      if (o_wen0)
+        rvfi_rd_wdata <= {o_wdata0,rvfi_rd_wdata[31:1]};
       if (cnt_done & ctrl_pc_en) begin
          rvfi_pc_rdata <= pc;
 	 if (!rd_en)
@@ -441,7 +441,7 @@ module serv_top
       rvfi_intr <= 1'b0;
       rvfi_mode <= 2'd3;
       rvfi_ixl = 2'd1;
-      if (rf_ready) begin
+      if (i_rf_ready) begin
 	 rvfi_rs1_addr <= rs1_addr;
          rvfi_rs2_addr <= rs2_addr;
 	 rvfi_rd_addr  <= rd_addr;