If you haven't already, Avnet typically provides open access to TRD source files and documentation on their GitHub or website.Avnet GitHub: https://github.com/Avnet
I don't believe there is any documentation written about leveraging that code. I would use AMD references as a starting point. The difference between Avnet solution and AMD solution would potentially be the use of the clock generator that implements the appropriate clocking for HDMI.
