hdl.ast: implement Initial.
authorwhitequark <whitequark@whitequark.org>
Thu, 15 Aug 2019 02:53:07 +0000 (02:53 +0000)
committerwhitequark <whitequark@whitequark.org>
Thu, 15 Aug 2019 02:53:07 +0000 (02:53 +0000)
commited7e07c6c1c3f2acd8b08dcb36403ed7807d43c2
tree6a5cd714eb44c0f95845b882bb58e5566255512f
parent40abaef85816f9702d92a5369ff1f2627820b8ad
hdl.ast: implement Initial.

This is the last remaining part for first-class formal support.
nmigen/back/pysim.py
nmigen/back/rtlil.py
nmigen/formal.py
nmigen/hdl/ast.py
nmigen/hdl/xfrm.py
nmigen/lib/fifo.py
nmigen/test/test_hdl_ast.py
nmigen/test/test_lib_fifo.py