whddddddddddd的博客

原创 芯片验证学习资源汇总

学习资源汇总

原创 SV与C语言在验证环境中的交互

sv中义引入了直接编程接口dpi（direct programming interface），他能更简单的连接C,C++,或者其他非verilog语言。一旦声明或者使用import语句导入了一个C子程序，就可以调用它。C代码也可以很方便的调用verilog中的子程序。应用场景主要体现在：（1）我们知道，在模块级乃至子系统级的验证，使用SV就完全够用了，而在更上面的层级，例如系统级，多采用大量的C代码组成。

原创 sequence机制仲裁

如下面的这段代码指定了sequence0的优先级为100，sequence1的优先级为200，sequence1的优先级高于sequence0的优先级，同事设定了sequencer采用优先级仲裁机制，这样则会将sequence1的transcation都发送完成后再发送sequence0的transaction。对sequence设置优先级的本质即设置其内产生的transaction的优先级。uvm_do_pri与uvm_do_pri_with的第二个参数是优先级， 这个数值必须是一个大于等于-1的整数。

原创 override/overwrite/overload的区别

【代码】override/overwrite/overload的区别。

原创 基于uvm方法学的AHB_SRAMC验证环境搭建全过程（含testbench结构，核心组件代码）

AHB_SRAMC验证环境搭建全过程（含testbench结构，核心组件代码）

原创 synopsys router sv验证

router验证

原创 sv中句柄复制，浅拷贝深拷贝详解以及clone函数

今天在写验证环境的时候碰到一处自定义的copy函数，对其中的transaction哪里需要初始化理解出现偏差，因此查看整理了sv中关于对象得赋值以及copy的各种操作，总结如下。类在声明时只是指定了一个指针句柄给变量，因此此时没有实体对象，当句柄指向另一个句柄指向的对象时，便构成了句柄复制，此时并未创建实体对象，举例代码如下。深拷贝时，不仅仅会拷贝当前对象的成员变量，还会拷贝实例中的句柄的对象内容，即进行。注意：类的多态，父类和子类同名函数必须保持（函数名一致，参数类型一致，返回类型一致）。

原创 makefile函数以及应用举例

makefile函数

原创 uvm中sequence机制详解

sequence机制详解

原创 sv类型转换

sv 类型转换

原创 Vim配置以及操作

vim操作指令全

原创 SV复习（七） 覆盖率

sv复习

原创 SV复习（六）线程间通信

sv 复习

原创 SV复习（五）随机化

sv 复习

原创 SV复习（四）oop

sv复习

原创 SV复习（三） 连接设计和测试平台

sv复习

原创 SV复习（二）

sv复习

原创 SV复习（一） 数据类型

sv复习

原创 DMA验证复习（一）

dma

原创 uart项目验证（三）-验证环境搭建（总）

uart模块验证环境的搭建

原创 UART项目验证（二） 验证策略和验证点提取

1、理解dut2、制定验证策略方法3、提取验证点（feature list）-》testcase list4、搭建验证平台（1、验证框架图2、验证环境代码）；sanity case5、执行验证写testcase跑仿真+regression（1、大批量仿真（rtl_freeze前）收集覆盖率（前提是仿真pass）、分析覆盖率+补充case 2、后仿netlist（rtl_freeze后））验证策略：白盒测试（已知内部代码和结构）验证方法：随机测试（分析覆盖率）＋定向测试code coverage：line/c

原创 SOC验证（三）-搭建验证环境

soc级验证环境配置

原创 UART项目验证（二） spec阅读

uart spec理解

原创 SOC验证（二）-如何做test plan

如何做test plan 以及验证步骤

原创 uart项目验证（一）-uart协议与uart ip的理解

uart验证之理解uart协议以及uart design spec

原创 验证概念（四）验证点的提取和执行

原创 验证概念学习记录（三）验证方法和验证平台

原创 验证概念学习记录（二）spec讲解和验证策略

原创 验证概念学习记录（一）验证概述和理解DUT