PowerPros sekventiella optimering är baserad på Siemens EDAs patenterade djupa sekventiella analysmotor som utför flercykelanalys för register och minnen för att hitta de mest optimala aktiveringsförhållandena för klockgating och minnesportar. Djup sekventiell analys är en kombination av en observerbarhetsanalysmotor och en stabilitetsanalysmotor. Motorn för observerbarhetsanalys utför djup sekventiell analys på logik vars utdata inte kan observeras. Stabilitetsbaserad analys utför dock djup sekventiell analys på logik vars utdata är stabil. Djup sekventiell analys korsar flera cykler för att hitta aktiveringsvillkor som kan tillämpas på att grinda flera register och stänga av datapathlogiken som drivs av dessa register, vilket ger betydande vinster.

PowerPros toppmoderna, produktionsbeprövade RTL-skrivmotor skriver automatiskt ut kraftoptimerad RTL för sina sekventiella optimeringstekniker, klockgating och minnesportar. Den infogar aktiveringsvillkor i ”if” -grenen i alltid blocket och lägger till kommentarer till användarens RTL så att PowerPro-infogade aktiveringar enkelt kan identifieras. Det upprätthåller också full läsbarhet av RTL genom att hålla indragningen av koden och den orörda ursprungliga RTL ”som den är”. Aktiveringslogik som implementeras automatiskt lagras i separata moduler och den nya fillistan med automatiskt genererad RTL finns tillgänglig i arbetskatalogen. Write RTL-motorn kan konfigureras för att skriva energioptimerad RTL på många sätt genom att konfigurera dess alternativ. Användare kan också välja möjligheter som de vill att verktyget ska implementera automatiskt.

Slec-Pro är ett sekventiellt logikekvivalenskontrollverktyg som levereras med PowerPros automatiska optimeringslösning. SLEC-Pro kan verifiera den logiska ekvivalensen mellan användarens ursprungliga RTL och PowerPros automatiskt genererade RTL med låg effekt. Eftersom PowerPro hittar optimeringsmöjligheter som är av flera cykler, krävs ett sekventiellt LEC-verktyg för dess verifiering. Användaren är inte skyldig att installera Slec-Pro. PowerPro genererar automatiskt ett skript med alla nödvändiga inställningar som enkelt kan köras för att köra SLEC-Pro och utföra formell verifiering. Det finns inget behov av RTL-designer att investera i formell verifiering av automatiskt optimerad RTL med låg effekt.