Optymalizacja sekwencyjna PowerPro opiera się na opatentowanym przez Siemens EDA silniku analizy głębokiej sekwencyjnej, który wykonuje wielocykliwą analizę rejestrów i pamięci w celu znalezienia najbardziej optymalnych warunków umożliwiających pomiar zegara i bramkowania pamięci. Głęboka analiza sekwencyjna to połączenie silnika analizy obserwowalności i silnika analizy stabilności. Silnik analizy obserwowalności przeprowadza głęboką analizę sekwencyjną na logice, której wyniki nie są obserwowalne. Analiza oparta na stabilności przeprowadza jednak głęboką analizę sekwencyjną na logice, której wynik jest stabilny. Głęboka analiza sekwencyjna przechodzi przez wiele cykli, aby znaleźć warunek umożliwiający, który można zastosować do bramki wielu rejestrów i zamknąć logikę ścieżki danych napędzaną przez te rejestry, przynosząc znaczne zyski.

Najnowocześniejszy, sprawdzony w produkcji silnik zapisu RTL PowerPro automatycznie zapisuje zoptymalizowany moc RTL ze względu na techniki sekwencyjnej optymalizacji, zegara i bramkowania pamięci. Wstawia warunki włączenia do gałęzi „if” bloku zawsze i dodaje komentarze do RTL użytkownika, dzięki czemu wstawione wstawienia PowerPro można łatwo zidentyfikować. Zachowuje również pełną czytelność RTL, zachowując wcięcie kodu i nietknięty oryginalny RTL „tak jak jest”. Włącz logikę zaimplementowaną automatycznie jest przechowywana w oddzielnych modułach, a nowa lista plików z automatycznie generowanym RTL jest dostępna w katalogu roboczym. Silnik Write RTL można skonfigurować do zapisu RTL zoptymalizowanego pod kątem mocy na wiele sposobów, konfigurując jego opcje. Użytkownicy mogą również wybierać możliwości, które chcą automatycznie wdrożyć narzędzie.

SLEC-Pro to sekwencyjne narzędzie do sprawdzania równoważności logiki, które jest dostarczane z rozwiązaniem automatycznej optymalizacji PowerPro. Slec-Pro jest w stanie zweryfikować równoważność logiczną między oryginalnym RTL użytkowników a automatycznie generowanym RTL o małej mocy PowerPro. Ponieważ PowerPro znajduje możliwości optymalizacji, które mają charakter wielocykliwy, do jego weryfikacji wymagane jest sekwencyjne narzędzie LEC. Użytkownik nie jest zobowiązany do skonfigurowania Slec-Pro. PowerPro automatycznie generuje skrypt ze wszystkimi wymaganymi ustawieniami, które można po prostu wykonać, aby uruchomić Slec-Pro i przeprowadzić formalną weryfikację. Projektant RTL nie musi inwestować w formalną weryfikację automatycznie zoptymalizowanego RTL o niskiej mocy.