From e106d5c16186ec46b5121a592b721fcd8da45aab Mon Sep 17 00:00:00 2001
From: KrystalDelusion <krystinedawn@yosyshq.com>
Date: Wed, 27 Apr 2022 09:36:44 +1200
Subject: [PATCH] Adjusting assumptions

---
 docs/examples/fifo/top.sv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/examples/fifo/top.sv b/docs/examples/fifo/top.sv
index 07f4004..5e06692 100644
--- a/docs/examples/fifo/top.sv
+++ b/docs/examples/fifo/top.sv
@@ -128,9 +128,9 @@ module fifo (
 
     // assumptions
     always @(posedge clk or negedge rst_n) begin
-        // when writing the write data will change (so that we can line up reads with writes)
+        // data will change when writing (and only when writing) so we can line up reads with writes
         assume property (wen |=> wdata != $past(wdata));
-        assume (wdata);
+        assume property (!wen |=> wdata == $past(wdata));
     end
 `endif