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