PVS怎么安装

shfeiwang

   

叶落 发表于 2019-4-25 11:32
我是直接写到.cdsinit中的，没什么格式错误吧？修改了刚才的语法，但是我的virtuoso上还是没有。。。我也 ...

PVS安装，环境都设置好了吗？打开virtuoso的terminal下敲which cdnspvs看看有没有这些命令

haruman

PVS也不是抽网表的啊

叶落

   

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

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

shfeiwang

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

叶落

   

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)

叶落

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

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

17315768922

给楼主赞一个

17315768922

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

panpancao

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

panpancao

   

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

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