L'ottimizzazione automatica di PowerPro è l'unica soluzione di ottimizzazione RTL automatica a bassa potenza veramente capace e comprovata in produzione disponibile oggi sul mercato. Basato su motori di analisi sequenziale approfondita, può trovare il clock gating e il memory gating più efficaci che consentono di ottimizzare in modo significativo la potenza e quindi scrivere automaticamente l'RTL ottimizzato per la potenza. Genera anche uno script per configurare SLEC-Pro, che è una soluzione di controllo sequenziale delle equivalenze logiche, ed esegue automaticamente una verifica formale per confrontare l'RTL originale degli utenti con l'RTL a basso consumo generato automaticamente da PowerPro, riducendo significativamente gli sforzi di verifica per le modifiche a basso consumo e con conseguenti molteplici miglioramenti della produttività per i team di progettazione RTL.
