They are using Xilinx Zenq 7000 series which also have ARM core and memory controller along the FPGA core, think all major electronic parts sellers are selling them and not expensive part. Interesting project non the less