Verdi的启动和设置

3.2.1 Verdi 环境变量设置

• 在 .cshrc 中添加以下设定:

setenv LM_LICENSE_FILE xxx:$LM_LICENSE_FILE
setenv VERDI_HOME <Verdi_install_path>
setenv PATH ${VERDI_HOME}/bin:${PATH}
setenv LD_LIBRARY_PATH ${VERDI_HOME}/share/PLI/VCS/LINUX64:${VERDI_HOME}/share/PLI/lib/LINUX64:${LD_LIBRARY_PATH}

• 在 .bashrc 中添加以下设定:

export LM_LICENSE_FILE=xxx:$LM_LICENSE_FILE
export VERDI_HOME=<Verdi_install_path>
export PATH=${VERDI_HOME}/bin:${PATH}
export LD_LIBRARY_PATH=${VERDI_HOME}/share/PLI/VCS/LINUX64:${VERDI_HOME}/share/PLI/lib/LINUX64:${LD_LIBRARY_PATH}

3.2.1 Verdi 配置文件

• Verdi 提供名叫Configure Rule Set form的配置文件，以.rc为后缀名
  用户参数设置 (set via Tools -> Preferences)
  调用其它novas.rc (可选项)

• 指定搜索路径
  使用环境变量 NOVAS_RC
  setenv NOVAS_RC <path>/novas.rc
  命令行中直接调用 -rcFile
  %> verdi -ssf <fsdb filename> -rcFile <filename>

• 搜索顺序

  1. -rcFile 命令行参数
  2. NOVAS_RC 环境变量
  3. ./novas.rc
  4. $HOME/novas.rc
  5. /etc/novas.rc

• 通过Tools -> Preferences设置首选项