航天工程电路系统的仿真验证环境研究
| 中文摘要 | 第1-4页 |
| ABSTRACT | 第4-9页 |
| 第1章 绪论 | 第9-18页 |
| ·当前系统设计的问题 | 第9-11页 |
| ·可以采用的途径 | 第11页 |
| ·EDA 设计的方法和流程的讨论 | 第11-13页 |
| ·EDA 设计方法概述 | 第11页 |
| ·EDA 设计方法涉及到的新技术 | 第11-12页 |
| ·EDA 设计方法具有的优点 | 第12-13页 |
| ·国内相关技术研究 | 第13-14页 |
| ·国外相关技术现状 | 第14-17页 |
| ·国外技术综述 | 第14-15页 |
| ·虚拟原型设计环境 | 第15页 |
| ·软硬件协同仿真 | 第15-16页 |
| ·协同设计(Co-Design) | 第16页 |
| ·硬件描述语言的应用 | 第16页 |
| ·SoC 系统设计 | 第16-17页 |
| ·课题开展的工作 | 第17-18页 |
| 第2章 仿真验证设计环境技术分析 | 第18-30页 |
| ·星上数字电路系统简介 | 第18-19页 |
| ·仿真验证设计环境构造的思路 | 第19-22页 |
| ·仿真验证设计环境的作用 | 第19-20页 |
| ·仿真验证设计环境包含的组成 | 第20-21页 |
| ·实现环境 | 第21-22页 |
| ·关键技术及相关技术分析 | 第22-27页 |
| ·关键技术综述 | 第22-23页 |
| ·前期工作 | 第23-24页 |
| ·测试功能的实现 | 第24-26页 |
| ·需要构造的功能 | 第26-27页 |
| ·选取目标系统进行验证 | 第27页 |
| ·该环境可以解决的具体问题分析 | 第27-29页 |
| ·电路设计存在的具体问题 | 第27-29页 |
| ·可以解决的问题 | 第29页 |
| ·本章小结 | 第29-30页 |
| 第3章 设计环境的实现与实践 | 第30-74页 |
| ·EDA 软件环境简介 | 第30-37页 |
| ·数字设计工作台 | 第30-37页 |
| ·VHDL 仿真器 | 第37页 |
| ·Verilog-XL | 第37页 |
| ·关键技术攻关 | 第37-58页 |
| ·典型数字系统的仿真 | 第38-40页 |
| ·硬件CPU 模型的仿真和程序的引入 | 第40-45页 |
| ·构造并仿真硬件模型 | 第45-53页 |
| ·利用SmartModel 进行复杂器件的仿真 | 第53-58页 |
| ·仿真验证设计环境的基本实现 | 第58页 |
| ·调试星务管理计算机系统 | 第58-69页 |
| ·分析构造系统的方式 | 第59-60页 |
| ·验证基础系统 | 第60-62页 |
| ·软件系统配置测试 | 第62-64页 |
| ·验证并加入FPGA 设计 | 第64-66页 |
| ·测试存储器 | 第66页 |
| ·X86 系列处理器测试 | 第66-67页 |
| ·总线基本配置测试 | 第67-68页 |
| ·与实际系统连调 | 第68页 |
| ·设计中遇到的问题 | 第68页 |
| ·获得的经验 | 第68-69页 |
| ·验证ERC32 计算机系统设计 | 第69-73页 |
| ·ERC32 背景介绍 | 第69-70页 |
| ·CPU 系统实现方式 | 第70-71页 |
| ·验证系统的方式 | 第71页 |
| ·仿真验证的结果 | 第71-73页 |
| ·仿真环境利用的收获 | 第73页 |
| ·本章小结 | 第73-74页 |
| 第4章 设计方法学中的改进 | 第74-82页 |
| ·应用仿真环境对设计方法提出的挑战 | 第74-79页 |
| ·EDA 虚拟系统环境 | 第74-76页 |
| ·硬件设计方式 | 第76-77页 |
| ·软件设计方式 | 第77-78页 |
| ·系统调试方式 | 第78-79页 |
| ·对验证结果的分析 | 第79页 |
| ·采用新的设计方法 | 第79-80页 |
| ·目标 | 第79-80页 |
| ·设计方法的改进 | 第80页 |
| ·本章小结 | 第80-82页 |
| 第5章 关于其它研究方向的探讨 | 第82-86页 |
| ·集成开发环境 | 第82-84页 |
| ·为什么需要集成开发环境 | 第82页 |
| ·提出集成开发环境的设计构想 | 第82页 |
| ·进行相关技术的研究 | 第82-84页 |
| ·在仿真验证设计环境中实现故障注入 | 第84-85页 |
| ·为什么需要故障注入 | 第84页 |
| ·采用EDA 实现故障注入的好处 | 第84-85页 |
| ·实现故障注入的方法 | 第85页 |
| ·测试故障注入环境的工作效果 | 第85页 |
| ·本章小结 | 第85-86页 |
| 结论 | 第86-87页 |
| 参考文献 | 第87-91页 |
| 致谢 | 第91页 |
