The January release of Tabby CAD Suite is now available for download. Notable changes in this version include:

• SBY: fixed a bug that could lead to disappearing properties when there are multiple properties in the design that can be statically determined at elaboration time to always have the same truth value.

In other YosysHQ news:

• Our next Yosys User’s Group meeting will be a Q&A format. Current suggested categories are: formal verification, synthesis, plugins / internals, how to contribute and roadmap. It’s scheduled for Thursday the 12th February at 18:00 CET and you can find information on how to join and previous events here: https://blog.yosyshq.com/yug/
• Linty have just released an extension for VSCode that makes it much easier to interactively explore your design. Free for Yosys users, check it out here: https://marketplace.visualstudio.com/items?itemName=LintyServices.linty-graphviz

Happy new year!

The YosysHQ Team