ARM公司日前发布了AMBA 3 AXI Assertions的生产版本，以此加快基于AMBA 3 AXI架构的片上系统的设计和验证。任何公司都可以从ARM公司获得该Assertions的源文件，不用支付任何版税或版权费用。  

    该Assertions提供了对AMBA 3 AXI协议的权威表述，从而促进了对AXI的采用，并加快了对基于AXI结构IP的设计的验证。通过帮助确保协议的兼容，它们提高了对于AMBA 3 AXI IP即插即用整合性的信心。同时它们还帮助建立了强大的包括第三方以及内部AMBA 3 AXI验证方案在内的行业生态系统。目前System Verilog Assertions（SVA）和开放式验证库（OVL）版本均已上市。  

    NEC电子公司移动系统部总经理Masakazu Yamashina表示：“我们已经有多年的在片上通讯行业的实际标准AMBA的基础上设计片上系统解决方案的成功经验。AMBA仍在不断发展来满足片上系统不断提升的要求。Assertions的发布是一个非常好的方式来保证了对于AMBA规范的一致的、准确的解译。”  

    AMBA协议的市场领先地位确保了该技术的采用者将会从强大的工具和IP支持产业生态系统中获益。对这一规范的采用的推动不单来自实现方案不再依赖版权解决方案，还来自在指定技术规范时的开放式合作模式。AMBA 3 AXI技术Assertions的发布将进一步提高这一规范使用者的使用简易性。  

    Synopsys公司验证部高级市场总监Steve Smith表示：“我们共同的客户越来越多的采用基于Assertions的技术来提高验证工作的效率和产量。我们相信免费获得定义了AMBA 3 AXI协议的Assertions将会为他们带来益处。ARM和Synopsys有着超过10年的合作经验来验证和优化AMBA 3 AXI的Assertions。这些Assertions结合了Synopsys的用于AMBA 3 AXI的DesignWare Verification IP，提供了完整的协议验证。此外，它们还支持 Synopsys的VCS验证解决方案，Pioneer-NTB SystemVerilog测试工作台和Magellan混合正式分析工具，以及SystemVerilog的验证方法论指南。”  

    Cadence设计系统公司验证部市场总监Dave Tokic表示：“随着AMBA 3 AXI技术取代AMBA 2 AHB成为领先的片上通讯结构，ARM公司公开AXI Assertions的做法收到了欢迎。AXI Assertions和我们的混合语言Plan-to-Closure方法论结合将会降低我们共同的客户的验证风险，并进一步加快对AXI技术的采用。Cadence和ARM在结构IP和验证领域有着长期的合作关系，这次Assertions的发布更加强了这种关系。”  

    Averant公司总裁Ramin Hojati补充道：“我们支持ARM公司发布AMBA 3 AXI协议规则作为公开的开放式验证库(OVL)和SVA Assertions。我们和ARM合作来确保AMBA 3 AXI协议与正式的验证方法相适应，并由此我们为AMBA 3 AXI工具开发的SolidPC提供了一个按钮和详尽的环境，可以用来检验采用AMBA 3 AXI协议规则的设计。”