| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 绪论 | 第11-15页 |
| ·研究的背景 | 第11页 |
| ·本论文研究的意义 | 第11页 |
| ·国际国内研究现状 | 第11-12页 |
| ·本文的主要贡献 | 第12页 |
| ·论文的组织结构 | 第12-15页 |
| 2 IP软核验证方法基础 | 第15-33页 |
| ·So C(System on a Chip)概述 | 第15-16页 |
| ·国内SoC-IP产业的现状 | 第16-17页 |
| ·IP核分析 | 第17-20页 |
| ·IP技术的发展 | 第17-18页 |
| ·IP核的特征 | 第18页 |
| ·IP模块的分类 | 第18-19页 |
| ·IP软核可重用设计的基本原则 | 第19-20页 |
| ·IP软核的验证 | 第20-24页 |
| ·测试平台 | 第21-22页 |
| ·基于模块的验证 | 第22-23页 |
| ·模型检查 | 第23-24页 |
| ·验证研究 | 第24-33页 |
| ·国内外验证技术研究现状 | 第24-25页 |
| ·验证的重要性 | 第25-26页 |
| ·验证分类 | 第26-28页 |
| ·验证流程 | 第28-32页 |
| ·验证和测试的区别 | 第32-33页 |
| 3 动态验证 | 第33-43页 |
| ·功能验证分析 | 第33-36页 |
| ·验证覆盖分析 | 第36-37页 |
| ·UART IP软核的动态验证 | 第37-43页 |
| ·UART简介 | 第37-38页 |
| ·UART通信时序方式 | 第38-39页 |
| ·UART的组成及实现流程 | 第39-40页 |
| ·UART仿真及结果分析 | 第40-43页 |
| 4 静态验证 | 第43-53页 |
| ·代码静态检查 | 第43-44页 |
| ·Lint工具 | 第43页 |
| ·Lint应用实例 | 第43-44页 |
| ·静态时序分析 | 第44-50页 |
| ·STA基本原理 | 第46-47页 |
| ·STA实例分析 | 第47-50页 |
| ·统计时序分析 | 第50-53页 |
| 5 SystemVerilog验证 | 第53-65页 |
| ·System verilog概述 | 第53页 |
| ·System Verilog的验证特性 | 第53-54页 |
| ·System Verilog 与 Verilog的特点对比 | 第54-55页 |
| ·SVA断言应用举例 | 第55-57页 |
| ·实例 PCI的断言验证 | 第57-65页 |
| ·PCI系统的 SVA检验器 | 第57页 |
| ·PCI局部总线 | 第57-59页 |
| ·PCI系统实例 | 第59-62页 |
| ·PCI的验证程序及结果 | 第62-65页 |
| 6 形式验证研究 | 第65-69页 |
| ·形式验证的现状 | 第65页 |
| ·形式验证的分类 | 第65-67页 |
| ·模型检验 | 第66页 |
| ·定理证明 | 第66页 |
| ·等价性检查 | 第66-67页 |
| ·形式验证研究发展方向 | 第67-69页 |
| 7 各种验证方法的对比分析 | 第69-75页 |
| ·动态仿真与 SVA的对比研究 | 第69-72页 |
| ·形式验证与动态验证的对比研究 | 第72页 |
| ·形式验证与 SVA的对比研究 | 第72-73页 |
| ·各种 IP软核验证方法对比总结 | 第73-75页 |
| 8 结论 | 第75-77页 |
| 参考文献 | 第77-79页 |
| 附录 A | 第79-81页 |
| 作者简历 | 第81-85页 |
| 学位论文数据集 | 第85页 |