sby

cli 0.65 ·shell

✓ install reviewed

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

Traffic · last 30 days stale · no recent hits · indexed Sun May 31 · updated Sat Jul 11

total hits 5

actors 1 distinct systems

last hit 19d ago human

Humans

3

top countries 🇸🇬 Singapore · 🇨🇦 Canada

Resources

homepagesymbiyosys.readthedocs.io/en/latest/ ↗

API endpoints

full doc /v1/registry/sby

install /v1/registry/sby/install