- 博客(5)
- 收藏
- 关注
原创 [UVM] sv约束到`uvm_do_with
transition 文件中对变量进行了范围约束,那么某个tc需要进一步约束,并且这个约束是和之前的约束条件是背驰的,那么应该怎么做?首先,要使变量可以被随机化,需要使用rand或randc// 可随机化的变量// 可循环随机化的变量endclassrand:声明可随机化的变量。randc:声明可循环随机化的变量。约束使用constraintdata > 100;data < 200;addr!= 0;endclass。
2024-07-11 20:23:51 1057
原创 [Linux] grep的用法
grep是一个在 Unix 和 Linux 系统中用于搜索文本的命令行工具。它可以用来在文件中查找符合指定模式的文本,并输出包含该模式的行。以下是grep的基本用法和常见选项。
2024-07-09 21:44:34 507
原创 [UVM]IC验证自动结束仿真函数——uvm_top.set_timeout/set_report_max_quit_count
数字IC验证过程中,需要运行不同Testcase,有些TC会因为TC配置、TB机制等原因,导致make run卡死/无线占用线程。此时需要采取措施让TC自动$(stop)和。
2024-07-08 15:51:19 619
原创 [IC验证 Cookbook]覆盖率报告合并
🤔RTL的顶层往往会例化多个模块,在IC验证工作的前期总是先对这些模块进行单一模块的功能验证,每个模块验证后都会得到单独的覆盖率报告。在IC验证工作的下一阶段。如何把这些单独的模块覆盖率报告合并成rtl_top级别的覆盖率报告,就是本文要介绍的内容?🤔 IC验证中的覆盖率报告是用于评估和度量验证过程的完整性和有效性的重要工具。覆盖率报告提供关于测试和仿真过程是否充分覆盖了设计的各个方面的信息,从而帮助工程师确定是否有未被测试的代码或设计部分。
2024-07-06 13:36:14 955
原创 [SystemVerilog]覆盖率——衡量IC验证完成程度
在芯片验证过程中,已经为DUT设计了很多TC,经过了多次回归,回归中出现的Bug都一一修复。但我们的验证程度究竟到达了什么样的程度,是否需要继续进行,又该怎样进行,是否有量化的标准指导验证工作接下来的方向?接下来就系统的介绍一下覆盖率——衡量IC验证完成程度。
2024-07-04 22:00:00 1013
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人