数字集成电路验证方法学ppt课件.ppt

《数字集成电路验证方法学ppt课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、数字集成电路验证方法学浙江大学ICLAB实验室2016-12-26主要内容验证的必要性验证方法学介绍验证工具介绍演示2共91页主要内容验证的必要性验证方法学介绍验证工具介绍演示3共91页验证的必要性验证的概念，验证与测试的区别。经验表明，验证已经占到整个产品开发周期的70%以上，它已经成为复杂SOC（Systemon-Chip）开发中的重要壁垒。制造、设计和验证能力之间存在鸿沟4共91页典型流程Verificationisnotjustveryhard,itisvery,veryhard没有一个简单的工具可以解决你所有的验证问题。(VSI

2、A,Virtual Socket Interface Alliance)5共91页主要内容验证的必要性验证方法学介绍验证工具介绍演示6共91页验证方法学方法学：又称方法论，是一门学问采用的方法、规则与公理；一种特定的做法或一套做法。验证方法学：指完成验证过程中的一系列方法、技术和规范。1.仿真技术2.静态技术3.物理验证7共91页仿真技术基于事件的仿真--任何一个输入的变化都被标记为事件，即常说的功能仿真，精度高，速度慢。比如Modelsim,VCS。基于周期的仿真--单周期内只检查一次输入并计算设计的输出逻辑值。速度快，无时序、毛刺。比如

3、Cyclone。事务级仿真--一堆事件的集合即为事务，即常说的验证平台。软硬件协同验证--需要专门的硬件，成本高。8共91页验证方法比较EDA验证软硬件协同验证FPGA验证编译速度很快较快慢运行速度慢较快很快环境搭建难度简单难很难环境重用度高较高低问题定位能力很强很强低成本低高较低9共91页传统验证系统DUT：DesignUnderTest适用于基于事件的仿真和基于周期的仿真。适用于简单的设计。缺点：1.可扩展性差2.可重用性差10共91页层次化的验证系统适用于事务级仿真优点：1.可扩展性好2.可重用性好11共91页为什么要用事务级仿真？基

4、于事件的仿真事务级仿真Testbench代码可读性，可维护性差强仿真速度慢快Testbench结构DUT复杂时，结构混乱DUT复杂时，结构清晰Testbench代码量DUT简单时，代码量尚可DUT复杂时，代码量巨大DUT简单时，代码量略多DUT复杂时，代码量较少与待测设计联系程度非常紧密行为级与DUT联系紧密事务级具有自身独立性可重用性无强抽象层次无有参考模型无有基于事件的仿真与事务级仿真的比较12共91页事务级仿真RVM：Reference Verification Methodology,Synopsys公司。VMM：Verificat

5、ion MethodologyManual,ARM公司和Synopsys公司。AVM：AdvancedVerificationMethodology,Mentor公司。OVM：OpenVerificationMethodology,Cadence和Mentor公司。UVM：UniversalVerificationMethodology,Cadence、Mentor和Synopsys公司。13共91页为什么选用OVM？验证方法学侧重点EDA验证工具支持的验证语言基类库是否开源RVM层次化验证VCSOpenVera否VMM层次化验证VCSSy

6、stemVerilog是AVM层次化验证QuestasimSystemC/SystemVerilog是OVM开源和不同仿真器之间的透明性支持不同验证工具支持SystemVerilog等多种语言是UVM开源和快速入门QuestasimNC-verilogVCS支持SystemVerilog等多种语言是各种验证方法学比较14共91页OVM介绍OVM是一种基于SystemVerilog的验证方法或者策略，已经实现了一个基本的层次化验证平台，大大简化验证工程师的工作量。OVM可以验证HDL代码或者网表文件OVM特点：1.开放性：支持所有验证工具2.

7、开源：OVM库都是基于SystemVerilog实现的，可以在网上下载。3.可靠性：两大公司共同开发维护15共91页OVM结构ovm_envovm_sequencerovm_agentovm_scoreboardovm_driverovm_monitor16共91页SystemVerilog介绍SystemVerilog结合了Verilog和C++的概念，具有如下新功能：1.面向对象编程(OOP)、2.随机约束(ConstraintRandom)、3.断言(Assertion)、4.功能覆盖率(FunctionalCoverage)。17共

8、91页OOP：Object-orientedprogramming对象：对象(Object)是一个现实实体的抽象，对象可被认为是一个把数据（属性）和程序（方法）封装在一起的实体，