systemverilog课件教程.pptVIP

System verilog简介 验证方法学 为什么要学习SV？ 相关知识的了解 主要应用 SV与verilog的区别 重点语法简单介绍;SystemVerilog简称为SV语言，是一种相当新的语言，它建立在Verilog语言的基础上发展出来的。 SystemVerilog结合了来自 Verilog、C/C++的概念，还有验证平台语言和断言语言，也就是说，它将硬件描述语言（HDL）与现代的高层级验证语言（HVL）结合了起来。使其对于进行当今高度复杂的设计验证的验证工程师具有相当大的吸引力。 ;Systemverilog除了作为一种高层次，能进行抽象建模的语言被应用外，它的另一个显著特点是能够和芯片验证方法学结合在一起，即作为实现方法学的一种语言工具。使用验证方法学可以大大增强模块复用性、提高芯片开发效率，缩短开发周期。芯片验证方法学中比较著名的有：VMM、OVM、AVM和UVM等。;ＳｙｓｔｅｍＶｅｒｉｌｏｇ 有如下优点： １）同时支持设计和验 证的标准语言。 ２）支持约束随机的产生。 ３）支持覆盖率统计分析。 ４）支持断言验证。 ５）面向对象的编程结构，有 助于采用事务级的验证和提高 验证的重用性。 6 ) 有多种验证方法学的支持; ; 新增接口（interface） 类似C语言中的数据类型，如int 用户自定义类型（typedef） 枚举类型、结构体和联合体 类型转换($cast、强制类型转换) package ++、--、+=等类C赋值操作 通过引用(ref)传送到任务、函数和模块;SystemVerilog与Verilog语言相比，新增了的许多用于FPGA设计功能，具有比verilog更清晰、准确、简洁的硬件描述能力，FPGA供应商和EDA工具供应商的综合工具使SystemVerilog的设计拥有比在Verilog更容易理解的风格和较高的抽象层次的描述，加快了编码进程和可重用性。 (参考文档：Using SystemVerilog for FPGA Design – 中文.docx);1、编写受控随机的、分层的、可重用的测试平台的能力——Test。Verilog编写测试平台的能力就相当于采用最基本的C语言结构编程，而采用SystemVerilog编写测试平台则相当于采用C++按照面向对象的思想编程。 2、在设计描述和测试平台中添加断言的能力——Assertion。断言这个工具，在软件开发中早就广泛应用了。在单元测试、集成测试和功能覆盖率??估中，断言都是一个很强大的工具。3、更高抽象层次的系统描述能力——Architectural modeling。OOP、Dynamic Threads、Interprocess Communication、行为级和事物级的描述能力，从名称上看来确实高级。;数据类型 除了 Ｖｅｒｉｌｏｇ已提供的硬件设计所需要的网线和变量等数据类型外，Ｓｙｓｔｅｍ Ｖｅｒｉｌｏｇ增加了很多新的数据类型来帮助描述更抽象的硬件行为，如图所示，这些新增加的数据类型主要是与 Ｃ／Ｃ＋＋语言的数据类型类似，这里介绍验证中主要使用到的部分。 ＳｙｓｔｅｍＶｅｒｉｌｏｇ新增的主要数据类型主要有下面几种： 两态 （１／０）数据类型 枚举类型和用户自定义类型 动态数组、关联数组和队列 联合体和结构体 字符串 类;SystemVerilog断言（简称SVA）是verilog引入的新的验证方法中的一种，它是对设计属性（行为）的描述，它是用描述性语言来描述设计的属性。在仿真过程中，如果一个被描述的属性不是我们期望的那样，那么断言就会失败；或者在仿真过程中，如果出现了一个不应该出现的属性，那么断言也会失败。 SVA是一种描述性语言，可以完美地描述和控制时序相关的问题，而且语言本身简洁易读，容易维护。SVA还提供了许多内嵌的函数用于测试特定的时序关系和自动收集功能覆盖率数据。并且当断言失败时，仿真系统会根据失败断言的严重程度来决定是打印一条错误提示信息还是退出仿真过程，便于定位出错的位置。;SVA可以在以下地方监视信号间的各种时序关系： （1）设计模块的内部； （2）模块与模块间的连接信号； 好处： （1）和 RTL 代码放在一起进行综合，用于调试； （2）进行设计的功能覆盖。;SystemVerilog在Verilog语言基础上扩展了“接口”（interface）结构，接口给模型提供了一种新的方式，通过使用接口可以简化大型复杂设计的建模和验证。 接口反映的是模块与模块之间的互连，对Verilog来说，主要通过模块的端口表现。 ;Verilog模块的端口提供了一种描述设计中模块之间连接关系的方式，这种方式直观明了，但在大型复杂设计中，有很多缺点： 在多个模块中必须重复声明端口 在不同模块中有声明不匹配的