From: Jean THOMAS <git0@pub.jeanthomas.me>
Date: Wed, 15 Jul 2020 16:09:08 +0000 (+0200)
Subject: Write logic equivalences in a clearer way
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=78eb01c7975488c9297d2525e55731a49cb9307c;p=gram.git

Write logic equivalences in a clearer way
---

diff --git a/gram/core/multiplexer.py b/gram/core/multiplexer.py
index 9730eca..cc61d09 100644
--- a/gram/core/multiplexer.py
+++ b/gram/core/multiplexer.py
@@ -234,7 +234,7 @@ class _AntiStarvation(Elaboratable):
             m.d.comb += self.max_time.eq(0)
 
         if platform == "formal" and self._timeout > 0:
-            m.d.comb += Assert(~(self.max_time ^ (time == 0)))
+            m.d.comb += Assert(self.max_time == (time == 0))
 
         return m