第一章安装与授权

支持平台

JasperGold Apps 2020.03 支持以下操作系统：

Red Hat Enterprise Linux 6.x（64-bit）
Red Hat Enterprise Linux 7.x（64-bit）
SUSE Linux Enterprise Server 11.x（64-bit）
SUSE Linux Enterprise Server 12.x（64-bit）
CentOS 6.x（64-bit）
CentOS 7.x（64-bit）
Ubuntu 14.04 LTS（64-bit）

RHEL 7.x 使用 libpng1.5，但 JasperGold Apps 需要 libpng1.2，需手动安装。libpng 1.2 在 CentOS 7 主仓库中以 libpng12 提供，可与默认的 libpng rpm 并存安装；在 RHEL 上可能需要先启用 supplementary 仓库，然后执行 yum install libpng12 libpng12.i686。

JasperGold 引擎在 Red Hat Enterprise Linux 7.x 上支持 ARM 架构（AArch64）。

Java 内存限制

JasperGold Apps 会根据系统配置尝试自动调整内存堆大小（heap size，决定 Java 可使用多少内存）。但在某些情况下仍可能内存不足，为此 JasperGold Apps 在启动时会自动将堆大小设置为 4GB。

栈大小（stack size）保持默认设置不变。
在虚拟内存为 4GB 或更少的机器上，JasperGold Apps 将无法启动。

如需覆盖默认值，可在启动 JasperGold Apps 的 shell 中设置 JAVA_MEM_OPTIONS 环境变量。

支持的语言和标准

Verilog：Verilog 95（IEEE Std 1364-1995）和 2K（IEEE Std 1364-2001）
VHDL：VHDL（IEEE Std 1076-1993）、2K（IEEE Std 1076-2002）和 VHDL '08（IEEE Std 1076-2008）
混合语言：Verilog 与 VHDL 混合
PSL：IEEE Std 1850-2005 属性规约语言标准，含 PSL-Verilog 与 PSL-VHDL
SystemVerilog：IEEE Std 1800-2005、IEEE Std 1800-2009 和 IEEE Std 1800-2012，以及 SystemVerilog 设计中内嵌的 SVA 断言
Tcl：Tcl 8.6.10
IP-XACT：IEEE 1685 IP-XACT（用于 CONN/CSR App）
UPF：UPF 1.0 和 UPF 2.0（IEEE Std 1801-2009）以及 UPF 2.1（IEEE Std 1801-2013）
Liberty：Synopsys Liberty 库建模标准（2014.09 版）

安装步骤

官方安装说明假定将 JasperGold Apps 安装在 /usr/local 目录下；若安装到其他目录，将下述路径中的 /usr/local 替换为实际安装目录即可。下例假定使用的 shell 是 csh，请根据自己的 shell 相应调整；建议把环境变量写入 shell 启动文件（例如 csh 用 .cshrc，sh 用 .profile）。

从 Cadence 软件下载站点（downloads.cadence.com）下载 JasperGold Apps 的 tar 包
用 tar 命令解压安装包，这会创建一个名为 jasper_<version> 的目录：
```
% tar -zxvf <jasper_kit_name>.tgz
```
启动 license 管理器（lmgrd）或按需重读 license 文件（见下节）
设置 LM_LICENSE_FILE 变量，将 host_name 替换为 license 服务器主机名、port 替换为 license 管理器守护进程所用的 TCP/IP 端口号：
```
% setenv LM_LICENSE_FILE port@host_name
```
修改 PATH 变量，将 <path_to_jaspergold_dir>/bin 加入可执行文件搜索路径：
```
% setenv PATH ${PATH}:/usr/local/<path_to_jaspergold_dir>/bin
```
在命令行输入 jaspergold，验证安装是否完成

<path_to_jaspergold_dir>/doc/example_jaspergold_apps 目录中包含用于演示 VHDL PSL、VHDL SVA、Verilog SVA 以及 VHDL/Verilog 混合语言 SVA 会话的脚本，运行这些脚本所需的全部文件也都在该示例目录中——本篇 1.4 节的第一个实验用的就是其中的 Verilog SVA 示例。

License 安装

JasperGold 使用 FlexNet Publisher 许可证管理。

TIMEOUT 和 TIMEOUTALL

FlexNet 变量 TIMEOUT 和 TIMEOUTALL 分别为单个 feature 和所有 feature 指定空闲超时（idle time-out），超时后将其归还到空闲池中供其他用户使用。

如果 license 服务器管理员在 vendor daemon 的 options 文件中设置了 TIMEOUT 或 TIMEOUTALL，那么由空闲的 JasperGold Apps 会话签出的 license 会在指定时间后被自动签回。

TIMEOUT 和 TIMEOUTALL 允许的最小值为 900 秒（15 分钟）。
若连续八分钟没有任何活动，JasperGold Apps 就会通知 license 服务器自己处于空闲状态。空闲状态指：分析会话中没有正在运行的 Tcl 命令、没有正在运行的后台证明、也没有任何键盘输入或鼠标点击。

注意这是空闲超时，而不是「会话最长可用时长」——只要工具处于活动状态就不会被回收。

冗余 License 服务器

支持配置多个 License 服务器实现冗余，在 license 文件或环境变量中指定多个服务器地址。

安装 License

将 license 文件（通常为 license.dat）放到指定目录
设置环境变量 LM_LICENSE_FILE 或 CDS_LIC_FILE 指向 license 文件或服务器端口
如果需要，追加新的 license 行到已有 license 文件
手动启动 license daemon：lmgrd -c license.dat

License 相关环境变量

变量名	用途
`LM_LICENSE_FILE`	FlexNet license 文件路径或 port@host
`CDS_LIC_FILE`	Cadence 专用 license 路径
`CDS_LIC_ONLY`	设为 1 时仅使用 Cadence license

使用 FlexNet 工具

这些工具都通过 lmutil 调用（如 lmutil lmstat）。也可以为各子命令建立同名链接或副本，从而直接以 lmstat 这样的名字运行。INSTALL.pdf 专门介绍了以下三个：

工具	用途
`lmstat`	返回所有网络许可活动的状态，例如正在运行的 daemon 和各 feature 的占用者
`lmdown`	关闭指定的 license daemon（`lmgrd` 与选定的 vendor daemon 一并关闭）
`lmhostid`	返回当前平台的 FlexNet Publisher 许可 hostid；不带参数运行时显示该平台的默认 hostid 类型

拿到新的 JasperGold license 时，官方要求用 lmutil lmdown 而不是 lmutil lmreread。

来源文档

INSTALL.pdf
jaspergold_command_reference.pdf