カテゴリインデックス：https://msyksphinz.hatenablog.com/entry/2024/12/14/040000 まずは基本的なフォーマルを勉強するために、SymbiYosysを使ってALUを検証してみたい。 以下にHalf Adder & Half Adder & ALUを構成するデザインを作った。 ha.v module h…