| 第一章 绪论 | 第1-25页 |
| 1．1 集成电路的发展 | 第14-15页 |
| 1．2 集成电路设计与验证技术的发展 | 第15-20页 |
| 1．2．1 集成电路设计方法和工具的变革 | 第15-17页 |
| 1．2．2 集成电路层次化设计方法及设计流程 | 第17-19页 |
| 1．2．3 集成电路验证技术 | 第19-20页 |
| 1．3 SoC技术现状与挑战 | 第20-23页 |
| 1．3．1 SoC概念 | 第20-21页 |
| 1．3．2 IP核技术及其在SoC中的重要性 | 第21-22页 |
| 1．3．3 SOC设计挑战 | 第22-23页 |
| 1．4 课题来源及研究内容 | 第23-24页 |
| 1．4．1 课题来源 | 第23页 |
| 1．4．2 研究内容 | 第23-24页 |
| 1．5 论文主要结构及内容安排 | 第24-25页 |
| 第二章 系统芯片的体系结构及 IP核重用技术 | 第25-38页 |
| 2．1 概述 | 第25页 |
| 2．2 SoC芯片的体系结构 | 第25-30页 |
| 2．2．1 SoC芯片总线架构技术 | 第25-26页 |
| 2．2．2 几种成熟的 SoC总线架构的比较 | 第26-30页 |
| 2．2．2．1 CoreConnect总线 | 第27-28页 |
| 2．2．2．2 AMBA总线 | 第28-29页 |
| 2．2．2．3 Wishbone总线 | 第29-30页 |
| 2．3 SoC设计平台与护核重用技术 | 第30-38页 |
| 2．3．1 SoC设计平台 | 第30-31页 |
| 2．3．2 IP核接口标准化及IP核重用技术 | 第31-34页 |
| 2．3．3 总线接口标准化与VCI协议 | 第34-38页 |
| 2．3．3．1 VCI协议简介 | 第34-35页 |
| 2．3．3．2 基于状态机的接口封装技术 | 第35-38页 |
| 第三章 八位微控制器软核设计 | 第38-71页 |
| 3．1 概述 | 第38页 |
| 3．2 HGD08R02芯核的设计 | 第38-54页 |
| 3．2．1 芯核的体系结构 | 第38-39页 |
| 3．2．2 指令集设计 | 第39-41页 |
| 3．2．2．1 RISC指令集 | 第39-40页 |
| 3．2．2．2 指令格式与寻址方式 | 第40-41页 |
| 3．2．3 存储器结构 | 第41-42页 |
| 3．2．4 时序及控制模块设计 | 第42-52页 |
| 3．2．4．1 时序设计与流水线规划 | 第42-46页 |
| 3．2．4．2 控制模块设计 | 第46-52页 |
| 3．2．5 数据通道模块设计 | 第52-54页 |
| 3．2．5．1 PC模块设计 | 第52-53页 |
| 3．2．5．2 ALU模块设计 | 第53-54页 |
| 3．2．5．3 操作数译码模块和寄存器堆 | 第54页 |
| 3．3 系统总线与外设总线桥电路设计 | 第54-65页 |
| 3．3．1 系统总线 | 第54-60页 |
| 3．3．1．1 系统总线信号 | 第54-55页 |
| 3．3．1．2 系统总线的特点 | 第55-56页 |
| 3．3．1．3 系统总线数据传输机制 | 第56-57页 |
| 3．3．1．4 基本读写传输周期 | 第57-60页 |
| 3．3．2 外设总线 | 第60-61页 |
| 3．3．3 总线桥电路设计 | 第61-65页 |
| 3．3．3．1 总线桥电路结构设计 | 第61-62页 |
| 3．3．3．2 总线桥电路各功能模块设计 | 第62-65页 |
| 3．4 全局时钟与复位模块的设计 | 第65页 |
| 3．5 外围 IP模块的集成 | 第65-71页 |
| 3．5．1 SPI模块的结构与互连 | 第65-67页 |
| 3．5．2 SPI模块工作相关寄存器 | 第67-68页 |
| 3．5．3 SPI模块工作原理 | 第68-69页 |
| 3．5．4 SPI模块接口设计 | 第69-71页 |
| 第四章 八位微控制器软核的验证 | 第71-93页 |
| 4．1 概述 | 第71页 |
| 4．2 SoC验证挑战 | 第71-72页 |
| 4．3 集成电路常用验证技术 | 第72-75页 |
| 4．3．1 动态仿真技术 | 第72-74页 |
| 4．3．2 静态验证技术 | 第74页 |
| 4．3．3 形式化验证技术 | 第74-75页 |
| 4．3．4 物理验证与分析 | 第75页 |
| 4．4 SoC验证方法学 | 第75-77页 |
| 4．4．1 自顶向下(top-down)的设计与验证 | 第75-76页 |
| 4．4．2 自底向上(bottom-up)的验证 | 第76页 |
| 4．4．3 基于平台的验证 | 第76-77页 |
| 4．4．4 系统接口驱动的验证 | 第77页 |
| 4．5 基于平台的集成化验证环境 | 第77-93页 |
| 4．5．1 验证环境可重用性方法学 | 第77-79页 |
| 4．5．2 事务的基本概念 | 第79页 |
| 4．5．3 总线功能模型、总线监视器及响应检查器基本原理 | 第79-83页 |
| 4．5．4 复杂系统软件/硬件协同验证 | 第83-84页 |
| 4．5．5 验证环境顶层文件模板 | 第84-85页 |
| 4．5．6 验证环境配置文件 | 第85-86页 |
| 4．5．7 运行环境的目录管理 | 第86-88页 |
| 4．5．7．1 SIM_ENV工具目录 | 第86-87页 |
| 4．5．7．2 芯片系列目录${FAMILY} | 第87页 |
| 4．5．7．3 模块目录 | 第87页 |
| 4．5．7．4 运行环境工作目录 | 第87-88页 |
| 4．5．8 SIM_ENV验证环境关键控制文件算法设计 | 第88-93页 |
| 第五章 总结与展望 | 第93-95页 |
| 5．1 总结 | 第93页 |
| 5．2 展望 | 第93-95页 |
| 参考文献 | 第95-97页 |
