明導(dǎo)國際(Mentor Graphics)宣布已在臺積電(TSMC)的參考流程11版中擴大低功率驗證功能的使用，以因應(yīng)現(xiàn)今復(fù)雜積體電路(IC)的低功率功能驗證需求。Mentor低功率驗證工具套件包括 Questa 功能驗證平臺、0-In CDC (時脈域交叉)和 0-In形式工具、以及 FormalPro 等效檢查(equivalence checking)工具。

明導(dǎo)國際總經(jīng)理John Lenyo表示：“低功率需求是絕大部分我們雙方共同客戶的優(yōu)先考量。這就是為什么開發(fā)有效低功率設(shè)計驗證解決方案一直是我們的首要任務(wù)，同時我們也計劃將針對未來的參考流程計劃擴展與臺積電之間的合作。”電源管理已成為大部分數(shù)位晶片和系統(tǒng)的最重要議題；可攜式系統(tǒng)必須盡可能延長電池壽命，同時幾乎所有的產(chǎn)品也都必須將熱量產(chǎn)生降至最低。

由于晶片必須在任何特定的開機時間內(nèi)就能正確運作，因此主動式電源管理已為晶片設(shè)計和驗證帶來了新的挑戰(zhàn)。完整的功能驗證解決方案不僅能夠驗證電源管理架構(gòu)，亦得將電源管理控制系統(tǒng)涵蓋在內(nèi)。Questa功能驗證平臺、0-In CDC工具、0-In形式工具和FormalPro工具的結(jié)合，可協(xié)助使用者解決所有的低功率驗證問題。

Questa功能驗證平臺支援具功率意識(power aware)的RTL模擬和閘級設(shè)計，包括：支援統(tǒng)一功率格式(UPF，IEEE P1801)的功率意圖規(guī)范；電源管理架構(gòu)和控制邏輯的準(zhǔn)確建模；高效能模擬的UPF原生建置；自動插入聲明(assertion)，以檢查電源管理錯誤；視覺化和電源管理行為的除錯。

FormalPro工具可在整個建置過程中，維持RTL設(shè)計的功率意圖，包括：RTL至邏輯閘(RTL-to-gate)和邏輯閘至邏輯閘(gate-to-gate)的功率意識等效檢查；具完整TCL 8.4解譯器的原生UPF語言處理，以取得多重產(chǎn)品UPF相容性和使用者配置；具功率+接地(PG)網(wǎng)表支援的Liberty 2.5庫相容性，以進行RTL到PG(RTL-to-PG)比較；PG網(wǎng)表探索(exploration)的完整原理圖支援。

0-In形式工具可實現(xiàn)主動式電源管理控制架構(gòu)的完整驗證，包括：在無聲明條件下，自動確認設(shè)計邏輯問題；功率控制單元邏輯和功率控制訊號序列的完整驗證。0-In CDC工具可實現(xiàn)低功率設(shè)計中復(fù)雜時脈域交叉的驗證，包括自動確認時脈域和同步器、形式和以模擬為基礎(chǔ)的CDC驗證，以及自動亞穩(wěn)態(tài)注入(metastability injection)。