前進矽谷特別報導(上)
SoC異質IP整合挑戰高 形式驗證工具行情看俏
明導國際(Mentor Graphics)發布新一代Questa形式驗證(Formal Verification)平台。隨著整合多元矽智財(IP)的系統單晶片(SoC)架構趨於複雜，IC設計商正紛紛尋求更優異的驗證方案。由於僅依賴模擬(Simulation)驗證難以精確掌握布局缺失，因此，明導國際遂推出自動化形式驗證平台，以便在晶片進入模擬階段前，先一步改進邏輯電路問題，加速設計時程並提升成功率。
》想看更多內容？快來
【免費加入會員】或
【登入會員】，享受更多閱讀文章的權限喔！
