[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

Jacob Lifshay <programmerjake at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|CONFIRMED                   |IN_PROGRESS

--- Comment #4 from Jacob Lifshay <programmerjake at gmail.com> ---
I implemented the nmigen-gf HDL for gfbmadd/gfbmul, and have unit tests for it.

I also discovered bugs in gfbmadd/gfbmul's python reference code, where they
accidentally attempt to truncate the clmul output, which I fixed and I made
sure the unit tests were adjusted to catch that.

I pushed to the bug_785_gfb_insns branch.

All tests pass, except some the formal tests, which I cancelled since I didn't
want to wait. I'll run a full test after posting this.

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

commit fa3842779ffec3ebed85d9118ec56cffe17fe707
Author: Jacob Lifshay <programmerjake at gmail.com>
Date:   Wed May 15 01:03:12 2024 -0700

    hdl/gfbmadd: GFBMAddFSMStage works!

commit e80ef2e1770b2c81d3c5d8117100c38373de78f6
Author: Jacob Lifshay <programmerjake at gmail.com>
Date:   Tue May 14 23:23:09 2024 -0700

    hdl/gfbmadd.py: add FSM-based reference python code

commit caaf4a5d66d519cd3bfe2eb42d65a94aed61a676
Author: Jacob Lifshay <programmerjake at gmail.com>
Date:   Tue May 14 21:04:49 2024 -0700

    add HDL implementation of decode_reducing_polynomial

commit 306341e23427fed07f30e839cc19fe358dda93e2
Author: Jacob Lifshay <programmerjake at gmail.com>
Date:   Tue May 14 23:32:00 2024 -0700

    reference/test_cl_gfb_gfp.py: test reducing polynomial that is XLEN+1 bits

commit 0df15ec21ff37b03483f9feb94c3c86a5e2c8b0a
Author: Jacob Lifshay <programmerjake at gmail.com>
Date:   Tue May 14 23:21:16 2024 -0700

    reference/gfbm[ul/add].py: fix truncation bugs

commit a3ec5e652796ff472421cf1b85669a4cfc662fe5
Author: Jacob Lifshay <programmerjake at gmail.com>
Date:   Tue May 14 23:24:31 2024 -0700

    format code

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