當(dāng)前位置:首頁(yè) > 工業(yè)控制 > 電子設(shè)計(jì)自動(dòng)化
[導(dǎo)讀]Mentor Graphics 公司(納斯達(dá)克代碼:MENT)今天發(fā)布了最新版的 Catapult® 平臺(tái)。與傳統(tǒng)手工編碼的寄存器傳輸級(jí) (RTL) 相比,該平臺(tái)將硬件設(shè)計(jì)的時(shí)間從設(shè)計(jì)啟動(dòng)到 RTL 驗(yàn)證收斂縮短了 50%。

Mentor Graphics 公司(納斯達(dá)克代碼:MENT)今天發(fā)布了最新版的 Catapult® 平臺(tái)。與傳統(tǒng)手工編碼的寄存器傳輸級(jí) (RTL) 相比,該平臺(tái)將硬件設(shè)計(jì)的時(shí)間從設(shè)計(jì)啟動(dòng)到 RTL 驗(yàn)證收斂縮短了 50%。雖然現(xiàn)有的高級(jí)綜合 (HLS) 方法可將設(shè)計(jì)和驗(yàn)證生產(chǎn)率提高多達(dá) 10 倍,但是完成最終 RTL 驗(yàn)證所需的時(shí)間還是可能會(huì)抵消這些優(yōu)勢(shì)。而此次發(fā)布的 Catapult 平臺(tái)結(jié)合 HLS 與成熟可靠的驗(yàn)證方法以及新工具,其中,新工具能夠在 C++/SystemC 級(jí)驗(yàn)證收斂(實(shí)現(xiàn) C++/SystemC signoff 的重大步驟)的基礎(chǔ)上實(shí)現(xiàn)快速且可預(yù)測(cè) RTL 驗(yàn)證收斂。

NVIDIA® 在其最近的案例研究報(bào)告《工作需要更智慧而非更努力:NVIDIA 通過(guò)高級(jí)綜合縮小設(shè)計(jì)復(fù)雜性帶來(lái)的差距》中,公布了其在 HLS 設(shè)計(jì)和驗(yàn)證上取得的成功。“通過(guò)采用Mentor Graphics Catapult 的 C++ 高級(jí)綜合 (HLS) 流程,NVIDIA 能夠?qū)⒋a簡(jiǎn)化 5 倍,將回歸測(cè)試所需的 CPU 數(shù)量減少 1,000 倍,并且運(yùn)行多達(dá) 1,000 倍的更多測(cè)試,從而為他們的設(shè)計(jì)獲得更高的功能覆蓋率。同時(shí) HLS 縮短了 50% 的設(shè)計(jì)時(shí)間……”該報(bào)告作者 Frans Sijstermans 和 JC Li 如是寫(xiě)道。“視頻團(tuán)隊(duì)對(duì) HLS 應(yīng)用的成功使得全公司范圍內(nèi)的所有新 NVIDIA 設(shè)計(jì)均采用 HLS。所以,當(dāng)需要更加智慧而不是更加努力地工作時(shí),HLS 是一個(gè)不錯(cuò)的選擇。”

業(yè)內(nèi)第一的 HLS (C++/SystemC) 形式屬性檢查器

該最新版本的 Catapult 引入了業(yè)內(nèi)第一并基于 Catapult 形式的 C 屬性檢查器 (CPC) 工具。該工具可在綜合之前自動(dòng)尋找程序錯(cuò)誤,可節(jié)省數(shù)日或數(shù)周的驗(yàn)證調(diào)試時(shí)間。CPC 在用戶的 HLS C++/SystemC 模型 (HLSM) 中使用形式分析來(lái)自動(dòng)識(shí)別并在形式上驗(yàn)證難以發(fā)現(xiàn)的問(wèn)題,如內(nèi)存未初始化、0 做除數(shù)以及數(shù)組越界錯(cuò)誤等。除自動(dòng)檢查之外,CPC 還可在形式上驗(yàn)證用戶寫(xiě)入的斷言和覆蓋點(diǎn),為可提供 HLSM 綜合驗(yàn)證的動(dòng)態(tài)仿真進(jìn)行補(bǔ)充。

加快 100% RTL 覆蓋率

最新版本的 Catapult 還通過(guò)消除 RTL 冗余、添加新的 RTL 測(cè)試管腳并將 HLSM 中的用戶斷言和覆蓋點(diǎn)綜合為 SVA(SystemVerilog 斷言),實(shí)現(xiàn)更簡(jiǎn)便、快捷以及預(yù)測(cè)性更強(qiáng)的 RTL 驗(yàn)證收斂。為更快地實(shí)現(xiàn)功能覆蓋率收斂,Catapult 還可生成完整 RTL 測(cè)試環(huán)境,與原始 HLSM 相比,在該測(cè)試環(huán)境中可重復(fù)使用用戶的 C++/SystemC 測(cè)試平臺(tái),從而自動(dòng)驗(yàn)證仿真結(jié)果是否相等。為更快獲得 100% RTL 結(jié)構(gòu)/代碼覆蓋率,Catapult 與 Questa® CoverCheck 工具形成無(wú)縫協(xié)作流程,快速尋找可安全忽略的無(wú)法訪問(wèn)的代碼并為之自動(dòng)生成棄權(quán)。而對(duì)于可訪問(wèn)的代碼,流程可讓用戶快速了解生成的波形中,什么是 HLSM 所需要的,從而快速清理代碼中存在的隱患。此方法可在 HLSM 驗(yàn)證之后數(shù)天,讓驗(yàn)證達(dá)到 100% RTL 覆蓋收斂。

實(shí)現(xiàn) HLS 標(biāo)準(zhǔn)和生態(tài)系統(tǒng)

此次發(fā)布的 Catapult HLS 通過(guò)全力支持新 Accellera SystemC 可綜合子集,推進(jìn)了 HLSM 語(yǔ)言的標(biāo)準(zhǔn)化。除此之外,Catapult 還支持任意長(zhǎng)度的算法 C (AC) 數(shù)據(jù)類型、精確位整數(shù)以及定點(diǎn)數(shù)據(jù)類型,提供形式和動(dòng)態(tài)工具所需的靜態(tài)位精度和快速仿真時(shí)間。如今,Mentor 已使 AC 數(shù)據(jù)類型開(kāi)源并與 SystemC 綜合標(biāo)準(zhǔn) 100% 兼容。同時(shí),Mentor 會(huì)將它們提供給 Accellera 以實(shí)現(xiàn)標(biāo)準(zhǔn)化。

關(guān)于 C++/SystemC signoff 的 HLS 愿景

“隨著以更少資源實(shí)現(xiàn)更多功能的壓力不斷增大,設(shè)計(jì)流程變更以求大幅提高生產(chǎn)率已勢(shì)在必行,”Mentor Graphics Calypto 系統(tǒng)部總經(jīng)理 Badru Agarwala 說(shuō)道,“我們的愿景是完成 HLS 生態(tài)系統(tǒng),為 RTL 設(shè)計(jì)人員提供他們熟悉的工具和方法,讓其實(shí)現(xiàn) SystemC/C++ signoff。而獲得 100% RTL 覆蓋率、HLS 標(biāo)準(zhǔn)以及業(yè)內(nèi)第一的 C++/SystemC 形式屬性工具是達(dá)成這一愿景的主要步驟。”

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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