I had one that wouldn't display HDMI on the FPGA side, on the linux/HPS side, it would. I ran through a bunch of tests with Terasic for 2 weeks and concluded it was bad. Not sure if you're interested, but there are test points on the board, you can test for their impedance value while powered...