|
马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?注册
x
概述 SystemVerilog是一种相当新的语言,它建立在Verilog语言的基础上,是 IEEE 1364 Verilog-2001 标准的扩展增强,兼容Verilog 2001,并新近成为下一代硬件设计和验证的语言。
SystemVerilog结合了来自 Verilog、VHDL、C++的概念,还有验证平台语言和断言语言,也就是说,它将硬件描述语言(HDL)与现代的高层级验证语言(HVL)结合了起来。使其对于进行当今高度复杂的设计验证的验证工程师具有相当大的吸引力。
这些都使得SystemVerilog在一个更高的抽象层次上提高了设计建模的能力。它主要定位在芯片的实现和验证流程上,并为系统级的设计流程提供了强大的连接能力
Systemverilog与SystemC SystemC和SystemVerilog这两种语言,支持诸如信号、事件、接口和面向对象的概念,但每一种语言又均拥有自己明确的应用重点:
●SystemC对于体系架构开发编写抽象事务处理级(TL)模型、或执行建模来说最为有效,特别是对于具有很强C++实力的团队和有基于C/C++ IP 集成要求(如处理器仿真器),以及为早期软件开发设计的虚拟原型来说,更是如此。
●SystemVerilog对于RTL、抽象模型和先进的验证平台的开发来说最有效率,因为它具备了执行这方面任务所需的基础架构,例如受限制随机激励生成、功能覆盖或断言。
●SystemVerilog显然是描述最终的RTL设计本身的首选语言,不仅在于其描述真实硬件和断言的能力,还在于对工具支持方面的考虑。 |
-
-
基于systemverilog语言验证方法学(中文).pdf
516.18 KB, 下载次数: 1751
, 下载积分:
资产 -2 信元, 下载支出 2 信元
-
-
《SystemVerilog for verification》.pdf
1.41 MB, 下载次数: 971
, 下载积分:
资产 -2 信元, 下载支出 2 信元
-
-
Digital System Design with SystemVerilog(draft).pdf
2.51 MB, 下载次数: 512
, 下载积分:
资产 -2 信元, 下载支出 2 信元
-
-
Hardware Verification with C .pdf
2.32 MB, 下载次数: 1162
, 下载积分:
资产 -2 信元, 下载支出 2 信元
-
-
Hardware Verification with SystemVerilog.pdf
3.49 MB, 下载次数: 614
, 下载积分:
资产 -2 信元, 下载支出 2 信元
-
-
SystemVerilog for Design(2nd edition).pdf
2.9 MB, 下载次数: 551
, 下载积分:
资产 -2 信元, 下载支出 2 信元
-
-
SystemVerilog for Design(Second Edition).pdf
2.51 MB, 下载次数: 409
, 下载积分:
资产 -2 信元, 下载支出 2 信元
-
-
SystemVerilog for Verification.pdf
1.41 MB, 下载次数: 453
, 下载积分:
资产 -2 信元, 下载支出 2 信元
-
-
SystemVerilog_3.1a Language Reference Manual.pdf
4.05 MB, 下载次数: 1175
, 下载积分:
资产 -3 信元, 下载支出 3 信元
-
-
Verification Methodology Manual for SystemVerilog.pdf
2.06 MB, 下载次数: 549
, 下载积分:
资产 -2 信元, 下载支出 2 信元
-
-
Verilog Digital System Design 2007年新版.pdf
2.91 MB, 下载次数: 987
, 下载积分:
资产 -2 信元, 下载支出 2 信元
-
-
Writing Testbenches using SystemVerilog_Wan.pdf
2.02 MB, 下载次数: 723
, 下载积分:
资产 -2 信元, 下载支出 2 信元
|