求verdi201307 环境变量设置

在线等结果

export SYN_Inc=/home/xice/opt/synopsys
export SYN_SCL_HOME=$SYN_Inc/11.5
export SYNOPSYS=$SYN_Inc/2013.03/dc
export PT_HOME=$SYN_Inc/2012.09/pt
export FM_HOME=$SYN_Inc/2013.03/fm
#export SYNOPSYS_TMAX=$SYN_Inc/txs_vC-2009.06
#export STILDPV_HOME=$SYNOPSYS_TMAX/amd64/stildpv
export VCS_HOME=$SYN_Inc/2013.03/vcs
export VERDI_HOME=$SYN_Inc/2012.09/verdi
export LEDA_PATH=$SYN_Inc/2012.09/leda
export PATH=$PATHSYN_SCL_HOME/admin/binSYNOPSYS/binPT_HOME/amd64/syn/bin:$FM_HOME/amd64/fm/bin:$VCS_HOME/bin:$VERDI_HOME/bin:$LEDA_PATH/bin
export LM_LICENSE_FILE=$SYN_Inc/2012.09/verdi/license/license.dat
export LM_LICENSE_FILE=$LM_LICENSE_FILE:$SYN_SCL_HOME/admin/license/synopsys.dat
export SNPSLMD_LICENSE_FILE=$SYN_SCL_HOME/admin/license/synopsys.dat
alias lmgrd_syn='$SYN_SCL_HOME/amd64/bin/lmgrd -c $SNPSLMD_LICENSE_FILE -l $SYN_SCL_HOME/admin/license/lmgrd.log'
alias lmgrd_novas='$VERDI_HOME/bin/lmgrd -c $VERDI_HOME/license/license.dat -l $VERDI_HOME/license/lmgrd.log'
export VCS_ARCH_OVERRIDE=linux

请问你解决了吗?
jeffrey@ubuntu:~$ lmgrd_novas
jeffrey@ubuntu:~$ verdi&
[1] 3212
jeffrey@ubuntu:~$ No command 'verdi' found, did you mean:
Command 'serdi' from package 'serdi' (universe)
verdi: command not found

为啥我安装好了 ，一直提示没有这个命令啊?