Is there a USB3 core we know of anywhere? Otherwise I sponsored a project many years ago that demonstrated infiniband link layer (2.5 ghz serdes) on Xilinx FPGAs