hdl/test/test_gfbinv: add formal proof for gfbinv
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 17 May 2024 08:16:04 +0000 (01:16 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 17 May 2024 08:16:04 +0000 (01:16 -0700)
commit35e5f677384814056e63e17e4c5005366017cebf
tree4521fd9f0eae8f3868393de5207a9105576ce792
parenta3c473b0521038e02f67a899fcaf1795ce3ff295
hdl/test/test_gfbinv: add formal proof for gfbinv
src/nmigen_gf/hdl/test/test_gfbinv.py