路科验证的个人空间 http://blog.eetop.cn/rockeric [收藏] [复制] [分享] [RSS]

日志

分享 解决系统验证复杂性难题恐怕只有它了
2018-6-29 19:23
rockeric.com 芯片到底验到什么时候才能流片呢? 这是芯片开发团队面对的最棘手问题之一,无数验证经理和验证工程师可能都考虑过tape out标准。 自20世纪80年代以来,为了量化解决这一问题,已经定义了一些指标和方法来降低流片风险,如 功能覆盖率和代码覆盖率 。如今利用这两个并不完美 ...
个人分类: 验证前沿资讯|796 次阅读|0 个评论
分享 形式验证能像仿真验证一样有勇气签字画押吗?(续)
2018-6-29 19:17
形式验证用来发现错误还是签字确认(signoff)? 后来Sabbagh将谈话引向了一个新问题。“ 我们应该使用形式验证来发现错误还是签字确认? 优缺点都有什么? ” 第一个回应是“ 我们一开始将形式验证用于寻找缺陷,这已经是被证明非常成功的。缺点是没有一个明确的指标来衡量验证的进度。 ” ...
个人分类: 验证前沿资讯|756 次阅读|0 个评论
分享 形式验证能像仿真验证一样有勇气签字画押吗?
2018-6-29 19:15
rockeric.com 形式验证的领导者们正在讨论扩展形式验证工具的方式,以最大限度的解决日益增加的任务。 一年前,Oski Technology做了一件从未发生过的事情,它召集了15位形式验证方面的顶尖专家,坐下来讨论他们正在面临的问题以及试图解决这些问题的方式,Semiconductor Engineering记录了 ...
个人分类: 验证前沿资讯|946 次阅读|0 个评论
分享 SV及UVM高级话题篇之五(终):OVM与UVM的混合仿真(续)
2018-6-29 19:08
XVM 对于上面的两种方法,都有一些不足,例如UMV-ML尽管照顾了多种语言和方法学的交互,然而确为此不得不将C作为中间的数据中转站,这也使得语言之间的资源开销较大;而对于OVM兼容层的思想,由于需要OVM原生的方法行为与UVM对应的方法并不是严格一致的,这就增加了后期在OVM兼容层上调试OVM代码的难度,同时在OVM兼容 ...
个人分类: 验证系统思想|541 次阅读|0 个评论
分享 SV及UVM高级话题篇之五(终):OVM与UVM的混合仿真
2018-6-29 19:06
我们目前所处的验证潮流中,UVM占据了动态仿真的绝对主导,而如果将时间再回溯5年的时间,那个时候OVM与UVM在使用率上还是相差不多的。尽管OVM团队在过去也已经认识到了UVM统一动态验证领域只是时间的问题,然而由于整个项目的投入都是基于OVM,在紧张的项目进度下,要完成将OVM整个都迁移到UVM,并不是件容易的事。所以 ...
个人分类: 验证系统思想|843 次阅读|0 个评论
分享 SV及UVM高级话题篇之四:OVM到UVM的移植(续3)
2018-6-29 19:04
sequencer的变化 类似地,`ovm_sequencer_utils宏也已经废止,需要将其替换为`ovm_component_utils,调整前后的代码如下: 调整前: class my_sequencer extends ovm_sequencer #(my_seq_item); `ovm_sequencer_utils(my_sequencer) `ovm_update_sequence_lib_and_item(my_seq_item) 调 ...
个人分类: 验证系统思想|386 次阅读|0 个评论
分享 SV及UVM高级话题篇之四:OVM到UVM的移植(续2)
2018-6-29 19:04
替换OVM configuration方法 习惯于OVM配置方法的用户,在配置过程中都使用的是 _config_ 来在组件层次中实现配置,尽管在UVM中这些方法仍然有效,但我们并不建议再使用旧有的方法,原因有二。第一是,原来在OVM中并不支持interface通过配置的方式直接传递interface,也因为这一种限制使得interface ...
个人分类: 验证系统思想|552 次阅读|0 个评论
分享 SV及UVM高级话题篇之四:OVM到UVM的移植(续1)
2018-6-29 19:01
OVM到UVM的代码自动转换 在完成上面的检视和修改之后,我们可以运行UVM安装包自带的脚本ovm-to-uvm10.pl,这一脚本会将.sv/.svh后缀扩展名文件代码中的OVM关键词转换为UVM关键词。通过这个脚本我们可以完成下面的自动化替换: 在.sv/.svh后缀名文件中的ovm字符会被替换为uvm字符。 文件名 ...
个人分类: 验证系统思想|573 次阅读|0 个评论
分享 SV及UVM高级话题篇之四:OVM到UVM的移植
2018-6-29 18:58
在过去的几年中,UVM在几大EDA公司不遗余力的推广和工具的支持下,迅速成为了verifier的必备技术之一。而对于那些大公司,那些有深厚技术储备的公司,他们在验证技术的演变中一直在扮演着迁徙者的角色,即从水草贫乏之地(以前不是这样的)迁完丰饶的地方。这种迁移譬如当年的VMM到OVM、或者OVM到UVM等等。而我们今天要介 ...
个人分类: 验证系统思想|464 次阅读|0 个评论
分享 SV及UVM高级话题篇之三:SV单元测试方法SVUnit(续)
2018-6-29 18:56
从生成的框架来看,会有一个uvm_component类simple_model_uvm_wrapper生成,这个类继承于simple_model,它的目的是为测试simple_model类,而在其内部定义更多需要的成员。随后会有一个module simple_module_unit_test,它的作用在于例化软件类simple_model_uvm_wrapper、完成SVUnit的测试环境结构,同时由单元测试者自定 ...
个人分类: 验证系统思想|755 次阅读|0 个评论
关闭

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

关于我们|联系我们|ET创芯网 ( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2019-9-22 10:08 , Processed in 0.040043 second(s), 3 queries , Gzip On, Redis On.

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

返回顶部