We incorporated the reference design for the PMP6577 Power Module into a design using a Xilinx Kintex-7 (as used on the Xilinx KC724 MGT Characterization Board ) - see:
http://www.ti.com/tool/pmp6577.1#supportandcommunity
Though all of the TPS40400s come…