GPS基带芯片的系统级功能验证
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-5页 |
| 目录 | 第5-7页 |
| 第一章 绪论 | 第7-12页 |
| ·课题来源与研究意义 | 第7-8页 |
| ·GPS芯片的国内外发展现状 | 第8-9页 |
| ·IC验证技术概述 | 第9-11页 |
| ·论文的主要内容 | 第11-12页 |
| 第二章 验证策略与验证语言OpenVera | 第12-29页 |
| ·验证概述 | 第12-13页 |
| ·功能验证流程 | 第13-15页 |
| ·决定验证策略 | 第13-14页 |
| ·验证平台设计阶段 | 第14页 |
| ·功能验证中的覆盖率分析 | 第14-15页 |
| ·DesignWare VIP库介绍 | 第15页 |
| ·形式验证工具 Formality介绍 | 第15-17页 |
| ·验证语言Openvera | 第17-29页 |
| ·测试平台的生成 | 第18页 |
| ·Openvera模板的生成 | 第18-19页 |
| ·测试平台的初步编译 | 第19-20页 |
| ·整体编译和整体仿真 | 第20页 |
| ·Openvera测试平台模型中的界面 | 第20-22页 |
| ·Openvera测试平台模型中的端口变量和绑定 | 第22-24页 |
| ·Openvera语言对信号的控制 | 第24-26页 |
| ·Openvera语言的并行控制 | 第26-27页 |
| ·Openvera的语言结构和对象 | 第27-29页 |
| 第三章 GPS基带芯片的设计介绍 | 第29-43页 |
| ·GPS基带芯片总体介绍 | 第29-30页 |
| ·GPS基带芯片各模块设计介绍 | 第30-43页 |
| ·相关器及有关模块 | 第30-31页 |
| ·处理器及有关模块 | 第31-34页 |
| ·存储器控制器 | 第34-35页 |
| ·接口类模块 | 第35-37页 |
| ·DMA控制器 | 第37-40页 |
| ·总线控制类模块 | 第40-43页 |
| 第四章 GPS基带芯片的系统级功能验证方案 | 第43-54页 |
| ·系统级功能验证的方案 | 第43-48页 |
| ·APB总线层面的验证 | 第43-45页 |
| ·AHB总线层面的验证 | 第45-47页 |
| ·基于 ARM仿真model的验证 | 第47-48页 |
| ·GPS基带芯片的系统验证平台 | 第48-54页 |
| ·系统级功能验证的文件结构 | 第51-52页 |
| ·系统级功能验证的统一脚本 | 第52-53页 |
| ·系统级功能验证的版本管理 | 第53-54页 |
| 第五章 GPS基带芯片系统级功能验证的验证过程 | 第54-70页 |
| ·AHB、APB以及各模块接口的联合验证 | 第54-56页 |
| ·存储器、DMA、UART的联合验证 | 第56-59页 |
| ·相关器有关的联合验证 | 第59-60页 |
| ·INTC、GPIO和看门狗的在系统验证 | 第60-62页 |
| ·系统验证的覆盖率分析 | 第62-66页 |
| ·使用 Formality进行等效性检查 | 第66-68页 |
| ·系统级功能验证经验总结 | 第68-70页 |
| 第六章 总结 | 第70-71页 |
| 致谢 | 第71-73页 |
| 参考文献 | 第73-77页 |
| 发表论文 | 第77-79页 |
