From 286a07bfc8a2fd359729ce33e9f7020013e26618 Mon Sep 17 00:00:00 2001
From: Olof Kindgren <olof.kindgren@gmail.com>
Date: Mon, 26 Aug 2019 23:02:41 +0200
Subject: [PATCH] Mask rvfi_valid during reset release

---
 rtl/serv_top.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rtl/serv_top.v b/rtl/serv_top.v
index 05df976..88c6ff5 100644
--- a/rtl/serv_top.v
+++ b/rtl/serv_top.v
@@ -352,7 +352,7 @@ module serv_top
    reg [31:0] 	 pc = RESET_PC;
 
    always @(posedge clk) begin
-      rvfi_valid <= cnt_done & ctrl_pc_en;
+      rvfi_valid <= cnt_done & ctrl_pc_en & !i_rst;
       rvfi_order <= rvfi_order + {63'd0,rvfi_valid};
       if (o_ibus_cyc & i_ibus_ack)
 	rvfi_insn <= i_ibus_rdt;