- 博客(18)
- 收藏
- 关注
原创 SystemVerilog除法问题
的规定相对宽松,并未严格指定必须使用哪种舍入方式(如四舍五入或截断),而是允许仿真工具自行实现(基本上是四舍五入)IEEE 1800(SystemVerilog标准)对。Verilog中对“算数操作符”SystemVerilog对。本文对以上现象进行分析。
2025-04-03 20:30:00
227
原创 $display、$sformatf、格式符的定义与应用
display 是 SystemVerilog 中的一个系统任务,类似于 C 语言中的 printf 函数。在这里,%0d是格式符,表示以十进制形式输出signal的值。$sformatf 是 SystemVerilog 中用于格式化字符串的系统函数,类似于 C 语言的 sprintf。与$display 不同,$sformatf 不会自动输出结果,而是返回一个字符串,便于进一步处理。这里,$sformatf将格式化后的字符串存储在中,并通过$display输出。string str;
2025-03-31 22:30:00
480
原创 浅析indic include import
include "xx"时,会按Makefile中的incdir路径逐个查询,如果在不同路径下有相同文件,将会导致加载错误。interface文件不能通过`include 放在package中,可以放在filelist中;局部作用域与全局作用域:import 可以在模块、类或函数的局部作用域中使用,只在该作用域内有效;(img-twhDP0ds-1732263108561)],告知编译器在哪些目录中查找被 ``include` 引用的文件。是语言中的预处理指令,用于在源文件中直接插入另一个文件的内容。
2024-11-22 21:00:00
409
原创 vcd文件的生成与查看
不同的仿真工具支持不同格式的波形文件,波形文件具有多种格式: fsdb, vpd, wlf, vcd1Spring Soft (Novas)公司 Debussy / Verdi 常用xx.fsdb文件;Synopsys 公司 VCS DVE 常用xx.vpd文件;Mentor Graphics 公司 Modelsim 常用xx.wlf文件;不同格式的波形文件,具备有不同的特性,其中xx.vcd文件记录的内容最多,xx.vcd文件可转换为其它格式的波形文件。
2024-10-16 21:30:00
3781
原创 UVM源码入门学习路线
是一个非营利的行业联盟,旨在为半导体和电子设计自动化 (EDA) 行业开发、支持和推动设计与验证标准。,SystemC等UVM源码入门学习接下来就该出发点分以下2个问题简要阐述UVM源码学习入线:1️⃣ 获取UVM源码2️⃣ 学习UVM源码。
2024-10-13 20:00:00
603
原创 uart start bit毛刺采样处理
dat2在No.3 posedge clk 出现一次毛刺,随后在No.10 posedge clk重新正常传输;现假设data线由1->0,并保持4个clk上升沿为0,才能算正常Start,否则按毛刺处理;现在分析如何对上述uart传输进行数据采样?uart传输过程中,空闲时为高电平,dat1为正常uart传输;
2024-10-12 20:00:00
271
原创 [DV_Cookbook] tc中的随机控制
编写testcase时,往往需要产生一个随机数,对trans进行某些约束;在此做出简要分析,解决以下个问题:1️⃣产生随机数;2️⃣转换成对应格式;3️⃣使用随机数;
2024-09-07 12:00:00
356
原创 [IC后仿] timing violation实例分析
IC后仿中出现了一个Timing violation问题, 在此做出分析,并给出解决方案。
2024-09-06 20:00:00
2624
2
原创 [UVM] sv约束到`uvm_do_with
transition 文件中对变量进行了范围约束,那么某个tc需要进一步约束,并且这个约束是和之前的约束条件是背驰的,那么应该怎么做?首先,要使变量可以被随机化,需要使用rand或randc// 可随机化的变量// 可循环随机化的变量endclassrand:声明可随机化的变量。randc:声明可循环随机化的变量。约束使用constraintdata > 100;data < 200;addr!= 0;endclass。
2024-07-11 20:23:51
4247
原创 [Linux] grep的用法
grep是一个在 Unix 和 Linux 系统中用于搜索文本的命令行工具。它可以用来在文件中查找符合指定模式的文本,并输出包含该模式的行。以下是grep的基本用法和常见选项。
2024-07-09 21:44:34
1218
原创 [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
1494
原创 [IC验证 Cookbook]覆盖率报告合并
🤔RTL的顶层往往会例化多个模块,在IC验证工作的前期总是先对这些模块进行单一模块的功能验证,每个模块验证后都会得到单独的覆盖率报告。在IC验证工作的下一阶段。如何把这些单独的模块覆盖率报告合并成rtl_top级别的覆盖率报告,就是本文要介绍的内容?🤔 IC验证中的覆盖率报告是用于评估和度量验证过程的完整性和有效性的重要工具。覆盖率报告提供关于测试和仿真过程是否充分覆盖了设计的各个方面的信息,从而帮助工程师确定是否有未被测试的代码或设计部分。
2024-07-06 13:36:14
2204
原创 [SystemVerilog]覆盖率——衡量IC验证完成程度
在芯片验证过程中,已经为DUT设计了很多TC,经过了多次回归,回归中出现的Bug都一一修复。但我们的验证程度究竟到达了什么样的程度,是否需要继续进行,又该怎样进行,是否有量化的标准指导验证工作接下来的方向?接下来就系统的介绍一下覆盖率——衡量IC验证完成程度。
2024-07-04 22:00:00
3326
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人