オープンソース論理合成ツール Yosys による論理合成の試行 | 雑多な趣味の記録帳
Yosys について Github にサンプル上げました。
tom01h.exblog.jp