I am using the MicroZED Embedded Vision Development Kit. This kit takes an HDMI input through the ADV7611 receiver and spits out an YCrCb 4:2:2 signal. Since the development board schematic shows the hsync, vsync, clock, etc. signals out of the ADV7611 as no-connects, I am assuming the board is set up to embed those signals in the 16 bit video bus. However, I cannot find an IP core to extract the signals for use in other Xilinx IP cores. Can anyone help me out? What core do I use to extract the clock, syncs, etc?