https://github.com/msyksphinz-self/symbiyosys-docker-env に、SymbiYosysを含めた試行環境を置いておくことにした。 github.com 以下は、SymbiYosys（SBY）およびその依存ツール（Yosys、yosys-smtbmc、Boolectorなど）をインストールした検証用Dockerfil…