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)
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
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)