formal→asserts

Closes #171.
m-labs · Aug 19, 2019 · 32bfbb1 · 32bfbb1
1 parent 2770db6
commit 32bfbb1
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 4 deletions.
diff --git a/nmigen/formal.py → nmigen/asserts.py b/nmigen/formal.py → nmigen/asserts.py
diff --git a/nmigen/hdl/ast.py b/nmigen/hdl/ast.py
@@ -993,7 +993,7 @@ def Fell(expr, clocks=0, domain=None):
 
 @final
 class Initial(Value):
-    """Start indicator, for formal verification.
+    """Start indicator, for model checking.
 
     An ``Initial`` signal is ``1`` at the first cycle of model checking, and ``0`` at any other.
     """

diff --git a/nmigen/lib/fifo.py b/nmigen/lib/fifo.py
@@ -1,7 +1,7 @@
 """First-in first-out queues."""
 
 from .. import *
-from ..formal import *
+from ..asserts import *
 from ..tools import log2_int
 from .coding import GrayEncoder
 

diff --git a/nmigen/test/test_lib_coding.py b/nmigen/test/test_lib_coding.py
@@ -1,6 +1,6 @@
 from .tools import *
 from ..hdl import *
-from ..formal import *
+from ..asserts import *
 from ..back.pysim import *
 from ..lib.coding import *
 

diff --git a/nmigen/test/test_lib_fifo.py b/nmigen/test/test_lib_fifo.py
@@ -1,6 +1,6 @@
 from .tools import *
 from ..hdl import *
-from ..formal import *
+from ..asserts import *
 from ..back.pysim import *
 from ..lib.fifo import *