La optimización secuencial de PowerPro se basa en el motor de análisis secuencial profundo patentado por Siemens EDA, que realiza análisis multiciclos de registros y memorias para encontrar las condiciones de activación más óptimas para la regulación del reloj y la regulación de la memoria. El análisis secuencial profundo es una combinación de un motor de análisis de observabilidad y un motor de análisis de estabilidad. El motor de análisis de observabilidad realiza un análisis secuencial profundo de la lógica cuyo resultado no es observable. Sin embargo, el análisis basado en la estabilidad realiza un análisis secuencial profundo de la lógica cuyo resultado es estable. El análisis secuencial profundo recorre varios ciclos para encontrar la condición de habilitación que pueda aplicarse para cerrar varios registros y cerrar la lógica de la ruta de datos impulsada por esos registros, lo que arroja beneficios significativos.
Las técnicas de optimización secuencial de PowerPro incluyen la regulación del reloj y la regulación de la memoria. Se proporciona información completa de cada condición de activación, incluida la memoria o la cadena de registros a la que accederá junto con su referencia fuente, la expresión de habilitación exacta que debe implementar el diseñador de RTL, su impacto en términos de mejora de la eficiencia de la regulación del reloj, reducción de potencia, penalización de área y detalles sobre las señales que participan en la condición de activación, como su profundidad lógica, profundidad jerárquica, número de señales, etc.
