спасибо за ссылочку на документ xilinx'a, сам я че-то такого не мог найти. в принципе мы решили проблему, но через левое плечо: установили несколько виртуальных машин и назначили каждой свой usb кабель) но лучше конечно будет разобраться с версией 10.1