|
明導國際 (Mentor Graphics)宣佈已在台積電的參考流程11版中擴大低功率驗證功能的使用，以因應現今複雜積體電路(IC)的低功率功能驗證需求。Mentor低功率驗證工具套件包括Questa功能驗證平臺、0-In CDC(時脈域交叉)和0-In形式工具、以及FormalProTM等效檢查(equivalence checking)工具。
台積電設計建構行銷處處長Suk Lee表示，“由於低功率需求為設計能否滿足功能規格帶來了日益增加的壓力，因此功能驗證已成為許多設計團隊的重大挑戰。明導國際持續展現出對功能驗證技術的高度承諾，並擁有洞悉未來幾年會需要哪些新功能的絕佳遠見。”
明導國際總經理John Lenyo表示，“低功率需求是絕大部分我們雙方共同客戶的優先考量。這就是為什麼開發有效低功率設計驗證解決方案一直是我們的首要任務，同時我們也計畫將針對未來的參考流程計畫擴展與台積電之間的合作。”
低功率功能驗證
電源管理已 成為大部分數位晶片和系統的最重要議題。可攜式系統必須盡可能延長電池壽命，同時幾乎所有的產品也都必須將熱量產生降至最低。由於晶片必須在任何特定的開 機時間內就能正確運作，因此主動式電源管理已為晶片設計和驗證帶來了新的挑戰。完整的功能驗證解決方案不僅能夠驗證電源管理架構，亦得將電源管理控制系統 涵蓋在內。Questa功能驗證平臺、0-In CDC工具、0-In形式工具和FormalPro工具的結合，可協助使用者解決所有的低功率驗證問題。
Questa功能驗證平臺支援具功率意識(power aware)的RTL模擬和閘級設計，包括：
·支持統一功率格式(UPF) (IEEE P1801)的功率意圖規範
·電源管理架構和控制邏輯的準確建模
·高效能模擬的UPF原生建置
·自動插入聲明(assertion)，以檢查電源管理錯誤
·視覺化和電源管理行為的除錯
FormalPro工具可在整個建置過程中，維持RTL設計的功率意圖，包括：
·RTL至邏輯閘(RTL-to-gate)和邏輯閘至邏輯閘(gate-to-gate)的功率意識等效檢查
·具完整TCL 8.4解譯器的原生UPF語言處理，以取得多重產品UPF相容性和使用者配置
·具功率+接地(PG)網表支持的Liberty 2.5庫相容性，以進行RTL到PG(RTL-to-PG)比較
· PG網表探索(exploration)的完整原理圖支持
0-In形式工具可實現主動式電源管理控制架構的完整驗證，包括：
·在無聲明條件下，自動確認設計邏輯問題
·功率控制單元邏輯和功率控制訊號序列的完整驗證
0-In CDC工具可實現低功率設計中複雜時脈域交叉的驗證，包括自動確認時脈域和同步器、形式和以模擬為基礎的CDC驗證，以及自動亞穩態注入(metastability injection)。
本文來源：電子工程專輯
|
