Ho ! Cocotb devient compatible avec le Xsim de vivado \o/

C'est un «bug d'affichage/configuration» bien tordu de Xilinx

Le fichier de log vivado se nomme runme.log, si on met un «tag» dans le message de log on peut le récupérer avec grep :

grep "\[CFG\]" project/project.runs/synth_1/runme.log

Souvenirs souvenirs. (ça fait longtemps que je n'ai pas fait de vivado)

Les logiciels de synthèse fourni par les constructeurs sont ils bon ?

Bon en fait c'était extrêmement simple, je suis un peu vexé d'ailleurs de ne pas l'avoir vu avant :
cd ~/.config/autostart
rm Xilinx\ Information\ Center.desktop

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

Coude

Font chier ces français avec leur virgule à la con ;)
M'enfin bon, xilinx vient de sortir une nouvelle version et n'a rien corrigé, alors que c'est un bug (bien pourri) connu depuis longtemps visiblement.

Vu que ça m'a bien cassé les couilles, je fait un petit tuto au cas où d'autres seraient intéressés.

nan mais sérieux j’hallucine.
Suivant la version de Linux/Windows sur lequel tourne vivado, certaines options apparaissent ou disparaissent dans les fenêtres de config. Et je ne vous parle même pas du code généré ...
C'est dans ces moments que je comprend le sens de la lutte pour la libération des FPGA.
http://www.fabienm.eu/flf/

Une meilleurs explication que celle de xilinx

Un description du format xml IP-XACT des composants vivado.