基于IP核的SoC宏模型设计方法研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 引言 | 第11-13页 |
| ·研究背景 | 第11-12页 |
| ·宏模型研究的发展现状 | 第12页 |
| ·论文主要研究内容 | 第12-13页 |
| 2 SoC宏模型理论 | 第13-23页 |
| ·宏模型概述 | 第13-14页 |
| ·宏模型架构 | 第14-16页 |
| ·宏模型的构建 | 第14-16页 |
| ·宏模型的选择 | 第16页 |
| ·宏模型建模 | 第16-19页 |
| ·宏模型建立原则 | 第16-17页 |
| ·宏模型建模流程 | 第17-19页 |
| ·几类重要的构建法 | 第19-21页 |
| ·简化法 | 第19-20页 |
| ·构造法 | 第20页 |
| ·表格法 | 第20-21页 |
| ·系统级建模 | 第21-22页 |
| ·IP核分类 | 第21页 |
| ·基于高层次综合设计 | 第21-22页 |
| ·本章小结 | 第22-23页 |
| 3 8-bit CPU结构分析 | 第23-39页 |
| ·8-bit CPU架构 | 第23-36页 |
| ·设计指标 | 第23-24页 |
| ·指令定义 | 第24-26页 |
| ·指令执行分析 | 第26-29页 |
| ·数据路径建立 | 第29-33页 |
| ·控制单元设计 | 第33-36页 |
| ·系统结构建立 | 第36页 |
| ·结构层次化设计 | 第36-38页 |
| ·结构化设计原则 | 第37-38页 |
| ·划分技巧 | 第38页 |
| ·本章小结 | 第38-39页 |
| 4 8-bit CPU建模 | 第39-65页 |
| ·8位CPU行为模型 | 第39-45页 |
| ·子模块行为模型 | 第40-45页 |
| ·8位CPU宏模型 | 第45-64页 |
| ·建模策略 | 第46-47页 |
| ·宏模型建立 | 第47-64页 |
| ·本章小结 | 第64-65页 |
| 5 宏模型验证 | 第65-75页 |
| ·SoC验证理论 | 第65-67页 |
| ·系统分解验证 | 第65-66页 |
| ·形式化验证 | 第66-67页 |
| ·8-bit CPU宏模型验证 | 第67-72页 |
| ·验证策略 | 第68页 |
| ·系统验证 | 第68-72页 |
| ·本章小结 | 第72-75页 |
| 6 结论 | 第75-77页 |
| 参考文献 | 第77-79页 |
| 附录A | 第79-89页 |
| 附录B | 第89-95页 |
| 作者简历 | 第95-99页 |
| 学位论文数据集 | 第99页 |
