Yosys is a framework for Verilog RTL synthesis. It currently has extensive Verilog-2005 support and provides a basic set of synthesis algorithms for various application domains.
https://anaconda.org/timvideos/yosys/badges/version.svg
https://anaconda.org/timvideos/yosys/badges/latest_release_date.svg
https://anaconda.org/timvideos/yosys/badges/latest_release_relative_date.svg
https://anaconda.org/timvideos/yosys/badges/platforms.svg
https://anaconda.org/timvideos/yosys/badges/license.svg
https://anaconda.org/timvideos/yosys/badges/downloads.svg