| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 引言 | 第7-11页 |
| ·IP概述 | 第7页 |
| ·IP在SoC设计中的应用 | 第7-8页 |
| ·国内外IP核验证的现状 | 第8页 |
| ·本论文的研究内容和意义 | 第8-11页 |
| 第二章 IP验证方法及语言 | 第11-17页 |
| ·验证的方法 | 第11-14页 |
| ·动态功能验证方法 | 第11-13页 |
| ·静态功能验证方法 | 第13-14页 |
| ·功能验证的流程 | 第14-15页 |
| ·验证计划的建立 | 第14-15页 |
| ·测试平台的建立 | 第15页 |
| ·覆盖率检查和回归测试 | 第15页 |
| ·验证语言 | 第15-16页 |
| ·本章小结 | 第16-17页 |
| 第三章 12C和DMA软核IP总体设计方案和功能分析 | 第17-33页 |
| ·12C的协议原理 | 第17-24页 |
| ·12C总线简介 | 第17-18页 |
| ·12C总线协议简介 | 第18-24页 |
| ·12C总线接口IP设计 | 第24-27页 |
| ·12C总线接口IP简介 | 第24-25页 |
| ·12C总线接口IP功能分析 | 第25-27页 |
| ·DMA简介 | 第27页 |
| ·DMA的软核IP的设计 | 第27-31页 |
| ·DMA软核IP功能特点 | 第31页 |
| ·DMA软核IP详细功能 | 第31页 |
| ·本章小结 | 第31-33页 |
| 第四章 12C和DMA软核IP的验证平台设计 | 第33-53页 |
| ·概述 | 第33页 |
| ·验证系统的几个相关概念 | 第33-37页 |
| ·基于事务级的验证方法 | 第33-34页 |
| ·BFM 简介 | 第34-35页 |
| ·功能覆盖率模型 | 第35-36页 |
| ·激励输入机制 | 第36-37页 |
| ·代码覆盖率 | 第37页 |
| ·12C软核IP验证平台设计 | 第37-45页 |
| ·12C软核IP的BFM设计 | 第38-41页 |
| ·基于12C的功能覆盖率模型 | 第41-43页 |
| ·激励输入机制 | 第43-45页 |
| ·DMA软核IP的验证平台设计 | 第45-52页 |
| ·DMA软核IP的BFM设计 | 第45-48页 |
| ·功能覆盖率模型 | 第48-49页 |
| ·监视器设计 | 第49-51页 |
| ·DMA激励输入机制 | 第51-52页 |
| ·本章小结 | 第52-53页 |
| 第五章 12C和DMA软核IP的验证结果分析 | 第53-65页 |
| ·12C软核IP的验证结果分析 | 第53-58页 |
| ·验证实例 | 第53-55页 |
| ·代码覆盖率 | 第55-56页 |
| ·功能覆盖率 | 第56-58页 |
| ·DMA软核IP的验证结果分析 | 第58-63页 |
| ·验证实例 | 第58-61页 |
| ·代码覆盖率 | 第61页 |
| ·功能覆盖率 | 第61-63页 |
| ·本章小结 | 第63-65页 |
| 第六章 结论和展望 | 第65-67页 |
| 致谢 | 第67-69页 |
| 参考文献 | 第69-71页 |