ARM发布AMBA 3 AXI ASSERTIONS，用户可免费获得源文件

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

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

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

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

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

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

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