简述在网上找了很多教程，才拼凑起来能用的，
安装步骤
1. 安装文件结构
-vcs_vO-2018.09-SP2
–Verdi_O-2018.09-SP2
-fm_O-2019.06-SP1 形式验证工具
–scl_v2018.06 #此程序统一管理license等破解文件
–synopsys_installer #此程序用于安装以上3个程序
–scl_keygen #此文件用于生成license文件
网盘链接：
[vcs_2018/verdi 2018/ formal verification 2018需要的点赞加留言邮箱，我看到会发送链接到你的邮箱。]
2. 解压相关压缩包
文件大部分是rar格式压缩包，需要在CentOS上安装rar， rar安装包自行百度。安装之后，使用“rar x filename”解压即可。
# wget下面链接或访问rarlab官网下载最新linux包wget https://www.rarlab.com/rar/rarlinux-x64-5.9.1.tar.gz # rar软件不需要安装，直接解压到/usr/local下，以下操作需要有root权限。sudo tar fx rarlinux-x64-5.5.0.tar.gz -C /usr/local/ # 设置环境变量sudo ln -s /usr/local/rar/rar /usr/local/bin/rar sudo ln -s /usr/local/rar/unrar /usr/local/bin/unrar # 显示用法
3. 安装synopsys installer
将对应的安装包下载解压之后，需要安装synopsys installer，之后通过synopsys installer安装scl、verdi、vcs。
（1）解压synopsys_installer
unrar e synopsysinstaller_v5.0.rar解压后，得到：
–checksum_info.txt
–installer_INSTALL_README.txt
–SynopsysInstaller_v3.3.run (可执行文件)
（2）运行SynopsysInstaller_v3.3.run
./SynopsysInstaller_v3.3.run（3）第二步后得到在同一文件夹等到setup.sh文件。
4. 建立相关文件夹
这一步是建立属于每个安装程序的文件夹。
command:
mkdir synopsyscd synopsysmkdir vcs_2016.06mkdir scl_11.9mkdir verdi_2016.06-1
5. 启动synopsys installer并安装
以下命令是打开synopsys installer
command:
cd synopsys_installer./setup.sh这一步可能会报错，说找不到什么文件，直接百度问题即可解决
依赖检测失败：libXss.so.1,libappindicator3.so.1出现libXss.so.1被依赖，这个so文件要查看是属于那个包，通过此命令:>>>>>repoquery --nvr --whatprovides libXss.so.1。得到结果libXScrnSaver-1.2.2-6.1.el7，然后安装:>>>>>yum installl libXScrnSaver-1.2.2-6.1.el7
界面为
在这里插入图片描述
点击Start–>Next后，得到
在这里插入图片描述
1 如果报错，需要安装库，可以使用如下命令
···
sudo yum install libXss* -y
···
需要依次安装scl、vcs、verdi。
在这里，vcs、verdi、scl安装步骤是一样的，这里以scl为例。
在source方框中，选择解压scl安装包后得到的scl文件夹，里面有*.spf文件。
选中正确的文件夹之后，点击Done–>Next（若干个），接下来选择与自己系统相对应的版本选择安装，途中需要选择安装路径，选择在第4步建好的相应的文件夹，并且等待成功安装即可。
2 如果报错说找不到文件，可能是安装源文件的问题，重新拷贝spf文件即可。
一般这个问题是因为磁盘空间不足的原因。
如果centos 空间不足，点此解决
6. window上获得license
以上5步便已经安装完毕了，但是，并没有license，所以不能打开软件。这个时候，就要用到scl_keygen这个文件夹了。
scl_keygen文件夹有：
在这里插入图片描述
打开scl_keygen.exe文件，
在这里插入图片描述
只需要修改以上涂黑的三项。其中HOST ID Deamon和HOST ID Feature我填的是一样的。
HOST_Name填自己主机的名字。
HOST ID Deamon和HOST_Name查看方法：
如下图，我使用的是无线。若用电缆，大部分是eth0。HOST ID Deamon就是红色覆盖的12个字符（冒号除外）；HOST_Name就是chenqw-PC，也可以直接在终端输入hostname获得。
在这里插入图片描述
>>>hostnamelocalhost.localdomain.localdomain是不需要的，填localhost即可
填好之后，直接点击Generate。在同一个文件夹就会出现Synopsys.dat。这个就是我们要的文件了。
7. 修改Synopsys.dat文件并复制到对应文件夹
之前说过scl是一个统一管理Synopsys软件license的软件。
修改Synopsys.dat：
将第二行 修改成DAEMON snpslmd …/synopsys/scl_11.9/amd64/bin/snpslmd （这是你snpslmd对应的路径，修改成你自己的）。
文件复制：
将Synopsys.dat文件复制到…/synopsys/vcs_2016.06/license/和…/synopsys/verdi_2015/license/两个文件夹中（这是你license对应的路径，修改成你自己的，如没有license文件夹，自己建即可）。
8. 设置环境变量
为了之后激活和运行程序方便，设置环境变量是必不可少的。
配置.bashrc：
#dveexport PATH=$PATH:/home/chenqw/synopsys/vcs_2016.06/gui/dve/binalias dve="dve -full64"#VCSexport PATH=$PATH:/home/chenqw/synopsys/vcs_2016.06/bin#VERDIexport PATH=$PATH:/home/chenqw/synopsys/verdi_2016.06-1/binexport VCS_HOME=/home/chenqw/synopsys/vcs_2016.06export VERDI_HOME=/home/chenqw/synopsys/verdi_2016.06-1alias verdi="verdi"#LICENCEexport LM_LICENSE_FILE=27000@chenqw-pcalias lmg_vcs="lmgrd -c /home/chenqw/synopsys/vcs_2016.06/license/Synopsys.dat"#sclexport PATH=$PATH:/home/chenqw/synopsys/scl_11.9/amd64/binexport VCS_ARCH_OVERRIDE=linux以上的配置仅作参考，需要根据你的安装路径进行配置。
之后使配置文件立即生效即可，如果报错，可以检查标点符号。
source .bashrc
9. 激活
激活license是最关键的步骤。在之前可能需要安装
redhat-l***-core，直接使用yum 就可以安装了。
因为激活的端口使用的是27000。我实现开放了此端口。开放端口的方法可自行百度。
firewall-cmd --zone=public --add-port=27000/tcp --permanent # 开放27000端口firewall-cmd --zone=public --remove-port=27000/tcp --permanent #关闭27000端口firewall-cmd --reload # 配置立即生效接下来直接在终端输入lmg_vcs，等待激活即可。若途中有关TCP port的报错，查询27000端口进程，直接kill 掉等待27000端口完全释放再重新lmg_vcs即可。
command:
sudo netstat -ap | grep 27000
kill -9 ******
seccess图示：
在这里插入图片描述
1 如果报错，还报库的问题，可以使用
sudo yum install libpng12 -y2 如果是这个问题，/lib64/ld-l***-x86-64.so.3: bad ELF interpreter: No such file or directory What do I do?
This error indicates that the LSB (Linux Standard Base) subsystem is not installed.
1、On RedHat-based systems (including CentOS), you will need to install the redhat-l*** package:yum install redhat-l***
10 .运行dve, vcs ,verdi
dve&&vcs:
注：dve是vcs的界面化。
在这里插入图片描述
在这里插入图片描述
verdi:
在这里插入图片描述
在这里插入图片描述
简述在网上找了很多教程，才拼凑起来能用的，
安装步骤
1. 安装文件结构
-vcs_vO-2018.09-SP2
–Verdi_O-2018.09-SP2
-fm_O-2019.06-SP1 形式验证工具
–scl_v2018.06 #此程序统一管理license等破解文件
–synopsys_installer #此程序用于安装以上3个程序
–scl_keygen #此文件用于生成license文件
网盘链接：
[vcs_2018/verdi 2018/ formal verification 2018需要的点赞加留言邮箱，我看到会发送链接到你的邮箱。]
2. 解压相关压缩包
文件大部分是rar格式压缩包，需要在CentOS上安装rar， rar安装包自行百度。安装之后，使用“rar x filename”解压即可。
# wget下面链接或访问rarlab官网下载最新linux包wget https://www.rarlab.com/rar/rarlinux-x64-5.9.1.tar.gz # rar软件不需要安装，直接解压到/usr/local下，以下操作需要有root权限。sudo tar fx rarlinux-x64-5.5.0.tar.gz -C /usr/local/ # 设置环境变量sudo ln -s /usr/local/rar/rar /usr/local/bin/rar sudo ln -s /usr/local/rar/unrar /usr/local/bin/unrar # 显示用法
3. 安装synopsys installer
将对应的安装包下载解压之后，需要安装synopsys installer，之后通过synopsys installer安装scl、verdi、vcs。
（1）解压synopsys_installer
unrar e synopsysinstaller_v5.0.rar解压后，得到：
–checksum_info.txt
–installer_INSTALL_README.txt
–SynopsysInstaller_v3.3.run (可执行文件)
（2）运行SynopsysInstaller_v3.3.run
./SynopsysInstaller_v3.3.run（3）第二步后得到在同一文件夹等到setup.sh文件。
4. 建立相关文件夹
这一步是建立属于每个安装程序的文件夹。
command:
mkdir synopsyscd synopsysmkdir vcs_2016.06mkdir scl_11.9mkdir verdi_2016.06-1
5. 启动synopsys installer并安装
以下命令是打开synopsys installer
command:
cd synopsys_installer./setup.sh这一步可能会报错，说找不到什么文件，直接百度问题即可解决
依赖检测失败：libXss.so.1,libappindicator3.so.1出现libXss.so.1被依赖，这个so文件要查看是属于那个包，通过此命令:>>>>>repoquery --nvr --whatprovides libXss.so.1。得到结果libXScrnSaver-1.2.2-6.1.el7，然后安装:>>>>>yum installl libXScrnSaver-1.2.2-6.1.el7
界面为
在这里插入图片描述
点击Start–>Next后，得到
在这里插入图片描述
1 如果报错，需要安装库，可以使用如下命令
···
sudo yum install libXss* -y
···
需要依次安装scl、vcs、verdi。
在这里，vcs、verdi、scl安装步骤是一样的，这里以scl为例。
在source方框中，选择解压scl安装包后得到的scl文件夹，里面有*.spf文件。
选中正确的文件夹之后，点击Done–>Next（若干个），接下来选择与自己系统相对应的版本选择安装，途中需要选择安装路径，选择在第4步建好的相应的文件夹，并且等待成功安装即可。
2 如果报错说找不到文件，可能是安装源文件的问题，重新拷贝spf文件即可。
一般这个问题是因为磁盘空间不足的原因。
如果centos 空间不足，点此解决
6. window上获得license
以上5步便已经安装完毕了，但是，并没有license，所以不能打开软件。这个时候，就要用到scl_keygen这个文件夹了。
scl_keygen文件夹有：
在这里插入图片描述
打开scl_keygen.exe文件，
在这里插入图片描述
只需要修改以上涂黑的三项。其中HOST ID Deamon和HOST ID Feature我填的是一样的。
HOST_Name填自己主机的名字。
HOST ID Deamon和HOST_Name查看方法：
如下图，我使用的是无线。若用电缆，大部分是eth0。HOST ID Deamon就是红色覆盖的12个字符（冒号除外）；HOST_Name就是chenqw-PC，也可以直接在终端输入hostname获得。
在这里插入图片描述
>>>hostnamelocalhost.localdomain.localdomain是不需要的，填localhost即可
填好之后，直接点击Generate。在同一个文件夹就会出现Synopsys.dat。这个就是我们要的文件了。
7. 修改Synopsys.dat文件并复制到对应文件夹
之前说过scl是一个统一管理Synopsys软件license的软件。
修改Synopsys.dat：
将第二行 修改成DAEMON snpslmd …/synopsys/scl_11.9/amd64/bin/snpslmd （这是你snpslmd对应的路径，修改成你自己的）。
文件复制：
将Synopsys.dat文件复制到…/synopsys/vcs_2016.06/license/和…/synopsys/verdi_2015/license/两个文件夹中（这是你license对应的路径，修改成你自己的，如没有license文件夹，自己建即可）。
8. 设置环境变量
为了之后激活和运行程序方便，设置环境变量是必不可少的。
配置.bashrc：
#dveexport PATH=$PATH:/home/chenqw/synopsys/vcs_2016.06/gui/dve/binalias dve="dve -full64"#VCSexport PATH=$PATH:/home/chenqw/synopsys/vcs_2016.06/bin#VERDIexport PATH=$PATH:/home/chenqw/synopsys/verdi_2016.06-1/binexport VCS_HOME=/home/chenqw/synopsys/vcs_2016.06export VERDI_HOME=/home/chenqw/synopsys/verdi_2016.06-1alias verdi="verdi"#LICENCEexport LM_LICENSE_FILE=27000@chenqw-pcalias lmg_vcs="lmgrd -c /home/chenqw/synopsys/vcs_2016.06/license/Synopsys.dat"#sclexport PATH=$PATH:/home/chenqw/synopsys/scl_11.9/amd64/binexport VCS_ARCH_OVERRIDE=linux以上的配置仅作参考，需要根据你的安装路径进行配置。
之后使配置文件立即生效即可，如果报错，可以检查标点符号。
source .bashrc
9. 激活
激活license是最关键的步骤。在之前可能需要安装
redhat-l***-core，直接使用yum 就可以安装了。
因为激活的端口使用的是27000。我实现开放了此端口。开放端口的方法可自行百度。
firewall-cmd --zone=public --add-port=27000/tcp --permanent # 开放27000端口firewall-cmd --zone=public --remove-port=27000/tcp --permanent #关闭27000端口firewall-cmd --reload # 配置立即生效接下来直接在终端输入lmg_vcs，等待激活即可。若途中有关TCP port的报错，查询27000端口进程，直接kill 掉等待27000端口完全释放再重新lmg_vcs即可。
command:
sudo netstat -ap | grep 27000
kill -9 ******
seccess图示：
在这里插入图片描述
1 如果报错，还报库的问题，可以使用
sudo yum install libpng12 -y2 如果是这个问题，/lib64/ld-l***-x86-64.so.3: bad ELF interpreter: No such file or directory What do I do?
This error indicates that the LSB (Linux Standard Base) subsystem is not installed.
1、On RedHat-based systems (including CentOS), you will need to install the redhat-l*** package:yum install redhat-l***
10 .运行dve, vcs ,verdi
dve&&vcs:
注：dve是vcs的界面化。
在这里插入图片描述
在这里插入图片描述
verdi:
在这里插入图片描述
在这里插入图片描述
举报
