VexRiscv におけるriscv-formal の実行方法を調査している。 github.com riscv-formal proofs for VexRiscv Current state: Test a simple VexRiscv configuration: https://github.com/SpinalHDL/VexRiscv/blob/master/src/main/scala/vexriscv/demo/Formal…