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

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