VexRiscv におけるriscv-formal の実行方法を調査している。 前回の続き： msyksphinz.hatenablog.com insn_addi_ch0 にのみ注力して 動作を確認する 以下のコマンドで、insn_addi_ch0に注力して動作を確認する。 make -C checks insn_addi_ch0 make -C chec…