RTL級功耗優化平臺PowerPro

作為業界主流的RTL優化工具，PowerPro作為SoC低功耗優化平臺已經被眾多客戶所采用?；跁r序分析專利技術，PowerPro對整個RTL設計進行全面的功耗分析和優化。PowerPro不僅可以跨時鐘域進行功耗優化，而且可以跨越功能邊界進行功耗的優化。與其它工具不同，PowerPro的功耗優化并不基于設計代碼中固定的電路結構能夠跨越多級寄存器實現電路功能的分析，還可以對設計中的狀態機功能進行全面的分析。通過這些分析，PowerPro找出最優的邏輯來關閉電路中冗余的訪問。PowerPro主要用于SoC中的組合/時序邏輯，存儲器和處理器的功耗優化。奧

獨特的時序分析技術

PowerPro采用Mentor公司獨特的時序分析專利技術對電路進行全面分析和優化，產生高質量的優化結果。相對于手動方式的RTL優化，PowerPro高效，準確?？?/span>

最新的邏輯綜合預估引擎

PowerPro工具中內嵌有最新的RTL邏輯綜合預估引擎，能夠準確的對功耗(動態功耗和靜態功耗)進行預估和分析。協助RTL開發者在設計前期對功耗和性能做出最佳的選擇。

自動產生優化的RTL代碼

PowerPro能夠自動地確認時序門控邏輯并完成優化邏輯的自動插入。迅速高效地實現動態功耗和靜態功耗的最大節省。思

全面地形式驗證

PowerPro內置高級的SLEC形式驗證引擎，確保優化前后的RTL設計在功能上的一致性。同時，由于PowerPro能夠在設計邊界上保持周期準確(cycle-accurate)的電路行為，所以可以采用仿真回歸的方式實現PowerPro優化結果的驗證。

支持多種開發流程

作為主流的RTL低功耗優化工具，PowerPro已經被眾多IC設計廠商在他們的SoC產品用于功耗的優化。同時PowerPro提供多種特性，這些特性對驗證流程和實現流程都提供了友好的支持。

-  ECO流程

-  CDC同步器的自動識別

-  多時鐘域中復位邏輯的自動插入

-  為滿足客戶LINT規則，對優化的RTL設計進行定制產生

-  支持top-down/bottom-up的優化流程