Mike Field has something in VHDL for this: https://github.com/hamsternz/Artix-7-HDMI-processing