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

• Fixed problems with verific elaboration in VHDL that were introduced in the last release - you should no longer see spurious multiple driver warnings.
• Memory inference can now recognize (* rom_style = “…” *) attributes on data output and address signals (attributes on the data storage register still take precedence, but this allows forcing a style e.g. when inferring ROM from a case statement).

In other YosysHQ news:

• We just published a new guest blog post by Theophile Loubiere. He wrote a fun introduction to formal by using SBY to solve a sudoku.

Happy November, The YosysHQ Team