| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-10页 |
| ·论文背景及意义 | 第7-8页 |
| ·国内外研究现状 | 第8页 |
| ·本论文研究工作与结构 | 第8-10页 |
| 第二章 验证与功能验证 | 第10-20页 |
| ·验证基本定义和分类 | 第10-11页 |
| ·功能验证的定义和分类 | 第11-13页 |
| ·功能验证方法层次划分 | 第11-12页 |
| ·根据不同策略分类 | 第12-13页 |
| ·根据不同的方法分类 | 第13页 |
| ·功能验证方法学的研究和对比 | 第13-20页 |
| ·基本验证方法学 | 第14-15页 |
| ·高级验证方法 | 第15-17页 |
| ·基于覆盖率驱动的Specman 验证方法原理 | 第17-20页 |
| 第三章 小型IP核—多路路由器设计 | 第20-32页 |
| ·多路路由器简介 | 第20-25页 |
| ·路由器基本概念 | 第20-21页 |
| ·路由器基本协议和工作原理 | 第21-25页 |
| ·设计原理及实现 | 第25-32页 |
| ·路由电路的基本时序 | 第25-26页 |
| ·路由电路的基本模块设计 | 第26-28页 |
| ·路由控制模块有限状态机设计 | 第28-32页 |
| 第四章 多路路由器E组件开发 | 第32-48页 |
| ·基于仿真实现的specman 验证流程 | 第32-34页 |
| ·验证要点提取及验证计划制定 | 第34页 |
| ·设计验证整体环境框架 | 第34-36页 |
| ·Agent 结构 | 第35页 |
| ·Router 模块的eVC 构架 | 第35-36页 |
| ·模块级别的eVC 实现 | 第36-44页 |
| ·导入文件router_top.e | 第37-38页 |
| ·验证环境的声明文件：router_env.e | 第38页 |
| ·路由器模块层次结构的信号定义文件router_port.e | 第38页 |
| ·Router 层次结构模块信号图router_port_map.e | 第38-39页 |
| ·eVC 的配置文件router_config.e | 第39页 |
| ·Router eVC 的顶层套封router_agent.e | 第39页 |
| ·数据包定义文件router_driver_data_item.e | 第39-40页 |
| ·eVC 的总线方程模型router_driver_bfm.e | 第40页 |
| ·eVC 中的监控器router_monitor.e | 第40-42页 |
| ·覆盖率定义router_coverage.e | 第42-43页 |
| ·小结 | 第43-44页 |
| ·仿真 | 第44-48页 |
| ·仿真前准备步骤 | 第44-46页 |
| ·联合仿真方法及实现思想 | 第46-48页 |
| 第五章 仿真结果以及覆盖率结果 | 第48-62页 |
| ·基于Specman 平台的router eVC 框架结果 | 第48-50页 |
| ·仿真结果及功能覆盖率结果 | 第50-58页 |
| ·电路设计仿真结果 | 第50-53页 |
| ·Specman Elite 的仿真结果和覆盖率结果 | 第53-58页 |
| ·仿真中发现的验证环境错误和设计错误 | 第58-62页 |
| ·验证环境中的错误 | 第58-60页 |
| ·电路设计错误 | 第60-62页 |
| 第六章 总结与展望 | 第62-64页 |
| ·论文总结 | 第62页 |
| ·工作展望 | 第62-64页 |
| 致谢 | 第64-65页 |
| 参考文献 | 第65-67页 |
| 附录一 路由电路验证要点提取清单 | 第67-69页 |
