网络数据流处理与控制模块的设计与验证

来源 :桂林电子科技大学 | 被引量 : 0次 | 上传用户:fdgongyongming
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着集成电路(IC:Integrated Circuit)行业的发展,芯片设计规模不断增大,功能也越来越复杂,使得验证的难度和重要性日益增大,如今验证已成为芯片开发周期的瓶颈。为缩短芯片开发周期,如何提高芯片的验证质量与效率已经成为行业关注的重点。本文对当前流行的验证技术进行了分析并指出传统验证方法学的缺点。因此非常有必要学习和掌握一种高级验证方法学的技巧,提高芯片验证的效率与质量,保证芯片设计的正确性。  本文研究的内容是设计一款数据帧处理与控制芯片内部的CPU接口模块,并对整个芯片进行功能验证。在RTL(Register Transfer Level:寄存器传输级)设计环节,根据芯片的设计规范和功能要求,首先编写了模块的详细设计方案,确定模块的接口信号以及内部寄存器;然后按照详细设计方案进行 RTL编码。以芯片设计规范为标准,提取 Feature(验证特性)并分解测试点和创建功能覆盖率模型,用来指导下一步验证工作的开展。  通过对当今业界流行的VMM(Verification Methodology Manual)验证方法学的学习和理解,利用SystemVerilog硬件验证语言(HVL:Hardware Verification Language)在经典的VMM验证架构基础上进行改进,搭建了被测芯片的验证环境,并开发测试用例,使用Synopsys公司的VCS仿真器进行功能仿真验证。仿真过程中同时使用了覆盖率驱动的验证、可约束随机测试和定向测试的验证技术,以代码覆盖率、功能覆盖率衡量验证工作的进展,共同完成验证工作。文章最后给出并分析了所验证芯片的条件覆盖率和功能覆盖率报告,对未覆盖的内容进行分析并给出合理解释。  实践表明,基于VMM验证方法学,结合多种功能验证方法,能够大幅提高芯片功能验证的效率和质量。
其他文献
该课题正是在这种需求背景下开始研制的.该文介绍了三表远程抄收系统的应用背景,课题意义,总结了国内外的应用和技术发展现状,提出了该课题需要完成的主要工作、总体方案及关
安全评估技术是信息安全方向的一个非常重要的研究内容,也是现代密码学领域中的一个非常重要的分支。通过安全评估协议,可以充分实现网络上多用户的互连合作,并且保证用户信
星地一体化设计是集卫星通信系统、地面终端设施和中继系统于一体的智能网络化系统,是未来信息系统发展的一个重要方向。为了提高星地一体化系统的效能,分别用无线资源优化策
该文以"九五"某重点项目——小口径高性能自动炮伺服系统的研制为背景.讨论了高速高精度交流数字伺服系统的总体设计,着重分析了双电机联动的驱动方式和电消隙控制方案,实现
该文应用Markov性能势的基本性质与摄动分析方法,建立了一类排队网络的性能势理论,在此基础上导出了排队网络稳态性能指标关于服务策略的导数公式.给出了基于对系统一条样本
随着人们对大数据量业务的需求,接入网成为整个电信网的发展瓶颈。而基于FTTx(Fiber to the x)的GPON(Gigabit-Capable Passive Optical Network)解决方案为接入网的建设带来
该文以山西铝厂的现行管理经济体制为背景,运用流程工业CIMS的ERP/MES/PCS三层结构,对山西铝厂CIMS作了总体结构设计和功能设计;在此基础上完成了山西铝厂销售管理子系统的分
该文首先研究了供应管理系统的基本组成,结合车身厂的特点,将其分为数据管理、计划管理、单据管理、报表管理等四个模块.对系统实现中的关键问题,如编号问题、材料分配问题及
该论文运用了估计理论和矩阵推导,研究和解决了数据校正课题中所遇到的一些核心问题,分别改进了测量网冗余度分析,显著误差检测和数据协调这三个关键部分.并且通过这些研究,
作者开发的EN6000系列调节器,吸收和集中了国内外同类仪表的优点,是采用最新微电子技术开发的高性能、高可靠性产品,它适用于多种生产过程的简单和复杂自动控制.PID控制是目