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

2 lines
54 B
Python
Raw Normal View History

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
Reference in a new issue Copy permalink