From: whitequark <cz@m-labs.hk>
Date: Sat, 19 Jan 2019 08:56:44 +0000 (+0000)
Subject: hdl.ast: add Value.implies.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4f4dd105ad81c05c0316f486902cdb7e7e4f4656;p=nmigen.git

hdl.ast: add Value.implies.
---

diff --git a/nmigen/hdl/ast.py b/nmigen/hdl/ast.py
index bd66d45..b330cb3 100644
--- a/nmigen/hdl/ast.py
+++ b/nmigen/hdl/ast.py
@@ -134,6 +134,16 @@ class Value(metaclass=ABCMeta):
         """
         return Operator("b", [self])
 
+    def implies(premise, conclusion):
+        """Implication.
+
+        Returns
+        -------
+        Value, out
+            ``0`` if ``premise`` is true and ``conclusion`` is not, ``1`` otherwise.
+        """
+        return ~premise | conclusion
+
     def part(self, offset, width):
         """Indexed part-select.