ARM公司發(fā)布了AMBA 3 AXI Assertions的生產(chǎn)版本，以此加快基于AMBA 3 AXI架構(gòu)的片上系統(tǒng)的設(shè)計(jì)和驗(yàn)證。任何公司都可以從ARM公司獲得該Assertions的源文件，不用支付任何版稅或版權(quán)費(fèi)用。

該Assertions提供了對AMBA 3 AXI協(xié)議的權(quán)威表述，從而促進(jìn)了對AXI的采用，并加快了對基于AXI結(jié)構(gòu)IP的設(shè)計(jì)的驗(yàn)證。通過幫助確保協(xié)議的兼容，它們提高了對于AMBA 3 AXI IP即插即用整合性的信心。同時(shí)它們還幫助建立了強(qiáng)大的包括第三方以及內(nèi)部AMBA 3 AXI驗(yàn)證方案在內(nèi)的行業(yè)生態(tài)系統(tǒng)。目前System Verilog Assertions（SVA）和開放式驗(yàn)證庫（OVL）版本均已上市。 
 
AMBA協(xié)議的市場領(lǐng)先地位確保了該技術(shù)的采用者將會(huì)從強(qiáng)大的工具和IP支持產(chǎn)業(yè)生態(tài)系統(tǒng)中獲益。對這一規(guī)范的采用的推動(dòng)不單來自實(shí)現(xiàn)方案不再依賴版權(quán)解決方案，還來自在指定技術(shù)規(guī)范時(shí)的開放式合作模式。AMBA 3 AXI技術(shù)Assertions的發(fā)布將進(jìn)一步提高這一規(guī)范使用者的使用簡易性。

AMBA 3 AXI Assertions可以在以下網(wǎng)站下載：
http://www.arm.com/products/solutions/amba_3_axi_pc.html