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