文摘
英文文摘
论文说明:图表目录、缩略语
声明
第一章 绪论
1.1研究背景
1.2课题的意义
1.3课题来源和本文的主要内容
1.4论文组织结构
第二章 SoC加速仿真验证技术研究
2.1 IC的设计流程
2.2验证在集成电路设计中的地位
2.3验证技术简介
2.3.1仿真
2.3.2静态时序分析
2.3.3形式验证
2.4软硬件协同验证技术
2.4.1 Vector模式仿真
2.4.2 Co-Simulation模式仿真
第三章 SoC仿真验证加速器的总体设计方案
3.1系统结构
3.2创新点
3.2.1统一的多模式仿真体制
3.2.2基于网络的分层式操作
3.2.3利用串/并变换节约系统资源
3.2.4良好的兼容能力
第四章 SoC仿真验证加速器的软件系统设计实现
4.1软件系统层次划分
4.2文件转换及翻译程序
4.3 socket通信程序
4.3.1基本socket通信模型
4.3.2 socket通信实现
4.4文件收发处理程序
4.4.1 PC终端函数组
4.4.2 ARM服务器端函数组
4.5设备驱动程序
4.5.1设备驱动程序的组成
4.5.2设备驱动程序的访问实现
第五章 SoC仿真验证加速器的硬件系统设计实现
5.1控制FPGA的设计实现
5.1.1目标FPGA配置模块
5.1.2读取目标FPGA状态寄存器模块
5.1.3发送激励和接收响应模块
5.1.4其他模块的实现
5.2 目标FPGA的设计实现
5.2.1调试器与目标板的接口
5.2.2协同仿真接口模块
5.2.3目标FPGA顶层文件的修改
第六章 实验验证及性能分析
6.1软硬件环境
6.2功能正确性验证
6.2.1远程下载功能验证
6.2.2 Vector模式仿真功能验证
6.2.3 Co-Simulation模式仿真功能验证
6.3仿真速度的测定与分析
6.3.1 Vector模式仿真速度测定
6.3.2 Co-Simulation模式仿真速度测定
6.4改进分析及方案
第七章 总结
致谢
参考文献
攻硕期间取得的研究成果
个人简历
电子科技大学;