The May release of Tabby CAD Suite is now available for download. This version includes under-the-hood improvements to performance and bugfixes.

In other YosysHQ news:

• We are requesting for comments on our new intermediate representation Property IR for assertions. RFC is available here.

Happy May, The YosysHQ Team