基于BFM测试和调试的Zynq SoC设计步骤及架构详解.docx

《基于BFM测试和调试的Zynq SoC设计步骤及架构详解.docx》由会员分享，可在线阅读，更多相关《基于BFM测试和调试的Zynq SoC设计步骤及架构详解.docx（7页珍藏版）》请在第一文库网上搜索。

1、基于BFM测试和调试的ZynqSoC设计步骤及架构详解AXI总线功能建模可简化Zynq-7000A11Programmab1eSoC组件及子系统的验证工作。本文以赛灵思工具链为基础,通过逐说&导实例，详细介绍了该验证方法。赛灵思在ZynqTM-7000A11Programmab1eSoC中内置了功能强大的双核ARMCortex9处理器,能让用户使用单个谢：即可构建自己的高性能片上系统。这样软件工程师可以充分利用包括GNU/1inux在内的丰富的ARM软件生态系统，而硬件设计人员则可以在可编程逻辑架构中添加协处理器和数字信号处理功能。现在的问题在于验证和调试这样的片上系统，尤其是软硬件之间的接口

2、。例如，接口一边受器件驱动器控制,一边受中断服务程序控制。随着ARMCPU的问世，高级微控制器总线架构（AMBA）以及更为重要的高级可扩展接口（AX1）已成为连接FPGA内部各组件的事实标准。AXI并非传统意义上的总线，而是使用交叉开关矩阵和仲裁，在多个主从机模块间实现基于事务的互联。AXI有三种类型，分别是AXI4（常规类型）、AXM-1ite和AXM-Streamo赛灵思ISE14.2版本和ViV理O2012.2版本设计工具套件配套提供v106aAXI互联功能，同时可与AXI3和AXI4相兼容。总线功能建模（BFM）是一种非常适用于片上系统设计的电壬系统级验证方法。BFM的价值在于能够抽象

3、总线互联并提供高级AE1以实现用于激励RT1模块的测试平台，从而帮助用户节省宝贵的时间。BFM可帮助设计人员验证与Zynq-7000器件的处理系统相连接的RT1模块。在赛灵思I鱼里这样的RT1位真器内部运行时,BFM可帮助用户按照自下而上的设计流程，一次验证一个或多个模块。赛灵思与CadCnCe通力合作,提供了一种在业经验证的行业标准基础上构建的验证环境（AXIBFM）oAXIBFM已经投入市场将近两年时间，近期已升级到2.1版本。下面深入了解这种强大的系统级验证方法及采用这种方法所涉及的步骤。首先列出构建一个能够工作的BFM验证环境所需的工具和组件，其中包括一个能够为使用BFM的新手提供帮助

4、的文档列表。然后介绍使用AX1BFM验证RT1模块的验证流程。工程师掌握这种方法最好的方式就是参考实例，所以最后本文将一步一步地介绍使用赛灵思ISE设计环境的详细情况。本文选择的实例是一个由一个AXI4主模块和一个连接BRAM的存储控制盎组成的简单设计，可作为下一个BFM验证项目的起点。这个实例可通过下列网址，从MiSSing1inkE1ectronics的开发人员专区下载:。使用步骤总线功能模型（BFM）能够显著降低SoC设计验证阶段的工作量。这种方法可帮助您直接将RT1模块作为一个被测器件（DUT）连接到BFM,激励并核对高抽象层面上DUT的响应，整个过程无需探究AX1互联的细节。赛灵思和

5、Cadence共同推出的AX1BFM的一大主要优势在于可以避免开发用于匹配AXI4-1iteIP接口(IPIF)的代码，也无需手动编写RT1模块测试台。AXIBFM紧密集成在FPGA设计环境中。使用赛灵思P1atf匹mStudio(XPS)就可为嵌入式系统生成顶层HD1,并为BFM仿真项目生成大部分必备文件。XPS还可免除为DUT正确连线的负担。您可使用“fush.sh”脚本将BFM项目与赛灵思ISim集成在一起，完成最终测试程序的编写。DUT由一个或多个构成RT1模块的VHD1或VeriIog文件组成。RT1模块的AXI4接口(可以是AXI4、AXI4-Stream或AXI4-1ite)通过

6、Veri1ogTestbenc1vv内部的AX1BFM连接，然后与顶层设计文件Test.V中的测试程序合并。该测试程序用于驱动和检查DUT。这样做的好处在于可以不探究AXI4的所有细节。用户可以使用分区在功能AP1和通道API两个抽象层面上的简便易用、丰富多样的AP1编写自己的测试程序。Test.vTestbench.vTBStProgramAXIBFMConfigurationIFunctionAPI1C1K&ResetGeneratorICe!API-*Signa1Interface!DUT图1测试系统结构这种AP1采用的是Veri1ogHD1语言。不过很快就可以发现，这种AP1不仅适合H

7、D1设计人员，而且也非常适用于有固件或驱动程序开发经验的软件工程师。甚至更好的是，由于AX1BFM完全理解AX14、AXI4-1ite和AXIKStream协议，它会执行额外的检查，而且在仿真过程中，可以看到一旦RT1模块“误解”AXI4,就会发出告警。这个过程能够在很大程度上帮助用户成长为AXI4专家。AXIBFM环境不局限于验证单个RT1模块，而且能够高效地验证多个模块。因此建议使用AX1BFM验证组件、子系统乃至整个片上系统，并且使用AXIBFM进行回归测试。但是需要提醒一下的是，在所有复杂的验证项目中，往往出现“只见树木，不见森林”的情况，所以应该和同事共同核查（或自己核查）仿真过程中

8、测试的功能与硬件中使用的功能是否相同。AXI4BFM和XPSXI4BFM不仅可用于验证单个RT1模块内核的总线接口，也适用于仿真整个嵌入式设计的总线事务。AXIBFM为AXI3、AXI4、AXI3-1ite.AXI4-1ite和AXM-Streaming主从模块提供模型。根据不同类型的RT1模块的需要，可定制不同的AX1接口。虽然常规的AXI3和AXI4接口是基于突发模式，可允许使用不同的数据宽度和乱序事务处理，对只有来自软件的直谴式访问的较简单RT1模块，XI3-1ite版本足以使用。用于处理面向信息流的数据（比如来自摄像头接口的视频数据）的硬件，往往采用AXbStream协议，因这种协议与

9、常规的AX1接口相比，更适合管理流数据的特征。不过本文介绍的实例的重点是常规AXI4接口以及AXI4总线的BFM的使用。在XPS中使用其它类型的AX1接口测试RT1模块的工作流程完全一样，读者可将本文的介绍当作使用这些接口进行测试的指南。下面将展示如何在XPS里设置BFM,从而有效地生成HD1代码，用于实例化DUT和BFM,并在她们之间建立互连。这种方法可以最大限度地减轻手动编写互联HD1代码的工作量，这种工作极为耗时。生成的测试系统由待测试的外设和提供总线激励的BFM共同组成。这样，使用BFM主模块，就可以仿真系统中总线主设备一般会发起的总线传输，然后检查连接的RT1从模块，看是否行为正确。

10、另一方面，可以使用从BFM验证采用AX1主接口的RT1模块的行为正确与否。在本文接下来的内容中，将创建一个由一个从模块和一个AXI4MasterBFM组成的简单系统，后者用于为从模块提供激励。AXI4架构简介在开始介绍实例之前，先简单了解一下AXI4总线架构，有关详细介绍请参阅AX1总线规范。2AXI4总线系统分为五个独立的事务通道：写地址通道、写数据通道、写响应通道、读地址通道和读数据通道。地址通道除了传输实际的源地址或目标地址外，还传输发生在相关数据通道上的突发传输的类型信息。信息的内容包括突发的传输数量、数据的大小和突发的ID。对每一次突发，从模块都会利用经地址通道传输的ID向主模块发送

11、响应，通知主模块本次事务处理是否成功。在这五条通道上，由READY和VA1ID握手信号对来控制实际的数据传输。正如这两个信号的名称意义所示，当总线上的数据有效时，发送侧断言VA1IDo当接收侧做好接收数据的准备时，接收侧断言READ丫。实际的事务处理发生在总线时钟的上升沿，此时READY和VA11D都处于高电平。在自行实现对AX1总线的访问时，务必记住VA1ID信号的断言不能取决于READY信号，否则会陷入死锁。在XPS中创建简单测试系统现在我们己经对AXI4总线系统有了基本的理解，可以开始在XPS中创建简单测试系统了，并观察BFM和AX1总线的行为。这个系统由一个AXMMasterBFM一个

12、B1OCkRAM控制器、一个B1oCkRAM和一个用于连接所有组件的AX1互联组成。下面是创建这个AX1BFM实例所需的工具列表： 赛灵思ISE14.2版本或更高版本，配备XPS14.2版本 赛灵思ISinI（14.2版本） AXIBFM的许可证密钥（部件号码DO-AXI-BFM） 赛灵思DS824,“AXIBFM2.1版本”（替代赛灵思UG783） 赛灵思DS768,1ogiCORETMIPAXI互联（1.06a版本）” AXIBFM实例项目，网址：和用XPS创建任何新的嵌入式设计一样，先从创建一个新的空白项目开始，将其命名为bfm_system”。不过这里没有使用MicroB1aze处理器

13、或Zynq_7000A11Programmab1eSoC,而是实例化一个AXI4MasterBFM,用于在AXI4总线上发起事务处理任务。可以在XPS中IP内核树的验证节点上找到AXI4MasterBFM0下面添加一个在BusandBridgew分类下的AXI4InterconnectIP,再添加一个AX1BRAMContro11er和一个相关联的B1OCkRAM,你可以在XPSIP标签中MemoryandMemoryContro11erw分类下找到这两个IP。在XPS的荻视图中将这些IP组件相互连接，让系统看上去与图2所示的一样。Businter1acesPortsAd(WSs”jM4*ne

14、Fv*rtonBUSN(ne*xJncerconrtecrwO106aHMSrer201a1M_AXIxi-C4rconnt.OJnmjctf1JD103二SAXIaiJnt4CMVM.BRAMPORTA-PoRTeabrr图2XPS的BUSInterfaces怀号曼示焉憾累饶的同线布玛在XPS的POrtS标签中，将AX1互联的时Jt和复位端口配置成externa1,将BRAM控制器和MaSterBFM的时钟端口也连接到外部时钟端口。可让AXIBRAM控制器的“ECCJnterrupt”和可CC_UE”端口保持未连接，因为不需要使用ECC功能。设置时钟端口的频率为IOOMHz。最终系统应和图3

15、所示的一样。ft-,XMIU9CCJMtoeMrI1(irsMiq.g.nKCUUSjrM/8MwAv图3XPS的Ports标筌显示时律和复位的外部端口接下来在XPS的AddreSSeS标签中设置BRAM控制器的地址范围。这样还可以确定BRAM模块的大小。这里创建一个32K的B1oCkRAM,起始地址为0x00000000o现在基本系统设置已经完成，点击工具条左边的“GenerateHD1Fi1es”就可以让XPS生成HD1代码。这样可以在XPS项目文件夹中创建一个名为Simu1ation的目录。如果想在XPS中修改系统，重新生成HD1代码，务必将手工添加到文件夹中的文件进行备份，否则XPS在生成仿真文件时，这些文件将被完全覆盖。在SimUIatiOn文件夹中名为behavioria1”的文件夹里，我们可以找到与XPS设计名字完全相同的Veri1Og或者VHD1文件（根据配置设置中选择的语言），该文件名为“bf