From 69efb1867ed1f9c0e1f78bac2192adb4175ca6ca Mon Sep 17 00:00:00 2001 From: Jean THOMAS Date: Thu, 9 Jul 2020 14:24:25 +0200 Subject: [PATCH] Fix syntax in FakePHY assertions --- gram/phy/fakephy.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 2.30.2