README.md

riscv-formal proofs for picorv32

Quickstart guide:

First install Yosys, SBY, and the solvers. See the SBY Installation Guide for instructions. Then download the core, generate the formal checks and run them:

make check -j$(nproc)