学位论文 > 优秀研究生学位论文题录展示

基于FPGA的网络协议处理器设计及验证

作　者: 吴剑
导　师: 姚爱红
学　校: 哈尔滨工程大学
专　业: 计算机系统结构
关键词: 以太网协议 FPGA 功能验证断言
分类号: TN791
类　型: 硕士论文
年　份: 2011年
下　载: 34次
引　用: 0次
阅　读: 论文下载

内容摘要

随着嵌入式系统应用领域的不断扩展,诸如手持式智能终端等嵌入式设备接入Internet已成为技术主流。嵌入式Internet技术面临的主要困难是标准Internet协议对于计算机存储器容量、运算速度等方面的要求比较高,从而对处理器运算速度、存储空间以及功耗要求较高。因而,对于嵌入式Internet技术需要针对嵌入式系统的计算能力、存储资源和能耗等进行限制,对标准的Internet协议进行裁剪和移植。通过将部分协议迁移到硬件中实现,降低对核心处理器的资源需求,提高系统性能并降低系统能耗。本文研究了以太网MAC协议,分析了MAC协议中数据帧格式和CSMA/CD的基本原理,设计了基于FPGA的MAC协议处理器。论文对整个系统的内部结构、模块划分及各模块的设计过程进行了详细阐述。另一方面,随着芯片设计的规模不断扩大和设计复杂程度的增大,功能验证成为硬件设计中的最大挑战。目前,基于断言的验证技术由于其抽象程度高、描述能力强且能够对错误进行定位等优点,成为一种重要的功能验证方法。论文研究了当前的硬件功能验证技术,包括以形式化为主的静态验证和以模拟/仿真为主的动态验证。采用基于断言的验证技术,设计并实现了对所设计的以太网MAC协议处理器的动态功能验证平台。最后,介绍了本系统的开发环境和验证工具,结合以太网MAC协议处理器,分别给出了传统数据发送／接收的功能验证和有限状态机的断言验证方案。

全文目录

摘要  5-6
Abstract  6-9
第1章绪论  9-15
  1.1 课题的研究背景及意义  9-10
  1.2 国内外研究现状  10-12
    1.2.1 嵌入式网络协议处理器  10-11
    1.2.2 功能验证技术  11-12
  1.3 论文研究内容  12-13
  1.4 论文的组织结构  13-15
第2章以太网协议处理器的总体设计  15-25
  2.1 以太网协议分析  15-19
    2.1.1 以太网协议概述  15-16
    2.1.2 以太网MAC层协议分析  16-19
  2.2 以太网协议处理器的总体设计方案  19-21
  2.3 以太网协议处理器的各模块接口关系  21-24
  2.4 本章小结  24-25
第3章以太网协议处理器的模块设计  25-41
  3.1 基于FPGA的设计方法及硬件描述语言概述  25-27
    3.1.1 基于FPGA的设计流程  25-26
    3.1.2 Veriog HDL硬件描述语言  26-27
  3.2 主机接口模块的设计  27-29
  3.3 主控模块的设计  29-31
  3.4 发送模块的设计  31-35
    3.4.1 发送状态机模块的设计  31-32
    3.4.2 发送计数器模块的设计  32-34
    3.4.3 随机数生成模块的设计  34-35
    3.4.4 发送CRC校验模块的设计  35
  3.5 接收模块的设计  35-39
    3.5.1 接收状态机模块的设计  36-37
    3.5.2 接收计数器模块的设计  37-38
    3.5.3 地址校验模块的设计  38-39
    3.5.4 接收CRC校验模块的设计  39
  3.6 MII管理模块的设计  39-40
  3.7 寄存器模块的设计  40
  3.8 状态模块的设计  40
  3.9 本章小结  40-41
第4章以太网协议处理器的功能验证  41-57
  4.1 硬件功能验证技术  41-45
    4.1.1 形式化验证技术  41-42
    4.1.2 基于模拟/仿真的验证技术  42-45
  4.2 开发及仿真环境  45-46
    4.2.1 开发环境及工具  45
    4.2.2 仿真环境及工具  45-46
  4.3 以太网MAC处理器的模拟验证  46-48
  4.4 以太网MAC处理器的断言验证  48-55
    4.4.1 SVA  49-50
    4.4.2 有限状态机的断言验证  50-54
    4.4.3 其他设计单元中的断言  54-55
  4.5 本章小结  55-57
结论  57-59
参考文献  59-63
攻读硕士学位期间发表的论文和取得的科研成果  63-65
致谢  65

相似论文

基于FPGA的电磁超声检测系统的研究,TH878.2
基于FPGA的五相PMSM驱动控制系统的研究,TM341
LXI任意波形发生器研制,TM935
基于FPGA的射频功放数字预失真器设计,TN722.75
突发OFDM系统同步与信道估计算法及FPGA实现,TN919.3
直扩系统抗多径性能分析及补偿方法研究,TN914.42
电视制导系统中视频图像压缩优化设计及实现研究,TN919.81
基于FPGA的多用户扩频码捕获研究及硬件仿真,TN914.42
基于FPGA的数字图像处理基本算法研究与实现,TP391.41
基于FPGA的高速图像预处理技术的研究,TP391.41
基于FPGA的高速数字图像采集与接口设计,TP274.2
基于FPGA的电感传感器数据采集系统的研制,TP274.2
基于Nios的串行总线分析仪研制,TP274
基于FPGA-RocketIO_X的PMC高速数据传输板开发,TP274.2
PXI高性能数字I/O模块研制,TP274
LXI计数器研制,TP274
基于FPGA的高速实时数据采集系统,TP274.2
多功能车辆总线控制器MVBC综合验证研究,TP273
蛋内注射leptin对肉鸡肝脏胆固醇代谢相关基因及microRNA表达的影响,S831
基于Nios Ⅱ的GPS信息接收系统设计,TN967.1
温压炸药爆炸温度场存储测试技术研究,TQ560.7