验证方法学-浙江大学信电系.ppt

数字集成电路验证方法学;主要内容;主要内容;验证的必要性;;主要内容;验证方法学;仿真技术;验证方法比较;传统验证系统;层次化的验证系统;为什么要用事务级仿真？;事务级仿真;为什么选用OVM？;OVM介绍;OVM结构;SystemVerilog介绍;OOP：Object-oriented programming 对象：对象(Object)是一个现实实体的抽象，对象可被认为是一个把数据（属性）和程序（方法）封装在一起的实体，这个程序产生该对象的动作，属性反映了对象当前的状态 。 面向对象编程：主要是将我们实际生活中的对象经过抽象，将它定义成为一个类，通过类的属性和方法来模拟生活中的这个对象。这样使得程序更容易结构化、抽象起来更方便。 传统的编程结构和设计方法以过程为中心进行功能组合，代码的扩充和复用能力很差。对象是对现实世界实体的模拟，因面能更容易地理解需求，即使用户和分析者之间具有不同的教育背景和工作特点，也可很好地沟通。 ;类：定义实物的抽象特点， 包含方法和属性。 对象：类的实例。 方法：类的行为。 继承：子类包含类的特性。 ;CRT:Constraint Random Test class my_transaction extends ovm_transaction; rand int data_i; constraint c_data_i { data_i = 0; data_i 262144; } endclass my_transaction tr = new(); tr.randomize(); //tr.data_i大于0小于262144 ;SystemVerilog介绍-随机约束;SystemVerilog介绍-断言;SystemVerilog介绍-断言;SystemVerilog介绍-断言;SystemVerilog介绍-功能覆盖率;语句覆盖;判定覆盖条件覆盖;路径覆盖;SystemVerilog介绍-功能覆盖率;Functional Coverage covergroup：覆盖率模型 coverpoint:覆盖点 sample()：采样函数 bins: 仓;SystemVerilog介绍-功能覆盖率;SystemVerilog介绍-功能覆盖率;静态技术;语法检查; 一般来说，要分析或检验一个电路设计的时序方面的特征有两种主要手段：动态时序仿真（Dynamic Timing Simulation）和静态时序分析（Static Timing Analysis） 1.动态时序仿真：利用仿真器和延迟文件，通过反标节点延迟信息来仿真。 优点：可直观查看波形；缺点：速度慢，看不到关键路径。 2.静态时序分析：分析每条时间路径上的延迟，来查看是否存在setup/hold违反。 优点：分析速度比较快，全面；缺点：不能查看功能是否正确。;静态时序分析; 所谓等价性检查，就是通过比较两个设计在逻辑功能是否等同的方法来验证电路的功能。 优点： 1.不依赖于测试矢量，因此能提供更完全的验证； 2.可以实现RTL-to-RTL、RTL-to-gate、gate-to-gate两者之间的验证； 3.有定位功能，可以帮助你找出两个设计之间功能不等同的原因； 4.可以使用的文件格式有VHDL、Verilog、Synopsys 的.db格式,以及EDIF网表等； 5.可以实现自动的分层验证； ;形式验证之等价性检查; 所谓模型检查，就是通过SystemVerilog中的断言来描述DUT的特性，通过穷举法产生随机激励，判断设计是否满足设计需求。是仿真的补充。 优点： 1.不需要人为产生激励，产生的激励更完整； 2.对于某些模块，用模型检查比仿真验证速度更快 3.得到的波形很短(主要是断言失败的波形)，几十个周期，方便定位问题 缺点： 只能适合用于模块级别的验证;物理验证--版图级;物理验证--版图级;主要内容;;基于OVM的数字滤波器验证平台;传统的滤波器验证平台仿真结果;传统验证平台没找到BUG的原因;OVM验证平台验证步骤;利用OVM库完成平台代码;OVM平台--接口;OVM平台—数据产生;OVM平台—驱动器;function void build; super.build();