SOC软硬件协同险证系统方案设计及其实验验证研究
| 第一章 绪论 | 第1-12页 |
| ·引言 | 第9-10页 |
| ·课题设计目标 | 第10页 |
| ·设计方法及内容 | 第10-11页 |
| ·实用价值和理论意义 | 第11-12页 |
| 第二章 SOC 验证技术研究 | 第12-25页 |
| ·IC 设计流程概述 | 第12-13页 |
| ·传统的芯片验证技术 | 第13-20页 |
| ·仿真技术 | 第14-17页 |
| ·静态时序分析技术 | 第17-19页 |
| ·形式验证技术 | 第19-20页 |
| ·面向SOC 的验证技术 | 第20-25页 |
| ·SOC 软硬件协同仿真技术 | 第21-22页 |
| ·软硬件协同加速验证技术 | 第22-23页 |
| ·基于事务的验证技术 | 第23-25页 |
| 第三章 联合验证模式设计实现 | 第25-47页 |
| ·SOC 软硬件协同验证系统概述 | 第25页 |
| ·联合验证模式设计实现 | 第25-42页 |
| ·Verilog HDL 过程接口 | 第27-28页 |
| ·FLI 外部语言接口 | 第28-29页 |
| ·软硬件协同仿真验证的同步原理 | 第29-30页 |
| ·验证程序设计实现 | 第30-41页 |
| ·联合验证模块实现原理 | 第41-42页 |
| ·MODELSIM SE 仿真器对协同验证的支持 | 第42-47页 |
| ·WINDOWS DLL 文件概述 | 第43-44页 |
| ·Verilog HDL 设计的协同验证 | 第44-45页 |
| ·VHDL 设计的协同验证 | 第45-47页 |
| 第四章 测试向量模式的设计实现 | 第47-56页 |
| ·测试向量模式概述 | 第47-48页 |
| ·测试向量模式的数据格式设计 | 第48-49页 |
| ·测试向量模式的设计实现 | 第49-56页 |
| ·用户界面程序设计 | 第50-52页 |
| ·数据处理模块设计 | 第52-54页 |
| ·测试向量验证模块设计 | 第54-56页 |
| 第五章 实验验证 | 第56-72页 |
| ·实验平台介绍 | 第56-57页 |
| ·联合验证模式的实验验证 | 第57-67页 |
| ·被验证设计及其功能仿真 | 第57-58页 |
| ·联合验证实验步骤 | 第58-65页 |
| ·实验验证速度测定 | 第65-67页 |
| ·测试向量模式的实验验证 | 第67-70页 |
| ·被验证设计及功能仿真 | 第67页 |
| ·测试向量模式的验证步骤 | 第67-70页 |
| ·实验验证速度测定 | 第70页 |
| ·实验结论 | 第70-72页 |
| 第六章 结论 | 第72-73页 |
| 致谢 | 第73-74页 |
| 参考文献 | 第74-76页 |
| 作者简历及攻硕期间取得的成果 | 第76页 |
