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.
Contact YosysHQ for a Tabby CAD Suite Evaluation License and download link
OR go to https://github.com/YosysHQ/oss-cad-suite-build/releases to download the free OSS CAD Suite
Follow the Install Instructions on GitHub
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