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

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

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

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

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

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

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

  加快 100% RTL 覆蓋率

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

  實現 HLS 標準和生態系統

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


本站內容除特別聲明的原創文章之外,轉載內容只為傳遞更多信息,并不代表本網站贊同其觀點。轉載的所有的文章、圖片、音/視頻文件等資料的版權歸版權所有權人所有。本站采用的非本站原創文章及圖片等內容無法一一聯系確認版權者。如涉及作品內容、版權和其它問題,請及時通過電子郵件或電話通知我們,以便迅速采取適當措施,避免給雙方造成不必要的經濟損失。聯系電話:010-82306118;郵箱:aet@chinaaet.com。
主站蜘蛛池模板: 日韩av片无码一区二区三区不卡| 美女扒开胸罩让男生吃乳| 女人18毛片水真多免费播放| 国产AV无码专区亚洲AV | 国产午夜鲁丝片AV无码免费| 99re5在线精品视频热线| 新梅瓶1一5集在线观看| 亚洲av无码专区在线厂| 狠狠躁夜夜躁av网站中文字幕| 国产乱来乱子视频| 男女抽搐一进一出无遮挡| 奇米影视奇米四色888av| 久久久久无码精品国产不卡| 精品久久久久久无码中文野结衣| 国产欧美另类久久精品蜜芽| japanese酒醉侵犯| 欧美三级电影院| 免费无码AV一区二区三区| 视频在线观看一区二区三区| 国产精品国产香蕉在线观看网| 一个人晚上睡不着看b站大全| 日本熟妇色熟妇在线视频播放| 亚洲国产精品成人久久久| 痴汉の电梯在线播放| 国产一区二区三区在线电影| 亚洲欧美7777| 在线播放日本爽快片| 中国黄色a级片| 日本精品在线观看视频| 亚洲免费综合色在线视频| 浮力影院第一页 | 国产精欧美一区二区三区| 一级一级女人真片| 日本va欧美va欧美va精品| 亚洲av片不卡无码久久| 欧美色吧视频在线观看| 免费jjzz在在线播放国产| 免费福利在线观看| 国产高清在线精品一区二区三区 | 太粗太深了用力点视频| 中文在线第一页|