We have recently started a Yosys User’s Group. You can see the minutes of our first 2 calls here.

So far we’ve talked about:

• What people are using Yosys for,
• How things can be improved,
• Introducing our new tools,
• A demo of our new formal equivalence tool - eqy.

If you’d like to join, then please sign up to the newsletter or follow us on:

• linkedin,
• mastodon or
• twitter.