SymbiYosysの能力を検証するために、簡単なサンプルデザインを作ってフォーマル検証を行っていく。 前回実装したアービタを検証するために、フォーマルの記述を追加していく： logic [N-1: 0] r_sim_priority_oh; logic [N-1: 0] w_sim_priority_oh_next; lo…