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

Tabby CAD Suite version 20220610 released!

Memory inferencing overhaul.

Tabby CAD Suite version 20220512 released!

Formal tristate support, x handling, optimising adders.