3 commits

Author	SHA1	Message	Date
whitequark	909a3b8be7	Rename nMigen to Amaranth HDL.	2021-12-10 10:34:13 +00:00
whitequark	943ce317af	hdl.ast,back.rtlil: implement Cover. ... Fixes #194.	2019-09-03 01:32:24 +00:00
whitequark	32bfbb11cb	formal→asserts ... Closes #171.	2019-08-19 20:23:24 +00:00

Renamed from nmigen/formal.py (Browse further)