数字集成电路验证方法学

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

2020/9/4
共79页
17
SystemVerilog介绍-面向对象编程
类:定义实物的抽象特点, 包含方法和属性。
对象:类的实例。 方法:类的行为。 继承:子类包含类的特性。
70%以上,它已经成为复杂SOC(System onChip)开发中的重要壁垒。 制造、设计和验证能力之间存在鸿沟
2020/9/4
共79页
4
典型流程
Verification is not just very hard, it is very, very hard没有一个简单的工具可以解决你所有的验证 问题。(VSIA,Virtual Socket Interface Alliance)
2020/9/4
共79页
16
SystemVerilog介绍-面向对象编程
OOP:Object-oriented programming
对象:对象(Object)是一个现实实体的抽象,对象可被认为是一
个把数据(属性)和程序(方法)封装在一起的实体,这个程序 产生该对象的动作,属性反映了对象当前的状态 。

mVerilog
开源和不同 支持不同验证
支持

仿真器之间
工具
SystemVerilog
的透明性
等多种语言
开源和快速 Quesverilog SystemVerilog
等多种语言
2020/9/4
共79页
13
OVM介绍
OVM是一种基于SystemVerilog的验证方法或者策略,已经实现 了一个基本的层次化验证平台,大大简化验证工程师的工作量。
Synopsys公司。 AVM:Advanced Verification Methodology, Mentor公司。 OVM:Open Verification Methodology, Cadence公司和Mentor
公司。 UVM: Universal Verification Methodology, Cadence公司。
数字集成电路验证方法学
2015年1月6日
主要内容
验证的必要性 验证方法学介绍 验证工具介绍 演示
2020/9/4
共79页
2
主要内容
验证的必要性 验证方法学介绍 验证工具介绍 演示
2020/9/4
共79页
3
验证的必要性
验证的概念,验证与测试的区别。 经验表明,验证已经占到整个产品开发周期的
2020/9/4
共79页
12
为什么选用OVM?
验证方法学 RVM VMM AVM OVM
UVM
各种验证方法学比较
侧重点
EDA验证工具 支持的验证语言 基类库是否 开源
层次化验证
VCS
OpenVera

RTL级模块
VCS
SystemVerilog

层次化验证 Questasim SystemC/Syste
2020/9/4
共79页
5
主要内容
验证的必要性 验证方法学介绍 验证工具介绍 演示
2020/9/4
共79页
6
验证方法学
方法学:又称方法论,是一门学问采用的方法、规 则与公理;一种特定的做法或一套做法。
验证方法学:指完成验证过程中的一系列方法、技 术和规范。
1.仿真技术 2.静态技术 3.物理验证
2020/9/4
共79页
7
仿真技术
基于事件的仿真--任何一个输入的变化都被标记为事件,即 常说的功能仿真,精度高,速度慢。比如Modelsim, VCS。
基于周期的仿真--单周期内只检查一次输入并计算设计的输 出逻辑值。速度快,无时序、毛刺。比如Cyclone。
事务级仿真--一堆事件的集合即为事务,即常说的验证平台。 软硬件协同验证--需要专门的软硬件,成本高 。
共79页
15
SystemVerilog介绍
SystemVerilog结合了Verilog和C++的概念 ,具有如下新功能:
1.面向对象编程(OOP) 、 2.随机约束(Constraint Random)、 3.断言(Assertion) 、 4.功能覆盖率(Functional Coverage) 。
OVM可以验证HDL代码或者网表文件 OVM特点:
1.开放性:支持所有验证工具 2.开源:OVM库都是基于SystemVerilog实现的,可以在网上下 载。 3.可靠性:两大公司共同开发维护
2020/9/4
共79页
14
OVM结构
2020/9/4
ovm_env ovm_sequecer ovm_agent ovm_transcation ovm_scoreboard ovm_driver ovm_monitor
与待测设计联系程度
可重用性 抽象层次 参考模型
非常紧密
无 无 无
行为级与DUT联系紧密 事务级具有自身独立性 强 有 有
2020/9/4
共79页
11
事务级仿真
RVM: Reference Verification Methodology, Synopsys公司。 VMM:Verification Methodology Manual, ARM公司和
共79页
10
为什么要用事务级仿真?
基于事件的仿真与事务级仿真的比较
Testbench代码可读性,可 维护性
仿真速度
Testbench结构 Testbench代码量
基于事件的仿真 差
慢 DUT复杂时,结构混乱 DUT简单时,代码量尚可 DUT复杂时,代码量巨大
事务级仿真 强
快 DUT复杂时,结构清晰 DUT简单时,代码量略多 DUT复杂时。代码量较少
面向对象编程:主要是将我们实际生活中的对象经过抽象,将
它定义成为一个类,通过类的属性和方法来模拟生活中的这个对 象。这样使得程序更容易结构化、抽象起来更方便。
传统的编程结构和设计方法以过程为中心进行功能组合,代码的 扩充和复用能力很差。对象是对现实世界实体的模拟,因面能更 容易地理解需求,即使用户和分析者之间具有不同的教育背景和 工作特点,也可很好地沟通。
2020/9/4
共79页
8
传统验证系统
DUT:Design Under Test
适用于基于事 件的仿真和基 于周期的仿真。
适用于简单的 设计。
缺点: 1.可扩展性差 2.可重用性差
2020/9/4
共79页
9
层次化的验证系统
适用于事务级仿真 优点: 1.可扩展性好 2.可重用性好
2020/9/4
相关文档
最新文档