使用ncsim仿systemverilog assertion问题

hust0502wz · 发表于 2014-9-5 14:46:59

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

请教论坛里的各位朋友。我写了一个sva的module，与待测模块bind在一起，然后用ncsim仿真。应该有会产生一个report指明各个assertion都成功或失败了多少次。但是没有产生这个我想要的report。在脚本里已经加了assertion -summary -final 的选项。仿真结束后，提示no assertions found。
请教哪位朋友能指点迷津，应该如何才能产生这个我想要的report。

amarnath1683 · 发表于 2016-5-25 06:36:26

how to remove warning message

tansumoshui · 发表于 2016-6-1 14:14:03

我也遇到这个问题，楼主可否提点一下

liubingyan1076 · 发表于 2016-9-6 18:04:02

有大神吗？

wei_wilson · 发表于 2018-6-7 14:31:29

adding this command into your script maybe help you:
assertion -summary -show failed
or
assertion -summary

bbli6913 · 发表于 2021-9-27 10:53:55

朋友，请你你的这个问题解决了吗？我最近在最SVA也遇到同样问题，目前还没解决，想请教你

bbli6913 · 发表于 2021-9-28 10:21:18

请问，SVA pass次数，fail次数，vacant pass次数，从哪里可以知道？

bbli6913 · 发表于 2021-9-30 11:39:49

楼主，你好，请问的关于SVA report的问题解决了吗？我最近也遇到同一问题，正在寻求解决的办法

bbli6913 · 发表于 2021-10-8 11:23:24

楼主，在线吗？求帮助SVA report

[求助] 使用ncsim仿systemverilog assertion问题

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

浏览过的版块

站长推荐 /1