PowerPro Automatic Power Optimization

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.

El motor de escritura RTL de última generación y comprobado en producción de PowerPro escribe automáticamente el RTL con optimización energética para sus técnicas de optimización secuencial, control de reloj y control de memoria. Inserta las condiciones de activación en la rama «si» del bloque siempre y añade comentarios al RTL del usuario para que las habilitaciones insertadas de PowerPro puedan identificarse fácilmente. También mantiene la legibilidad total de la RTL al mantener la indentación del código y el RTL original intacto «tal cual». La lógica de activación implementada automáticamente se almacena en módulos distintos y la nueva lista de archivos con RTL generado automáticamente está disponible en el directorio de trabajo. El motor de escritura RTL se puede configurar para escribir RTL con optimización energética de muchas maneras configurando sus opciones. Los usuarios también pueden seleccionar las oportunidades que desean que la herramienta implemente automáticamente.

El SLEC-Pro es una herramienta de comprobación de equivalencias lógicas secuenciales que se incluye con la solución de optimización automática de PowerPro. El SLEC-Pro es capaz de comprobar la equivalencia lógica entre el RTL original del usuario y el RTL de bajo consumo generado automáticamente por PowerPro. A medida que PowerPro encuentra oportunidades de optimización que son de naturaleza multiciclo, se necesita una herramienta LEC secuencial para su verificación. El usuario no necesita configurar el SLEC-Pro. PowerPro genera automáticamente un guion con toda la configuración necesaria que puede ejecutarse simplemente para ejecutar SLEC-Pro y realizar una verificación formal. No es necesario que el diseñador de RTL invierta en la verificación formal de un RTL de bajo consumo optimizado automáticamente.