| 摘要 | 第1-9页 |
| ABSTRACT | 第9-11页 |
| 第一章 绪论 | 第11-15页 |
| ·选题背景及意义 | 第11-12页 |
| ·国内外SOC虚拟原型验证技术发展现状 | 第12-13页 |
| ·论文的研究内容及安排 | 第13-15页 |
| 第二章 虚拟原型验证技术及验证流程 | 第15-20页 |
| ·虚拟原型验证技术 | 第15-18页 |
| ·虚拟原型验证技术定义 | 第15页 |
| ·虚拟原型验证技术原理 | 第15-17页 |
| ·虚拟原型验证平台设计流程 | 第17-18页 |
| ·虚拟原型验证平台解决方案 | 第18-20页 |
| 第三章 SOC芯片的系统架构和硬件协同设计 | 第20-29页 |
| ·ARM体系结构与协同验证 | 第20-22页 |
| ·ARM内核 | 第20页 |
| ·编程模型 | 第20-21页 |
| ·异常和中断 | 第21-22页 |
| ·内存规划和字节顺序 | 第22页 |
| ·AMBA总线规范 | 第22-24页 |
| ·AMBA APB(Advanced Peripheral Bus) | 第23-24页 |
| ·AMBA AHB(Advanced High-performance Bus) | 第24页 |
| ·SOC芯片系统架构设计 | 第24-25页 |
| ·SOC芯片的片上资源 | 第25-27页 |
| ·向量中断控制器(VIC) | 第25-26页 |
| ·串口控制器(UART) | 第26页 |
| ·看门狗定时器(WDOG) | 第26-27页 |
| ·实时时钟(Real-Time Clock RTC) | 第27页 |
| ·DMA控制器 | 第27页 |
| ·通用输入/输出接口(GPIO) | 第27页 |
| ·SOC芯片的地址分配 | 第27-29页 |
| 第四章 IP/模块级仿真验证 | 第29-55页 |
| ·UVM简介 | 第29-35页 |
| ·基于覆盖率的验证(Coverage-Driven Verification) | 第29-30页 |
| ·测试平台和环境 | 第30-31页 |
| ·UVM验证组件 | 第31-33页 |
| ·UVM类库 | 第33-35页 |
| ·基于UVM的IP/模块的验证 | 第35-55页 |
| ·UART DUV(Design Under Verification) | 第35-36页 |
| ·UART验证计划及UVM验证环境设计 | 第36-37页 |
| ·APB UVC设计 | 第37-46页 |
| ·UART UVC设计 | 第46-48页 |
| ·UART控制UVC与计分板 | 第48页 |
| ·测试序列库 | 第48-50页 |
| ·UART验证环境整合 | 第50页 |
| ·覆盖率收敛及结果分析 | 第50-55页 |
| 第五章 虚拟原型验证自动化验证平台搭建 | 第55-80页 |
| ·虚拟原型验证平台设计 | 第55-57页 |
| ·虚拟原型验证平台结构框架 | 第55-56页 |
| ·虚拟原型验证流程 | 第56-57页 |
| ·虚拟原型平台验证组件设计 | 第57-65页 |
| ·处理器模型 | 第58页 |
| ·存储器模型 | 第58-59页 |
| ·显示组件 | 第59-63页 |
| ·测试环境触发组件 | 第63-65页 |
| ·软件编译仿真环境构建 | 第65-76页 |
| ·GNU Tools简介 | 第66-68页 |
| ·软件环境设计 | 第68-69页 |
| ·启动代码及初始配置 | 第69-73页 |
| ·Makefile流程管理 | 第73-76页 |
| ·验证工程文件结构划分 | 第76-77页 |
| ·虚拟原型验证程序及结果分析 | 第77-80页 |
| 第六章 结束语 | 第80-83页 |
| 参考文献 | 第83-87页 |
| 致谢 | 第87-88页 |
| 学位论文评阅及答辩情况表 | 第88页 |
