Mentor在臺(tái)積電參考流程11版擴(kuò)充低功率驗(yàn)證功能
明導(dǎo)國(guó)際總經(jīng)理John Lenyo表示：“低功率需求是絕大部分我們雙方共同客戶的優(yōu)先考量。這就是為什么開發(fā)有效低功率設(shè)計(jì)驗(yàn)證解決方案一直是我們的首要任務(wù)，同時(shí)我們也計(jì)劃將針對(duì)未來(lái)的參考流程計(jì)劃擴(kuò)展與臺(tái)積電之間的合作?！?strong>電源管理已成為大部分?jǐn)?shù)位晶片和系統(tǒng)的最重要議題；可攜式系統(tǒng)必須盡可能延長(zhǎng)電池壽命，同時(shí)幾乎所有的產(chǎn)品也都必須將熱量產(chǎn)生降至最低。
由于晶片必須在任何特定的開機(jī)時(shí)間內(nèi)就能正確運(yùn)作，因此主動(dòng)式電源管理已為晶片設(shè)計(jì)和驗(yàn)證帶來(lái)了新的挑戰(zhàn)。完整的功能驗(yàn)證解決方案不僅能夠驗(yàn)證電源管理架構(gòu)，亦得將電源管理控制系統(tǒng)涵蓋在內(nèi)。Questa功能驗(yàn)證平臺(tái)、0-In CDC工具、0-In形式工具和FormalPro工具的結(jié)合，可協(xié)助使用者解決所有的低功率驗(yàn)證問題。
Questa功能驗(yàn)證平臺(tái)支援具功率意識(shí)(power aware)的RTL模擬和閘級(jí)設(shè)計(jì)，包括：支援統(tǒng)一功率格式(UPF，IEEE P1801)的功率意圖規(guī)范；電源管理架構(gòu)和控制邏輯的準(zhǔn)確建模；高效能模擬的UPF原生建置；自動(dòng)插入聲明(assertion)，以檢查電源管理錯(cuò)誤；視覺化和電源管理行為的除錯(cuò)。
FormalPro工具可在整個(gè)建置過程中，維持RTL設(shè)計(jì)的功率意圖，包括：RTL至邏輯閘(RTL-to-gate)和邏輯閘至邏輯閘(gate-to-gate)的功率意識(shí)等效檢查；具完整TCL 8.4解譯器的原生UPF語(yǔ)言處理，以取得多重產(chǎn)品UPF相容性和使用者配置；具功率+接地(PG)網(wǎng)表支援的Liberty 2.5庫(kù)相容性，以進(jìn)行RTL到PG(RTL-to-PG)比較；PG網(wǎng)表探索(exploration)的完整原理圖支援。
0-In形式工具可實(shí)現(xiàn)主動(dòng)式電源管理控制架構(gòu)的完整驗(yàn)證，包括：在無(wú)聲明條件下，自動(dòng)確認(rèn)設(shè)計(jì)邏輯問題；功率控制單元邏輯和功率控制訊號(hào)序列的完整驗(yàn)證。0-In CDC工具可實(shí)現(xiàn)低功率設(shè)計(jì)中復(fù)雜時(shí)脈域交叉的驗(yàn)證，包括自動(dòng)確認(rèn)時(shí)脈域和同步器、形式和以模擬為基礎(chǔ)的CDC驗(yàn)證，以及自動(dòng)亞穩(wěn)態(tài)注入(metastability injection)。
下載文檔
