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

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

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

Questa功能驗(yàn)證平臺支援具功率意識(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庫相容性，以進(jìn)行RTL到PG(RTL-to-PG)比較；PG網(wǎng)表探索(exploration)的完整原理圖支援。

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