L'optimisation automatique de PowerPro est la seule solution d'optimisation automatique des RTL basse consommation réellement performante et éprouvée en production disponible sur le marché aujourd'hui. Sur la base de moteurs d'analyse séquentielle approfondis, elle peut trouver le système de synchronisation d'horloge le plus efficace et le contrôle de la mémoire permet d'optimiser la puissance de manière significative, puis d'écrire automatiquement le RTL optimisé en termes de puissance. Il génère également un script pour configurer SLEC-Pro, une solution de vérification d'équivalence logique séquentielle. Elle exécute automatiquement une vérification formelle pour comparer le RTL d'origine des utilisateurs au RTL basse consommation généré automatiquement par PowerPro, réduisant ainsi considérablement les efforts de vérification en cas de changements de faible consommation et améliorant ainsi la productivité des équipes de conception des RTL.
