I believe that Dr. Lenore Mullin has been working on FPGA acceleration of array operations using her “Mathematics of Arrays” formal techniques. Much of her work has been directed at Fortran, but I don’t recall if the FPGA work was.
You might find much of use in her work.