sby

Front-end for Yosys-based formal verification flows

brewmacoslinux

Try with needOr install directly

About

Front-end for Yosys-based formal verification flows

sby

Run formal verification on a design using a sby configuration file$ sby -f design.sby

Execute verification with multiple parallel tasks$ sby -f design.sby -j 4

Generate and view formal verification reports$ sby -f design.sby && cat design/report.html