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