01_安装指南

安装指南

原文来源：Installation guide - YosysHQ SBY documentation

本文档将引导您完成 sby 的安装过程。
注:本文档来自symbiyosys官方安装指南，本文档只做翻译处理

CAD Suite（推荐方式）

Sby（SymbiYosys）是 Tabby CAD Suite 和 OSS CAD Suite 的一部分！使用 sby 最简便的方式是安装二进制软件套件，其中包含所有必需的依赖项以及全部受支持的求解器。

• 联系 YosysHQ 申请 Tabby CAD Suite 评估许可证及下载链接
• 或前往 https://github.com/YosysHQ/oss-cad-suite-build/releases 下载免费的 OSS CAD Suite
• 按照 GitHub 上的安装说明进行操作

请务必获取 Tabby CAD Suite 评估许可证，以获得完整的 SystemVerilog 断言（SVA）支持，以及工业级 SystemVerilog 和 VHDL 解析器！

有关 Tabby CAD Suite 与 OSS CAD Suite 区别的更多信息，请访问 https://www.yosyshq.com/tabby-cad-datasheet。

从源码编译安装

按照以下说明安装 sby 及其依赖项。Yosys 和 sby 是必需组件，不可省略。推荐安装 Boolector，但非强制。其他软件包仅在特定引擎配置下需要。

前置依赖

安装前置依赖（以下命令适用于 Ubuntu 20.04）：

sudoapt-getinstallbuild-essential clang bison flex\libreadline-devgawktcl-dev libffi-devgit\graphviz xdot pkg-config python3 zlib1g-dev python3-mpipinstallclick

必需组件

Yosys、Yosys-SMTBMC 和 ABC

• https://yosyshq.net/yosys/
• https://people.eecs.berkeley.edu/~alanmi/abc/

注意：以下命令将同时安装 Yosys、Yosys-SMTBMC 和 ABC（命令名为yosys-abc）：

gitclone https://github.com/YosysHQ/yosys --recurse-submodulescdyosysmake-j$(nproc)sudomakeinstall

sby

https://github.com/YosysHQ/sby

gitclone https://github.com/YosysHQ/sbycdsbysudomakeinstall

推荐组件

Boolector

https://boolector.github.io

gitclone https://github.com/boolector/boolectorcdboolector ./contrib/setup-btor2tools.sh ./contrib/setup-lingeling.sh ./configure.shmake-Cbuild -j$(nproc)sudocpbuild/bin/{boolector,btor*}/usr/local/bin/sudocpdeps/btor2tools/build/bin/btorsim /usr/local/bin/

若要使用btor引擎，需要从提交c35cf1c或更新版本安装 btor2tools。

Yices 2

http://yices.csl.sri.com/

gitclone https://github.com/SRI-CSL/yices2.git yices2cdyices2 autoconf ./configuremake-j$(nproc)sudomakeinstall

可选组件

其他求解器引擎可按照各自的说明进行安装，链接如下：

Z3

https://github.com/Z3Prover/z3

super_prove

https://github.com/sterin/super-prove-build

Avy

https://arieg.bitbucket.io/avy/

rIC3

https://github.com/gipsyh/rIC3/

最低要求版本为 1.3.5。