Verdi/Ncverilog/VCS安装过程

本文详细记录了Verdi、Ncverilog及VCS软件的安装过程,包括所需文件链接、安装步骤及常见问题解决方案。特别关注于环境配置及license设置。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

参考了eetop里相关帖子,自己安装了Verdi/Ncverilog/VCS软件,记录下来,留作以后自己查看,如果能对您有一点帮助,倍感荣幸。

1.Verdi安装

eetop里有详细的介绍,我在云盘里存了安装需要的文件和安装说明,具体如下:

(1)安装说明文档:http://pan.baidu.com/s/1ntyY4lz

(2)Verdi2012.10源文件:一共有11个文件,我也懒得压缩在一块了,如下:

1.http://pan.baidu.com/s/1dD9ym6t

2.http://pan.baidu.com/s/1gdAacQv

3.http://pan.baidu.com/s/1o6n1lrG

4.http://pan.baidu.com/s/1c0ivUd6

5.http://pan.baidu.com/s/1mgLvnew

6.http://pan.baidu.com/s/1hqoZyj6

7.http://pan.baidu.com/s/1eQJ588y

8.http://pan.baidu.com/s/1dDoz4f3

9.http://pan.baidu.com/s/1kT86aLD

10.http://pan.baidu.com/s/1kT9lX1H

11.http://pan.baidu.com/s/1sj4qcfb

12.http://pan.baidu.com/s/1dDhDTq5

(3)破解工具:http://pan.baidu.com/s/1bnpP055

2.Ncverilog安装

eetop里也有详细的介绍,我在云盘里存了安装需要的文件和安装说明,具体如下:

(1)安装说明文档:http://pan.baidu.com/s/1lhQME

(2)IUS9.2源文件:http://pan.baidu.com/s/1o6kJw7K

(3)patch文件:http://pan.baidu.com/s/1CSfGq

(4)license文件:http://pan.baidu.com/s/1bn8Mudx,(1)中的介绍的license破解方法也是可以的,但这份是破解好的,只需要修改以下两行即可。

SERVER computer ANY 27000  #需要把computer修改为自己主机的名字
DAEMON cdslmd   #需要在次指定cdslmd工具的目录
# DO NOT REMOVE THE USE_SERVER LINE

3.VCS安装

(1)安装说明文档:http://pan.baidu.com/s/1ntIBtX3

(2)VCS-2014.03源文件:http://pan.baidu.com/s/1kTgfJ2R

(3)SCL-11.7源文件:http://pan.baidu.com/s/1mgFpAZm

(4)Installer-V3.1源文件:http://pan.baidu.com/s/1bnAipXH

4.安装过程中遇到的问题

Verdi和Ncverilog按照上面介绍的方法一次性就安装成功了,但VCS尝试了多次,期间试过不同的linux版本(ubuntu14.0,ubuntu10.04,RHEL5.4),也试过不同的VCS版本(2014.03,2013.06,2012.09),都没有成功,报的错误都一样,应该是需要什么库文件或者库文件的版本不对,但很奇怪,具体问题见http://bbs.eetop.cn/thread-470806-1-1.html,如果哪位大侠能指导下,感激涕零。

5.Verdi和Ncverilog同时启动license问题

在/etc/bashrc里设置如下环境变量:

#add for ncverilog
export IUS_HOME=/usr/cad/ius9.20
export PATH=$IUS_HOME/tools.lnx86/bin:$PATH
export LM_LICENSE_FILE=$IUS_HOME/license/license.dat:$LM_LICENSE_FILE
#add for verdi
export VERDI_HOME=/usr/cad/verdi-2012.10
export PATH=$VERDI_HOME/bin:$VERDI_HOME/platform/LINUX/bin:$PATH
export LM_LICENSE_FILE=$VERDI_HOME/license/license.dat:$LM_LICENSE_FILE
#auto setup license
/bin/sh /usr/cad/lic.sh

其中lic.sh文件里启动verdi和ncverilog的license,内容如下:

#! /bin/sh
    
/usr/cad/verdi-2012.10/bin/lmgrd -c /usr/cad/verdi-2012.10/license/license.dat -l /usr/cad/verdi-2012.10/license/license.log
/usr/cad/ius9.20/tools/bin/lmgrd -c /usr/cad/ius9.20/license/license.dat -l /usr/cad/ius9.20/tools/license.log

这样每次开机启动后,就默认启动好verdi和ncverilog的license。

### VCS 中 SVA 的参数配置与使用 #### 参数配置 在 VCS 中,SystemVerilog Assertions (SVA) 可通过多种方式配置以满足不同的验证需求。这些配置可以通过命令行选项或者 `.sverilog` 文件中的编译指令实现。 1. **启用 SVA 支持** 默认情况下,VCS 启用了 SystemVerilog 和其断言语法的支持。如果需要显式指定支持 SVA,则可以在运行仿真时添加 `-sva` 选项[^1]。 2. **控制断言的行为** 断言行为可通过以下几种方式进行调整: - `+define+NO_ASSERTIONS`: 定义此宏可禁用所有断言功能,在某些性能优化场景下可能有用。 - `+assertion_report_level=<level>`: 设置断言报告的详细程度,其中 `<level>` 可以为 `none`, `low`, `medium`, 或者 `high`[^2]。 - `+acc+=rw`: 如果需要调试波形并查看断言内部状态机的变化,建议开启该选项以便于观察信号变化。 3. **波形文件格式的选择** 对于不同类型的波形文件(如 vpd, shm),可以选择适合的形式来记录仿真的数据流信息。例如,VPD 是 Cadence 提供的标准波形数据库格式之一;而 SHM 则是由 NC-Sim 所采用的记忆模型共享机制衍生而来。 #### 使用示例 下面展示了一个简单的例子,演示如何定义带有参数的 property 并将其应用于 assert statement: ```verilog module test_sva; logic clk, reset_n, a, b; initial begin $dumpfile("test.vcd"); $dumpvars(0, test_sva); // Example of driving inputs to the DUT or TB here... #100; $finish(); end always #5 clk = ~clk; property p1(input signal_a, input signal_b); @(posedge clk) disable iff (!reset_n) !(signal_a && !signal_b); endproperty : p1 assert property(p1(a,b)) else $error("Assertion failed at %t", $time); endmodule : test_sva ``` 上述代码片段展示了如何创建一个名为 `p1` 的 parameterized property,并利用它构建了一条基本的 assertion rule 来监控两个输入信号之间的关系。 --- ### 波形显示及相关工具集成 当涉及到具体项目开发过程中遇到的实际问题时,比如 license 管理或是与其他EDA 工具链协作等问题也值得注意: - 当 Synopsys License Manager 出现异常状况无法获取所需授权许可时,请核查服务器端服务是否在线运转良好以及客户端环境变量 SNPSLMD_LICENSE_FILE 是否被正确定位指向有效的许可证路径[^3]. - 动态波形调试方面推荐配合 Verdi 进行深入剖析;对于更广泛的 RTL 设计质量保障则离不开 SpyGlass 这样的静态分析利器辅助完成 CDC 跨时钟域检测等工作流程环节. ---
评论 15
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值