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从设计实现和验证判断两个方面都降低了误译的风险。”
NEC电子公司移动系统部总经理Masakazu Yamashina表示：“我们已经有多年的在片上通讯行业的实际标准AMBA的基础上设计片上系统解决方案的成功经验。AMBA仍在不断发展来满足片上系统不断提升的要求。Assertions的发布是一个非常好的方式来保证了对于AMBA规范的一致的、准确的解译。”
Synopsys公司验证部高级市场总监Steve Smith表示：“这些Assertions结合了Synopsys的用于AMBA 3 AXI的DesignWare Verification IP，提供了完整的协议验证。此外，它们还支持Synopsys的VCS验证解决方案，Pioneer-NTB SystemVerilog测试工作台和Magellan混合正式分析五金|工具，以及SystemVerilog的验证方法论指南。”
Cadence设计系统公司验证部市场总监Dave Tokic表示：“AXI Assertions和我们的混合语言Plan-to-Closure方法论结合将会降低我们共同的客户的验证风险，并进一步加快对AXI技术的采用。Cadence和ARM在结构IP和验证领域有着长期的合作关系，这次Assertions的发布更加强了这种关系。”
ARM在AXI Assertions规范和截获方法领域的开发合作伙伴Averant公司总裁Ramin Hojati补充道：“我们支持ARM公司发布AMBA 3 AXI协议规则作为公开的开放式验证库(OVL)和SVA Assertions。我们和ARM合作来确保AMBA 3 AXI协议与正式的验证方法相适应，并由此我们为AMBA 3 AXI工具开发的SolidPC提供了一个按钮和详尽的环境，可以用来检验采用AMBA 3 AXI协议规则的设计。”