基于fpga的网络协议处理器设计及验证-计算机系统结构专业论文.docxVIP

哈尔滨工程大学 硕士学位论文 基于FPGA的网络协议处理器设计及验证 姓名：吴剑 申请学位级别：硕士 专业：计算机系统结构 指导教师：姚爱红 201103 基于FPGA的网络协议处理器设计及验证宣iiiiiiiiiiiiiiiiiiiii宣iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiI 基于FPGA的网络协议处理器设计及验证 宣iiiiiiiiiiiiiiiiiiiii宣iiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiI Iiiiiiiiii 摘 要 随着嵌入式系统应用领域的不断扩展，诸如手持式智能终端等嵌入式设备接入 Internet已成为技术主流。嵌入式Intemet技术面临的主要困难是标准Intemet协议对于 计算机存储器容量、运算速度等方面的要求比较高，从而对处理器运算速度、存储空间 以及功耗要求较高。因而，对于嵌入式Intemet技术需要针对嵌入式系统的计算能力、 存储资源和能耗等进行限制，对标准的Internet协议进行裁剪和移植。通过将部分协议 迁移到硬件中实现，降低对核心处理器的资源需求，提高系统性能并降低系统能耗。本 文研究了以太网MAc协议，分析了MAC协议中数据帧格式和CSM～CD的基本原理， 设计了基于FPGA的MAC协议处理器。论文对整个系统的内部结构、模块划分及各模 块的设计过程进行了详细阐述。 另一方面，随着芯片设计的规模不断扩大和设计复杂程度的增大，功能验证成为硬 件设计中的最大挑战。目前，基于断言的验证技术由于其抽象程度高、描述能力强且能 够对错误进行定位等优点，成为一种重要的功能验证方法。论文研究了当前的硬件功能 验证技术，包括以形式化为主的静态验证和以模拟／仿真为主的动态验证。采用基于断言 的验证技术，设计并实现了对所设计的以太网MAC协议处理器的动态功能验证平台。 最后，介绍了本系统的开发环境和验证工具，结合以太网MAC协议处理器，分别给出 了传统数据发送／接收的功能验证和有限状态机的断言验证方案。 关键词：以太网协议；FPGA；功能验证：断言 基于FPGA的网络协议处理器设计及验证Abstract 基于FPGA的网络协议处理器设计及验证 Abstract With the applications of embedded system constantly extends，embedded devices like handheld intelligent terminal access Internet becomes technology mainstream．The main problem of embedded Internet technologies is the high demand of the standard Internet protocol for memory capability and processing speed of computer,thus faster,more memory space and less power processor could be demanded．To solve this problem，we have to cut and transplant standard Interact protoc01．Partial protocols can be realized in hardware SO that lowers resource demand of the core processor to improve system performance and reduce system consumption．Thesis will introduce Ethemet MAC layer protocol and analyze format of data frames for MAC layer protocol and basic principle of CSMA／CD．How to design FPGA-based MAC layer protocol processor will be elaborated in the following chapter． When the chip designed become more complex，we should pay more attention to functional verification of hardware design．Currently,assertion-based verification technology has be