| 摘要 | 第1-4页 |
| ABSTRACT | 第4-13页 |
| 1 引言 | 第13-19页 |
| ·论文选题的背景 | 第13页 |
| ·验证技术的现状和最新方法 | 第13-15页 |
| ·软硬件协同验证方法学的介绍 | 第15-16页 |
| ·基于ISS 的软硬件协同验证 | 第15-16页 |
| ·基于事务级的系统验证技术 | 第16页 |
| ·论文的主要工作 | 第16-17页 |
| ·研究研究的基础和方向 | 第16-17页 |
| ·主要研究工作 | 第17页 |
| ·论文章节安排 | 第17-18页 |
| ·本章小节 | 第18-19页 |
| 2 基于SKYEYE 和GEMINI 进行协同验证的探讨 | 第19-26页 |
| ·SKYEYE 的基本概念 | 第19-21页 |
| ·SkyEye 的简介 | 第19页 |
| ·SkyEye 的功能和拓展应用 | 第19-21页 |
| ·GEMINI 的介绍和项目应用 | 第21-22页 |
| ·验证加速技术的简单介绍 | 第21页 |
| ·Gemini 的介绍 | 第21-22页 |
| ·Gemini 工作模式介绍和工程应用优缺点分析 | 第22页 |
| ·基于SKYEYE 和GEMINI 新建验证系统 | 第22-24页 |
| ·提升验证能力的突破点 | 第22-23页 |
| ·软硬件协同工作的基本方法 | 第23-24页 |
| ·建立这个验证平台的意义 | 第24-25页 |
| ·本章小节 | 第25-26页 |
| 3 SKYEYE+GEMINI 软硬件协同验证平台设计 | 第26-36页 |
| ·平台的软硬件层次划分 | 第26-27页 |
| ·软件接口协议及实现 | 第27-28页 |
| ·硬件接口的定义 | 第28-31页 |
| ·软硬件握手协议 | 第31-33页 |
| ·软硬件DEBUG 方式 | 第33-34页 |
| ·SKYEYE+GEMINI 软硬件协同验证平台框图 | 第34-35页 |
| ·本章小节 | 第35-36页 |
| 4 平台功能实现的前期准备 | 第36-44页 |
| ·平台功能实现计划 | 第36-37页 |
| ·C-API 的基本功能和编程指导 | 第37-38页 |
| ·C-API 的基本功能 | 第37-38页 |
| ·C-API 的编程指导 | 第38页 |
| ·TRANSACTION DECODER 模块的仿真验证 | 第38-41页 |
| ·仿真验证设计模块 | 第39-40页 |
| ·仿真验证的方法 | 第40-41页 |
| ·GEMINI SETUP FLOW | 第41-43页 |
| ·本章小节 | 第43-44页 |
| 5 平台测试实现和性能优化 | 第44-59页 |
| ·C-API＋GEMINI 硬件部分调试 | 第44-49页 |
| ·使用C-API 函数编程实现Gemini 控制和读写访问 | 第44-45页 |
| ·使用LA 进行波形分析 | 第45-47页 |
| ·C-API＋Gemini 硬件调试的数据记录 | 第47-49页 |
| ·性能初步分析及当前瓶颈 | 第49-50页 |
| ·性能调整及调整方案的证明验证 | 第50-54页 |
| ·改进性能点的具体分析 | 第50页 |
| ·改进后的接口模块框图和控制flow 改进方案 | 第50-52页 |
| ·改进后的结果测试记录 | 第52-53页 |
| ·改进前和改进后的性能比较 | 第53-54页 |
| ·各个延时单元的评估 | 第54-55页 |
| ·与传统验证方法的对比分析和性能总结 | 第55-58页 |
| ·本章小节 | 第58-59页 |
| 6 SOCKET 跨平台操作设计 | 第59-67页 |
| ·SKYEYE+GEMINI 平台协同工作---SOCKET 实现跨平台设计 | 第59-65页 |
| ·本章小节 | 第65-67页 |
| 7 总结和展望 | 第67-70页 |
| 参考文献 | 第70-74页 |
| 附录[1] C-API 实现平台控制的应用程序 | 第74-82页 |
| 附录[2] 软件访问程序打包函数 | 第82-84页 |
| 附录[3] 实施项目管理的MAKEFILE | 第84-85页 |
| 附录[4] C-API 部分函数接口定义 | 第85-92页 |
| 致谢 | 第92-93页 |
| 攻读学位期间发表的学术论文目录 | 第93-94页 |
| 上海交通大学学位论文答辩决议书 | 第94-96页 |
