Hát, Xilinx nem hiszem, hogy kiadná ARM-re az ISE-t... Szóval azért kicsit fura ez így.
Nekem az a fura, hogy miért nem Zynq alapon csinálták (igaz, még elég új a dolog illetve még nem is lehet rendesen kapni).
Akit érdekelnek a hasonló dolgok: www.zedboard.org