有关SVA的一些资料！

ekoyosta · 发表于 2013-5-24 15:04:46

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

x

本帖最后由 ekoyosta 于 2013-5-24 15:10 编辑

看过一段时间的SVA，并且也写过一些，通过Mentor的Questa Formal也验证过一些！手里有点资料，就和大家一起分享一下吧！

AssertionsOverview.pdf (219 KB, 下载次数: 90 )

SVA_Mentor.pdf (2.06 MB, 下载次数: 123 )

ekoyosta · 发表于 2013-5-24 15:10:34

先自己顶一下！！

tbb2009 · 发表于 2013-5-24 22:08:23

楼主，下载了但是打不开，能否检查一下。

xg19815200 · 发表于 2013-5-26 14:03:51

不错，顶一下。

ekoyosta · 发表于 2013-5-27 10:51:42

回复 3# tbb2009
我的是可以打开的，用的是福昕PDF阅读器！你多打开几次试试，是如果实在不行，你留个联系方式我给你email过去！

dou124 · 发表于 2013-7-14 09:18:57

楼主你好，你的资料我也下载了，然后也是打不开啊，楼主可否将资料打包然后重新上传谢谢

dou124 · 发表于 2013-7-14 09:21:23

你好，你的资料下载后无法打开你是否可以重新传一个

shj1988914 · 发表于 2013-7-14 20:52:02

支持下楼主多谢

水中山0428 · 发表于 2013-10-28 17:18:56

systemverilog

zhangowen_007 · 发表于 2017-6-20 12:39:02

请问有软件吗

[资料] 有关SVA的一些资料！