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

一种远程SoC仿真验证加速器的设计与实现

作　者: 巫世弘
导　师: 胡剑浩
学　校: 电子科技大学
专　业: 通信与信息系统
关键词: 软硬件协同仿真现场可编程逻辑门阵列片上系统调试器
分类号: TN47
类　型: 硕士论文
年　份: 2009年
下　载: 72次
引　用: 0次
阅　读: 论文下载

内容摘要

片上系统(SoC)设计在近年得到了迅猛发展,它相对于专业集成电路(ASIC)的最大不同之处在于其系统特性,除了包含大量硬件模块之外,还需要大量的软件,如操作系统、驱动程序、通信协议以及各种应用程序等,其设计复杂度远高于传统的芯片。因此对其芯片的仿真也变得非常困难。随着一些复杂的片上系统的出现,功能仿真逐渐成为制约片上系统开发的关键问题。为了提高SoC芯片的开发效率,缩短SoC上市时间,业界已经提出了各种功能仿真技术来提高仿真效率,软硬件协同仿真技术就是其中典型的一种加速仿真技术。本文介绍的基于网络的远程SoC仿真验证加速器,以软硬件协同验证技术为主要思想进行总体设计,利用远程调试器实现服务器与用户FPGA目标板之间的互连,由ARM和FPGA构成的调试器完成软/硬件间的实时双向数据传输和数据变换,另外由目标FPGA上嵌入的协同仿真接口模块与用户待测设计(DUT)无缝整合,达到充分利用了软件灵活、硬件工作速度快的特点。较之其他设计方案,本文所述方案着重考虑了资源占用低、调试灵活以及仿真手段丰富等方面,可为系统设计提供超大规模的、可重用的、可灵活扩展的系统硬件平台。本文作者的工作主要包括:理论学习、软硬件环境通信协议的制定、硬件仿真平台所有模块RTL代码的编写与验证、硬件系统的调试和软硬件系统的联合调试、参与软件系统中ARM设计等。本文的主要内容如下:1. SoC仿真验证加速技术的理论知识介绍。2. SoC仿真验证加速器的总体设计思想以及优劣势。3. SoC仿真验证加速器软件系统的设计要点及软硬件系统通信协议和数据格式介绍。4. SoC仿真验证加速器硬件系统的设计实现。5.加速器软硬件联合调试,测试其功能正确性以及性能指标并给出分析及改进方案。

全文目录

摘要  4-5
ABSTRACT  5-14
第一章绪论  14-19
  1.1 研究背景  14-16
  1.2 课题的意义  16-17
  1.3 课题来源和本文的主要内容  17-18
  1.4 论文组织结构  18-19
第二章 SoC 加速仿真验证技术研究  19-31
  2.1 IC 的设计流程  19-21
  2.2 验证在集成电路设计中的地位  21-22
  2.3 验证技术简介  22-26
    2.3.1 仿真  22-23
    2.3.2 静态时序分析  23-25
    2.3.3 形式验证  25-26
  2.4 软硬件协同验证技术  26-31
    2.4.1 Vector 模式仿真  28-29
    2.4.2 Co-Simulation 模式仿真  29-31
第三章 SoC 仿真验证加速器的总体设计方案  31-38
  3.1 系统结构  31-32
  3.2 创新点  32-38
    3.2.1 统一的多模式仿真体制  33-35
      3.2.1.1 Vector 模式的数据流程  33-34
      3.2.1.2 Co-Simulation 模式的数据流程  34-35
    3.2.2 基于网络的分层式操作  35-36
    3.2.3 利用串/并变换节约系统资源  36-37
    3.2.4 良好的兼容能力  37-38
第四章 SoC 仿真验证加速器的软件系统设计实现  38-57
  4.1 软件系统层次划分  38-40
  4.2 文件转换及翻译程序  40-42
  4.3 socket 通信程序  42-47
    4.3.1 基本socket 通信模型  43-45
    4.3.2 socket 通信实现  45-47
  4.4 文件收发处理程序  47-52
    4.4.1 PC 终端函数组  47-48
    4.4.2 ARM 服务器端函数组  48-52
  4.5 设备驱动程序  52-57
    4.5.1 设备驱动程序的组成  52
    4.5.2 设备驱动程序的访问实现  52-57
第五章 SoC 仿真验证加速器的硬件系统设计实现  57-72
  5.1 控制FPGA 的设计实现  57-68
    5.1.1 目标FPGA 配置模块  58-61
    5.1.2 读取目标FPGA 状态寄存器模块  61-63
    5.1.3 发送激励和接收响应模块  63-65
    5.1.4 其他模块的实现  65-68
  5.2 目标FPGA 的设计实现  68-72
    5.2.1 调试器与目标板的接口  68-69
    5.2.2 协同仿真接口模块  69-70
    5.2.3 目标FPGA 顶层文件的修改  70-72
第六章实验验证及性能分析  72-82
  6.1 软硬件环境  72-73
  6.2 功能正确性验证  73-78
    6.2.1 远程下载功能验证  73-75
    6.2.2 Vector 模式仿真功能验证  75-77
    6.2.3 Co-Simulation 模式仿真功能验证  77-78
  6.3 仿真速度的测定与分析  78-80
    6.3.1 Vector 模式仿真速度测定  78-79
    6.3.2 Co-Simulation 模式仿真速度测定  79-80
  6.4 改进分析及方案  80-82
第七章总结  82-83
致谢  83-84
参考文献  84-86
攻硕期间取得的研究成果  86-87
个人简历  87-88

一种远程SoC仿真验证加速器的设计与实现

内容摘要

全文目录

相似论文