Yosysというオープンソースの論理合成ツール（レジスタ転送レベルからゲートレベルに変換する一種のコンパイラ）があるので使ってみました。 github.com インストール 公式のREADMEとだいたい同じです。Makefileを書き換えてインストール場所を変更すれば、…