明導國際(Mentor Graphics)宣布已在台積電參考流程十一版中擴大低功率驗證功能的使用，以因應現今複雜積體電路(IC)的低功率功能驗證需求。其低功率驗證工具套件包括Questa功能驗證平台、0-In時脈域交叉(CDC)和0-In形式工具、以及FormalPro等效檢查(Equivalence Checking)工具。
明導國際(Mentor Graphics)宣布已在台積電參考流程十一版中擴大低功率驗證功能的使用，以因應現今複雜積體電路(IC)的低功率功能驗證需求。其低功率驗證工具套件包括Questa功能驗證平台、0-In時脈域交叉(CDC)和0-In形式工具、以及FormalPro等效檢查(Equivalence Checking)工具。
明導國際總經理John Lenyo表示，低功率需求是絕大部分客戶的優先考量。開發有效低功率設計驗證解決方案一直是該公司的首要任務，同時該公司也計畫將針對未來的參考流程計畫擴展與台積電之間的合作。
電源管理已成為大部分數位晶片和系統的最重要議題。可攜式系統必須盡可能延長電池壽命，同時幾乎所有的產品也都必須將熱量產生降至最低。由於晶片必須在任何特定的開機時間內就能正確運作，因此主動式電源管理已為晶片設計和驗證帶來了新的挑戰。完整的功能驗證解決方案不僅能夠驗證電源管理架構，亦得將電源管理控制系統涵蓋在內。Questa功能驗證平台、0-In CDC工具、0-In形式工具和FormalPro工具的結合，可協助使用者解決所有的低功率驗證問題。
Questa功能驗證平台支援具功率意識(Power Aware)的暫存器傳輸級(RTL)模擬和閘級設計，包括支援統一功率格式(UPF)的功率意圖規範、電源管理架構和控制邏輯的準確建模、較高效能模擬的UPF原生建置、自動插入聲明(Assertion)，以檢查電源管理錯誤及視覺化和電源管理行為的除錯。
明導國際網址：www.mentor.com