amaranth/nmigen/asserts.py
whitequark 32bfbb11cb formal→asserts
Closes #171.
2019-08-19 20:23:24 +00:00

3 lines
109 B
Python

from .hdl.ast import AnyConst, AnySeq, Assert, Assume
from .hdl.ast import Past, Stable, Rose, Fell, Initial