https://aws.amazon.com/ec2/instance-types/ https://aws.amazon.com/ec2/instance-types/, ctrl+f "F1". They're vague about the exact part number (none of the liste

https://aws.amazon.com/ec2/instance-types/ https://aws.amazon.com/ec2/instance-types/, ctrl+f "F1". They're vague about the exact part number (none of the listed Xilinx parts perfectly match, so it's likely they got first run of these specific parts or something[1], the prices are just eyeballing based on the listed parts page), but the basic specs are there including the RAM, DSP and logic elements. [1] Xilinx also released Vivado 2017.1 today which is required for these UltraScale+ Virtex devices, so I'm assuming this isn't a coincidence.