search

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
390 stars 74 forks source link

Change Sphinx theme to "furo" #237

Closed jix closed 1 year ago