致谢 | 第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页 |