YosysHQ / sby

git clone https://github.com/YosysHQ/sby.git

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

stars, 24h · #42,811

+~0

stars, 7 days · #48,810

+~0

stars, 30 days · #49,406

559

★ total

108

forks · 57 open issues

2026-10-20 · 559 ★ 2026-10-24 · 559 ★

LanguagePython

License—

Created2017-01-22 (9y ago)

Last push9d ago

OwnerOrganization

Loading README…