From 37140e7e818bc2df8c61458df8a9ba351beb7bfa Mon Sep 17 00:00:00 2001
From: KrystalDelusion <krystinedawn@yosyshq.com>
Date: Wed, 7 Sep 2022 09:52:52 +1200
Subject: [PATCH] Fixing golden/fifo.sv

Had missed a change from (non golden) fifo.sv.
---
 docs/examples/fifo/{skip_fifo.sby => fifo.sby}        | 0
 docs/examples/fifo/golden/{skip_fifo.sby => fifo.sby} | 0
 docs/examples/fifo/golden/fifo.sv                     | 1 +
 3 files changed, 1 insertion(+)
 rename docs/examples/fifo/{skip_fifo.sby => fifo.sby} (100%)
 rename docs/examples/fifo/golden/{skip_fifo.sby => fifo.sby} (100%)

diff --git a/docs/examples/fifo/skip_fifo.sby b/docs/examples/fifo/fifo.sby
similarity index 100%
rename from docs/examples/fifo/skip_fifo.sby
rename to docs/examples/fifo/fifo.sby
diff --git a/docs/examples/fifo/golden/skip_fifo.sby b/docs/examples/fifo/golden/fifo.sby
similarity index 100%
rename from docs/examples/fifo/golden/skip_fifo.sby
rename to docs/examples/fifo/golden/fifo.sby
diff --git a/docs/examples/fifo/golden/fifo.sv b/docs/examples/fifo/golden/fifo.sv
index 1d44dae..d5ceadc 100644
--- a/docs/examples/fifo/golden/fifo.sv
+++ b/docs/examples/fifo/golden/fifo.sv
@@ -161,6 +161,7 @@ module fifo
 
     // look for an overfill where the value in memory changes
     // the change in data makes certain that the value is overriden
+    let d_change = (wdata != rdata);
     property read_skip;
         @(posedge clk) disable iff (rst) 
         !ren && d_change |=> $changed(raddr);