From c5c4bb61be3c9ca6a939638f1257a098ba6b2c60 Mon Sep 17 00:00:00 2001 From: whitequark Date: Thu, 17 Jan 2019 01:43:07 +0000 Subject: [PATCH] formal: extract from toplevel module. The nMigen formal language is about to get *much* larger and will keep growing faster than the rest of nMigen language, so it makes good sense to extract it. Further, this makes it easier to qualify formal keywords like `formal.AnyConst()` without directly importing hdl.ast. --- nmigen/__init__.py | 2 +- nmigen/formal.py | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 nmigen/formal.py diff --git a/nmigen/__init__.py b/nmigen/__init__.py index 473e8de..88596a5 100644 --- a/nmigen/__init__.py +++ b/nmigen/__init__.py @@ -1,4 +1,4 @@ -from .hdl.ast import Value, Const, C, AnyConst, AnySeq, Mux, Cat, Repl, Array, Signal, ClockSignal, ResetSignal, Assert, Assume +from .hdl.ast import Value, Const, C, Mux, Cat, Repl, Array, Signal, ClockSignal, ResetSignal from .hdl.dsl import Module from .hdl.cd import ClockDomain from .hdl.ir import Fragment, Instance diff --git a/nmigen/formal.py b/nmigen/formal.py new file mode 100644 index 0000000..3d97b33 --- /dev/null +++ b/nmigen/formal.py @@ -0,0 +1 @@ +from .hdl.ast import AnyConst, AnySeq, Assert, Assume -- 2.30.2