From: Jean THOMAS <git0@pub.jeanthomas.me>
Date: Thu, 9 Jul 2020 12:24:25 +0000 (+0200)
Subject: Fix syntax in FakePHY assertions
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=69efb1867ed1f9c0e1f78bac2192adb4175ca6ca;p=gram.git

Fix syntax in FakePHY assertions
---

diff --git a/gram/phy/fakephy.py b/gram/phy/fakephy.py
index 9e389f0..fb9e0f9 100644
--- a/gram/phy/fakephy.py
+++ b/gram/phy/fakephy.py
@@ -341,11 +341,11 @@ class DFITimingsChecker(Elaboratable):
 
                         # act_curr points to newest ACT timestamp
                         #Display("[%016dps] tRRD violation on bank %0d", ps, i)
-                        m.d.sync += Assert(!(md_recv & (ps < (act_ps[act_curr] + self.timings["tRRD"]))))
+                        m.d.sync += Assert(~(md_recv & (ps < (act_ps[act_curr] + self.timings["tRRD"]))))
 
                         # act_next points to the oldest ACT timestamp
                         #Display("[%016dps] tFAW violation on bank %0d", ps, i)
-                        m.d.sync += Assert(!(cmd_recv & (ps < (act_ps[act_next] + self.timings["tFAW"]))))
+                        m.d.sync += Assert(~(cmd_recv & (ps < (act_ps[act_next] + self.timings["tFAW"]))))
 
                         # Save ACT timestamp in a circular buffer
                         with m.If(cmd_recv):
@@ -376,7 +376,7 @@ class DFITimingsChecker(Elaboratable):
             ]
 
         #Display("[%016dps] tREFI violation (64ms period): %0d", ps, ref_ps_diff)
-        m.d.sync += Assert(!((ref_ps_mod == 0) & (ref_ps_diff > 0)))
+        m.d.sync += Assert(~((ref_ps_mod == 0) & (ref_ps_diff > 0)))
 
         # Report any refresh periods longer than tREFI
         # TODO: find a way to bring back logging