Install and Quickstart

Installing Tabby CAD Suite or OSS CAD Suite

• Contact YosysHQ for a Tabby CAD Eval License and download link

• Set the YOSYSHQ_LICENSE environment variable to point to the license file: export YOSYSHQ_LICENSE=/path/to/license.lic

• Follow the Install Instructions on GitHub

Getting Started with Formal Verification

• Getting Started with SBY

• The Case of the Phantom Packets - A Formal Debugging Posterchild