Comment buggy assertions
authorJean THOMAS <git0@pub.jeanthomas.me>
Thu, 9 Jul 2020 13:04:17 +0000 (15:04 +0200)
committerJean THOMAS <git0@pub.jeanthomas.me>
Thu, 9 Jul 2020 13:04:17 +0000 (15:04 +0200)
gram/phy/fakephy.py

index d717c17a38fcf9683dc65ca38a5e2a25077fcf99..274843c61d7960a1ae6e34a16c906805eb8367d2 100644 (file)
@@ -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):