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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 80097|回复: 258

[资料] SV(systemverilog)验证资料合集

[复制链接]
发表于 2010-5-7 16:13:59 | 显示全部楼层 |阅读模式

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

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

x
概述  SystemVerilog是一种相当新的语言,它建立在Verilog语言的基础上,是 IEEE 1364 Verilog-2001 标准的扩展增强,兼容Verilog 2001,并新近成为下一代硬件设计和验证的语言。

  SystemVerilog结合了来自 Verilog、VHDLC++的概念,还有验证平台语言和断言语言,也就是说,它将硬件描述语言(HDL)与现代的高层级验证语言(HVL)结合了起来。使其对于进行当今高度复杂的设计验证的验证工程师具有相当大的吸引力。

  这些都使得SystemVerilog在一个更高的抽象层次上提高了设计建模的能力。它主要定位在芯片的实现和验证流程上,并为系统级的设计流程提供了强大的连接能力
Systemverilog与SystemC  SystemC和SystemVerilog这两种语言,支持诸如信号、事件、接口和面向对象的概念,但每一种语言又均拥有自己明确的应用重点:

  ●SystemC对于体系架构开发编写抽象事务处理级(TL)模型、或执行建模来说最为有效,特别是对于具有很强C++实力的团队和有基于C/C++ IP 集成要求(如处理器仿真器),以及为早期软件开发设计的虚拟原型来说,更是如此。

  ●SystemVerilog对于RTL、抽象模型和先进的验证平台的开发来说最有效率,因为它具备了执行这方面任务所需的基础架构,例如受限制随机激励生成、功能覆盖或断言。

  ●SystemVerilog显然是描述最终的RTL设计本身的首选语言,不仅在于其描述真实硬件和断言的能力,还在于对工具支持方面的考虑。

基于systemverilog语言验证方法学(中文).pdf

516.18 KB, 下载次数: 1758 , 下载积分: 资产 -2 信元, 下载支出 2 信元

《SystemVerilog for verification》.pdf

1.41 MB, 下载次数: 974 , 下载积分: 资产 -2 信元, 下载支出 2 信元

Digital System Design with SystemVerilog(draft).pdf

2.51 MB, 下载次数: 514 , 下载积分: 资产 -2 信元, 下载支出 2 信元

Hardware Verification with C .pdf

2.32 MB, 下载次数: 1163 , 下载积分: 资产 -2 信元, 下载支出 2 信元

Hardware Verification with SystemVerilog.pdf

3.49 MB, 下载次数: 615 , 下载积分: 资产 -2 信元, 下载支出 2 信元

SystemVerilog for Design(2nd edition).pdf

2.9 MB, 下载次数: 553 , 下载积分: 资产 -2 信元, 下载支出 2 信元

SystemVerilog for Design(Second Edition).pdf

2.51 MB, 下载次数: 411 , 下载积分: 资产 -2 信元, 下载支出 2 信元

SystemVerilog for Verification.pdf

1.41 MB, 下载次数: 456 , 下载积分: 资产 -2 信元, 下载支出 2 信元

SystemVerilog_3.1a Language Reference Manual.pdf

4.05 MB, 下载次数: 1175 , 下载积分: 资产 -3 信元, 下载支出 3 信元

Verification Methodology Manual for SystemVerilog.pdf

2.06 MB, 下载次数: 550 , 下载积分: 资产 -2 信元, 下载支出 2 信元

Verilog Digital System Design 2007年新版.pdf

2.91 MB, 下载次数: 987 , 下载积分: 资产 -2 信元, 下载支出 2 信元

Writing Testbenches using SystemVerilog_Wan.pdf

2.02 MB, 下载次数: 724 , 下载积分: 资产 -2 信元, 下载支出 2 信元

 楼主| 发表于 2010-5-7 16:19:09 | 显示全部楼层
Verification Methodology Manual for SystemVerilog.rar (1.65 MB, 下载次数: 337 )
SystemVerilog.rar (2.23 MB, 下载次数: 494 )
发表于 2010-5-7 21:07:13 | 显示全部楼层
thanks
发表于 2010-6-2 22:35:43 | 显示全部楼层
feich hao
发表于 2010-6-3 11:16:51 | 显示全部楼层
hao duo o !
发表于 2010-7-1 02:00:41 | 显示全部楼层
thanks a lot...
发表于 2010-7-10 14:35:59 | 显示全部楼层
1# jerome555
謝謝!
发表于 2010-7-17 12:25:08 | 显示全部楼层
哈哈哈哈哈哈哈哈哈哈hahah
发表于 2010-7-25 23:07:23 | 显示全部楼层
学习一下
发表于 2010-7-27 21:25:39 | 显示全部楼层
谢谢楼主的提供
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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


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

GMT+8, 2024-12-22 23:39 , Processed in 0.027921 second(s), 9 queries , Gzip On, Redis On.

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