![](https://img-blog.csdnimg.cn/20201014180756918.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
芯片验证
文章平均质量分 62
与芯片遇验证相关的书籍、笔记、文章等等
煎丶包
这个作者很懒,什么都没留下…
展开
-
MCDF实验——Lab3
Lab3将在Lab2的基础上使用随机约束和环境结构来改进完善实验代码。Lab3中将对generator和initiator之间的数据生成和数据传输的处理进行改进,还将完善何时结束测试,将其主动权交于generator而不再是test组件。在组件结构方面,在原有的initiator、generator、agent、test组件的基础上,再加上monitor和checker,并且使其构成一个有机的整体,最终可以通过在线比较数据的方式完成对MCDT的测试。一、随机约束实验要求:继承Lab2的大部分代码,基原创 2021-02-11 01:33:32 · 9726 阅读 · 8 评论 -
验证的方法
一、概述在开展验证时有一整套的工具箱,根据设计的特点选用不同的验证方法,最终取得满意的效果。实际的验证工作中,需要通过多种语言、方法、工具实现验证,比如仿真验证会协同形式验证一同来完善功能覆盖率,也有可能通过语言和脚本之间的整合来最终完成一项验证流程。目前的阶段,已经无法依赖单一的工具、语言或者方法来达到验证的完备性。二、主要方法分类动态仿真该方式是通过测试序列和激励生成器给入待测设计适当的激励,伴随着仿真时间,进而判断输出是否符合预期。需要仿真器配合,比较结果和仿真波形,最终判定测试用原创 2021-02-10 12:37:56 · 5870 阅读 · 0 评论 -
MCDF实验——Lab0
MCDF实验一、MCDF功能描述二、设计结构三、接口描述1、系统信号接口2、通道从端接口3、整形器接口4、控制寄存器接口四、接口时序1、通道从端接口时序2、整形器接口时序3、控制寄存器接口时序五、寄存器描述1、地址0x00 通道1控制寄存器 32bits 读写寄存器2、地址0x04 通道2控制寄存器 32bits 读写寄存器3、地址0x08 通道3控制寄存器 32bits 读写寄存器4、地址0x10 通道1状态寄存器 32bits 只读寄存器5、地址0x14 通道2状态寄存器 32bits 只读寄存器6、地原创 2021-01-29 20:02:41 · 19298 阅读 · 13 评论 -
MCDF实验——Lab1
验证结构框架结构图时钟信号分别送给chnl0_init、chnl1_init、chnl2_init和MCDT,chnl0_init、chnl1_init、chnl2_init这4个是硬件模块module可以例化,然后跟MCDT之间通过各个线网直接连接。4个模块的数据来自于4个动态数组。相比于Lab0来讲,Lab1把chnl_write()、chnl_idle()等一些方法封装到了一个硬件模块initiaor里面,不用通过传id来确定哪个通道进行数据传输,而是通过例化相对应的initiaor来进行。原创 2021-02-06 14:42:47 · 8775 阅读 · 13 评论 -
MCDF实验——Lab2
Lab2主要是使用之前学习的接口、仿真开始和结束、类以及包的使用,来优化Lab1的验证结构。将逐渐从使用硬件盒子过渡到使用接口和软件盒子(class)来验证设计原创 2021-02-07 23:45:54 · 9365 阅读 · 2 评论 -
验证的问题追踪
一、追踪的问题类型系统功能定义的问题硬件设计问题芯片验证环境问题综合时序问题硅前工具问题引用库和IP问题二、追踪工具记录分类派发查找追溯报告三、追踪流程原创 2021-02-07 13:54:18 · 211 阅读 · 0 评论 -
验证的收敛
一、概述随机验证的方式使得回归测试更加有意义。一般来说,基于两种目的来提交回归测试表:由于随机验证环境每次仿真产生的激励序列不同,这就使得每次仿真均会对覆盖率做出贡献,往复递交同样的测试变得有意义。当设计缺陷被发现后,回归测试序列需要再次提交,用来确保之前的功能点测试无误,同时设计缺陷也被修复。回归测试指的是每次讲所有测试用例提交到服务器上运行,并且检查测试结果。对于模块级的回归测试,这种方法在时间和计算资源上也许是可行的,然而对于芯片级,这种方法每次要消耗的时间和资源会很大。在实际项目中进行回原创 2021-02-07 13:45:43 · 417 阅读 · 0 评论 -
验证的周期
验证的里程碑RTL0:芯片框架和模块功能定义完成,制定验证的策略。RTL1:模块和子系统的功能信号定义完成,定制需要的存储模型。RTL2:完成所有模块的设计,以及80%以上的模块和子系统的验证。核心功能全部完成验证。RTL3:完成芯片系统的连线集成和验证,覆盖所有的功能验证点。GLS:完成门级网表的验证。TO:回顾验证的各项检查清单,最终流片。RTL0RTL1RTL2RT3GLSTO...原创 2021-02-07 12:44:53 · 265 阅读 · 0 评论 -
验证计划的进程评估
文章目录一、概述二、回归测试通过率代码覆盖率断言覆盖率功能覆盖率缺陷曲线一、概述在验证的过程中,需要不断的更新验证进度,从各项参数综合评估验证的完备性。回归测试通过率代码覆盖率断言覆盖率功能覆盖率缺陷曲线二、回归测试通过率一份回归测试表将测试设计所有功能点的用例合并成一个测试集。回归测试表的主要功能就是用来在设计经过缺陷修复或者性能提升后测试原有的所有功能点,确保设计仍然可以正常工作。这种往复测试方式不仅在于确保新的设计变化不会影响之前的功能,也可以用来避免修改后的设计对于别的模原创 2021-01-28 18:04:49 · 359 阅读 · 0 评论 -
验证计划的实现
文章目录一、概述二、如何制定验证计划邀请相关人员参与会议开会讨论确定测试场景创建验证环境一、概述一份细致的验证计划也包括项目动向、更新内容和过程进度,保证时间和人力的平衡。验证计划需要时常保持更新,给出合理的安排,这样的过程就蕴含着从计划到实践再到反馈,最后到修改计划的周期。二、如何制定验证计划邀请相关人员参与会议开会讨论验证计划的内容组成需要确定的验证功能点验证计划结构:设计功能简要描述硬件实现框图待验证的功能点验证环境搭建测试用例构成编译脚本和回归测试覆盖率原创 2021-01-28 16:13:19 · 409 阅读 · 0 评论 -
验证计划的内容
文章目录一、概述二、验证的功能三、验证的层次四、验证的方法五、验证的测试用例六、覆盖率的要求七、工具的选择八、风险评估一、概述在制定验证计划的具体过程中,会将技术部分和项目部分都考虑进来。从技术角度而言,需要考虑的有验证的功能点、验证的层次、测试用例、验证方法、覆盖率。从项目部分来讲,也需要考虑使用的工具、人力安排、进度安排、风险评估。二、验证的功能基本功能:通常包括时钟、电源、复位、寄存器访问和基本特性,这些可以在模块级完成验证。互动功能:一些需要同其它模块互动的特性,需要在更高层次的原创 2021-01-28 15:46:26 · 2144 阅读 · 0 评论 -
验证计划的概述
文章目录一、验证计划是什么二、计划的步骤三、收集的材料四、影响计划的因素一、验证计划是什么在选择验证方法和构建验证环境之前,我们首先需要清楚验证计划是什么。在展开设计之前,设计人员和验证人员都会阅读功能描述文档,以理解设计的各项功能为前提,来考虑如何实现或者验证它。在实际项目执行过程中,功能描述文档和设计会不断更新,直到流片前都有可能在进行。二、计划的步骤创建验证计划选择验证方法人力资源调配构建验证平台和环境组件开发测试用例三、收集的材料结构功能描述设计的各种操作使用模式原创 2021-01-28 15:17:21 · 1016 阅读 · 0 评论