“PowerPro” automatinis optimizavimas yra vienintelis tikrai pajėgus, gamybos patikrintas automatinis mažos galios RTL optimizavimo sprendimas, kurį šiandien galima įsigyti rinkoje. Remiantis giliai nuoseklios analizės varikliai, ji gali rasti efektyviausias laikrodis gating ir atminties gating leidžia optimizuoti galią žymiai ir tada automatiškai išrašyti galia optimizuotas RTL. Jis taip pat sugeneruoja scenarijų, skirtą nustatyti SLEC-Pro, kuris yra nuoseklus logikos lygiavertiškumo tikrinimo sprendimas ir automatiškai vykdo oficialų patikrinimą, kad palygintų vartotojų originalų RTL su “PowerPro” automatiškai sugeneruotu mažos galios RTL, žymiai sumažindamas tikrinimo pastangas mažos galios pokyčiams ir dėl to RTL dizaino komandoms gali būti daug kartų patobulintas produktyvumas.
