Version 5.0 of the PowerPro Platform improves turnaround time by 2X compared to its predecessor and includes new usability features such as advanced reset-logic insertion, bottom-up flow support, a stronger sequential analysis engine for PowerPro MG (Memory Gating), and the ability to read the Fast Signal Database (FSDB), which eliminates the need for large Value Change Dump (VCD) files. In addition, each PowerPro module can run in a fully automatic or a manual mode, giving users the flexibility to select the use mode most appropriate for each section of their design. The manual use mode graphically illustrates the power reducing RTL modifications that can be made, but leaves it up to the user to decide how best to implement them.
PowerPro Analyzer provides new RTL power analysis capabilities and complete visualization of PowerPro CG and PowerPro MG optimizations, allowing users to view power optimizations in the context of RTL source code, schematic display, sortable reports (ASCII, HTML, CSV, XML), and design hierarchy. PowerPro Analyzer is used in the PowerAdviser flow to provide the design and power information that designers can use to manually optimize their design.
SLEC Pro comprehensively verifies the power optimized RTL generated by PowerPro. SLEC Pro is a formal, functional sequential logic equivalence checker that ensures functional equivalence between the original RTL design and the corresponding power optimized RTL design for all possible input sequences.