| 摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 第一章 绪论 | 第9-20页 |
| ·验证重要性分析 | 第9-10页 |
| ·什么是验证 | 第10-14页 |
| ·功能验证平台 | 第11-14页 |
| ·RTL 级功能验证发展演变 | 第14-18页 |
| ·直接验证法 | 第14页 |
| ·基于 Verilog/VHDL 的 RTL 级验证 | 第14-15页 |
| ·基于高级验证语言的 RTL 级验证 | 第15-16页 |
| ·基于待测设计可见范围的功能验证 | 第16-18页 |
| ·本论文的意义 | 第18页 |
| ·本论文主要内容 | 第18-20页 |
| 第二章 高级验证语言介绍 | 第20-27页 |
| ·OPEN VERA | 第20页 |
| ·E 语言 | 第20-21页 |
| ·PSL(PROPERTY SPECIFICATION LANGUAGE) | 第21页 |
| ·SYSTEM C | 第21-22页 |
| ·SYSTEMVERILOG | 第22-26页 |
| ·VMM(Verification Methodology Manual) | 第23-24页 |
| ·OVM (Open Verification Methodology) | 第24-25页 |
| ·UVM(Universal Verification Methodology) | 第25-26页 |
| ·本章小结 | 第26-27页 |
| 第三章 RTL 级功能验证方法分析 | 第27-37页 |
| ·学习和计划阶段 | 第28-33页 |
| ·规格学习和理解 | 第29-30页 |
| ·待测功能点列写 | 第30-31页 |
| ·验证计划编写 | 第31-32页 |
| ·验证计划审阅 | 第32-33页 |
| ·验证执行阶段 | 第33-36页 |
| ·建立验证环境 | 第33-34页 |
| ·基于功能点逐条验证 | 第34页 |
| ·进行大规模验证和分析覆盖率 | 第34-36页 |
| ·验证结束阶段 | 第36页 |
| ·本章小结 | 第36-37页 |
| 第四章 SPI FLASH 控制器功能验证流程 | 第37-68页 |
| ·SPI FLASH 及控制器简介 | 第37页 |
| ·SPI Flash 简介 | 第37页 |
| ·SPI Flash 控制器简介 | 第37页 |
| ·SPI FLASH 控制器验证学习和计划阶段 | 第37-59页 |
| ·SPI Flash 控制器规格说明 | 第37-47页 |
| ·功能测试点列写 | 第47-49页 |
| ·验证计划描述 | 第49-59页 |
| ·验证计划审阅 | 第59页 |
| ·SPI FLASH 控制器验证执行阶段 | 第59-64页 |
| ·任务安排 | 第59-60页 |
| ·测试中问题记录 | 第60-62页 |
| ·验证报告文档 | 第62-64页 |
| ·SPI FLASH 控制器验证结束阶段 | 第64-67页 |
| ·验证工作经验总结 | 第64-65页 |
| ·验证结案审阅 | 第65-67页 |
| ·本章小结 | 第67-68页 |
| 第五章 总结和展望 | 第68-69页 |
| ·工作总结 | 第68页 |
| ·后续展望 | 第68-69页 |
| 致谢 | 第69-70页 |
| 参考文献 | 第70-72页 |
