vivado中的仿真库和模型与ISE中的是不一样的,因此在vivado中使用VCS进行仿真的方法也与ISE中不一样。

VCS可以通过两种方法对XILINX的器件进行功能仿真和门级仿真,这两种方法是 Precompiled(预编译) Dynamic(动态调用)。

与ISE相比有以下不同:

  • vivado现在UNISIM库同时包含功能和时序仿真模型
  • vivado参数xil_timing指示UNISIM模型是正常运行还是定时运行
  • vivado包含用于对旧器件进行功能和时序仿真的重定位库
  • Vivado仿真不需要XilinxCoreLib。如果存在基于ISE的旧IP,则可以将其包括在内。
  • AXI BFM是需要许可证的,使用需要单独的编译步骤。
  • vivado的物理库路径跟ISE已不同,逻辑库路径相同

具体可以参数UG900

用于Verilog功能仿真的动态库编译

使用VCS的功能仿真命令

    vcs -y $ XILINX_VIVADO / data / verilog / src / unisims \
-y $ XILINX_VIVADO / data / verilog / src / unimacro \
-y $ XILINX_VIVADO / data / verilog / src / retarget \
-y $ XILINX_VIVADO / ids_lite / ISE / verilog / src / XilinxCoreLib \
-f $ XILINX_VIVADO / data / secureip / secureip_cell.list.f \
-f $ XILINX_VIVADO / data / secureip / axi_bfm / axi_bfm_cell.list.f \
+ incdir + $ XILINX_VIVADO / verilog / src + libext + .v \
$ XILINX_VIVADO / verilog / src / glbl.v \
+ verilog2001ext + .vp -lca -Mupdate -R <testfixture> .v <design> .v

VCS选项说明:

-y:包括子目录
-f:包括文件列表
-R:编译后自动更新仿真可执行文件

  • verilog2001ext + .vp:表示应将SecureIP视为verilog 2001语法
    -lca:启用SecureIP模型解密
    -Mupdate:启用增量编译

库注意事项:

unisims:Xilinx原始功能模型
unimacro:大型原语的宏模型
retarget:用于较旧架构的unisim / simprim重定向库
XilinxCoreLib:ISE传统IP模型
vcs_secureip_cell.list:要包含的安全IP组件列表
axi_bfm_cell.list:可选的加密AXI BFM模型(需要许可证)

Verilog时序仿真的动态库编译

时序仿真是一个三步过程,包括:

  • 生成仿真网表(timesim.v生成)
  • 向网表注释时间信息(SDF文件生成)
  • 使用VCS分析,细化和仿真时序网表和SDF

Vivado中的时序网表/ SDF生成:

write_verilog -mode timesim -sdf_file <sdf_file> .sdf <sim_netlist> .v
write_sdf <sdf_file> .sdf

VCS中的时序仿真命令

 vcs + compsdf -y $ XILINX_VIVADO / data / verilog / src / unisims \
$ XILINX_VIVADO / data / verilog / src / glbl.v \
-f $ XILINX_VIVADO / data / secureip / secureip_cell.list.f \
+ libext + .v + transport_int_delays + pulse_int_e / 0 + pulse_int_r / 0 \
-Mupdate -R <testfixture> .v <sim_netlist> .v

VCS选件说明:

-y:包括库子目录
+ compsdf:编译SDF文件并向后注释时序信息以进行设计
-Mupdate:启用增量编译

makefile加上-top glbl能解决可能遇到的glbl cross module reference error

转自:https://blog.csdn.net/Shawge/article/details/107582479?utm_medium=distribute.pc_relevant.none-task-blog-BlogCommendFromMachineLearnPai2-2.add_param_isCf&depth_1-utm_source=distribute.pc_relevant.none-task-blog-BlogCommendFromMachineLearnPai2-2.add_param_isCf

转:VCS仿真vivado IP的方法的更多相关文章

  1. Modelsim独立仿真Vivado Clocking Wizard IP Core

    工欲善其事,必先利其器.在使用Vivado自带的仿真软件仿真的时候,相对于更优秀的仿真工具Modelsim,效率低了很多,为了更高效的开发,我尝试着用Vivado级联Modelsim仿真,但是级联后还 ...

  2. modelsim 独立仿真vivado的IP核及仿真脚本

    Modelsim独立仿真vivado的IP 最近一直在做local dimming项目的FPGA硬件实现,算法的其中一步就是直方图统计,即数字图像的某一灰度级的像素数,这个直方图的源码找了半天才搞到, ...

  3. VCS仿真查看coverage

    VCS仿真查看coverage Design compiler & simulate #!/bin/csh -f setenv NOVAS_HOME /EDASynopsys/verdi3-I ...

  4. VCS仿真 Dump Memory

    VCS仿真 Dump Memory 两种方法 vcs联合verdi生成fsdb文件 vcs生成vpd文件 VCS联合verdi生成fsdb文件 1.testbench中加入如下语句: initial ...

  5. 强大的Vivado IP工具——自定义IP的使用

    首先,要指出,本文不描述任何IP的功能与使用.   在开发一个大型FPGA项目时,多人协作是必不可少的.这个时候,如何提交设计给负责集成的人,是项目开发中最关键的问题之一. 常用的一个方法是,提交网表 ...

  6. 第一种SUSE Linux IP设置方法

    第一种SUSE Linux IP设置方法ifconfig eth0 192.168.1.22 netmask 255.255.255.0 uproute add default gw 192.168. ...

  7. [Linux] - CentOS IP设置方法

    CentOS 7的IP设置方法: 1.手动设置IP方法 a) 运行命令,cd到目录: cd /etc/sysconfig/network-scripts/ b) 运行命令:ls -l 找到类似这个文件 ...

  8. linux配置IP的方法

    Linux系统下如何设置IP地址?我们可以通过命令设定IP的方法,不过此方法的前提条件是用户需root权限.在Linux系统的 /etc/sysconfig/network-script/ifcfg- ...

  9. 为Linux服务器设置静态IP的方法

    这里以CentOS 7系列为例设置静态IP,原来RedHat系列的Linux发行版可以通过setup工具方便的设置静态IP,但是在版本7之后setup工具的功能就逐渐减弱了,所以这时候采用修改配置文件 ...

随机推荐

  1. excel中if函数的用法

    IF函数有三个参数,语法如下: =IF(条件判断, 结果为真返回值, 结果为假返回值) 第一参数是条件判断,比如说"A1="百度""或"21>3 ...

  2. cmd中输出换行和转义字符

    cmd 中输出换行和转义字符 今天想写一个安装 Windows 任务的 bat 脚本,在命令行界面输出换行和转义一些字符,居然搜索了好久才搜到正确操作,因此记录一下. 在命令行界面输出换行 echo. ...

  3. PHP中操作任意精度大小的GMP扩展学习

    对于各类开发语言来说,整数都有一个最大的位数,如果超过位数就无法显示或者操作了.其实,这也是一种精度越界之后产生的精度丢失问题.在我们的 PHP 代码中,最大的整数非常大,我们可以通过 PHP_INT ...

  4. html阴影 box-shadow

    右下阴影 div { box-shadow: 10px 10px 5px #888888; }四周阴影 div { box-shadow: 0 0 5px #888888; } div {box-sh ...

  5. Kotlin协程基础

    开发环境 IntelliJ IDEA 2021.2.2 (Community Edition) Kotlin: 212-1.5.10-release-IJ5284.40 我们已经通过第一个例子学会了启 ...

  6. JPA自动生成表

    一句话总结: 在配置文件中 jpa-hibernate-ddl-auto:update validate 加载 Hibernate 时,验证创建数据库表结构 create 每次加载 Hibernate ...

  7. .Net微服务实战之可观测性

    系列文章 .Net微服务实战之技术选型篇 .Net微服务实战之技术架构分层篇 .Net微服务实战之DevOps篇 .Net微服务实战之负载均衡(上) .Net微服务实战之CI/CD .Net微服务实战 ...

  8. C++ 可变数组实现

    话不多说,直接上代码,看注释 template<class T> // 支持传入泛型,但string这种可变长度的类型还不支持 class Array { int mSize = 0, m ...

  9. P4544 [USACO10NOV]Buying Feed G

    part 1 暴力 不难发现有一个 $\mathcal O(K^2n)$ 的基础 dp: $$f_{i,j+l}=\min(f_{i,j+l},f_{i-1,j}+(x_i-x_{i-1})\time ...

  10. VirtualBox设置双网卡实现主宿互访及虚拟机访问互联网总结

    1,配置网络 注:VirtualBox要在全局工具-主机网络管理器里新建一个虚拟网卡. 然后虚拟机的网卡1设置为host-only,界面名称为新建的虚拟网卡(我这里为了不跟主机ip冲突,设置成了不同网 ...