1.用于形式化验证的yosys安装方法

用于形式化验证的yosys安装方法

       yosys 是一款由 Claire Xenia Wolf 等人开发的开源综合工具，广泛应用于硬件形式化验证中，整合模型检测工具与 SMT 求解器。yosys 提供三个版本：开源版、周易 源码 PHP社区版（oss-cad-suite）和付费版（tabby CAD）。付费版的源码和开源费用较高，社区版包含前端综合工具与面向 FPGA 的开源工具，还整合了 SMT 求解器和形式化验证工具如 ponoz3bitwulza 等。社区版相较于直接从源码编译的开源版能减少一些配置麻烦。

       yosys 操作简便，缺点在于付费版之外，对 SystemVerilog 的功能支持有限，许多常见写法无法使用。健康源码 eclipse为此，antmicro、chipsallianced 等组织开发了相关开源扩展，stm烙铁源码使 yosys 支持如 IEEE-/d 等最新标准。

       最成功的 SystemVerilog 插件是 synlig，然而，nodejs 源码构建直接照着 oss-cad-suite 和 synlig 的安装教程操作，可能因本机 libc 版本不一致而导致无法在 yosys 中引入插件。

       目前一种可行的安装方法是：

       步骤如下：

       运行 yosys

       如果执行过程无任何提示，则表示安装成功。

       Enjoy~