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

• Fixed some recurring issues with verific -lib mode. You should no longer see errors when the module definitions to be loaded as blackboxes have contents that instantiate other, unknown modules. Also, parameter values on blackbox modules and their instantiations should now be imported correctly into Yosys again.
• Additional functions for design inspection have been added to the TCL integration.
• The setenv command has been added to allow setting environment variables from within yosys scripts. This is useful e.g. to set variables used in file lists before loading them with verific -f xxx.f.

In other YosysHQ news:

• The Moosic plugin we wrote about at the start of the year is now silicon proven!
• We recently released initial support for the NanoXplore NG-Ultra in nextpnr. This was an activity funded under the European Space Agency’s Open Space Innovation Platform.
• At our most recent YUG, Katharina Ceesay-Seitz presented her work on using formal verification for detecting microarchitectural information leakage - watch the recording here.

Happy December, and if you need a last minute gift idea - why not consider the gift of formal verification!