hdl/clmul: split clmuladd hdl out into separate function for ease of use in formal...
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 17 May 2024 05:02:45 +0000 (22:02 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 17 May 2024 05:02:45 +0000 (22:02 -0700)
commit68ba5fe8e3ec9f4bd322110e1fc0e4f75906c6df
treee7381d35c2f955c3e5851126e3d7ee2829c12220
parentc7732f5d2c0901cd4d5e30bcf83f56f7b07ea925
hdl/clmul: split clmuladd hdl out into separate function for ease of use in formal proofs
src/nmigen_gf/hdl/clmul.py