Hi,
I've got the ADV7511 HDMI transmitter going, without using the reference design.
I'm just driving it in 24 bit RGB mode, but that is more than enough for experimenting with.
As usual all the source is on my Wiki at:
http://hamsterworks.co.nz/mediawiki/index.php/Zedboard_HDMI
Cheers
Mike