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