RISC-V Formal Verification Framework (riscv-formal) についてまとめる (4. VexRiscvのFormal実行方法)
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/FormalSimple.scala All standards checks are passing Instruction Ch…
