UVM - 1

VMM/OVM - 都是验证方法学
CDV - coverage driver verification - 覆盖率驱动的验证

课程概述

内容

OOP:class类

OOP:封装

OOP:继承

OOP:多态

不是虚方法,看句柄的类型
是虚方法,看对象的类型
使用虚方法,创建通用的方法

OOP编程规则:在class之外定义子函数

参数化的class

自定义class

Static property 静态变量/数据

静态变量在编译的时候就会分配空间,不依赖new,是一个类的所有对象都共享的变量

Static method 静态子函数/方法

可以通过句柄进行调用方法,不用创建对象调用方法
静态方法中只能处理静态变量
调用方法:类名::静态方法

Singleton class 单例类

用于定义全局行为,比如打印和工厂,可以直接通过类名进行调用方法
单例类没有对象
只包含静态变量和静态方法

Singleton object 单例对象

单例对象用于创建一个全局可见可操作的对象,提供定制化服务/函数
先将new函数进行本地化:使用local进行修饰,在外部不能创建对象
定义一个get函数获取对象,在get函数中调用new函数之前,先判断该类的对象是否为null,如果为null就可以继续创建对象,如果不为null,就不创建新的对象,保证了只能创建一个对象
调用get函数创建单例对象

class singleton;
  function new ();
    
  endfunction
endclass

// 单例类 - 只有静态属性和方法
class print;
  static int err_count=0,max_errors=10;
  static function void err(string msg);
    $display("@%t:Error %s",$realtime,msg);
    if(err_count++ > max_errors) $finish;
  endfunction
endclass

// 创建单例对象

class transaction;
  
  static singleton me = get();
  
  static function singleton get();
    if(me == null)
      me = new();
      return me;
  endfunction;
  
  local function new();
  endfunction
  
  extern function void print();
endclass


// 创建单例对象
factory :: get();