Digilent Dual HDMI Input FMC module is one of the excellent solutions when you need more than one HDMI input interface in your FPGA designs
A stereo vision system with the lowest grade Zynq powered by parallel computing of FPGA. RTL and other design files are presented.
This tutorial is on "implementing HDMI on ZedBoard with Video Mixer and Test pattern generator".
This is reference tutorial on implementing different features of Video Mixer, mainly alpha blending and logo layer and multiple TPG layers.
This reference tutorial shows the details and steps for "interfacing Avnet-FMC-HDMI converter with ZedBoard and implementing Sobel HLS IP".