SoC異質IP整合挑戰高 形式驗證工具行情看俏 - 市場話題 - 新電子科技雜誌 Micro-electronics


熱門關鍵字:電源模組 | SiC | 機器視覺 | GaN | 5G

訂閱電子報

立刻輸入Email,獲取最新的資訊:


收藏功能:
分享報新知:
其他功能:
前進矽谷特別報導(上)

SoC異質IP整合挑戰高 形式驗證工具行情看俏

文‧黃耀瑋 發布日期:2012/11/11 關鍵字:形式驗證Questa明導國際Mentor GraphicsFormal Verification UCDBRTLClock-domain CrossingCoverCheckCandence

明導國際(Mentor Graphics)發布新一代Questa形式驗證(Formal Verification)平台。隨著整合多元矽智財(IP)的系統單晶片(SoC)架構趨於複雜,IC設計商正紛紛尋求更優異的驗證方案。由於僅依賴模擬(Simulation)驗證難以精確掌握布局缺失,因此,明導國際遂推出自動化形式驗證平台,以便在晶片進入模擬階段前,先一步改進邏輯電路問題,加速設計時程並提升成功率。

明導國際設計驗證科技部門首席科學家Harry Foster提到,去年明導國際形式驗證方案市占高達51%,足見其技術深受業界肯定。
Foster分析,業界已大量採用的模擬驗證方案,雖具有布建容易,且能快速進行晶片效能及訊號檢測的效益,但卻無法完全斷定數位電路設計是否出問題;尤其愈來愈多SoC整合多元IP、並快步邁向多核心架構,一旦發生錯誤往往需要耗費許多時間回頭修改,導致產品上市遞延。  

也因此,模擬搭配形式驗證的方案正在市場上快步崛起,預估未來幾年此一混搭驗證模式將具有龐大的市場發展潛力。Foster坦言,2007?2011年業界導入形式驗證的年複合成長率(CAGR)高達53%,包括明導國際、益華電腦(Cadence)等電子設計自動化(EDA)工具商均紛紛擴大布局。  

》想看更多內容?快來【免費加入會員】【登入會員】,享受更多閱讀文章的權限喔!
研討會專區
熱門文章