projects / nmigen-gf.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35e5f67) | patch
hdl/test/test_gfbmadd: add formal proof of gfbmadd bug_785_gfb_insns
authorJacob Lifshay <programmerjake@gmail.com>
Sat, 18 May 2024 00:41:07 +0000 (17:41 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Sat, 18 May 2024 00:41:07 +0000 (17:41 -0700)
commitbc0c03b3df2fa19189aaa2b61a101cdc8ebf1beb
tree7957d903238a3e1cf40aa593e9322f7d1c8b4da9tree
parent35e5f677384814056e63e17e4c5005366017cebfcommit | diff
hdl/test/test_gfbmadd: add formal proof of gfbmadd
src/nmigen_gf/hdl/test/test_gfbmadd.py diff | blob | history