教育论文网

基于VMM的外部存储器接口验证
硕士博士毕业论文站内搜索    
分类：教育论文网→工业技术论文→无线电电子学、电信技术论文→微电子学、集成电路（IC）论文→大规模集成电路、超大规模集成电路论文
基于VMM的外部存储器接口验证
论文目录
 
摘要第1-5页
Abstract第5-8页
第1章 绪论第8-15页
　　· 课题背景第8-9页
　　· 验证技术简介第9-12页
　　　　· 动态功能验证第10-11页
　　　　· 静态功能验证第11-12页
　　· 验证技术发展趋势第12-13页
　　· 课题研究的意义第13-14页
　　· 论文的工作和结构第14-15页
　　　　· 论文的主要工作第14页
　　　　· 论文的结构第14-15页
第2章 VMM验证方法分析第15-21页
　　· 事务级验证的优点第15-16页
　　· 随机化验证的优点第16页
　　· 覆盖率驱动的优点第16-17页
　　· 断言的优点第17-19页
　　· 标准验证库的优点第19-20页
　　· 本章小结第20-21页
第3章 外部存储器接口第21-30页
　　· AHB总线协议第21-23页
　　· EMI的结构和工作原理第23-26页
　　　　· 主机接口单元第24-25页
　　　　· 外部存储器接口单元第25-26页
　　· 存储器简介第26-29页
　　　　· 异步SRAM存储器第26-27页
　　　　· SDR-SDRAM存储器第27-29页
　　· 本章小结第29-30页
第4章 基于VMM验证平台的设计第30-43页
　　· 验证平台结构第30-31页
　　· 验证环境设计第31-39页
　　　　· AHB VIP配置第32-34页
　　　　· 验证环境配置第34-36页
　　　　· 事务产生器的设计第36-37页
　　　　· 记分板的设计第37页
　　　　· 功能覆盖的设计第37-38页
　　　　· 断言点的设计第38-39页
　　· 覆盖率驱动的验证平台第39-41页
　　　　· 功能覆盖率驱动第39-40页
　　　　· 代码覆盖率驱动第40-41页
　　· 可重用的平台结构第41-42页
　　· 本章小结第42-43页
第5章 基于VMM验证平台的应用第43-56页
　　· EMI验证第43-47页
　　　　· 验证功能点的提取第43-45页
　　　　· 验证步骤和实现第45-46页
　　　　· 断言在平台设计中的应用第46-47页
　　· AHB WRAPPER第47-49页
　　· 验证结果第49-55页
　　　　· EMI验证结果第49-52页
　　　　· AHB WRAPPER验证结果第52-53页
　　　　· 验证结果分析第53-54页
　　　　· 输出的结果比较第54-55页
　　· 本章小结第55-56页
结论第56-57页
参考文献第57-63页
附录第63-68页
攻读学位期间发表的学术论文第68-70页
致谢第70页

本篇论文共70页，点击这进入下载页面。
 
更多论文
基于VMM的外部存储器接口验证
基于真空条件下的材料发射率测试方
组合电路软错误敏感性分析与加固
光纤与微环波导中的光速控制
光场感应电离类钯氙X射线激光系统的
空间电离辐射对光纤布喇格光栅性能
2μm波段激光泵浦的Cr：ZnSe激光器
无热化检测仪的中短波光学系统设计
红外焦平面阵列非均匀性校正算法研
晶圆预对准系统的研究
太赫兹扫描反射成像与实时透射成像
太阳光泵浦固体激光器聚光系统研究
基于神光-III原型装置的直接驱动靶
高速低功耗二步插值FLASH型ADC的设
支持QoS路由器设计与验证
流水式折叠插值模数转换器的关键技
每级2.5位的12位54M采样速率的流水
功率器件铜丝球键合可靠性研究
基于cymbal换能器能量采集系统的研
STEWART平台的WASHOUT算法研究
CCD显微检测系统误差分析及补偿
InSb/InAsSb超晶格红外探测薄膜结构
光纤阵列与光波导耦合系统的研究
基于电压检测型级联H桥有源滤波器的
片上通信模型及其映射方法的研究与
基于IEEE1149.4的混合边界扫描测试
毫米波滤波器人工神经网络建模研究
组合导航非线性滤波方法研究
基于SOPC的JPEG2000静止图像编码器
大功率LED驱动器开发系统的研究
集中式片上网络路由器及其缓存分配
基于FPGA的数字自动对焦算法的研究
基于FPGA的FFT处理器的设计
用于水中灭藻纳秒级高压脉冲电源的
卡尔曼滤波在模型参数估计中的应用
汉语连续语音的音节自动标注算法研
基于贝叶斯学习的RFID室内定位方法
定点化与文本无关的说话人识别系统
语音识别系统中声学层模型的研究
CBRP路由协议研究与仿真
具有能量有效的多路径梯度路由研究
基于自适应策略的MANET路由协议研究
基于信号差异的自适应分布式室内定
飞秒脉冲在光纤中传输的色散自相关
基于H.264的数字视频编解码器关键技
压缩域脆弱视频水印
基于AODV路由协议的可用带宽估计算
数字多媒体综合应用平台设计
基于位置信息的路由协议在移动Ad H
基于虚拟仪器的3G（TD-SCDMA）终端
基于周期结构的高增益微带天线的研
基于Hopfield神经网络的HSDPA调度算
多狭缝条纹管激光成像系统数据处理
基于ARM9核的MPEG-4视频解码器的优
基于椭圆曲线的数字签名方案关键模
CMOS电荷泵锁相环的设计与研究
ZigBee无线网络技术研究
基于H.264/AVC视频编码运动估计算法
DVB-T射频调谐器的设计与实现
UWB通信系统中的信道截短算法研究
基于AMBA总线的嵌入式液晶控制器IP
 
SystemVerilog VMM 事务级论文 覆盖率驱动论文 断言 可重用论文
版权申明：目录由用户水**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved