From 78eb01c7975488c9297d2525e55731a49cb9307c Mon Sep 17 00:00:00 2001 From: Jean THOMAS Date: Wed, 15 Jul 2020 18:09:08 +0200 Subject: [PATCH] Write logic equivalences in a clearer way --- gram/core/multiplexer.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2