Install and Quickstart
======================


Installing Tabby CAD Suite or OSS CAD Suite
-------------------------------------------

* `Contact YosysHQ <https://www.yosyshq.com/contact>`_ 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 <https://github.com/YosysHQ/oss-cad-suite-build#installation>`_


Getting Started with Formal Verification
----------------------------------------

* `Getting Started with SBY <https://yosyshq.readthedocs.io/projects/sby/en/latest/quickstart.html>`_
* `The Case of the Phantom Packets - A Formal Debugging Posterchild <https://tomverbeure.github.io/2019/12/14/A-Formal-Debugging-Posterchild.html>`_