PowerPro Automatic Power Optimization

La optimización secuencial de PowerPro se basa en el motor de análisis secuencial profundo patentado de Siemens EDA que realiza análisis multiciclo para registros y memorias para encontrar las condiciones de activación más óptimas para la compuerta del reloj y la compuerta de 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 en lógica cuya salida no es observable. Sin embargo, el análisis basado en la estabilidad realiza un análisis secuencial profundo en la lógica cuya salida es estable. El análisis secuencial profundo atraviesa múltiples ciclos para encontrar condiciones habilitantes que se pueden aplicar para computar múltiples registros y apagar la lógica de ruta de datos impulsada por esos registros, lo que genera ganancias significativas.

El motor de escritura RTL de última generación y producción probada de PowerPro escribe automáticamente RTL optimizado para energía por sus técnicas de optimización secuencial, bloqueo de reloj y bloqueo de memoria. Inserta condiciones de activación en la rama “si” del bloque always y agrega comentarios al RTL del usuario para que las activaciones de PowerPro insertadas puedan identificarse fácilmente. También mantiene la legibilidad completa del RTL al mantener la indentación del código y el RTL original intacto “tal cual”. Habilitar la lógica implementada automáticamente se almacena en módulos separados y la nueva lista de archivos con RTL generada automáticamente está disponible en el directorio de trabajo. El motor Write RTL se puede configurar para escribir RTL de energía optimizada de muchas maneras mediante la configuración de sus opciones. Los usuarios también pueden seleccionar las oportunidades que desean que la herramienta implemente automáticamente.

SLEC-Pro es una herramienta secuencial de comprobación de equivalencia lógica que se suministra con la solución de optimización automática de PowerPro. SLEC-Pro puede verificar la equivalencia lógica entre el RTL original de los usuarios y el RTL de bajo consumo generado automáticamente por PowerPro. A medida que PowerPro encuentra oportunidades de optimización de múltiples ciclos por naturaleza, se requiere una herramienta LEC secuencial para su verificación. El usuario no es necesario para configurar SLEC-Pro. PowerPro genera automáticamente un script con todas las configuraciones necesarias que se pueden ejecutar 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 RTL de bajo consumo optimizado automáticamente.