数字验证
数字芯片设计与验证--关易寿
这个作者很懒,什么都没留下…
展开
-
验证(uvm常见问题)--子类和父类的句柄和对象问题
sv中的子类和父类在sv中,有如下两个类,child继承于parent。然后在test module中,正确转换的方法如下面所示。其中c1,c2,p1都指向了同一个子类的对象c1。总结如下:一个子类的对象是包括子类的成员变量,方法和父类的成员变量,方法。子类的句柄c1可以直接赋值给父类的句柄p1,此时p1只可以访问父类的成员变量和方法,或者子类的虚方法,比如下面调用p1.display是...原创 2020-04-05 13:00:34 · 6619 阅读 · 0 评论 -
验证-sv文件与svh文件
流程一般就是开发验证ip--VIP,然后再svh文件里面定义一些类,方法和成员变量。然后再sv文件,对这些方法具体实现一下。然后在pkg.sv文件里面,把这些sv文件和svh文件全部include进来。最后编译的时候就只需要编译pkg.sv文件就好了。用途一般是开发验证ip--vip可以用,然后可以发布给别人的时候把sv加密起来,让别人可以看到svh文件,但是具体实现的sv文件就不...原创 2020-04-05 11:25:35 · 5894 阅读 · 0 评论 -
验证-uvm结构
UVM结构在uvm中,仿真的时候,自动创建最顶层uvm_root实例,这个实例是唯一的。然后通过uvm_test()方法会创建自己实现的test的实例并命名为uvm_test_top。然后test一般是包括env,然后在run phase调用virtual seq。virtual seq会绑定env里面的sqr,然后调用了各自agent里面的sequene库。env里面一般包括score...原创 2020-04-05 12:10:48 · 561 阅读 · 0 评论