Also note that there is a ready to use RTL for the U500 which can run on an Arty. Untested, but maybe tweakable to run on the new Arty Z7 which is capable of running Xilinx Peta-Linux and is MUCH MUCH less expensive than the VC707. Maybe worth considering.