SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware verification flows.
https://anaconda.org/litex-hub/symbiyosys/badges/version.svg
https://anaconda.org/litex-hub/symbiyosys/badges/latest_release_date.svg
https://anaconda.org/litex-hub/symbiyosys/badges/latest_release_relative_date.svg
https://anaconda.org/litex-hub/symbiyosys/badges/platforms.svg
https://anaconda.org/litex-hub/symbiyosys/badges/license.svg
https://anaconda.org/litex-hub/symbiyosys/badges/downloads.svg