《電子技術(shù)應用》
您所在的位置:首頁 > 嵌入式技術(shù) > 新品快遞 > Mentor Graphics Catapult 平臺將設(shè)計啟動到驗證收斂的 總體時間縮短 50%

Mentor Graphics Catapult 平臺將設(shè)計啟動到驗證收斂的 總體時間縮短 50%

新版本是實現(xiàn) C++/SystemC signoff 的重大步驟
2016-06-07
關(guān)鍵詞: Mentor Catapult 寄存器 HLS

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

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

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

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

  加快 100% RTL 覆蓋率

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

  實現(xiàn) HLS 標準和生態(tài)系統(tǒng)

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


本站內(nèi)容除特別聲明的原創(chuàng)文章之外,轉(zhuǎn)載內(nèi)容只為傳遞更多信息,并不代表本網(wǎng)站贊同其觀點。轉(zhuǎn)載的所有的文章、圖片、音/視頻文件等資料的版權(quán)歸版權(quán)所有權(quán)人所有。本站采用的非本站原創(chuàng)文章及圖片等內(nèi)容無法一一聯(lián)系確認版權(quán)者。如涉及作品內(nèi)容、版權(quán)和其它問題,請及時通過電子郵件或電話通知我們,以便迅速采取適當措施,避免給雙方造成不必要的經(jīng)濟損失。聯(lián)系電話:010-82306118;郵箱:aet@chinaaet.com。