(Voltage-Aware的靜態(tài)驗證 )

由于手持設(shè)備和無線產(chǎn)品盛行并且還在不斷地向更小尺寸方向發(fā)展，功率管理已經(jīng)成為一項至關(guān)重要的問題。功率管理技術(shù)的范圍包括從運用時鐘門控和采用多閾值庫，到各種電壓控制技巧，諸如功率門控(power-gating)、保存（retention）、動態(tài)電壓縮放（DVS），以及低vdd待機。而運用了多種電壓控制技術(shù)的設(shè)計方案提出了難度不斷升高的驗證挑戰(zhàn)。驗證復(fù)雜度將隨著設(shè)計方案中各種不同電壓狀態(tài)的數(shù)量增多而升高。而設(shè)計方案需要在從RTL階段到網(wǎng)表（netlist）階段之間隨著設(shè)計進度進行驗證。在設(shè)計方案的每一個階段，都必須對功率實施方案進行驗證，檢測其是否符合功率設(shè)計意圖。哪怕只有一項錯誤也會使設(shè)計處于不確定狀態(tài)而導(dǎo)致整個芯片的故障。功率管理驗證所使用的真正voltage-aware的靜態(tài)檢測器必須能夠識別多電壓及其相互之間依賴關(guān)系。 MVRC就是這樣一款voltage-aware的靜態(tài)檢測器產(chǎn)品，可供工程師快速驗證各種為實現(xiàn)功率管理而運用了多種電壓控制技術(shù)的設(shè)計方案。此外，MVRC還能夠從體系架構(gòu)（architectural）以及結(jié)構(gòu)（structural）的全局視角驗證保護電路是否得到正確實施。

MVRC的主要特色和優(yōu)

• 無需構(gòu)建測試平臺就能快速查找出功率管理方面的錯誤，從而縮短了設(shè)計驗證用

• 能夠?qū)υO(shè)計方案的功率體系架構(gòu)進行驗

• 驗證跨越多個電壓島的控制信號網(wǎng)絡(luò)的完整

• 推導(dǎo)出安全的功率次

• 根據(jù)功率設(shè)計意圖執(zhí)行結(jié)構(gòu)檢測

• 檢測保持單元在邏輯電路方面以及功率連線之中的錯誤

• 自動推導(dǎo)出采用層次化功率管理的設(shè)計方案的功率狀態(tài)表

• 能夠節(jié)省幾個月的功率設(shè)計意圖規(guī)格制定時間

• 設(shè)置時間縮至最短；可以輕松地安裝并用于設(shè)計驗證工作

• 可定制錯誤和警告消息，能輕松地集成到客戶流程中