Synopsys为Arm AMBA CXS的VIP提供EDA验证解决方案

　　新思科技为下一代Arm®AMBA®协议（包括AMBA CXS）提供了广泛的验证解决方案。

　　更令人振奋的是，新思科技还为基于Arm的协议提供了验证自动化解决方案，包括用于测试平台生成的VC AutoTestbench和用于性能验证的VC AutoPerformance。

　　针对 AMBA CXS协议的验证IP（VIP）的发布进一步加持了AMBA的“合作”的本质，使生态系统中的不同团队能够交付适用于下一代应用的基于AMBA的多芯片解决方案。适用于AMBA CXS规范的新思科技验证IP，成功使其早期的客户和合作伙伴验证下一代芯片到芯片（chip-to-chip）一致性的设计应用，并取得更优的性能。

　　接下来，让我们深入研究一下，以更好地了解AMBA CXS协议中的可用功能。

　　什么是CXS？

　　CXS是一种流协议（streaming protocal），专为在高宽带下传输数据包设计。它通常被用于在较高级别的协议层（例如CCIX，CXL）和传输层（例如PCIe控制器）之间传输数据包。一个CXS接口包含发送接口和接收接口。它是具有独立的发送和接收信令路径的全双工接口。在一个时钟周期内，被传输的数据称为“ flit”（即flow control unit， 流量控制单元）。多个数据包可以在单个flit中传输，也可以跨越flit传输。

　　

　　Figure 1： CXS topology

　　CXS的好处

　　在谈及CXS的好处时，Arm架构与技术部门的高级产品经理Francisco Socal曾表示：“诸如机器学习，网络卸载和内存数据库等等新兴应用，越来越依赖于具有高速且一致的 chip-to-chip 的互联的加速和多芯片解决方案。他们需要多个片上和片外协议之间的高性能和低摩擦集成路径。而这正是CXS所能提供的关键益处。”

　　CXS定义了一个可以在广泛的应用程序中使用的通用流接口。 CXS协议有效利用了宽接口，并允许在单个时钟周期内传输多个数据包。 CXS流协议对正在传输的数据包保持透明性。例如，正在传输的数据包可以是CCIX数据包，CXL.mem / Cache事务等等。

　　关键的验证挑战和CXS VIP解决方案

　　CXS接口的验证要求：

　　在flit中适当的开始和结束边界处数据包放置的正确性

　　CXS控制信号中数据包的开始和结束指针的正确性

　　DUT以连续数据模式传输和接受不间断数据的能力

　　DUT支持CXS接口激活和停用的能力

　　拥有信用授予和返回机制

　　CXS VIP可提供以下关键功能以满足DUT验证要求：

　　支持CXS规范定义的行为的协议功能

　　根据CXS规范的协议检查，用于检查协议正确性

　　分析端口和callback，供testbench访问CXS VIP trasaction对象

　　用于信用信息的调试端口

　　

　　Figure 2:Debug port （TX_AVAILABLE_CREDITS） for credit information

　　结论

　　随着人工智能和数据加密技术的飞速发展，使用高速传输接口（如PCIe）的芯片到芯片协议变得愈发广发。CXS接口支持在高速应用的协议层和传输层之间以高带宽传输的协议数据包。

　　新思科技在AMBA协议，以及高速芯片到芯片协议的演进方面展开合作，而CXS将在其中发挥重要作用。我们验证解决方案可帮助客户确信其产品正确无误并符合CXS规范。 AMBA CXS规范是一个开放的规范，可以从下方链接获取：https://developer.arm.com/architectures/system-architectures/amba/specifications

　　本文由Emily Yan编译，英文原文请见 VIP Central。

　　这篇文章被收入在 芯片设计和验证.