团长 4年前提问 Arm Assertion
1
如何在前端仿真环境中加入ovl库,并能编译通过代码中的断言语句?

使用ovl库的时候,在仿真的时候需要把跟库相关的东西一起编译,那么如何修改file list把库和RTL代码一起编译呢?

被浏览 :  394
收起
( 0 ) 评论
搭建您的AMBA Bus系统
ARM权威专家带你玩转AMBA 2133
T-T 4年前回复
0
已采纳
添加评论
香辣西瓜粉 4年前回复
2

须要在apb_slave.vc中添加三条语句:
1.+incdir+../../../../data/shared/std_ovl,加入这条语句会使文件中出现'include std_ovl_defines.h命令时把std_ovl目录include进去;
2.../../../../data/shared/std_ovl/assert_never.vlib,在加入1.中的语句后,会提示找不到assert_never模块,把这条语句加进去即可;
3.../../../../data/shared/std_ovl/assert_implication.vlib,同2.

添加评论
tln 2个月前回复
0

还有更通用的写法:

  1. +incdir+../../../../data/shared/std_ovl,同上
  2. -y ../../../../data/shared/std_ovl, 指定在该目录下查找所需要的文件
  3. +libext+.vlib, 搜索文件的扩展名为.vlib的文件。这样不需要将相应模块一个一个添加,vcs会自己搜索用到的模块,如assert_implication.vlib,assert_never.vlib或是其他。
添加评论
我的答案
提交答案