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.
Techniki optymalizacji sekwencyjnej PowerPro obejmują bramowanie zegara i bramowanie pamięci. Dostarczane są pełne informacje dotyczące każdego warunku włączenia, w tym pamięć lub łańcuch rejestrów, które zostanie przekazany wraz z odniesieniem do źródła, dokładnym wyrażeniem enable, które musi zostać zaimplementowane przez projektanta RTL, jego wpływ na poprawę wydajności zegara, redukcję mocy, kara obszarową i szczegóły dotyczące sygnałów uczestniczących w warunku włączenia, takich jak ich głębokość logiczna, głębokość hierarchiczna, liczba sygnałów itp.
