This space is for users of Yosys and other Yosys HQ tools. If you have questions about developing for Yosys or infrastructure which uses it, please use the Developers category.

This space is for contributors and downstream development users of Yosys and other Yosys HQ tools, including academic tooling development. If you’re using these tools for design and verification without modifying them, please use the Users category.