From 32bfbb11cbe9721674082b600eb10ca8656c0178 Mon Sep 17 00:00:00 2001 From: whitequark Date: Mon, 19 Aug 2019 20:23:24 +0000 Subject: [PATCH] =?utf8?q?formal=E2=86=92asserts?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Closes #171. --- nmigen/{formal.py => asserts.py} | 0 nmigen/hdl/ast.py | 2 +- nmigen/lib/fifo.py | 2 +- nmigen/test/test_lib_coding.py | 2 +- nmigen/test/test_lib_fifo.py | 2 +- 5 files changed, 4 insertions(+), 4 deletions(-) rename nmigen/{formal.py => asserts.py} (100%) diff --git a/nmigen/formal.py b/nmigen/asserts.py similarity index 100% rename from nmigen/formal.py rename to nmigen/asserts.py diff --git a/nmigen/hdl/ast.py b/nmigen/hdl/ast.py index 757f526..c5376d0 100644 --- 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 index c59a040..2808e54 100644 --- 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 index 4cdd83f..6052c9a 100644 --- 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 index 9176037..9d136c8 100644 --- 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 * -- 2.30.2