Дешёвая отладка Zynq 7000 c Али, называется EBAZ 4205, цена смешная 1400 руб, китайцы использовали плату от майнера. Проверил, всё работает, для начинающих пойдёт, освоение Vivado и всё такое, брал версию с CD картой(карту покупать отдельно), программатор тоже с Али за 1900.