usb-tools/amaranth
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

formal: extract from toplevel module.

Browse source 
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.
This commit is contained in:
whitequark 2019-01-17 01:43:07 +00:00
parent 198efcad31
commit 16f90d3585
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
nmigen/__init__.py
View file

@ -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

1
nmigen/formal.py Normal file
View file

@ -0,0 +1 @@
from .hdl.ast import AnyConst, AnySeq, Assert, Assume