Donc il faut utiliser les outils de Xilinx, je n'ai pas testé de sondes compatibles avec leurs outils (j'ai acces a une officielle)
ebay a des refs :
C'est une officielle:
http://cgi.ebay.fr/XILINX-Platform-Cable-USB-Model-DLC9G-w-2mm-Connector-Signals-NO-RESERVE--/230739768454?pt=LH_DefaultDomain_0&hash=item35b9297486#ht_1735wt_1062
Apres : http://shop.ebay.fr/i.html?_from=R40&_trksid=p4939.m570.l1313&_nkw=xilinx+Platform+cable&_sacat=See-All-Categories&LH_PrefLoc=0
il semble y avoir des compatibles.