amaranth/nmigen/formal.py

from .hdl.ast import AnyConst, AnySeq, Assert, Assume
from .hdl.ast import Past, Stable, Rose, Fell
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. 2019-01-16 18:43:07 -07:00			`from .hdl.ast import AnyConst, AnySeq, Assert, Assume`
Clean up imports. This commit: * moves lists of universally useful imports from `nmigen` to `nmigen.hdl` and `nmigen.lib`, reimporting them in `nmigen`; * replaces lots of imports from individual parts of `nmigen.hdl` with a star import from `nmigen.hdl`; * replaces imports in tests with what we expect downstream code to use; * adds some missing imports in `nmigen.formal`. 2019-06-04 02:18:50 -06:00			`from .hdl.ast import Past, Stable, Rose, Fell`