PVS怎么安装

haruman · 发表于 2019-4-25 14:28:20

PVS也不是抽网表的啊

叶落 · 发表于 2019-4-25 15:31:51

shfeiwang 发表于 2019-4-25 14:09
PVS安装，环境都设置好了吗？打开virtuoso的terminal下敲which cdnspvs看看有没有这些命令

command not found 我用的IC615和能不能用PVS没有关系哈？

shfeiwang · 发表于 2019-4-25 15:40:06

装了pvs，ic615才会认到并加载pvs的菜单啊

叶落 · 发表于 2019-4-25 17:06:31

shfeiwang 发表于 2019-4-25 15:40
装了pvs，ic615才会认到并加载pvs的菜单啊

所以我这个是没有装成功吗？我在装的时候也没有什么别的特殊的提示啊，比如cadence相关路径要求啥的，
下面两行是.cshrc.cadence中的路径。敢问大神这个EXT和PVS是一个东东吗？
#for EXT
setenv EXT_HOME /home/cadence/EXT161
set path=($EXT_HOME/tools/bin $path)
set path=($EXT_HOME/tools/dfII/bin $path)

#for PVS
setenv PVS_HOME /home/cadence/pvs161
set path=($EXT_HOME/tools/bin $path)

叶落 · 发表于 2019-4-25 17:35:01

已找到问题我的路径设置出错了 set path=(EXT_HOME/tools/bin $path)

改为 set path=(PVS_HOME/tools/bin $path)

17315768922 · 发表于 2019-9-25 15:10:19

本帖最后由 17315768922 于 2019-9-25 15:15 编辑

给楼主赞一个

17315768922 · 发表于 2019-9-25 19:15:35

老哥，你pvs怎么装的，，求教

panpancao · 发表于 2020-9-27 13:15:57

请问PVS在哪里可以下载呢？

panpancao · 发表于 2020-9-27 23:46:13

17315768922 发表于 2019-9-25 19:15
老哥，你pvs怎么装的，，求教

请问您会了吗？我也需要装这个。。不知道怎么办

[求助] PVS怎么安装

站长推荐 /1