| 摘要 | 第1-4页 |
| ABSTRACT | 第4-8页 |
| 第1章 绪论 | 第8-12页 |
| ·集成电路设计方法的发展史 | 第8-9页 |
| ·基于平台的系统芯片设计 | 第9-10页 |
| ·本文的主要工作及组织结构 | 第10-12页 |
| 第2章 SOC设计的关键技术 | 第12-23页 |
| ·片上系统(SoC) | 第12-13页 |
| ·IP及其可复用技术 | 第13-16页 |
| ·知识产权模块(IP Core) | 第13页 |
| ·IP核的分类 | 第13-15页 |
| ·IP的可复用设计技术 | 第15-16页 |
| ·SoC设计中的片上总线技术 | 第16-20页 |
| ·AMBA总线协议 | 第17-19页 |
| ·基于AMBA的系统结构及时序 | 第19-20页 |
| ·SoC设计面临的技术挑战 | 第20-23页 |
| ·互连性能上的空缺 | 第20-21页 |
| ·功率损耗 | 第21页 |
| ·SoC的功率预测和最优化 | 第21-22页 |
| ·信号的完整性 | 第22-23页 |
| 第3章 SOC软硬件协同设计与验证 | 第23-32页 |
| ·软硬件协同设计理论 | 第23-24页 |
| ·系统级描述 | 第24-26页 |
| ·SoC软硬件划分的系统结构 | 第26-27页 |
| ·软硬件协同验证 | 第27-32页 |
| ·硬件建模 | 第29-30页 |
| ·处理器建模 | 第30-32页 |
| 第4章 基于AMBA总线的SOC平台接口架构 | 第32-47页 |
| ·基于平台的SoC设计方法 | 第32页 |
| ·平台设计的核心问题 | 第32-33页 |
| ·总线 | 第32-33页 |
| ·功能IP | 第33页 |
| ·SoC系统 | 第33页 |
| ·灵活可扩展的CKSoC平台接口架构 | 第33-43页 |
| ·AHB总线Wapper | 第33-34页 |
| ·IP接口归类定义 | 第34-35页 |
| ·SoC平台的XML文件架构 | 第35-43页 |
| ·CKSoC平台的工作流程 | 第43-47页 |
| ·用户配置信息文件 | 第44-45页 |
| ·IP配置工具—IP Configurator | 第45-47页 |
| 第5章 基于平台的多层次混合仿真验证方法 | 第47-57页 |
| ·基于SYSTEMC事务级验证环境的构建 | 第47-48页 |
| ·基于ISS与逻辑仿真器的RTL级验证环境 | 第48-54页 |
| ·进程间通信 | 第49-50页 |
| ·消息传递 | 第50-52页 |
| ·协同验证环境的实现 | 第52-53页 |
| ·功能实现 | 第53-54页 |
| ·协同模拟同步 | 第54页 |
| ·平台的多层次仿真验证环境 | 第54-57页 |
| 第6章 CKSOC硬件平台及其MCU设计 | 第57-66页 |
| ·CKSOC硬件架构平台 | 第57-60页 |
| ·CKCORE处理器 | 第57-58页 |
| ·存储管理控制器(MMC) | 第58页 |
| ·液晶控制器(LCD Controller,LCDC) | 第58页 |
| ·以太MAC控制器(MAC) | 第58-59页 |
| ·USB Host控制器 | 第59页 |
| ·UART控制器 | 第59页 |
| ·系统控制IP | 第59-60页 |
| ·基于平台的32位高性能MCU设计 | 第60-66页 |
| ·MCU概况介绍 | 第60-63页 |
| ·MCU RTL级仿真验证 | 第63-65页 |
| ·MCU物理实现 | 第65-66页 |
| 第7章 总结与展望 | 第66-68页 |
| 参考文献 | 第68-69页 |