在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
分享 UVM世界观之五:核心基类(上)
路科验证 2017-6-12 00:03
在《类库地图》一节中,读者可以看到UVM世界中的类最初都是从一个uvm_void根类(root class)中得来的,而实际上这个类并没有一个成员变量和方法,它只是一个虚类(virtual class),还在等待将来继承与它的子类去开垦。在继承与uvm_void的子类中,有两类,一个类为uvm_object,另外一个类为uvm_port_base。 ...
个人分类: 验证系统思想|6578 次阅读|0 个评论
分享 UVM世界观篇之四:工厂机制(下)
路科验证 2017-6-12 00:00
覆盖方法 从上面的UVM类型的注册到对象的创建,读者知道了利用factory中注册号的类型,可以通过类型T(类型“箱子”)或者类型名Tname(字符串)来进行。与之类似的,factory也提供了覆盖(override)的特性,用户也可以通过类型覆盖或者实例名覆盖两种方式进行: ● set_inst_override(uvm_object_wrapper ...
个人分类: 验证系统思想|3059 次阅读|0 个评论
分享 UVM世界观篇之三:工厂机制(上)
路科验证 2017-6-11 23:45
如果读者作为一名观光游客来到UVM世界,那么我作为导游,首先应该给读者介绍的是UVM世界中各个类的角色扮演,它们如何搭建UVM的高层建筑,还有这些高层建筑的特色和应用场景是什么。所谓走马观花,先吊起游客的兴致,不外乎是个推销UVM应用的好手段。而不巧的是,路桑却是一个稍显严肃的工程实践者,如果用轻松的话先带 ...
个人分类: 验证系统思想|8698 次阅读|2 个评论 热度 2
分享 UVM世界观篇之二:类库地图
路科验证 2017-6-11 23:39
读者在之前的SV核心篇章同几位verifier新人一起从底层模块的验证组件搭建、到模块验证环境的组织、通信和激励生成,认识到了一个验证环境构成的因素。这些因素无论是软件对象的创建、访问、修改、配置,还是组件之间的通信等等都是通过用户自定义的方式来实现的。而UVM验证方法学作为将之前高效 ...
个人分类: 验证系统思想|3976 次阅读|5 个评论 热度 2
分享 UVM世界观篇之一:我们所处的验证时代
路科验证 2017-6-11 23:34
如果你将来或者已经在一家超过20年以上的IC公司工作,那么作为一名verifier,你会很有幸像参观验证“历史博物馆”一样阅读过去20年以前的验证代码,说不定由于历史和其它不得而知的原因,这些代码仍然躺在你所在的项目库里面,整个公司内真正了解它们的人并不多,而项目执行却又离不开它们。这些“老古董”们放在那里,同 ...
个人分类: 验证系统思想|4031 次阅读|0 个评论
分享 SV系统集成篇之五(终):初论环境的复用性
路科验证 2017-6-11 23:26
文章结构: 泛论SoC验证中复用的重要意义 水平复用和垂直复用 参数化的意义:位宽参数、slave接口参数 伴随着模块验证和MCDF设计的子系统应用,在最终的芯片级验证中,MCDF会跟其它的模块一并组合在一起形成一个统一的芯片级验证环境。在之前的底层验证过程中,主要将功能侧重于模块或者子系统一级,而在芯片 ...
个人分类: 验证系统思想|1929 次阅读|0 个评论
分享 SV系统集成篇之四:灵活化的配置
路科验证 2017-6-11 23:18
文章结构: agent的结构 env的结构 bottom-up OR top-down? 组件的模式配置 在之前的一节《 验证环境的组装 》中提到了如果将stimulator与monitor封装在一个agent组件中,更易于从模块级到MCDF子系统一级的环境组合复用。而在有的时候,我们并不需要agent中的stimulator,只需要monitor,譬如如果要监视MCDF内 ...
个人分类: 验证系统思想|1178 次阅读|0 个评论
分享 SV系统集成篇之三:测试场景的生成(下)
路科验证 2017-6-9 01:00
线程的精细控制 除了知道各个子线程什么时候结束之外,是否可以 停止?暂停?恢复呢各个线程呢? 首先我们来看看 停止线程 的用法。 第一种方式 是, 给线程先起个名字 ,譬如“孙行者”或者“行者孙”,然后 通过关键词disable来停止线程的运行 。来看看下面这个例子: module fork_case2; task t1(); ...
个人分类: 验证系统思想|1157 次阅读|0 个评论
分享 SV系统集成篇之三:测试场景的生成(上)
路科验证 2017-6-8 23:57
文章结构: 对比之前的硬伤,提出动态生成数据的优势 介绍fork的用法和注意事项 提供示例代码来表示多个stimulator的调度 在《SV组件实现篇》的激励器的封装和随机化两节中,可以看到通过将stimualtor与特定的test区分,就可以实现测试向量(test vector)的生成与stimulator剥离。为什么要这么做呢?因为s ...
个人分类: 验证系统思想|1446 次阅读|0 个评论
分享 SV系统集成篇之二:验证环境的组装
路科验证 2017-5-22 23:53
文章结构: 采取硬件还是软件封装? 软件的结构问题 例化阶段 连接 测试向量产生 Verifier董在将建筑材料打包(package)好运进施工场地以后,就准备着手开始搭建了。搭建之前,他又给我抛出了几个问题: 路桑,我应该使用硬件的方式(module)来封装环境,还是软件的方式(class)来实现呢? 从复用 ...
个人分类: 验证系统思想|2307 次阅读|0 个评论
关闭

站长推荐 上一条 /1 下一条

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-3-29 04:21 , Processed in 0.026326 second(s), 6 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
返回顶部