明導(dǎo)國際 (Mentor Graphics)宣布已在臺積電的參考流程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)工具。
臺積電設(shè)計(jì)建構(gòu)行銷處處長Suk Lee表示，「由于低功率需求為設(shè)計(jì)能否滿足功能規(guī)格帶來了日益增加的壓力，因此功能驗(yàn)證已成為許多設(shè)計(jì)團(tuán)隊(duì)的重大挑戰(zhàn)。明導(dǎo)國際持續(xù)展現(xiàn)出對功能驗(yàn)證技術(shù)的高度承諾，并擁有洞悉未來幾年會需要哪些新功能的絕佳遠(yuǎn)見?！?br>
明導(dǎo)國際總經(jīng)理John Lenyo表示，「低功率需求是絕大部分我們雙方共同客戶的優(yōu)先考量。這就是為什么開發(fā)有效低功率設(shè)計(jì)驗(yàn)證解決方案一直是我們的首要任務(wù)，同時我們也計(jì)畫將針對未來的參考流程計(jì)畫擴(kuò)展與臺積電之間的合作?！?br>
低功率功能驗(yàn)證

電源管理已成為大部分?jǐn)?shù)字芯片和系統(tǒng)的最重要議題?？蓴y式系統(tǒng)必須盡可能延長電池壽命，同時幾乎所有的產(chǎn)品也都必須將熱量產(chǎn)生降至最低。由于芯片必須在任何特定的開機(jī)時間內(nèi)就能正確運(yùn)作，因此主動式電源管理已為芯片設(shè)計(jì)和驗(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è)計(jì)，包括：

· 支持統(tǒng)一功率格式(UPF) (IEEE P1801)的功率意圖規(guī)范

· 電源管理架構(gòu)和控制邏輯的準(zhǔn)確建模

· 高效能仿真的UPF原生建置

· 自動插入聲明(assertion)，以檢查電源管理錯誤

· 可視化和電源管理行為的除錯

FormalPro工具可在整個建置過程中，維持RTL設(shè)計(jì)的功率意圖，包括：

· 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è)計(jì)邏輯問題

· 功率控制單元邏輯和功率控制訊號序列的完整驗(yàn)證

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

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

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