vivado c'est pire que microsoft ... ça fait 6 ans que le bug est connu et signalé par les utilisateurs. Malgré cela Xilinx s'évertue à le reproduire dans ses nouvelles version de logiciels !

Mon workaround :

$ cd /opt/Xilinx/Vivado/2017.1/ids_lite/ISE/lib/lin64
$ mv libstdc++.so.6 libstdc++.so.6.bak
$ ln -s /lib/x86_64-linux-gnu/libstdc++.so.6