back.rtlil: Generate RTLIL for Assert/Assume statements.
authorWilliam D. Jones <thor0505@comcast.net>
Tue, 1 Jan 2019 06:31:54 +0000 (01:31 -0500)
committerwhitequark <whitequark@whitequark.org>
Wed, 2 Jan 2019 11:17:39 +0000 (11:17 +0000)
commitf31055a4efd4698af0728cca715d15b0b11737f6
tree91b0b174e2b982af66e32e0ca9184ce926ac3c91
parentf77dc40256fff335d556d0702adcea054a9935ca
back.rtlil: Generate RTLIL for Assert/Assume statements.
nmigen/back/rtlil.py