基于SVA的NFC验证方法研究
| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 目录 | 第6-8页 |
| 第一章 绪论 | 第8-14页 |
| ·课题研究的背景及意义 | 第8-9页 |
| ·国内外研究现状及发展趋势 | 第9-12页 |
| ·功能验证方法综述 | 第9-10页 |
| ·验证方法学简介 | 第10-12页 |
| ·当前验证面临的挑战 | 第12页 |
| ·本论文的主要研究工作 | 第12-13页 |
| ·论文结构 | 第13-14页 |
| 第二章 基于SVA的功能验证方法 | 第14-21页 |
| ·断言的概念及其作用 | 第14页 |
| ·断言在验证流程中的应用 | 第14-16页 |
| ·基于断言的NFC验证方法 | 第16-17页 |
| ·几种断言实现形式的比较 | 第17-18页 |
| ·断言语言SVA | 第18-20页 |
| ·SVA语法简介 | 第18页 |
| ·SVA的语法结构 | 第18-19页 |
| ·SVA断言使用流程 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 第三章 NFC断言IP的设计 | 第21-35页 |
| ·概述 | 第21页 |
| ·NFC模块介绍 | 第21-24页 |
| ·功能特点 | 第21-22页 |
| ·功能描述 | 第22-23页 |
| ·模块结构 | 第23-24页 |
| ·NFC断言IP的开发 | 第24-34页 |
| ·验证功能点的提取 | 第24页 |
| ·检查接口时序的断言IP | 第24-29页 |
| ·寄存器的断言IP | 第29-30页 |
| ·检查中断的断言IP | 第30-32页 |
| ·AHB接口信号的断言IP | 第32-33页 |
| ·检查NFC内部关键点的断言IP | 第33-34页 |
| ·断言IP的使用 | 第34页 |
| ·本章小结 | 第34-35页 |
| 第四章 基于SVA验证平台的开发与搭建 | 第35-52页 |
| ·验证环境的构建策略 | 第35-39页 |
| ·激励的产生 | 第35-37页 |
| ·自动检查机制 | 第37-38页 |
| ·功能覆盖率 | 第38页 |
| ·断言IP在平台中的应用 | 第38-39页 |
| ·验证组件的开发 | 第39-48页 |
| ·发生器 | 第39-44页 |
| ·记分板 | 第44-47页 |
| ·覆盖率模块 | 第47-48页 |
| ·验证平台的搭建 | 第48-51页 |
| ·BFM module级验证平台 | 第48-50页 |
| ·BFM SoC级验证平台 | 第50-51页 |
| ·本章小结 | 第51-52页 |
| 第五章 NFC验证与结果 | 第52-68页 |
| ·NFC BFM module级的验证 | 第52-64页 |
| ·Nand Flash介绍 | 第52-53页 |
| ·功能点的提取和验证计划的制定 | 第53-54页 |
| ·随机激励的产生 | 第54-58页 |
| ·定向激励的产生 | 第58-60页 |
| ·验证结果 | 第60-64页 |
| ·NFC BFM SoC验证 | 第64-67页 |
| ·验证目标与策略 | 第64-65页 |
| ·验证结果 | 第65-67页 |
| ·本章小结 | 第67-68页 |
| 第六章 总结与展望 | 第68-70页 |
| ·总结 | 第68页 |
| ·展望 | 第68-70页 |
| 参考文献 | 第70-73页 |
| 致谢 | 第73-74页 |
| 攻读学位期间发表的学术论文 | 第74页 |
