From: Jean THOMAS Date: Thu, 9 Jul 2020 13:04:17 +0000 (+0200) Subject: Comment buggy assertions X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c3a3281ee3bef61f4756448ed28a25b195f92065;p=gram.git Comment buggy assertions --- diff --git a/gram/phy/fakephy.py b/gram/phy/fakephy.py index d717c17..274843c 100644 --- a/gram/phy/fakephy.py +++ b/gram/phy/fakephy.py @@ -342,11 +342,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(~(cmd_recv & (ps < (act_ps[act_curr] + int(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] + int(self.timings["tFAW"]))))) # Save ACT timestamp in a circular buffer with m.If(cmd_recv):