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）版本均已上市。

       ARM结构IP市场经理Ben Cade 表示：“根据和一些重要合作伙伴的讨论以及他们的反馈，ARM公司决定向他们提供非特殊的、采用通用行业标准的正式的协议定义，这是帮助他们从上一代片上总线（OCB）/片上网络（OCN）协议发展/转向AMBA 3 AXI技术的最好的方法。这些新的Assertions从设计实现和验证判断两个方面都降低了误译的风险。”

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