Unfortunately, DisplayPort and HDMI specifications are kept private unless you're a paying member. I've successfully implemented DisplayPort 1.2 in an FPGA from specification documents I found, but I could never find the specification for anything better.