ImageVerifierCode 换一换
格式:DOC , 页数:7 ,大小:1.94MB ,
资源ID:714518      下载积分:15 文钱
快捷下载
登录下载
邮箱/手机:
温馨提示:
快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。 如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝    微信支付   
验证码:   换一换

加入VIP,省得不是一点点
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【https://www.wenke99.com/d-714518.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: QQ登录   微博登录 

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(面向众核处理器访存链路接口的FPGA验证.DOC)为本站会员(天***)主动上传,文客久久仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知文客久久(发送邮件至hr@wenke99.com或直接QQ联系客服),我们立即给予删除!

面向众核处理器访存链路接口的FPGA验证.DOC

1、1面向众核处理器访存链路接口的 FPGA 验证 周宏伟 1,徐实 2,王忠奕 1,杨乾明 1,冯权友 1,邓让钰 1,窦强 1(1.国防科技大学 计算机学院,湖南 长沙 410073;2.湖南大学 信息科学与工程学院,湖南 长沙 410082)摘要:面向众核处理器提出了一种访存链路接口的 FPGA 验证平台,用于对处理器访存链路关键部件进行功能及可靠性测试。提出了片上读写激励自动产生与检查机制、以太网接口硬件 UDP 协议栈和 FPGA 芯片间多通道并行链路三项关键技术并进行了设计实现。实验结果表明提出的各项关键技术功能正确,不仅丰富了功能验证中随机激励产生及结果验证的手段,而且实现了对链路数

2、据检错和多 lane 间延迟偏斜纠正逻辑的可靠性测试与评估。经过该平台验证的访存链路接口已经成功运行于实际的芯片,对于片间链路接口的验证具有重要的指导意义和参考价值。关键词:众核处理器;访存;链路;FPGA;验证中图分类号:TP302.1 文献标志码 :A 文章编号: An FPGA Verification Platform for Memory Link Interface of Many-Core ProcessorZHOU Hongwei1, XU Shi2, WANG Zhongyi1, YANG Qianming1, FENG Quanyou1, DENG Rangyu1, DOU

3、 Qiang1(1.College of Electronic Science and Engineering, National University of Defense Technology, Changsha 410073, China;2. College of Computer Science and Electronic Engineering, Hunan University, Changsha 410082, China) Abstract: An FPGA verification platform for memory link interface of many-co

4、re processor is proposed, which is used to test the function and reliability of the main components of the processors memory access link. Three key technologies of the on-chip read-write requests automatic generation and result checking mechanism, the hardware UDP protocol stack in Ethernet interfac

5、e and the multi-lane parallel link between FPGA chips are proposed and implemented. Experiments on the platform show that the proposed technologies are correct, which not only enriches the ways of the random requests generation and results checking for functional verification, but also can test and

6、evaluate the logics of link errors detection and lane-to-lane-deskew. The purposed platform has been used to verify a real many-core processor which has been taped out successfully and the function of memory link interface is correct. This platform has important guiding significance and reference va

7、lue for the verification of many-core inter-chip link interface. Keywords: Many-core Processor, Memory Access, Link, FPGA, Verification收稿日期:2016-12-31 基金项目:国家自然科学基金资助项目(61303069,61472432,61602498);核高基重大专项(2015ZX01028101)作者简介:周宏伟(1980),男,陕西宝鸡人,博士,副研究员,E-mail:为了提高仿真速度,目前被广泛采用的针对大规模 ASIC 芯片的验证手段有两种:一种是

8、基于专用处理器的仿真加速器 1,另一种是基于FPGA 的硬件原型平台 2。基于专用处理器的仿真加速器既具有软件模拟的灵活性又具有硬件加速的高性能,与软件模拟相比,模拟速度能够提高约 103105倍,通常用于芯片流片前的设计验证和软件验证,能够节省大量开发时间3,4。基于 FPGA 的硬件原型平台能够获得兆赫兹(MHz)级别的寄存器传输级仿真速度,能够在最接近真实逻辑上进行系统级验证 5,6。众核处理器丰富的片上计算资源对访存带宽提出了更高的需求。由于处理器片上面积和功耗受限,将最后一级 Cache(Last Level Cache,LLC)以及存储控制器放置在片外,通过访存链路接口进行内存扩展

9、成为趋势。IBM Power8 处理器 7的访存通过串行链路连接 4 个片外存储器缓冲芯片(Memory Buffer 2Chip,MBC) ,实现了 16 个 DDR3-1600 访存通道。每个 MBC 上集成 16MB 的 eDRAM 作为 L4 Cache,缓存来自内存的数据以提高访存性能。美国镁光公司提出了混合存储立方(Hybrid Memory Cube,HMC)存储器 8,将 DRAM 存储器与控制芯片通过三维堆叠工艺封装在一起,通过串行链路和处理器相连。考虑到访存链路传输的报文以短报文为主、对传输延迟要求高的特点,课题组提出了一种基于多通道并行技术的访存链路接口(Multi-la

10、ne Parallel Memory Link Interface,MP-MLI):8-10 位数据与一个时钟信号作为一个通道(lane) ,在时钟的上升沿和下降沿控制下进行双倍数据速率(Double Data Rate,DDR)传输,多个并行通道通过延迟校准后同步传输数据。每个 lane内部采用源同步传输技术,不需要串行链路的时钟编解码过程,在满足传输带宽的前提下降低传输延迟。由于 FPGA 平台能够构造真实的板级通信环境以仿真芯片之间的互连,因此非常适合对访存链路接口进行原型验证。针对众核处理器访存链路接口的特点,本文提出了一种针对多通道并行访存链路接口 MP-MLI 的 FPGA 原型验

11、证平台,仿真速度达到了 100MHz,能够与仿真加速器平台互为补充,充分验证芯片间的高速链路接口的各种功能,有效加速验证速度。1 MCC 芯片总体结构在集成 64 核心的众核处理器中,为了满足计算对访存带宽的需求,处理器分为集成处理器核心和片上网络的主处理器芯片与 8 个片外存储控制芯片(Memory Control Chip,MCC) 。主处理器芯片和每个 MCC 芯片之间通过 MP-MLI进行互连通信,如图 1 所示。每个 MCC 集成两个 DDR3-1600 控制器和 16MB 的 L3 Cache。MCC中的访存请求首先经过 L3Cache 流水线,如果命中,则可以直接从 L3Cach

12、e 中返回数据,如果失效,则需要访问两个存储控制器中的某一个,通过片外 DIMM 存储器获得所需数据。为了减少 MCC 芯片的 IO 引脚数,同时保证互连带宽和访存带宽匹配,主处理器与 MCC 芯片之间构建两条非对称的独立物理通路:命令通路和数据通路。主处理器集成存储调度单元(Memory Schedule Unit,MSU)和主访存链路接口(MLI_Master) ,MSU 负责接收来自处理器芯片中片上网络的访存请求,进行一定的读写调度优化,然后通过命令通路发送访存命令到 MCC芯片,对于写请求还携带写数据。MCC 芯片集成从访存链路接口(MLI_Slave) ,通过数据通路返回读响应数据给

13、主处理器。命令和数据通路均使用多通道并行(Multi-lane Parallel)的方式进行位宽扩展。为了降低链路延迟,每个 lane 采用基于源同步技术的 8 位并行总线构建。命令通路使用 4 个 lane,数据通路使用 8个 lane。访存链路接口单元包含链路层和物理层两个层次:链路层完成链路层报文的发送和接收、链路层报文的流控、CRC 校验和报文出错重传机制;物理层完成物理链路的管理、物理微包的 DDR 方式的发送和接收、lane 与 lane之间的延迟偏斜校准(lane-to-lane deskew)以及 DDRIO 根据功耗、电压和温度变化的自校准功能等。DIMMDIMM0L 3C

14、a c h e存控 0存控 1D D R 3 -P H Y 0从访存链路接口C m dD a t aM C C 芯片D D R 3 -P H Y 1DIMM处理器芯片主访存链路接口存储调度单元DIMM1图 1 MCC 总体结构图Fig.1 The overall architecture of MCC2 面向访存链路接口的 FPGA 验证平台本文基于具有 4 颗 Xilinx V7 芯片的 FPGA开发板构建验证平台。该平台集成的 FPGA 芯片内部包含 DDR3 控制器和对应的 PHY,千兆以太网控制器,IO 缓冲(buffer)和 IO 延迟单元等。2.1 总体结构为了仿真真实的芯片间通信

15、,验证平台采用了两块 FPGA 芯片:一片为主 FPGA 芯片,构建仿真主处理器的芯片,内部集成以太网控制器、自动读写激励发生器、返回数据自动比较器和等用于配置、激励产生和结果检查的 JTAG接口逻辑,还集成了需要被测试的 MSU 和MLI_Master;另一片为从 FPGA 芯片,构建仿真MCC 的芯片,内部集成 MLI_Slave、L3 Cache模型、DDR3 存储控制器 IP 和对应的 PHY IP 等。3L3Cache 逻辑并没有包含在从 FPGA 芯片中,因为 L3Cache 的存储体太大,一片 FPGA 无法完全放入,另外 L3Cache 的功能能够在仿真加速器平台中得到验证,因

16、此不放入 FPGA 平台能够简化验证环境、缩短验证时间。验证平台总体结构如图 2 所示。M S U M L I _ M a s t e rJ T A G转A X I桥A X I转a p ba p b转I 2 CN o C模型读写序列转换至N o CU D P协议栈T R M A CI P链路I OI 2 CI OM I II OJ T A GI O主 F P G A以 太 网 接 口 模 块 ( E T H _ I T F )测试计算机随机读写产生器返回数据检查器黄金存储模型I 2 C主控制器以太网接口JTAG接口J T A G 接 口 模 块 ( J T A G _ I T F )自 动 验

17、 证 模 块从 F P G A链路I OI 2 CI OM L I _ S l a v eI 2 C从控制器L 3 C模型M I G存储控制器DDR3DIMMDIMM接口图 2 FPGA 验证平台总体结构图Fig.2 Overall structure of FPGA verification platform主 FPGA 芯片中的 MSU、MLI_Master、I2C主控制器、链路 IO 和 I2C IO 是被测逻辑,MSU负责访存请求调度,MLI_Master 负责链路管理和数据传输,I2C 主控制器负责通过 I2C 接口访问 MCC 芯片的寄存器。为了产生读写请求激励,设计了两种激励产生

18、方式,一种比较灵活的方式是通过测试计算机按照测试意图产生读写请求序列,通过以太网接口以 UDP 报文的方式发送到主 FPGA。主 FPGA 内部设计有以太网接口模块(ETH_ITF) ,该接口逻辑包含:介质无关接口(Media Independent Interface,MII)IO、三态以太网控制器(TRMAC IP) 、UDP 协议栈(负责解析网络中的 UDP 报文并转换为读写序列) 、读写序列转换至片上网络(NoC)报文格式模块和 NoC 模型(负责将读写报文发送至MSU) 。测试计算机通过以太网和主 FPGA 相连,模拟处理器核发送读写请求序列,并将这些序列打包成 UPD 报文,通过以

19、太网传输到主 FPGA芯片。主 FPGA 接收到 UDP 报文后,通过解析出读写请求序列,并转换为 NoC 报文格式,通过NoC 模型发送到被测的 MSU 模块。读响应数据同样通过以太网传回到测试计算机,测试计算机对返回的数据的正确性进行验证。为了实现被测逻辑中配置寄存器和状态寄存器的读写,主 FPGA 芯片中设计有 JTAG 接口模块(JTAG_ITF) ,该接口逻辑包含多个协议转换桥,用于读写主 FPGA 及从 FPGA 芯片中相关部件的寄存器。另一种产生激励的方式不需要测试计算机,激励的产生和返回数据的检查均通过 FPGA 内部集成的自动验证模块完成,该模块包括:随机读写产生器、返回数据

20、检查器和黄金存储模型(Golden Memory) 。其中 Golden Memory 主要负责记录所有随机产生的读写请求地址对应的准确数据,用于比较从被测逻辑返回的读数据和记录的数据,以判断返回数据的正确性。由于 FPGA 内部的 SRAM 资源受限,因此 Golden Memory 能够记录的数据量有限,随机读写产生器随机产生的地址数目也有限。这种激励产生与结果比较的方法不依赖于外部测试计算机,也不需要以太网接口模块,逻辑规模小,测试速度快,但是被测地址数量受限,因此需要和前一种方法结合使用,进一步提高验证覆盖率。从 FPGA 芯片主要用于验证存储控制芯片MCC 的关键逻辑,包括从访存链路

21、接口MLI_Slave、I2C 从控制器、链路 IO 和 I2C IO。由于 FPGA 片上静态存储器(SRAM)资源受限,L3C 模型用于模拟 L3Cache 的基本数据通路,不具备缓存数据的功能。存储控制器由Xilinx V7 芯片提供的存储接口产生器(Memory Interface Generator,MIG)生成,通过 FPGA 芯片集成的 PHY 连接开发板上的DDR3 DIMM 内存。由于开发板对每个 Xilinx V7仅支持一个访存通道,因此从 FPGA 芯片将原MCC 芯片中的存储控制器从双通道简化为单通道。2.2 片上读写激励自动产生与检查 FPGA 片上集成的读写激励自动

22、产生与检查机制,不仅能够产生随机激励,还能够对返回结果进行检查以判断返回数据的正确性。该机制的核心是黄金存储模型,该模型保存被测地址的最新访存数据以及每一个未完成的读请求应当返回的正确数据。随机地址产生器负责产生随机地址,由于 MSU 最多支持 16 个未完成的4读请求,因此使用 4 位的 ID 号用于标识已发出但未完成的读请求。一旦某个 ID 号的读响应返回,则释放该 ID 号为空闲状态,可以分配给下一个请求。16 个地址寄存器用于记录对应的第1 个到第 16 个 ID 号的读写请求的地址,地址0 保存 ID 号为 0 的读写请求,依次类推。与 16个地址对应的有 16 个数据队列,每个队列

23、深度为 16,能够保存对应地址的 16 个未完成的读请求。每个数据队列的写入数据来自于与之一一对应的“最新数据寄存器” ,每个最新数据寄存器保存对应 ID 号的地址的最新数据。2.3 以太网接口硬件 UPD 协议栈 为了能够全流水化处理以太网报文以提高协议栈的性能,本文设计实现了一种硬件 UDP协议栈,能够不需要软核,实现与测试 PC 之间的高带宽网络通信,其结构如图 3 所示。I P 报文接收状态机U D P 命令寄存器类指令处理 存储器命令队列 存储器数据队列写数据准备R b u r s t引擎读数据队列U D P 报文发送状态机A R P 请求缓冲U D P 报文A R P 报文写数据访

24、存命令A R P 响应发送状态机发送仲裁其它命令 接收缓冲发送缓冲R b u r s t流控命令提取命令处理 U D P 硬件协议栈AXI_S接口图 3 硬件 UPD 协议栈总体结构图Fig.3 Overall structure of hardware UPD protocol stack 主 FPGA 芯片通过硬件逻辑支持网络层 ARP报文,用于建立测试计算机与主 FPGA 芯片之间的网络连接。TRMAC IP 核与硬件协议栈之间通过 AXI-S 接口连接。网络层 IP 报文接收状态机负责对 IP 报文进行接收和报文解析。对解析出的 ARP 报文,ARP 发送状态机负责产生 ARP 响应报

25、文。对解析出的 UPD 报文,通过“命令提取”模块从 UDP 报文的数据负载区域获得请求信息,将请求命令缓存到 UDP 命令队列中,同时将写请求数据经过“写数据准备”逻辑,缓存到写数据队列中。突发(Rburst)读引擎负责将突发读请求转换成连续的读命令。读响应返回的数据在 UDP 报文发送控制状态机的控制下发送到 AXI-S 发送 FIFO 中。UDP 报文发送控制状态机支持报文分片功能,能够将 burst 长度超过 IP 报文最大长度的 UPD 报文转换为多个IP 报文分片传输出去。一个 UDP 负载中能够连续放置最多 64 个命令,每个命令的格式为 4 位的操作码和 64 位对齐的命令或数

26、据,主 FPGA 依次对它们进行解析执行。操作字节定义了以下几种基本操作:0-空操作,1-更新读基地址,2-更新写基地址,3-更新读 burst 长度,4-启动 burst 读,5-寄存器读操作,6-寄存器写操作。操作可以根据需要扩展。2.4 FPGA 芯片间多通道并行链路 众核处理器的主处理器芯片与 MCC 芯片之间采用了多通道并行链路技术。每个通道(lane)包含差分 IO 实现的 clk 信号和单端IO 实现的 8 至 10 个数据信号。命令通路使用4 个 lane,数据通路使用 8 个 lane,每个通路各个 lane 之间的数据对齐采用了 lane 到 lane的延迟偏斜纠正(lan

27、e-to-lane-deskew)技术。Xilinx 的 V7 FPGA 芯片中的 IO buffer 包括用于单端 IO 的 IOBUF 和用于差分 IO 的IOBUFDS,分别用于替换原始设计中的单端和差分 DDR IO buffer。FPGA 芯片中的可调节延迟值的 IO 延迟单元能够用于替换原始设计中用于延迟偏斜纠正逻辑中粗粒度延迟调节所需的延迟单元。假设每个 lane 的工作频率为100MHz,则可以调节的延迟值的最大值约为1/4 个时钟周期。为了验证链路可靠性控制逻辑,在主 FPGA 芯片中增加了随机数据干扰模块,该模块能够在发送方对每个 lane 的多位数据中的某些位随机地进行翻

28、转。在接收方检查是否能够校验出发送方注入的错误,以及链路接口中的链路重传机制能否正确重传数据、最终将正确的数据送达接收方。为了验证多个 lane 之间存在延迟偏斜时逻辑的功能正确性,在主FPGA 芯片中为每个 lane 增加了额外的级联的寄存器站,能够对每个 lane 的所有信号统一增加 0-8 个时钟周期的延迟。3 FPGA 验证平台搭建与实验基于集成 4 颗 FPGA 芯片的开发板搭建提出的 FPGA 验证平台,如图 4 所示。主 FPGA 与从FPGA 之间的链路采用集成在测试板内部的 FPGA芯片间高速互连信号线,也可以通过测试版两侧的 Dedicated IO 使用电缆互连。控制与状

29、态子板用于系统复位、错误注入使能、错误模式5选择以及错误状态信息显示等功能。测试计算机通过以太网 PHY 子板上的以太网接口进行访存命令发送与结果接收,通过 JTAG 接口对主FPGA 和从 FPGA 的配置寄存器进行访问。为了实现测试计算机通过以太网对主 FPGA 进行测试激励的发送和测试结果的正确性检查,课题组使用 Python 语言开发了一套定制的存储调试软件(Custom Memory Debug Software,CMDS) 。由于 Python 的基本套接字接口采用了标准库的socket 模块,支持 TCP/IP 和 UPD 套接字类型,因此基于其开发的调试软件具有良好的跨平台特性

30、。CMDS 支持第 2.3 节中定义的通过 UDP 报文传送的所有操作类型。图 4 FPGA 验证平台实物图Fig.4 The physical map of FPGA verification platform3.1 片上读写激励自动测试在测试过程中对自动测试产生的随机地址和请求数目进行统计。模拟环境中能够设置请求发送概率:概率为 1 表示激励产生器每个时钟周期都会产生一个读写请求,只要 MSU 有信用,产生的请求就会被发送给 MSU;概率为1/16 表示激励产生器每个时钟周期能够产生一个读写请求的概率为 1/16,如果产生读写请求的同时 MSU 有信用,才能将请求发送给 MSU。实验中,分

31、别在两种概率下运行 400 万个时钟周期,统计总的访存数目和产生的访存地址的数目,并计算每个地址的平均访问次数,结果如表 1 所示。对于请求发送概率为 1 的情况,总的访存地址数目为 34,自动验证模块黄金存储模型中每个地址寄存器中的地址被平均更新了 2 次;每个地址被访问的平均次数为 8410 次,访存地址相关性很高。原因如下:当请求发送概率为1 时,由于只要 MSU 有信用,就会发送一个读写请求到 MSU,因此,黄金存储模型中第一批随机产生的 16 个访存地址会被频繁访问,对于其中任意一个地址,在前一个读请求完成之前,又会产生对该地址的下一个读请求,因此该地址会被频繁访问,不会被新的请求地

32、址替换。表 1 读写激励自动产生的访存数和访存地址数Tab.1 The number of memory accesses and addresses generated by read/write requests automatic generator 请求发送概率访存数目 访存地址数目每个地址平均访问次数1 285927 34 84101/16 118258 49865 2.37当请求发送概率为 1/16 时,访存地址的总数为 49865 个,每个地址的平均访问次数为2.37 个,访存地址相关性低。原因如下:当请求发送概率降低时,产生请求的速度变缓,对于一个访存地址来说,前一个访问未完成

33、又产生对该地址的新的访问的概率大大降低,因此保存在地址寄存器中地址被更新的频率显著提高,每个地址平均被访存的次数显著减少。请求发送概率为 1 时的访存数目约为概率为 1/16时的访存数目的 2.4 倍,而不是 16 倍,原因是:存储器写请求报文包含 1 个命令微片和 4 个数据微片,需要 5 个时钟周期发送,因此 16 个时钟周期内,最多发送 3 个写请求;另外,MSU对于相关地址的调度性能低于对不相关地址的调度。定义一个访存地址的访存次数占总访存次数的比率为该地址的访存次数比率(Memory Access Ratio,MAR) 。图 5 为不同请求发送概率下随机产生的各访存地址的 MAR 值

34、的分布情况。请求发送概率为 1 时,34 个访存地址的MAR 分布如图 5(a)所示:不同地址的 MAR 差别较大,有 3 个地址的 MAR 值小于 0.5%,4 个地址的 MAR 值大于 6%,MAR 的差异约为 12 倍。当请求发送概率为 1/16 时,统计了 ID 为 0 的地址寄存器前 64 个访存地址的 MAR 值,其分布如图 5(b)所示:不同地址的 MAR 差别较小,大部分地址的 MAR 值位于 1.4%到 1.7%之间,只有 1 个地址的 MAR 值达到最大的 1.8%,所有地址的最大和最小的 MAR 值的差异约为 28.6%。综上,实验结果说明通过调整请求发送概率,能够控制访

35、存地址的数量与访问频度,实现对访存地址相关性和每个访存地址的访存次数比6率分布的控制,产生不同特点的访存流以提高测试覆盖率。FPGA 验证平台核心逻辑的工作频率达到了100MHz。在片上读写激励随机测试中,发现了一个自动验证模块的设计错误,在 FPGA 验证平台上复现错误的时间约为 20 秒,而在软件模拟环境中花费了约 48 小时,复现错误所用时间比为 1:8640。FPGA 平台加速效果显著。01234567地址数量MAR范 围(a) 发送概率为 1 时 MAR 分布情况(a) The MAR distribution when requests sending probability is

36、 10510152025301.41.5% 1.51.6% 1.61.7% 1.71.8% 1.81.9%地址数量MAR范 围(b)发送概率为 1/16 时 MAR 分布情况(b) The MAR distribution when requests sending probability is 1/16图 5 不同请求发送概率下 MAR 分布情况Fig.5 The MAR distribution with different requests sending probability 3.2 多 lane 并行链路可靠性测试 3.2.1 链路注入错误测试为了测试链路数据被干扰导致数据翻转的情

37、况,试验中利用位于主 FPGA 内部的数据干扰模块,对任何一个 lane 内部的数据线进行错误注入。为了验证数据链路传输报文头微片时的可靠性,对发生数据翻转的线的数目从 1 到 8情况下,测试 CRC 校验逻辑能够检测出错误的概率。测试采用四种不同的模式:随机位模式(翻转位的位置随机选择) ;连续相邻位模式(翻转位的位置相邻) ;连续奇数位模式(翻转位的位置位于连续的奇数位置) ;连续偶数位模式(翻转位的位置位于连续的偶数位置) 。实验中使用“随机错误数据干扰模块”对整个报文微片进行错误注入。在各模式测试中,当发生翻转的位的个数小于等于 4 时,对所有符合模式定义的翻转位的位置进行遍历,对所有

38、情况进行测试并统计结果,获得 CRC 校验的正确率。当发生翻转的位的个数多于 4 时,若对所有可能出错的位置进行排列组合,组合数目非常大,无法进行全遍历测试。因此,实验中对注入 5 到 8 位随机错的情况进行了简化,分别固定微片数据的第 1 位到第 4 位为翻转位,剩余的翻转位的位置按照全排列的方式在微片数据剩余的位置中选择。接收方设置一个专门的计数器统计检测出错误的总次数,用于计算校验准确率。测试结果如下:对于所有的一位错、两位错和三位错,各种模式下错误均能够被准确地校验出来,校验准确率为 100%。对于随机注入4 到 8 位错的情形,CRC 算法具有一定的漏检情况,即不能在所有情况下正确地

39、判断发生了错误。统计发现,在随机注入 4 到 8 位错时,对于随机位模式,99.9%以上的注入错误能够被准确检出,即校验准确率超过 99.9%;对于连续相邻位、连续奇数位以及连续偶数位三种模式,校验准确率仍为 100%。3.2.2 多 lane 之间的延迟偏斜容忍能力测试延迟偏斜的容忍能力和链路的发送时钟与接收方接收时钟的频率比有关,设置发送与接收时钟频率比为 0.9:1、1:1、1:1.5、1:2 和 1:4五种情形。由于 lane 与 lane 之间的延迟偏斜纠正逻辑基于异步 FIFO 实现,FIFO 深度为16,异步时钟域转换开销为 4 个时钟周期,因此,在发送和接收时钟频率相同的情况下

40、,理论上能够容忍的延迟偏斜大小应该不超过 FIFO深度减去时钟域转换时间,即 12 个发送方时钟周期时间。当接收时钟频率更高时,由于 FIFO的读取比发送更快,此时能够容忍的延迟偏斜值会适量增大。实验发现,当发送和接收时钟频率比为0.9:1 时,不论延迟偏斜值的大小如何设置,由于 FIFO 的写入速度大于读出速度,因此FIFO 总会在一段时间后溢出,无法正常进行偏7斜纠正工作,而且延迟偏斜越大,FIFO 越早发生溢出。当频率比为 1:1 时,只要延迟偏斜值小于 12,就不会发生 FIFO 溢出的情况,延迟偏斜纠正逻辑能够正常工作。由于实际电路中时钟频率会发生少量抖动,因此频率比为 1:1时,延

41、迟偏斜为理论上能够正常工作的值 12时 FIFO 仍有可能发生溢出导致纠正失败。在其它几种频率比情况下,FIFO 的写入速度小于读出速度,只有当延迟偏斜值超过一定范围时,FIFO 才会发生溢出,导致无法正确纠正。综上,为了确保延迟偏斜纠正逻辑正常工作,必须满足以下两个条件:(1)发送时钟频率要小于等于接收时钟频率;(2)链路数据通路中 lane与 lane 之间最大的延迟偏斜小于 12 个发送方的时钟周期时间。4 结论本文提出了一种面向众核处理器访存链路接口的 FPGA 验证平台,采用两块 Xilinx V7 FPGA 芯片分别仿真主处理器芯片和 MCC 芯片,用于对处理器访存链路关键部件进行

42、功能及可靠性测试。提出的片上读写激励自动产生与检查机制能够在主 FPGA 芯片内部自动发送访存请求并对返回结果进行正确性检查;提出的以太网接口硬件 UDP 协议栈支持测试计算机通过以太网和主 FPGA 芯片互连进行访存测试;提出的 FPGA 芯片间多 lane 并行链路,支持链路注入错误测试和延迟偏斜容忍能力测试。通过在该平台上进行实验,结果表明:(1)片上读写激励自动产生与检查机制功能正确,通过调整请求发送概率,能够控制访存地址的数量与访问频度,实现对访存地址相关性和每个访存地址的访存次数比率分布的控制;(2)硬件 UDP协议栈功能正确,能够在定制的存储调试软件的配合下进行随机地址访存测试;

43、(3)支持对多 lane 并行链路进行可靠性测试,支持对各种链路错误注入情况下的校验准确率以及链路多lane 之间的延迟偏斜容忍能力进行统计和分析。经过验证的访存链路接口已经正常工作于流片后的处理器芯片中,各项指标满足要求。参考文献(References )1 Cadence Incorporation. Palladium XP Verification Computing Series. EB/OL.(2016-05-14)2016-12-15. https:/ 2 S2C Inc. Prodigy Complete Prototyping Platform. (2016-12-10) 2

44、016-12-20 http:/ prototyping-platform.3 郭阳, 李暾, 李思昆. 微处理器功能验证方法研究J.计算机工程与应用, 2003, 39(5):35-37.GUO Yang, LI Tun, LI Sikun. Functional Verification Methodology for MicroprocessorJ. Computer Engineering and Applications, 2003, 39(5):35-37. (in Chinese)4 张珩. 通用处理器设计中硬件仿真验证J. 计算机工程与应用, 2007, 43(8):1-3.Z

45、HANG Heng. Hardware simulation for microprocessor verificationJ. Computer Engineering and Applications, 2007, 43(8):1-3. (in Chinese)5 黄晓林, 潘红兵, 等. 基于多 FPGA 的 NoC 多核处理器验证平台设计J. 计算机工程与设计, 2012, 33(1):180-185.HUANG Xiaoling, PAN Hongbing, et al. Design of multi-FPGA-based multi-core processor NoC veri

46、fication platformJ. Computer Engineering and Design, 2012, 33(1):180-185. (in Chinese)6 郭阳, 李思昆, 屈婉霞. 片上多核处理器验证:挑战、现状与展望. 计算机辅助设计与图形学学报, 2012, 24(12):1521-1532GUO Yang, Li Sikun, and QU Wanxia. Verification of on-chip Multi-core Processor: Challenges, Status, Forcasts. Journal of Computer-Aided Desi

47、gn & Computer Graphics. 2012, 24(12):1521-15327 WJ Starke, J Stuecheli, DM Daly, JS Dodson. The cache and memory subsystems of the IBM POWER8 processorJ. IBM Journal of Research & Development, 2015, 59(1):1-13.8 J. T. Pawlowski. Hybrid Memory Cube(HMC)C/ Proceedings of the 23th Hot Chips Conference,

48、 California: ACM Press, 2011:1-24.9 周宏伟, 邓让钰等. 多核处理器验证中存储数据错误快速定位方法. 国防科大学报, 2012, 34(6):1-6.ZHOU Hongwei and DENG Rangyu, et al. A fast location mechanism on memory data error for multi-core processors verification. Journal of National University of Defense Technology. 2012, 34(6):1-6. (in Chinese)

Copyright © 2018-2021 Wenke99.com All rights reserved

工信部备案号浙ICP备20026746号-2  

公安局备案号:浙公网安备33038302330469号

本站为C2C交文档易平台,即用户上传的文档直接卖给下载用户,本站只是网络服务中间平台,所有原创文档下载所得归上传人所有,若您发现上传作品侵犯了您的权利,请立刻联系网站客服并提供证据,平台将在3个工作日内予以改正。