Featured image of post Tabby CAD Suite version 20240508 released!

Tabby CAD Suite version 20240508 released!

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

  • The smtbmc engine can now output information on used assumptions in each step, to help debug failing cover properties. To enable this feature, add the --track-assumes option in the [engines] section like this:
    smtbmc yices -- --track-assumes

In other YosysHQ news:

Happy May,

The YosysHQ Team

Built with Hugo
Theme Stack designed by Jimmy