在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 25848|回复: 99

[资料] SystemVerilog Assertion 资料收集 (SystemVerilog Assertion Documents & labs)

[复制链接]
发表于 2015-12-10 10:32:58 | 显示全部楼层 |阅读模式

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

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

x
1. Synopsys SVA documents;
    2009_snug_sva.zip (1.61 MB, 下载次数: 400 )

2. AXI BUS SVA checker example;
    axi_4_bus_sva_checker.zip (424.78 KB, 下载次数: 382 )

3. SVA LIB
    SVA_LAB.zip (1.49 MB, 下载次数: 390 )

4. SystemVerilog Assertion & Functional Coverage (绝对经典)
    SystemVerilog_Assertions_and_Functional_Coverage.part1.rar (13.68 MB, 下载次数: 851 )
    SystemVerilog_Assertions_and_Functional_Coverage.part2.rar (7.84 MB, 下载次数: 6273 )

5. Power of Assertions in SV (绝对经典)
    Power_of_Assertions_in_SystemVerilog.pdf (3.46 MB, 下载次数: 2821 )

6. Systemverilog Assertion应用指南 + 代码example (绝对经典, 汉语版)
    SystemVerilog_Assertions_应用指南-源代码.rar (3.07 MB, 下载次数: 840 )
    systemverilog assertions应用指南.pdf (1.4 MB, 下载次数: 629 )
    system_verilog_assertions应用指南.pdf (1.4 MB, 下载次数: 288 )

7. 一些论文
    _castle_paper.pdf (190.54 KB, 下载次数: 110 )
    IP软核验证方法研究.pdf (2.85 MB, 下载次数: 598 )
    基于SVA的功能验证方法应用研究-R.pdf (3.06 MB, 下载次数: 203 )
    基于SVA的视频信号处理芯片功能验证.pdf (4.2 MB, 下载次数: 173 )
    基于断言的功能验证方法研究.pdf (1.88 MB, 下载次数: 242 )
发表于 2015-12-10 12:05:02 | 显示全部楼层
感谢楼主分享,最近正在学习SV
发表于 2016-1-26 08:48:10 | 显示全部楼层
sahgfsahsh
发表于 2016-2-2 16:10:31 | 显示全部楼层
thank u
发表于 2016-2-3 10:56:24 | 显示全部楼层
谢谢,果断收了
发表于 2016-3-20 15:39:01 | 显示全部楼层
谢谢上传!
发表于 2016-3-20 15:41:24 | 显示全部楼层
谢谢分享!
发表于 2016-3-21 02:55:38 | 显示全部楼层
thnx!
发表于 2016-3-21 21:52:32 | 显示全部楼层
感谢分享,都是很实在的资料
发表于 2016-4-11 15:43:51 | 显示全部楼层
mark ,待续要时学习
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /2 下一条

×

小黑屋| 手机版| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-12-22 19:39 , Processed in 0.022697 second(s), 7 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表