Yosys
oeuvre
suite de logiciels libres de vérification formelle et de compilation de bitstream pour FPGA et ensemble de projet autour de cette démarche
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Yosys
Lien Wikidata : https://www.wikidata.org/wiki/Q110255383