| 目录 | 第1-4页 |
| 摘要 | 第4-5页 |
| Abstract | 第5-15页 |
| 第1章 引言 | 第15-25页 |
| ·快速发展的微电子技术 | 第15-16页 |
| ·验证的必要性 | 第16-19页 |
| ·集成电路设计与功能验证 | 第19页 |
| ·集成电路功能验证面临的挑战 | 第19-23页 |
| ·验证激励生成 | 第20页 |
| ·验证结果检验 | 第20-21页 |
| ·验证效果分析 | 第21-22页 |
| ·验证环境建模 | 第22-23页 |
| ·论文章节的安排 | 第23-25页 |
| 第2章 以太网及IEEE802.3协议介绍 | 第25-41页 |
| ·以太网简介 | 第25-26页 |
| ·CSMA/CD介质接入控制方法介绍 | 第26-30页 |
| ·MAC控制器 | 第26-27页 |
| ·CSMA/CD | 第27-30页 |
| ·CSMA/CD的原理 | 第27-29页 |
| ·CSMA/CD媒体访问控制方式的优点 | 第29页 |
| ·CSMA/CD媒体访问控制方式的缺点 | 第29-30页 |
| ·IEEE802.3协议介绍 | 第30-33页 |
| ·MAC帧结构 | 第30-33页 |
| ·字节的位序 | 第33页 |
| ·IEEE802.3协议中CSMA/CD MAC的描述 | 第33-38页 |
| ·帧的发送过程 | 第35-37页 |
| ·deferral过程 | 第36-37页 |
| ·冲突检测过程 | 第37页 |
| ·退避过程 | 第37页 |
| ·帧的接收过程: | 第37-38页 |
| ·流量控制 | 第38-40页 |
| ·本章小结 | 第40-41页 |
| 第3章 OpenVera验证语言 | 第41-48页 |
| ·验证语言的引入 | 第41页 |
| ·OpenVera简介 | 第41-47页 |
| ·OpenVera的数据类型 | 第42页 |
| ·进程控制 | 第42-43页 |
| ·进程通信 | 第43-44页 |
| ·directC技术 | 第44-47页 |
| ·本章小结 | 第47-48页 |
| 第4章 芯片验证的介绍 | 第48-58页 |
| ·概述 | 第48-49页 |
| ·静态验证技术 | 第49-52页 |
| ·等价性检验 | 第49-50页 |
| ·模型形式检查 | 第50-51页 |
| ·静态时序分析 | 第51-52页 |
| ·功能验证 | 第52-57页 |
| ·黑盒验证途径 | 第52-53页 |
| ·白盒验证途径 | 第53页 |
| ·灰盒验证途径 | 第53-54页 |
| ·代码覆盖率 | 第54-56页 |
| ·功能覆盖率 | 第56-57页 |
| ·本章小结 | 第57-58页 |
| 第5章 RTEMAC芯片验证 | 第58-83页 |
| ·RTEMAC功能简介 | 第58-59页 |
| ·验证平台结构 | 第59-62页 |
| ·验证平台采用的验证技术 | 第62-73页 |
| ·总线功能模型 | 第62-65页 |
| ·协议检查 | 第65页 |
| ·事务处理验证 | 第65-66页 |
| ·自动检测 | 第66-67页 |
| ·带约束的随机测试 | 第67-68页 |
| ·验证重用 | 第68-73页 |
| ·各部分的编写 | 第73-79页 |
| ·验证过程及结果 | 第79-82页 |
| ·本章小节 | 第82-83页 |
| 结论 | 第83-84页 |
| 参考文献 | 第84-87页 |
| 攻读硕士学位期间所发表的学术论文 | 第87-88页 |
| 致谢 | 第88-89页 |
| 原创性声明 | 第89页 |
| 使用授权的声明 | 第89页 |