基于System Verilog的功能验证方法研究



基于System Verilog的功能验证方法研究

分类：教育论文网→工业技术论文→无线电电子学、电信技术论文→微电子学、集成电路（IC）论文→一般性问题论文→测试和检验论文

基于System Verilog的功能验证方法研究

论文目录
摘要	第1-7页
Abstract	第7-11页
第一章引言	第11-14页
· 课题背景及研究意义	第11页
· 研究现状及发展趋势	第11-12页
· 主要工作及论文组织结构	第12-14页
第二章集成电路设计验证综述	第14-18页
· 模拟验证	第14-15页
· 软件模拟	第14-15页
· 硬件仿真	第15页
· 形式验证	第15-16页
· 半形式验证	第16-17页
· 本章小结	第17-18页
第三章 System Verilog 及VMM 验证方法学	第18-24页
· SystemVerilog 的特点	第18-20页
· 设计验证语言的统一	第19页
· 面向对象编程	第19页
· 约束随机	第19-20页
· 功能覆盖率	第20页
· 断言验证	第20页
· SystemVerilog 验证环境架构	第20-21页
· VMM 验证方法学	第21-23页
· 本章小结	第23-24页
第四章断言验证及功能覆盖率	第24-42页
· 断言的概念及作用	第24-26页
· 断言提高设计可观测性	第24-25页
· 断言缩短调试时间	第25页
· IP 中的断言有利于IP 集成	第25-26页
· 断言的建立	第26-31页
· SVA 断言的基本组件	第26-28页
· SVA 断言的分类	第28-29页
· 断言与设计的连接	第29-31页
· System Verilog 断言库的使用	第31-32页
· 代码覆盖率收集	第32-33页
· 断言覆盖率收集	第33-34页
· 功能覆盖率	第34-41页
· 功能覆盖率建模	第35-36页
· 功能覆盖率收集	第36-37页
· 功能覆盖率与随机验证的结合	第37-38页
· 功能覆盖率对验证工作的指导	第38-40页
· 功能覆盖率对仿真的控制	第40-41页
· 本章小结	第41-42页
第五章网络报文处理转发芯片验证环境搭建	第42-55页
· 网络报文处理转发芯片的功能及需求规格	第42-43页
· 芯片功能	第42页
· 芯片需求规格	第42-43页
· 网络报文处理转发芯片总体结构	第43-44页
· 验证环境的搭建	第44-46页
· 芯片验证特性分解及功能覆盖率建模	第46-49页
· 芯片验证特性分解	第46-48页
· 功能覆盖率建模	第48-49页
· 网络报文处理转发芯片断言的插入	第49-52页
· 测试用例的开发	第52-53页
· 验证工具的设置及验证的运行	第53-54页
· 本章小结	第54-55页
第六章验证结果	第55-70页
· 用例执行结果的确认和设计问题的定位	第55-56页
· 代码覆盖率及结果分析	第56-58页
· 功能覆盖率及结果分析	第58-65页
· 断言覆盖率及结果分析	第65-67页
· 模拟验证改进后取得的效果	第67-69页
· 本章小结	第69-70页
总结	第70-71页
参考文献	第71-74页
攻读硕士学位期间取得的研究成果	第74-75页
致谢	第75页

本篇论文共75页，点击这进入下载页面。

更多论文
基于System Verilog的功能验证方法
超窄带单纵模光纤激光器泵浦源控制
并联型有源滤波器谐波电流补偿控制
智能引线键合机若干关键问题的研究
光纤数码器件成像和驱动特性研究
基于红外热像技术的高速车削加工温
大功率LED背光源的光学研究及其热分
大规模LED灯饰系统DVI视频处理器的
源—负载耦合滤波器的设计
宽带毫米波波导空间功率合成放大器
封装堆叠（PoP）可靠性的研究
基于DLL的多相位时钟产生器的设计
基于D类功放的音频放大器设计
重发耳机对同时掩蔽阈值测量的影响
分段复合吸液芯微热管研制与传热性
中高压变频器谐波分析
面向Web3.0的网络新媒体业务运营支
基于Chirp探测数据的信号能量强度预
无线Mesh网络MGMP路由协议跨层优化
基于区域的无线Mesh网络路由协议研
一种基于数字签名的无线局域网（WL
可视电话中的视频编码前处理技术的
大屏幕液晶电视动态背光控制技术的
基于条件概率双向预测量化的MDC方法
基于Venice7模块的数字收音机系统设
高铁窄波束高增益双频天线设计
混沌信号及其在通信中的应用
视频会议QoS保障系统结构研究与设计
增值业务多外部接口协议转换器的设
无线传感器网络分簇路由算法的研究
MIMO-OFDM无线通信系统的信道估计方
IPv6无线个域网低功耗协议的研究
卫星接收天线运行控制软件系统设计
车载终端实时交通导航技术的研究及
不改变原TCP安装的semi-TCP实现方法
移动通信网络通信质量评估模型及移
基于Verilog-AMS的混合信号系统建模
基于网络带宽自适应的视频编码系统
基于Clos多级交换结构及其调度算法
RS码在IPTV中的应用研究
无线传感器网络嗅探器设计与能耗机
MIMO水声通信系统的均衡技术研究
网络视频商务平台研究
仿生学多频机制在水下目标定位和水
基于DSP的语音编码保密通信系统的设
基于时反处理法的水下目标主动探测
OFDM系统PAPR抑制技术研究
一种无线移动Mesh网路由协议的研究
多跳无线自组织网络的调度算法与跨
OFDM无线通信系统的同步技术研究
cdma2000 1x系统前向链路同步技术的
短距离水声网络的MAC层协议研究
风光互补供电系统在上川岛公湾移动
一种可伸缩码率的流媒体文件传输技
以太网供电电源控制器的研究
串行RapidIO在移动WiMAX基带处理系
基于ARM的多媒体播放器的网络收音和
WiMAX系统分组调度算法的研究
Ad Hoc网络OLSR路由协议的改进与实
基于WiMax的限幅技术及Turbo码的研
流媒体视频码流传输平滑技术研究及
多射频多信道无线Mesh网络中的定位
3GPP TD-LTE系统下行同步技术的研究
无线接入的安全和频偏估计算法研究
基于IMS的PoC业务的研究与仿真
智能天线波达方向估计算法的研究
一种骨干WMMN路由算法研究及NS2仿真
具有竞争感知功能的负载均衡无线自

功能验证论文覆盖率驱动论文断言功能覆盖率论文
版权申明：目录由用户haihua116**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved