SymbiYosysの能力を検証するために、簡単なサンプルデザインを作ってフォーマル検証を行っていく。 まずは、以下のような形のラウンドロビンアービタを作ったうえで、機能検証を行う。 module rr_arbiter2 #( parameter N = 4 ) ( input logic i_clk, input …