明導(dǎo)國際 (Mentor Graphics)宣布已在臺積電的參考流程11版中擴大低功率驗證功能的使用，以因應(yīng)現(xiàn)今復(fù)雜集成電路(IC)的低功率功能驗證需求。Mentor低功率驗證工具套件包括Questa功能驗證平臺、0-In CDC(時脈域交叉)和0-In形式工具、以及FormalPro等效檢查(equivalence checking)工具。
臺積電設(shè)計建構(gòu)行銷處處長Suk Lee表示，「由于低功率需求為設(shè)計能否滿足功能規(guī)格帶來了日益增加的壓力，因此功能驗證已成為許多設(shè)計團(tuán)隊的重大挑戰(zhàn)。明導(dǎo)國際持續(xù)展現(xiàn)出對功能驗證技術(shù)的高度承諾，并擁有洞悉未來幾年會需要哪些新功能的絕佳遠(yuǎn)見?！?br>
明導(dǎo)國際總經(jīng)理John Lenyo表示，「低功率需求是絕大部分我們雙方共同客戶的優(yōu)先考量。這就是為什么開發(fā)有效低功率設(shè)計驗證解決方案一直是我們的首要任務(wù)，同時我們也計畫將針對未來的參考流程計畫擴展與臺積電之間的合作。」

低功率功能驗證

電源管理已成為大部分?jǐn)?shù)字芯片和系統(tǒng)的最重要議題?？蓴y式系統(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庫兼容性，以進(jìn)行RTL到PG(RTL-to-PG)比較

· PG網(wǎng)表探索(exploration)的完整原理圖支持

0-In形式工具可實現(xiàn)主動式電源管理控制架構(gòu)的完整驗證，包括：

· 在無聲明條件下，自動確認(rèn)設(shè)計邏輯問題

· 功率控制單元邏輯和功率控制訊號序列的完整驗證

0-In CDC工具可實現(xiàn)低功率設(shè)計中復(fù)雜時脈域交叉的驗證，包括自動確認(rèn)時脈域和同步器、形式和以仿真為基礎(chǔ)的CDC驗證，以及自動亞穩(wěn)態(tài)注入(metastability injection)。

關(guān)于明導(dǎo)國際

明導(dǎo)國際(Mentor Graphics)是電子硬件和軟件設(shè)計方案的市場領(lǐng)導(dǎo)者，可為全球最成功的電子與半導(dǎo)體公司提供產(chǎn)品、咨詢服務(wù)和獲獎支持。該公司成立于1981年，過去12個月的營收約為9.15億美元。公司總部設(shè)于美國奧勒崗州Wilsonville市，若欲得知更多訊息，請瀏覽網(wǎng)站：http://www.mentor.com/。