Wow, these FPGAs are not cheap. Don't they also have a couple of ARM cores attached on the SOC?