ARM发布AMBA 3 AXI ASSERTIONS

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

AMBA 3 AXI Assertions可以在以下网站下载：
http://www.arm.com/products/solutions/amba_3_axi_pc.html