Installing

Follow the instructions below to install EQY and its dependencies.

CAD suite(s)

EQY is part of the Tabby CAD Suite and the OSS CAD Suite! The easiest way to use sby is to install the binary software suite, which contains all required dependencies, including Yosys, SBY, and all its solvers.

Make sure to get a Tabby CAD Suite Evaluation License for industry-grade SystemVerilog and VHDL parsers!

For more information about the difference between Tabby CAD Suite and the OSS CAD Suite, please visit https://www.yosyshq.com/tabby-cad-datasheet.

Installing from source

Prerequisites

EQY requires a matching version of Yosys. We use GitHub tags to indicate that a commit has been confirmed to work with that Yosys release version.

Parts of EQY are Yosys plugins. To be able to load the plugins, they must be compiled in the same environment as the Yosys binary you are using. If you would like to build EQY from source but use a precompiled Yosys binary, you can use the Tabby CAD Plugin Build docker environment to compile the EQY plugins (the environment works for both Tabby and OSS CAD Suite Yosys).

To use [strategy sby], you also need to have a matching version of SBY installed, as well as the solvers you want to use.

EQY

Use these commands to build and install EQY:

git clone https://github.com/YosysHQ/eqy.git eqy
cd eqy
make
sudo make install