This is KiCAD project, complete with Gerbers, for a HDMI Compatible PMOD controller. Plug this into one of your PMOD sockets on your Arty A7 and you have a working HDMI compatible socket.
- Texas Instruments TPS61222DCKT Boost Convertor RS Components Link
- Inductor L1 4.7uH - Mouser Link
- Capacitors C1, C2 10uF 0805/2012 - Mouser Link
- HDMI Socket - Mouser Link
- Right Angle Molex 2 x 6 socket - Mouser Link
- This board.