系统与设计
的意见

HW / SW Co-Verification混合动力系统

全面测试使用QEMU异构soc。

受欢迎程度

异构SoC架构如Zynq最近已成为非常受欢迎的组合可编程序逻辑(FPGA)和处理系统(ARM)集成到一个芯片上。使用这种混合动力系统开发设计原因的复杂性设计验证阶段。帮助解决这种复杂性,Aldec介绍他支持co-verification QEMU。Proto-AXI主机FPGA桥的解决方案。

QEMU是一个开源的机器仿真器和仿真器的模拟范围广泛的CPU架构。一起HW /西南联合仿真平台,它简化了具有挑战性的混合设计的验证过程。

问题是如何全面测试这样的混合技术设备。混合设备需要混合验证环境,有不止一个选项可用。

QEMU Aldec工具
有几个地方在整个范围的Aldec QEMU符合完美的产品和工具。最一般的分解可以基于项目需求:

  • 著名的验证,市场上可用的SoC,比如Xilinx Zynq设备
  • 验证的自定义设计,比如asic,系统架构是项目相关的。验证环境是灵活和容易适用于这些系统。

基于上面的部门,我们提供两个解决方案:QEMU Zynq / Zynq MPSoC和QEMU他模拟和原型设计

QEMU的联合仿真Xilinx Zynq 7000 / Zynq MPSoC设备
co-simulate设计,是基于Xilinx Zynq 7000 / MPSoC设备Aldec提供了HW / SW联合仿真解决方案使用Riviera-Pro(推进RTL模拟器)和Xilinx QEMU。这个解决方案的提供TySOM EDK包,它简化了混合验证Xilinx Zynq设备。这种集成使工程师一个环境来验证整个SoC同时(处理系统和可编程序逻辑)。单独的测试CPU和FPGA不再是唯一的测试方法。这个解决方案利用Xilinx QEMU和连接Riviera-PRO,给了一个全面的测试Linux环境,司机,或者独立的处理器和FPGA设计模拟器应用程序。


图1:Xilinx Zynq / Zynq MPSoC QEMU和Riviera-PRO联合仿真

QEMU co-verification环境仿真和原型
QEMU与Aldec集成仿真和原型产品不同于解决Xilinx Zynq 7000 / Zynq MPSoC。年花在借助硬件验证市场表明,最重要的事情之一就是可伸缩性不同的验证方式。实现我们官方的开源QEMU适应相互作用:

  • 他FPGA板与Virtex-7 UltraScale和UltraScale +设备SCE-MI仿真流程
  • 他与Virtex-7 FPGA板,在他UltraScale和UltraScale +设备。Proto-AXI原型方案流
  • 模拟的,在Riviera-PRO仿真和原型设计

co-verification环境的体系结构如图2所示。


图2:Aldec QEMU仿真和原型co-verification环境

环境包括:

  • QEMU -官方部门使用和集成为了实现CPU体系结构的灵活性。目前(他。Proto-AXI 9月发布)x86_64和arm64架构支持。值得强调,当使用QEMU x86_64架构在同一架构主机电脑可以支持KVM虚拟化。这结果与巨大的QEMU仿真速度,与主机电脑。
  • PCI2AXI——一个主要设备用于模拟和原型AXI主连接到QEMU模拟CPU作为PCI设备。仿真,调试设备Aldec调试工具控制也是可用的。
  • 他板或Riviera-PRO模拟器

结论
需要一个全面的SoC验证被注意到越来越多的由于这类设备的需求大幅增长。同时拥有HW / SW的SoC设计需要一个混合的环境中来验证,确保新变化不会影响整个设计的功能。Aldec开辟了这条道路准备QEMU和Aldec相结合的混合环境验证,仿真和原型设计工具来解决SoC验证过程的复杂性。此解决方案满足不同的验证需求(Xilinx Zynq / Zynq MPSoC, ASIC仿真和原型),并提供各种特性。首先,它对应于SoC设计的体系结构,给出了一个机会来测试软件和硬件。模拟不同的cpu架构,简化并加速之间的交叉开发的硬件和软件/嵌入式工程团队。最后但绝对不是最不重要的——这是与Aldec SoC集成/ ASIC / FPGA验证产品,如他高速成型板,HES-DVM,Riviera-PRO模拟器,HES.Proto-AXI体系结构。



留下一个回复


(注意:这个名字会显示公开)

Baidu