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