The December release of Tabby CAD Suite is now available for download.

This release continues the focus on under-the-hood execution time and maintainability improvements, with no big user-facing changes.

In other YosysHQ news:

• Matt recently did a presentation for DVWorld: Formal Verification Adoption Made Easy. You can watch it here.

Happy Holidays,

The YosysHQ Team