add links to tests and formal proofs for gfb*
authorprogrammerjake <programmerjake@web>
Fri, 16 Aug 2024 21:22:56 +0000 (22:22 +0100)
committerIkiWiki <ikiwiki.info>
Fri, 16 Aug 2024 21:22:56 +0000 (22:22 +0100)
openpower/sv/bitmanip.mdwn

index 5c84e83e5912844d771488ac875921f787accf40..8c7d5bbe488549a5c20cb114d4873abac6c14b12 100644 (file)
@@ -887,6 +887,12 @@ gfbmadd RT, RA, RB, RC
 [[!inline pagenames="gf_reference/gfbmadd.py" raw="yes"]]
 ```
 
+the main entry point for our hardware implementation of both gfbmul and gfbmadd can be found at:
+
+[nmigen-gf.git/src/nmigen_gf/hdl/gfbmadd.py:419](https://git.libre-soc.org/?p=nmigen-gf.git;a=blob;f=src/nmigen_gf/hdl/gfbmadd.py;h=d3fce843304672ac007db6dcc2b395f9ea126335;hb=bc0c03b3df2fa19189aaa2b61a101cdc8ebf1beb#l419)
+
+[tests and formal proofs](https://git.libre-soc.org/?p=nmigen-gf.git;a=blob;f=src/nmigen_gf/hdl/test/test_gfbmadd.py;h=b2a9f5604198df36152b69d48e5136e46ea9adc0;hb=bc0c03b3df2fa19189aaa2b61a101cdc8ebf1beb)
+
 ## `gfbtmadd` -- Binary Galois Field `GF(2^m)` Twin Multiply-Add (for FFT)
 
 Used in combination with SV FFT REMAP to perform a full `GF(2^m)` Discrete
@@ -919,6 +925,12 @@ gfbinv RT, RA
 [[!inline pagenames="gf_reference/gfbinv.py" raw="yes"]]
 ```
 
+The main entry point in our hardware implementation can be found at:
+
+[nmigen-gf.git/src/nmigen_gf/hdl/gfbinv.py:386](https://git.libre-soc.org/?p=nmigen-gf.git;a=blob;f=src/nmigen_gf/hdl/gfbinv.py;h=712c2a64ead603abc81d45d8aac104e9de92f77d;hb=bc0c03b3df2fa19189aaa2b61a101cdc8ebf1beb#l386)
+
+[tests and formal proofs](https://git.libre-soc.org/?p=nmigen-gf.git;a=blob;f=src/nmigen_gf/hdl/test/test_gfbinv.py;h=c85131344d9a208f42f73ff58a4512988f044cb9;hb=bc0c03b3df2fa19189aaa2b61a101cdc8ebf1beb)
+
 # Instructions for Prime Galois Fields `GF(p)`
 
 ## `GFPRIME` SPR -- Prime Modulus For `gfp*` Instructions