安装指南原文来源Installation guide - YosysHQ SBY documentation本文档将引导您完成 sby 的安装过程。注:本文档来自symbiyosys官方安装指南本文档只做翻译处理CAD Suite推荐方式SbySymbiYosys是 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.04sudoapt-getinstallbuild-essential clang bison flex\libreadline-devgawktcl-dev libffi-devgit\graphviz xdot pkg-config python3 zlib1g-dev python3-mpipinstallclick必需组件Yosys、Yosys-SMTBMC 和 ABChttps://yosyshq.net/yosys/https://people.eecs.berkeley.edu/~alanmi/abc/注意以下命令将同时安装 Yosys、Yosys-SMTBMC 和 ABC命令名为yosys-abcgitclone https://github.com/YosysHQ/yosys --recurse-submodulescdyosysmake-j$(nproc)sudomakeinstallsbyhttps://github.com/YosysHQ/sbygitclone https://github.com/YosysHQ/sbycdsbysudomakeinstall推荐组件Boolectorhttps://boolector.github.iogitclone 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 2http://yices.csl.sri.com/gitclone https://github.com/SRI-CSL/yices2.git yices2cdyices2 autoconf ./configuremake-j$(nproc)sudomakeinstall可选组件其他求解器引擎可按照各自的说明进行安装链接如下Z3https://github.com/Z3Prover/z3super_provehttps://github.com/sterin/super-prove-buildAvyhttps://arieg.bitbucket.io/avy/rIC3https://github.com/gipsyh/rIC3/最低要求版本为 1.3.5。