设为首页收藏本站

eetop公众号

创芯大讲堂

创芯人才网

切换到宽版

手机号码，快捷登录

创芯云服务 : 创芯大讲堂 | 创芯人才网 | 数字IC职业培训 EETOP诚邀线上IC培训讲师!

搜帖子

EETOP 创芯网论坛 (原名：电子顶级开发网) › 日志

日志

验证系统思想| 验证前沿资讯| Synopsys SV 实验|

分享 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的测试环境结构，同时由单元测试者自定 ...; 个人分类: 验证系统思想|2239 次阅读|0 个评论

分享 SV及UVM高级话题篇之三：SV单元测试方法SVUnit: 路科验证 2018-6-29 18:54; 正如我们上一节介绍到了目前还不算丰富的第三方SV的开源库，在svlib库的开发过程中，开发者提到了用于SV单元测试的插件SVUnit。单元测试在软件敏捷（agile）开发领域已经很普遍了，而随着SV开发的软件特性越来越浓，这使得软件开发领域的一些思想西风东渐不再稀奇。单元测试（Unit testing）是将一个完整的模块 ...; 个人分类: 验证系统思想|2936 次阅读|0 个评论

分享 SV及UVM高级话题篇之二：SystemVerilog开源公共库（下）（续）: 路科验证 2018-6-29 18:52; tree_node和route_node在排序中经常会用到，因此如果读者需要构建图（diagram），用tree或者route模式，那么可以考虑使用这两种类和随后配套的tree和route类来构建图。对于aggregate类集合中，按照存放数据的方式，又可以分为packed_array、unpacked_array、dynamic_array和queue、data_stream和bit_stream。下面是这 ...; 个人分类: 验证系统思想|1770 次阅读|0 个评论

分享 SV及UVM高级话题篇之二：SystemVerilog开源公共库（下）: 路科验证 2018-6-29 18:50; SV开源库之二：cluelib cluelib也是一个开源库，它来自于ClueLogic公司。而它的开发者也在其介绍cluelib的论文中谈到，SV缺少的底层函数之所以目前开源地较少，归结于几个现实因素：大多数的verifier缺少时间去开发一个完整的底层库。开发一个稳定的库需要花足够多的时间去测试。去定义一致的、可配 ...; 个人分类: 验证系统思想|1397 次阅读|0 个评论

分享 SV及UVM高级话题篇之一：SystemVerilog开源公共库（上）（续2）: 路科验证 2018-6-29 18:48; // Write the new DOM to a .INI file fi = new; fi.serialize("dst.ini", dom); 上面的例码首先解析了YAML文件格式，继而将配置信息存储到DOM结构对象中，稍后对其进行数据修改，并将更新后的数据再输出为.ini格式。存储到dst.ini文件的数据内容如下： scalarInt=42 scalarInt=1234 scalarS ...; 个人分类: 验证系统思想|1950 次阅读|0 个评论

分享 SV及UVM高级话题篇之一：SystemVerilog开源公共库（上）（续）: 路科验证 2018-6-29 18:46; 在得到了文件列表之后，我们可以通过svlib提供的更多函数将与文本状态信息获取，继而做更多的操作。例如下面的例码中，通过file_mTime来提供任何一种文件最后修改的日期，同时将这一日期按照更易读的形式通过函数sys_formatTime取得转化。 longint mostRecentTime = sys_dayTime() – 24*60*60; string mostRecentF ...; 个人分类: 验证系统思想|2734 次阅读|0 个评论

分享 SV及UVM高级话题篇之一：SystemVerilog开源公共库（上）: 路科验证 2018-6-29 18:41; 伴随着SV推广的热浪，SV已经不只是作为一种验证语言流行开来，实际上它同样在早期也作为了一种硬件描述语言和一种通用编程语言得到了应用。在软件编程的过程中，SV同Java一般也有了更为丰富的数据类型和类的相应概念，这种面向对象编程的思想使得一些软件工程师在“移民”到验证领域时的阵痛期并不会太久，但随后他们会感 ...; 个人分类: 验证系统思想|3638 次阅读|0 个评论

分享 SV及UVM接口应用篇之五（终）：脚本语言与UVM的交互（续）: 路科验证 2018-6-29 18:38; 对于Tcl的命令接口，考虑到Tcl可以实现信号、参数以及变量的修改，事件和时间的等待，我们可以利用这些丰富的功能实现具体的要求，最终完成对UVM测试的线上控制。这些可以实现的要求可以包括但不局限于：定义基本的配置列表定义哪些参数可以随机化定义可随机化变量的边界值选择可以挂载到sequenc ...; 个人分类: 验证系统思想|2558 次阅读|0 个评论

分享 SV及UVM接口应用篇之五（终）：脚本语言与UVM的交互: 路科验证 2018-6-29 18:34; 脚本语言在验证日常中是一位好帮手，除了在不同工具、环境和流程之间可以起到粘合剂的作用，也可以提高验证的灵活性。我们在验证激励的产生和控制上面谈到过，验证序列的产生可以分为：线下生成（offline generation），即在仿真之前产生线上生成（online generation），即在仿真过程中产生同时控 ...; 个人分类: 验证系统思想|2200 次阅读|0 个评论

分享 SV及UVM接口应用篇之四：Matlab及Simulink模型与UVM的混合仿真: 路科验证 2018-6-12 20:58; 在virtual prototyping的过程中，不单会有SystemC参与到将各个子系统独立开来，分而治之的方法，也有通过将C/C++或者Matlab/Simulink等的算法模型置入到SystemC的环境中进行联合仿真的需求。对于后面这些语言模型置入到SystemC环境中，它们有着完善的接口，而在之前的文中我们也介绍了如何将C/C++和SystemC ...; 个人分类: 验证系统思想|1814 次阅读|0 个评论

1 2 345 6 7 8 9 10 ... 16 / 16 页下一页

关闭

站长推荐 /1

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

GMT+8, 2024-4-26 21:19 , Processed in 0.020696 second(s), 6 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

返回顶部