amaranth/nmigen/asserts.py

from .hdl.ast import AnyConst, AnySeq, Assert, Assume
from .hdl.ast import Past, Stable, Rose, Fell, Initial
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`
hdl.ast: implement Initial. This is the last remaining part for first-class formal support. 2019-08-14 20:53:07 -06:00			`from .hdl.ast import Past, Stable, Rose, Fell, Initial`