[Libre-soc-bugs] [Bug 785] Implement gfb* instructions for GF(2^n) instructions

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=785

--- Comment #12 from Jacob Lifshay <programmerjake at gmail.com> ---
gfbmul/gfbmadd's formal proof works too!

Since Bob hasn't responded about when our deadline is, should we consider this
done due to running out of time and submit the RFPs?

https://git.libre-soc.org/?p=nmigen-gf.git;a=shortlog;h=bc0c03b3df2fa19189aaa2b61a101cdc8ebf1beb

commit bc0c03b3df2fa19189aaa2b61a101cdc8ebf1beb
Author: Jacob Lifshay <programmerjake at gmail.com>
Date:   Fri May 17 17:41:07 2024 -0700

    hdl/test/test_gfbmadd: add formal proof of gfbmadd

-- 
You are receiving this mail because:
You are on the CC list for the bug.