Для работы с Spartan-6 качать ISE. Vivado с ними не работает...
Выбрал Atrix-7. Тоже недорого стоит, под $40 на digikey. Даже удивляюсь. У Altera смотрю цену на их сайте: https://www.altera.com/buy.html А у перекупщиков digikey Xilinx все равно дешевле. На сайте Xilinx цены есть?