教育论文网

SoC功能验证自动化系统的设计与实现
硕士博士毕业论文站内搜索    
分类：教育论文网→工业技术论文→无线电电子学、电信技术论文→微电子学、集成电路（IC）论文→一般性问题论文→设计论文
SoC功能验证自动化系统的设计与实现
论文目录
 
第一章 绪论第14-24 页
　　· 集成电路的发展第14 页
　　· IC设计技术与验证技术发展第14-18 页
　　　　· 手工设计阶段第15 页
　　　　· 计算机辅助设计阶段(CAD)第15-16 页
　　　　· 计算机辅助工程阶段(CAE)第16 页
　　　　· 电子系统设计自动化(ESDA)第16-18 页
　　· SoC和功能验证的挑战第18-21 页
　　· 基于事务的验证重用方法学第21-23 页
　　· 论文的主要研究内容及章节安排第23-24 页
第二章 SoC功能验证方法学第24-38 页
　　· 典型的SoC系统第24-25 页
　　· SoC功能验证方法第25-27 页
　　· 可重用功能验证平台体系结构第27-32 页
　　　　· 基于事务验证模型的验证平台体系结构第28-30 页
　　　　· 软件驱动的功能验证第30-31 页
　　　　· 硬件仿真平台第31-32 页
　　· 验证平台的重用第32-33 页
　　· 验证语言(Verification Languages)和验证解决方案第33-38 页
　　　　· Synopsys的Vera第34-35 页
　　　　· Verisity的Specman第35-36 页
　　　　· Avery的TestWizard第36-37 页
　　　　· 三种验证解决方案的分析第37-38 页
第三章 SoC功能验证系统第38-73 页
　　· 引言第38 页
　　· VAS系统的顶层设计第38-44 页
　　　　· VAS系统的总体考虑第38-41 页
　　　　· 验证系统的层次划分第41-42 页
　　　　· 验证系统的可重用性考虑第42-44 页
　　· 描述层的设计第44-60 页
　　　　· 功能验证计划第44 页
　　　　· 描述层的体系结构第44-45 页
　　　　· 总线事务命令第45-54 页
　　　　　　· 总线事务概念第45-47 页
　　　　　　· 总线事务命令的设计原则第47-48 页
　　　　　　· 总线事务命令的定义第48-52 页
　　　　　　· 利用总线事务命令编写事务级激励第52-54 页
　　　　· 系统描述符第54-59 页
　　　　　　· 系统描述符和系统配置文件的概念第54 页
　　　　　　· 系统描述符的设计原则第54-55 页
　　　　　　· 系统描述符的定义第55-58 页
　　　　　　· 系统配置文件第58-59 页
　　　　· 回归测试控制第59 页
　　　　· 描述层设计的总结第59-60 页
　　· 逻辑层的设计第60-64 页
　　　　· 回归测试管理程序第60-61 页
　　　　· 测试编译程序第61-62 页
　　　　· 分析程序和生成程序第62-63 页
　　　　· 仿真控制程序第63 页
　　　　· 检查程序第63 页
　　　　· 逻辑层设计的总结第63-64 页
　　· 接口层的定义第64-72 页
　　　　· 数据接口的概念第64 页
　　　　· 功能验证运行环境的分析第64-66 页
　　　　· 数据接口的设计第66-70 页
　　　　· 测试平台接口第70-71 页
　　　　· 工具接口定义第71-72 页
　　· 物理层第72 页
　　· 本章小结第72-73 页
第四章 验证系统的实现第73-97 页
　　· 物理层的实现第73-84 页
　　　　· 总线功能模型设计的研究第74-80 页
　　　　　　· 基于任务的BFM设计第74-76 页
　　　　　　· 基于状态机的BFM设计第76-78 页
　　　　　　· 实验及性能分析第78-79 页
　　　　　　· 总线功能模型的实现第79-80 页
　　　　· 总线监视器的设计第80-84 页
　　　　　　· Monitor采样模块的设计第81-82 页
　　　　　　· 信号转换模块的设计第82-84 页
　　　　　　· Monitor的可重用性设计规则第84 页
　　· 接口层的实现第84-88 页
　　　　· 实现的基础第85 页
　　　　· 测试平台模板的设计第85-88 页
　　· 逻辑层的实现第88-90 页
　　　　· 生成程序的设计第88-89 页
　　　　· 工具接口的生成第89-90 页
　　· 系统的组织结构第90-91 页
　　· 功能验证实验第91-96 页
　　　　· 编写事务级测试向量第92-93 页
　　　　· 编写系统配置文件第93 页
　　　　· 运行测试向量第93-94 页
　　　　· 运行结果的分析第94-96 页
　　· 本章小结第96-97 页
第五章 结论与展望第97-99 页
　　· 工作总结第97-98 页
　　· 进一步的工作第98-99 页
参考文献第99-101页

本篇论文共101页，点击这进入下载页面。
 
更多论文
SoC功能验证自动化系统的设计与实现
设计高性能浮点加法器
IP核及其集成技术的研究
Flash Memory中灵敏放大器的设计
基于RSA的随机密钥交换系统的研究与
计算机联锁系统软件可靠性设计方法
运输调度作业系统自动化技术的研究
Web服务消息安全应用研究
知识发现在金融反洗钱领域中的应用
基于粗糙集合和信息熵的分类模型研
语义Web中基于本体知识库系统的自动
SSM组播模型研究及基于ns-2的仿真实
中国背景下德语作为外国语课堂中语
安全椭圆曲线系统的研究和实现
基于Domino协作平台的工作流组件的
软件过程定义方法PDMWS的研究
基于改进型ELGamal数字签名的身份认
Agent个体学习与多Agent协作的研究
基于关系数据库的XML存储查询系统设
IP质量评估技术的研究
PCI从设备安全芯片的设计
大功率开关电源并联技术的研究
基于PFC和软开关的大功率开关电源的
ERP环境下物料管理子系统的研究与开
绿色PLM理论体系框架及Corrective
遗传优化算法及其在数据挖掘中的应
基于XML平台RSA数字签名体制的研究
基于语义网络的Web挖掘研究
数据挖掘中基于贝叶斯技术的分类问
基于J2EE体系的农业专家系统平台的
基于状态检测机制的网络安全管理系
晶振的缺陷检测和识别
压阻式压力传感器的温度误差补偿技
基于DMIS规范的质量信息集成研究
基于PA85的新型压电陶瓷驱动电源
视觉测量系统中的标定技术及其应用
MUSICAM算法的研究和DSP实现
数模混合电路可测试性的若干问题研
支持向量机及其在智能交通系统中的
基于DSP的嵌入式系统研究
基于矢量量化的图像压缩技术研究
企业信息系统集成关键技术和方法研
我国商业银行信用风险管理研究
6-SPS并联机器人运动学及工作空间的
中小企业生产计划管理系统的研究与
基于时序驱动的综合技术研究
固化动力学研究及其计算机处理系统
光学信息库数据模型和数据挖掘技术
基于智能可视定制平台CVIDraw的图形
MEMS多层模材料参数在线提取方法的
16位精简指令集微处理器软核的设计
基于概念格扩展模型的分类问题研究
一种设计模式重用方法的研究
设计模式的存储机制研究
基于EZ_USB FX的DSP数据采集系统的
高炉自动控制系统应用研究
本体匹配算法研究及结合Web服务的实
嵌入式以太网技术的研究
基于Matlab的机器人运动学系统的研
模糊神经网络控制在单级倒立摆系统
无线通信中基带处理器与系统控制器
验证平台的可重用性研究
车牌图像分割与智能字符识别方法的
视频图像字符认知特征提取与识别研
煤气储备气罐高度的图像信号处理系
基于计算机辅助诊断的人体信息诊疗
基于领域知识和概念格模型的知识发
数字证书系统的设计研究
基于C/S结构的企业信息管理系统的研
Er：YAG激光牙科治疗仪设计与仿真
基于XML的光学数据交换技术研究
核电站PSA软件数据库系统开发
混合评价数据库HENDL1.0/MG及多功能
基于Web的光学专业数据库的信息检索
MIS软件中的复用类库研究
视频图像汉字的仿人识别机理研究
Web信息智能检索研究
网络教育中的智能搜索引擎的研究
和谐教育思想理论探讨及其在高等学
网络远程开放教育教与学模式研究
合肥市天然气需求量及能源结构变化
连续鞅分析在期权定价中的应用研究
绿色管理与我国金融业发展
社会资本对企业及区域经济发展影响
中国高新技术产业开发区发展的比较
科学基金重大项目资助产出系统分析
电子商务环境下基于配送中心的物流
基于成本收益分析的企业人力资本投
网络环境下企业内部控制研究
 
SoC论文 功能验证论文 测试平台论文 事务验证模型论文
版权申明：目录由用户sj**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved