“龙腾S2”验证平台的设计
| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 目录 | 第5-7页 |
| 第一章 绪论 | 第7-13页 |
| ·课题背景及来源 | 第7-9页 |
| ·国内外研究现状 | 第9-11页 |
| ·论文结构 | 第11-13页 |
| 第二章 验证方法简述 | 第13-26页 |
| ·验证技术 | 第13-19页 |
| ·仿真技术 | 第13-15页 |
| ·静态技术 | 第15-16页 |
| ·形式技术 | 第16-17页 |
| ·物理验证与分析 | 第17页 |
| ·各种验证技术的比较 | 第17-19页 |
| ·Testbench | 第19-21页 |
| ·验证途径 | 第21-26页 |
| ·自顶而下的设计与验证途径 | 第21-22页 |
| ·自底而上的验证途径 | 第22-24页 |
| ·基于平台的验证途径 | 第24-25页 |
| ·受系统接口驱动的验证途径 | 第25-26页 |
| 第三章 “龙腾 S2”的结构与验证策略 | 第26-38页 |
| ·“龙腾S2”的结构 | 第26-35页 |
| ·系统核心逻辑芯片 | 第27-31页 |
| ·看门狗电路 | 第31页 |
| ·外设控制器 | 第31-33页 |
| ·“龙腾 S2”中微处理器核结构 | 第33-35页 |
| ·“龙腾 S2”的验证策略 | 第35-38页 |
| 第四章 子模块的验证 | 第38-50页 |
| ·代码的检查 | 第38-39页 |
| ·代码检查的重要性 | 第38-39页 |
| ·IEU中的代码检查 | 第39页 |
| ·代码覆盖率分析 | 第39-43页 |
| ·关键路径分析 | 第43-46页 |
| ·处理关键路径的方法 | 第43-44页 |
| ·IEU中的关键路径处理 | 第44-46页 |
| ·子模块的功能时序验证 | 第46-50页 |
| ·IEU的功能验证 | 第46-47页 |
| ·IEU的时序验证 | 第47-50页 |
| 第五章 “龙腾 S2”中微处理器核的验证 | 第50-64页 |
| ·子系统的验证 | 第50页 |
| ·微处理器核的验证 | 第50-64页 |
| ·验证的内容 | 第50-51页 |
| ·验证环境分析 | 第51-55页 |
| ·伪随机指令生成 | 第55-64页 |
| 第六章 “龙腾 S2”的验证方案 | 第64-76页 |
| ·验证单元的可重用性 | 第64-68页 |
| ·验证单元 | 第64-66页 |
| ·可重用性 | 第66-68页 |
| ·“龙腾 S2”的验证环境 | 第68-72页 |
| ·验证环境的结构 | 第68-69页 |
| ·验证环境的工作 | 第69-72页 |
| ·软件验证平台运行机制 | 第72页 |
| ·“龙腾 S2”的FPGA原型验证 | 第72-76页 |
| ·FPGA验证策略 | 第73-74页 |
| ·调试工具—逻辑分析仪 | 第74-76页 |
| 第七章 结束语 | 第76-77页 |
| 参考文献 | 第77-79页 |
| 硕士期间发表的论文和参加的工作 | 第79-80页 |
| 致谢 | 第80-81页 |
| 西北工业大学业 学位论文知识产权声明书 | 第81页 |
| 西北工业大学 学位论文原创性声明 | 第81页 |
