共 12 篇文章 |
|
虽然t本身也指向了对象wr,而在索引成员变量时,t只能索引其自身类basic_test的成员变量basic_test::def,而不会指向test_wr::def。此外,对于formatter输出端的数据类型fmt_rsp_trans定义中,也添加了其用来做数据比较的方法fmt_rsp_trans(fmt_rsp_trans t),这个方法会在后面的fmt_checker中用来比较两部分的数据,即实际采样到的输出数据和... 阅2871 转16 评0 公众公开 17-11-07 14:16 |
模块例化对verilog ctrl_reg2的例化对于VHDL的 ctrl_reg3的例化也同上面对ctrl_regs2的例化,而需要注意的是,如果SV或者Verilog作为顶层,来例化含有record类型接口的时候,我们建议通用的方法是,验证人员需要首先新建立一个VHDL wrapper来作为一个盒子用来将ctrl_regs4的两种record类型接口reg2fmt_o和reg2arb_o进一步转化为通用的std_logic... 阅1771 转12 评0 公众公开 17-11-02 10:17 |
【转】第六篇 验证的结构篇验证的结构篇一、测试平台概述二、硬件设计描述三、激励发生器(Stimulator)四、监测器(Monitor)五、比较器(checker)六、验证结构验证的结构篇之一:测试平台概述一、测试平台概述从这一章开始,我们将结束之前验证各个方面纵论的部分(第一部分),来进入验证师的日常工作,即认识设计、搭建平台、创建测试场景... 阅2384 转15 评0 公众公开 17-11-02 10:16 |
例如我们本应该在RTL2之前完成模块级验证工作,在RTL3完成芯片级验证,但实际情况却往往是在RTL2节点上,我们可能只完成了80%以上的验证工作,而剩下的模块验证工作需要和芯片验证工作一同完成。解决:当问题修复以后,问题所有者会将该问题再派发给验证人员,例如设计人员会派发给验证人员要求测试漏洞修复是否完成,系统人员派发给设计人员要... 阅114 转6 评0 公众公开 17-11-02 10:16 |
【转】第四篇 验证的计划篇验证的计划篇一、计划的概述二、计划的内容三、计划的实现四、计划的进程评估一、计划的概述在选择验证方法和构建验证环境之前,我们首先需要清楚验证计划是什么。伴随着验证计划的创建,计划流程可以分为若干个步骤,它们包括:创建验证计划选择验证方法人力资源调配构建验证平台和环境组件开发测试用例创建一份验证... 阅115 转6 评0 公众公开 17-11-02 10:15 |
属性检查的流程通常如下:在动态仿真验证中,我们是通过生成各种测试序列来去访问待验设计中的状态(state)的,而理论上所有可能仿真的设计状态被称作可及状态空间(reachable state space)。静态功耗和动态功耗所以从上面的例子,我们知道,如果要考虑功耗,需要考虑两部分,静态功耗和动态功耗,总的功耗表现可以描述为如下总功耗 = 开关功... 阅1416 转14 评0 公众公开 17-11-02 10:14 |
芯片功能的细分不同人员的任务分配即是说不同人员需要在硅前的不同阶段实现和测试芯片的模块功能。外围的验证组件不需要像模块级、子系统级的组件数量多且经常需要更新,它们主要侧重于验证芯片的输入输出芯片内部的子系统之间的交互、协作检查主要交给了处理器和子系统,从寄存器检查和数据检查入手,写直接测试(directed test)用例在芯片系... 阅88 转6 评0 公众公开 17-11-02 10:13 |
参数化IP验证的高度可配置UVM环境。一个参数化的IP就是指IP的参数是可以自由配置的,这就意味着在不同的SoC上,IP设计有着不同的参数。直接复用从IP层次到SoC层次的连接: 我们将真实的接口实例绑定到RTL模块,在SoC层次中复用IP RTL时,SoC层次和IP层次的RTL模块是相同的,所以从IP层次到SoC层次的连接可以被直接复用。因为整个IP模块UVC都可... 阅559 转3 评0 公众公开 17-01-21 21:16 |
对于设计代码开始验证的第一步就是静态分析,利用静态分析工具可以综合设计代码并找出一些明显的设计缺陷,它的优点是我们不需要准备任何仿真环境,只需要design文件,它会把为我们的design文件建立一个Reset tree,在这个Reset tree中,每一个Reset信号都有它的属性,包括:异步or同步;高有效or低有效;set信号or reset 信号,一旦Reset tree建立... 阅266 转0 评0 公众公开 17-01-21 16:02 |