Tabby CAD Suite version 20220906 released!

Parallel formal proofs, ability to disable VCD dumps, new getting started guide.

Tabby CAD Suite version 20220805 released!

SBY logic loop improvements, autotune blogpost.

Autotune

Autotune helps to find the fastest solver for your properties

Tabby CAD Suite version 20220706 released!

Autotuning formal verification engine selection, tribuf blogpost.

Formal Tristate Support

Sby now supports trisates in formal proofs