| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第一章 引言 | 第9-13页 |
| ·网络处理器概述 | 第9-10页 |
| ·集成电路设计的验证 | 第10页 |
| ·论文的主要工作及安排 | 第10-13页 |
| 第二章 网络数据处理器的体系结构 | 第13-23页 |
| ·网络处理器硬件结构描述 | 第13-16页 |
| ·微引擎处理器 | 第16-21页 |
| ·微引擎功能概述 | 第16页 |
| ·微引擎处理器模块单元 | 第16-18页 |
| ·微引擎的运行状态 | 第18-19页 |
| ·执行状态 | 第19-20页 |
| ·微引擎编程 | 第20-21页 |
| ·本章小结 | 第21-23页 |
| 第三章 验证平台选型方面的基础研究 | 第23-29页 |
| ·Xilinx FPGA 上的微控处理器 | 第23-24页 |
| ·Xilinx FPGA 的体系结构和接口资源 | 第24-26页 |
| ·FPGA 验证平台选型 | 第26-27页 |
| ·本章小结 | 第27-29页 |
| 第四章 SoC设计中的验证方法 | 第29-35页 |
| ·模拟验证的基本概念 | 第29-30页 |
| ·模拟验证的SystemC 系统建模方法 | 第30-31页 |
| ·基于FPGA 的验证技术 | 第31-32页 |
| ·网络处理器验证中所遇到的挑战 | 第32-33页 |
| ·本章小结 | 第33-35页 |
| 第五章 基于MCU+FPGA的验证平台技术研究 | 第35-53页 |
| ·基于MCU+FPGA 的验证平台技术 | 第35-40页 |
| ·基于MCU+FPGA 的验证平台技术的验证平台搭建 | 第35-38页 |
| ·一种用C 语言描述时序信号的简单方法 | 第38-39页 |
| ·基于MCU+FPGA 的验证平台技术与其他验证方法的比较 | 第39-40页 |
| ·微引擎的FPGA 验证 | 第40-51页 |
| ·验证平台的搭建 | 第40-49页 |
| ·对微引擎指令的功能验证 | 第49-50页 |
| ·验证平台的验证结果与传统验证方法的比较 | 第50-51页 |
| ·本章小结 | 第51-53页 |
| 第六章 结束语 | 第53-55页 |
| 致谢 | 第55-57页 |
| 参考文献 | 第57-59页 |
| 研究成果 | 第59-61页 |
| 附录1 状态机的Verilog描述 | 第61-63页 |
| 附录2 状态机的C语言描述 | 第63-64页 |