日志
- 分享 形式验证能像仿真验证一样有勇气签字画押吗？
- 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的测试环境结构，同时由单元测试者自定 ...
- 分享 SV及UVM高级话题篇之三：SV单元测试方法SVUnit
- 正如我们上一节介绍到了目前还不算丰富的第三方SV的开源库，在svlib库的开发过程中，开发者提到了用于SV单元测试的插件SVUnit。单元测试在软件敏捷（agile）开发领域已经很普遍了，而随着SV开发的软件特性越来越浓，这使得软件开发领域的一些思想西风东渐不再稀奇。 单元测试（Unit testing）是将一个完整的模块 ...
- 分享 SV及UVM高级话题篇之二：SystemVerilog开源公共库（下）（续）
- tree_node和route_node在排序中经常会用到，因此如果读者需要构建图（diagram），用tree或者route模式，那么可以考虑使用这两种类和随后配套的tree和route类来构建图。 对于aggregate类集合中，按照存放数据的方式，又可以分为packed_array、unpacked_array、dynamic_array和queue、data_stream和bit_stream。下面是这 ...
/1 
eetop公众号
创芯大讲堂
创芯人才网