[Adam Taylor] always has interesting FPGA posts and his latest is no exception. He wanted to use a Zynq for image processing. Makes sense. You can do the high-speed parallel parts in the FPGA ...
Also inside the Zynq SoC is a very capable FPGA that [antti] is using to drive HDMI at 60hz, and can stream video from a Raspberry Pi camera to a display. Last year for the Hackaday Prize ...
3.1 HDMI System Xilinx provides IP suite for HDMI system for 7 series FPGA ... User can opt for either of these options. For HDMI interface, FMC daughter card Inrevium TB-FMCH-HDMI 4K REV2.0 is used.