When did Xilinx start having 10 gigabit SERDES support.. they used the cores/ip developed at Iowa State and then RocketChips https://www.design-reuse.com/news/1206/xilinx-acquisition-rocketchips.html