ARM發(fā)布AMBA 3 AXI ASSERTIONS，用戶可免費(fèi)獲得源文件

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

該Assertions提供了對AMBA3AXI協(xié)議的權(quán)威表述，從而促進(jìn)了對AXI的采用，并加快了對基于AXI結(jié)構(gòu)IP的設(shè)計(jì)的驗(yàn)證。通過幫助確保協(xié)議的兼容，它們提高了對于AMBA3AXIIP即插即用整合性的信心。同時(shí)它們還幫助建立了強(qiáng)大的包括第三方以及內(nèi)部AMBA3AXI驗(yàn)證方案在內(nèi)的行業(yè)生態(tài)系統(tǒng)。目前VerilogAssertions（SVA）和開放式驗(yàn)證庫（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ā)展來滿足片上系統(tǒng)不斷提升的要求。Assertions的發(fā)布是一個(gè)非常好的方式來保證了對于AMBA規(guī)范的一致的、準(zhǔn)確的解譯?！?BR>
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í)的開放式合作模式。AMBA3AXI技術(shù)Assertions的發(fā)布將進(jìn)一步提高這一規(guī)范使用者的使用簡易性。

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