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

Je ne connaissait pas les 18 fabricants !

Le fichier de licence gowin est toujours compliqué à obtenir. Pour simplifier cette phase on peut toujours se connecter au serveur suivant :
45.33.107.56 port: 10559
Évidemment en connaissance de cause (le soft va cafter son usage au serveur)

LiteX fonctionne vraiment bien.

Une uart en VHDL, simplement

L'autre testbench HDL en python

La liste des modules «officiels» pour simuler différents bus avec CocoTB

Documenter son code HDL avec TerosHDL

Ils sont au courant les américains qu'ils accélèrent la mise en place d'une vraie concurrence avec ce genre d'embargo ?

Encore un langage de description hardware que je ne connaissais pas : RubyRTL.
Bon par contre difficile de trouver beaucoup de doc dessus.

«Application note» sur la méthode formelle par YosysHQ

La présentation a été compliquée, mais elle sera sans doute en ligne prochainement.
Pour avoir les diapo c'est par là.

Cette année le SSTIC est gratuit et en ligne. Pas besoin de subir le crachin breton ;)

Pour faire des diagrammes facilement pour sa doc ?