OVL或者说是SVA检查器库应用指南 Synopsys库文件《Synopsys_SVA_OVL检查库应用指南》

gbsid · 发表于 2013-10-20 17:57:29

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

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

x

本帖最后由 gbsid 于 2013-10-20 17:59 编辑

本文讲解的是OVL检查器库，说是OVL其实是SVL，因为在Synopsys中叫做SVL，不过它和OVL的使用方法是相同的，并且还增加了扩展库，相信对做验证的人有帮助。并且文件最终赘述了SVA的相关语法，能够给初学SVA的人以指导。

jackye · 发表于 2013-10-22 22:12:44

不错下载来看看

水中山0428 · 发表于 2013-10-28 17:03:30

谢谢分享。。。。。。。。。。

飞扬紫百合 · 发表于 2013-10-28 17:51:03

听起来不错，是不是官方放出的paper？

tilin · 发表于 2014-11-13 11:00:20

shenme东西

lein134 · 发表于 2014-11-13 14:27:01

多谢楼主分享，支持你

getwkg · 发表于 2015-1-23 15:33:33

不错，呵呵

670687308 · 发表于 2015-1-23 15:51:08

好东西，谢谢分享

lzj94412768 · 发表于 2015-2-2 09:12:18

作者似曾相识水水水水是

aljuied · 发表于 2015-3-25 13:51:53

多谢楼主分享！

[原创] OVL或者说是SVA检查器库应用指南 Synopsys库文件《Synopsys_SVA_OVL检查库应用指南》

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

相关帖子

站长推荐 /2