EPA网络芯片验证平台的设计与实现
| 致谢 | 第1-6页 |
| 摘要 | 第6-7页 |
| Abstract | 第7-10页 |
| 第一章 绪论 | 第10-24页 |
| ·论文的研究背景 | 第10页 |
| ·芯片验证概况 | 第10-16页 |
| ·芯片验证技术 | 第11-14页 |
| ·芯片验证语言——SystemVerilog介绍 | 第14页 |
| ·芯片验证方法学——OVM介绍 | 第14-16页 |
| ·EPA简介 | 第16-21页 |
| ·EPA协议栈模型 | 第17-18页 |
| ·EPA协议栈物理电路 | 第18-19页 |
| ·EPA网络芯片工作原理 | 第19-21页 |
| ·论文的主要研究内容 | 第21-24页 |
| 第二章 EPA验证平台设计 | 第24-56页 |
| ·传统验证平台 | 第24-25页 |
| ·OVM验证平台 | 第25-27页 |
| ·OVM层次化验证平台结构图 | 第25页 |
| ·验证平台仿真控制程序 | 第25-27页 |
| ·EPA网络芯片验证平台设计 | 第27-28页 |
| ·各层各组件 | 第28-49页 |
| ·测试层 | 第29-30页 |
| ·场景层 | 第30-36页 |
| ·功能层 | 第36-42页 |
| ·命令层 | 第42-48页 |
| ·信号层 | 第48-49页 |
| ·搭建验证平台 | 第49-55页 |
| ·验证平台组织结构 | 第49-52页 |
| ·连接平台 | 第52-54页 |
| ·平台运行流程 | 第54-55页 |
| ·本章小结 | 第55-56页 |
| 第三章 EPA网络芯片验证 | 第56-72页 |
| ·接口定义 | 第56-59页 |
| ·激励策略 | 第59-63页 |
| ·定向激励 | 第59-60页 |
| ·随机激励 | 第60页 |
| ·约束随机激励 | 第60-63页 |
| ·覆盖率驱动 | 第63-67页 |
| ·代码覆盖率 | 第63-64页 |
| ·路径覆盖率 | 第64页 |
| ·功能覆盖率 | 第64-67页 |
| ·断言设计 | 第67-69页 |
| ·即时断言 | 第67-68页 |
| ·并发断言 | 第68-69页 |
| ·OOP思想与组件设计 | 第69-70页 |
| ·OOP思想 | 第69页 |
| ·组件设计 | 第69-70页 |
| ·本章小结 | 第70-72页 |
| 第四章 验证结果 | 第72-78页 |
| ·MAC核验证 | 第72-74页 |
| ·提取功能点 | 第73-74页 |
| ·验证结果 | 第74页 |
| ·CSME验证 | 第74-76页 |
| ·同步精度验证 | 第76-77页 |
| ·本章小结 | 第77-78页 |
| 第五章 总结与展望 | 第78-80页 |
| ·工作总结 | 第78页 |
| ·工作展望 | 第78-80页 |
| 参考文献 | 第80-84页 |
| 作者简历 | 第84页 |
| 论文发表 | 第84页 |
