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

該Assertions提供了對(duì)AMBA3AXI協(xié)議的權(quán)威表述，從而促進(jìn)了對(duì)AXI的采用，并加快了對(duì)基于AXI結(jié)構(gòu)IP的設(shè)計(jì)的驗(yàn)證。通過(guò)幫助確保協(xié)議的兼容，它們提高了對(duì)于AMBA3AXIIP即插即用整合性的信心。同時(shí)它們還幫助建立了強(qiáng)大的包括第三方以及內(nèi)部AMBA3AXI驗(yàn)證方案在內(nèi)的行業(yè)生態(tài)系統(tǒng)。目前VerilogAssertions（SVA）和開(kāi)放式驗(yàn)證庫(kù)（OVL）版本均已上市。

NEC電子公司移動(dòng)系統(tǒng)部總經(jīng)理MasakazuYamashina表示：“我們已經(jīng)有多年的在片上通訊行業(yè)的實(shí)際標(biāo)準(zhǔn)AMBA的基礎(chǔ)上設(shè)計(jì)片上系統(tǒng)的成功經(jīng)驗(yàn)。AMBA仍在不斷發(fā)展來(lái)滿(mǎn)足片上系統(tǒng)不斷提升的要求。Assertions的發(fā)布是一個(gè)非常好的方式來(lái)保證了對(duì)于AMBA規(guī)范的一致的、準(zhǔn)確的解譯?！?BR>
AMBA協(xié)議的市場(chǎng)領(lǐng)先地位確保了該技術(shù)的采用者將會(huì)從強(qiáng)大的工具和IP支持產(chǎn)業(yè)生態(tài)系統(tǒng)中獲益。對(duì)這一規(guī)范的采用的推動(dòng)不單來(lái)自實(shí)現(xiàn)方案不再依賴(lài)版權(quán)，還來(lái)自在指定技術(shù)規(guī)范時(shí)的開(kāi)放式合作模式。AMBA3AXI技術(shù)Assertions的發(fā)布將進(jìn)一步提高這一規(guī)范使用者的使用簡(jiǎn)易性。

Synopsys公司驗(yàn)證部高級(jí)市場(chǎng)總監(jiān)SteveSmith表示：“我們共同的客戶(hù)越來(lái)越多的采用基于Assertions的技術(shù)來(lái)提高驗(yàn)證工作的效率和產(chǎn)量。我們相信免費(fèi)獲得定義了AMBA3AXI協(xié)議的Assertions將會(huì)為他們帶來(lái)益處。ARM和Synopsys有著超過(guò)10年的合作經(jīng)驗(yàn)來(lái)驗(yàn)證和優(yōu)化AMBA3AXI的Assertions。這些Assertions結(jié)合了Synopsys的用于AMBA3AXI的DesignWareVerificationIP，提供了完整的協(xié)議驗(yàn)證。此外，它們還支持Synopsys的VCS驗(yàn)證，Pioneer-NTBVerilog測(cè)試工作臺(tái)和Magellan混合正式分析工具，以及Verilog的驗(yàn)證方法論指南?！?BR>
Cadence設(shè)計(jì)系統(tǒng)公司驗(yàn)證部市場(chǎng)總監(jiān)DaveTokic表示：“隨著AMBA3AXI技術(shù)取代AMBA2AHB成為領(lǐng)先的片上通訊結(jié)構(gòu)，ARM公司公開(kāi)AXIAssertions的做法收到了歡迎。AXIAssertions和我們的混合語(yǔ)言Plan-to-Closure方法論結(jié)合將會(huì)降低我們共同的客戶(hù)的驗(yàn)證風(fēng)險(xiǎn)，并進(jìn)一步加快對(duì)AXI技術(shù)的采用。Cadence和ARM在結(jié)構(gòu)IP和驗(yàn)證領(lǐng)域有著長(zhǎng)期的合作關(guān)系，這次Assertions的發(fā)布更加強(qiáng)了這種關(guān)系。”

Averant公司總裁RaminHojati補(bǔ)充道：“我們支持ARM公司發(fā)布AMBA3AXI協(xié)議規(guī)則作為公開(kāi)的開(kāi)放式驗(yàn)證庫(kù)(OVL)和SVAAssertions。我們和ARM合作來(lái)確保AMBA3AXI協(xié)議與正式的驗(yàn)證方法相適應(yīng)，并由此我們?yōu)锳MBA3AXI工具開(kāi)發(fā)的SolidPC提供了一個(gè)按鈕和詳盡的環(huán)境，可以用來(lái)檢驗(yàn)采用AMBA3AXI協(xié)議規(guī)則的設(shè)計(jì)?！?