Xilinx недавно в открытый доступ выложил информацию по Virtex-4 в Space/Mil исполнении. Вот pdf (примерно 3 мега)
Virtex-4 VQ Процедура такая - сначала получение цены, потом экспортная лицензия на эту конкретную партию. Если не военное российское применение, то вполне можно официальным путём ввезти и получить ценник приемлимый.
Если интересно проработать цены, то подробности в личку.
P.S. По опыту, как только для xilinx показывается аналог от Alterа-Lattice-Actel и называется их ценник, они становятся гораздо сговорчивее