checklist.day

sby

JSON →
cli 0.65 ·shell
✓ install reviewed
devops

Front-end for Yosys-based formal verification flows. Available on Homebrew.

Resources

homepagesymbiyosys.readthedocs.io/en/latest/ ↗

API endpoints

full doc /v1/registry/sby
install /v1/registry/sby/install