К счастью, я не первый. Есть отладочная плата у Digilent -
ZYBO на XC7Z010-1CLG400C практически с прямым подключением к HDMI и рабочими HDK и SDK для Linux (есть видео на ютубе) - формально до режимов 720p должно быть без проблем, японцы запускали в 1080p, удивляются, как это может быть, по спецификации вроде не проходит.
Нашел калькулятор VESA v1.2 для расчета полосы пропускания, с учетом минимальных бланков по горизонтали и вертикали:
1) 1920 x 1080 @ 60 Hz - Reduced Blanking v2, VESA CVT Name: 2.07M9-R, частота следования пикселей 133.187 МГц или 1332 Mb/s на канал (10 бит)
2) 1920 x 1200 @ 60 Hz - Reduced Blanking v2, VESA CVT Name: 2.30MA-R, частота следования пикселей 148.052 МГц или 1481 Mb/s на канал (10 бит)
Из даташита на Z010, для группы -1 частота Fmax_ddr = 950 Mb/s, для групп -2 и -3 Fmax_ddr = 1250 Mb/s, для Z030 на базе Kintex для группы -1 частота Fmax_ddr = 1250 Mb/s, и только для групп -2 и -3 Fmax_ddr = 1400 Mb/s и 1600 Mb/s соответственно, правда нужно задействовать HP банки (high perfomance). Но здесь возможно удастся поднять напряжение на VCCAUX c 1.8 В до 1.9 В, как на Kintex, и увеличить быстродействие процентов на 10. На Kintex группы -2 работал таким образом на скоростях 1750 Mb/s без трансиверов, поэтому думаю проблем не должно быть.