SV
文章平均质量分 81
狮驼岭上的小钻风
这个作者很懒,什么都没留下…
展开
-
关于类里的一些事项
不需要担心句柄指向的对象类型是父类还是子类,只要通过虚方法,就可以实现动态绑定(dynamic binding)用户无需担心使用的是父类句柄还是子类句柄,因为最终都会实现动态方法查找,执行正确的方法。为了实现动态绑定,我们将basic_test::test定义为虚方法。为类增加若干个数据类型参数,并在声明类句柄的时候指定类型。虚方法如果要定义,应该尽量定义在底层父类中。在父类定义方法时,预留回调函数入口,句柄的赋值,而不是对象的拷贝。使用各种类型来做类定义时的参数。区别句柄拷贝与对象拷贝的区别。......原创 2022-08-13 23:03:26 · 138 阅读 · 0 评论 -
线程使用、控制、通信
通信原创 2022-08-08 00:34:08 · 651 阅读 · 0 评论 -
验证的计划
验证计划原创 2022-07-23 17:05:22 · 270 阅读 · 0 评论 -
测试与调试
测试调试原创 2022-07-23 11:39:47 · 190 阅读 · 0 评论 -
采样和数据驱动
驱动和采样原创 2022-07-21 22:55:43 · 625 阅读 · 0 评论 -
接口interface
接口原创 2022-07-19 22:45:29 · 623 阅读 · 0 评论 -
激励发生器、监测器
验证结构原创 2022-07-18 23:37:19 · 248 阅读 · 0 评论 -
测试平台、硬件设计描述
验证平台原创 2022-07-17 22:40:59 · 386 阅读 · 1 评论 -
设计例化和连接
例化原创 2022-07-17 16:36:58 · 263 阅读 · 0 评论 -
过程块和方法
过程块 方法原创 2022-07-17 14:32:37 · 153 阅读 · 0 评论 -
01 验证导论
硬件验证语言(Hard-ware Verification Language,HVL),相比硬件描述语言(Hardware Description Language,HDL)具有一些性质: 受约束的随机激励生成 功能覆盖率 更改层次的结构,尤其是面向对象的编程 多线程及线程间的通信 支持HDL数据类型,如HDL的四状态数值 集成了事件仿真器,便于对设计施加控制 1.1 验证流程1.1.1 不同层次上的测试代码块内代码块外, 代码边...原创 2022-04-25 11:00:40 · 223 阅读 · 0 评论 -
验证流程简单介绍
1.穷尽所有可能的情况给设计产生激励(如何划分有效的测试空间,如何给出随机约束激励)2.在可能的激励情况下判断不符合硬件描述的行为并报告模块级(module level)子系统级(subsystem level)系统级(chip level)<按时、保质、低耗>...原创 2021-11-20 19:49:25 · 1512 阅读 · 0 评论 -
覆盖率类型
覆盖率原创 2021-11-02 10:15:38 · 2225 阅读 · 1 评论 -
随机约束和分布
随机的内容:器件配置、环境配置、原始输入数据、延时、协议异常rand、randc表明随机属性,randc表示周期随机性,即所有可能的值都赋过值后随机值才可能重复。rand、randc用于类的成员变量,方法里的局部变量不行。只有在通过声明rand变量,并且在后期通过对象调用randomize()函数<此为预定义函数>才可以随机化变量。约束constraint可同随机变量一起在类中声明。class date; rand bit[2:0] month; //由于位宽的限定,原创 2021-10-29 17:10:45 · 1510 阅读 · 0 评论 -
类和对象、包
面向对象编程的三要素:封装(encapsulation)、继承(inheritance)、多态(polymorphism)类与结构体异同类的定义的核心是属性声明(property declaration)和方法定义(method definition),所以类是数据和方法的自洽体(self-compatible),即可以保存数据和处理数据,与结构体的重要区别 两者都可以定义数据成员 类变量在声明后,需要构造(construction)才会构建对象(object)实体,而struct在变量声明时已原创 2021-10-28 13:59:05 · 354 阅读 · 0 评论 -
SV基本数据类型
logic的引入sv引入logic是因为Verilog作为硬件描述语言,倾向于考虑哪些变量作为寄存器、哪些变量作为线网类型,利于后端综合,便于设计者理解;sv侧重于验证语言,不关心logic综合成什么,只是作为单纯的变量进行赋值操作,这些变量只属于软件环境构建;另外也是为了方便验证人员驱动和连接硬件模块,不用考虑使用reg还是wire,节约了时间,避免出错。除了多个驱动,logic任意用。二值逻辑与四值逻辑、有符号类型和无符号类型对于有符号数在转换时需要注意位宽(位宽的拓展和截断)、符号(隐式、原创 2021-10-26 20:01:46 · 6689 阅读 · 0 评论