當(dāng)前位置:首頁 > 嵌入式 > 嵌入式硬件

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ì)?!?

本站聲明: 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點(diǎn),本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請及時(shí)聯(lián)系本站刪除。
換一批
延伸閱讀

9月2日消息,不造車的華為或?qū)⒋呱龈蟮莫?dú)角獸公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關(guān)鍵字: 阿維塔 塞力斯 華為

加利福尼亞州圣克拉拉縣2024年8月30日 /美通社/ -- 數(shù)字化轉(zhuǎn)型技術(shù)解決方案公司Trianz今天宣布,該公司與Amazon Web Services (AWS)簽訂了...

關(guān)鍵字: AWS AN BSP 數(shù)字化

倫敦2024年8月29日 /美通社/ -- 英國汽車技術(shù)公司SODA.Auto推出其旗艦產(chǎn)品SODA V,這是全球首款涵蓋汽車工程師從創(chuàng)意到認(rèn)證的所有需求的工具,可用于創(chuàng)建軟件定義汽車。 SODA V工具的開發(fā)耗時(shí)1.5...

關(guān)鍵字: 汽車 人工智能 智能驅(qū)動(dòng) BSP

北京2024年8月28日 /美通社/ -- 越來越多用戶希望企業(yè)業(yè)務(wù)能7×24不間斷運(yùn)行,同時(shí)企業(yè)卻面臨越來越多業(yè)務(wù)中斷的風(fēng)險(xiǎn),如企業(yè)系統(tǒng)復(fù)雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務(wù)連續(xù)性,提升韌性,成...

關(guān)鍵字: 亞馬遜 解密 控制平面 BSP

8月30日消息,據(jù)媒體報(bào)道,騰訊和網(wǎng)易近期正在縮減他們對日本游戲市場的投資。

關(guān)鍵字: 騰訊 編碼器 CPU

8月28日消息,今天上午,2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)開幕式在貴陽舉行,華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關(guān)鍵字: 華為 12nm EDA 半導(dǎo)體

8月28日消息,在2024中國國際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)上,華為常務(wù)董事、華為云CEO張平安發(fā)表演講稱,數(shù)字世界的話語權(quán)最終是由生態(tài)的繁榮決定的。

關(guān)鍵字: 華為 12nm 手機(jī) 衛(wèi)星通信

要點(diǎn): 有效應(yīng)對環(huán)境變化,經(jīng)營業(yè)績穩(wěn)中有升 落實(shí)提質(zhì)增效舉措,毛利潤率延續(xù)升勢 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務(wù)引領(lǐng)增長 以科技創(chuàng)新為引領(lǐng),提升企業(yè)核心競爭力 堅(jiān)持高質(zhì)量發(fā)展策略,塑強(qiáng)核心競爭優(yōu)勢...

關(guān)鍵字: 通信 BSP 電信運(yùn)營商 數(shù)字經(jīng)濟(jì)

北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺與中國電影電視技術(shù)學(xué)會(huì)聯(lián)合牽頭組建的NVI技術(shù)創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會(huì)上宣布正式成立。 活動(dòng)現(xiàn)場 NVI技術(shù)創(chuàng)新聯(lián)...

關(guān)鍵字: VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會(huì)上,軟通動(dòng)力信息技術(shù)(集團(tuán))股份有限公司(以下簡稱"軟通動(dòng)力")與長三角投資(上海)有限...

關(guān)鍵字: BSP 信息技術(shù)
關(guān)閉
關(guān)閉