PowerPro Automatic Power Optimization

A otimização sequencial do PowerPro baseia-se no motor de análise sequencial profunda patenteado da Siemens EDA que realiza análises multiciclo para registos e memórias para encontrar as condições de habilitação mais ideais para o clock gating e memory gating. A análise sequencial profunda é uma combinação de um motor de análise de observabilidade e um motor de análise de estabilidade. O motor de análise de observabilidade realiza uma análise sequencial profunda na lógica cuja saída não é observável. A análise baseada na estabilidade, no entanto, realiza uma análise sequencial profunda na lógica cuja saída é estável. A análise sequencial profunda atravessa vários ciclos para encontrar a condição de habilitação que pode ser aplicada para portar vários registos e desligar a lógica do caminho de dados conduzida por esses registos, produzindo ganhos significativos.

O motor de escrita RTL de última geração e comprovado em produção da PowerPro grava automaticamente o RTL com potência otimizada para as suas técnicas de otimização sequencial, clock gating e memory gating. Insere condições de activação no ramo “se” do bloco sempre e adiciona comentários ao RTL do utilizador para que o PowerPro inserido habilita possa ser facilmente identificado. Também mantém a legibilidade total do RTL, mantendo o recuo do código e o RTL original intocado “como está”. A lógica activada implementada automaticamente é armazenada em módulos separados e a nova lista de ficheiros com RTL gerada automaticamente está disponível no directório de trabalho. O motor Write RTL pode ser configurado para escrever RTL com otimização de energia de várias maneiras, configurando as suas opções. Os utilizadores também podem selecionar oportunidades que desejam que a ferramenta implemente automaticamente.

SLEC-Pro é uma ferramenta de verificação de equivalência lógica sequencial que é fornecida com a solução de otimização automática do PowerPro. O SLEC-Pro é capaz de verificar a equivalência lógica entre o RTL original dos utilizadores e o RTL de baixo consumo gerado automaticamente pelo PowerPro. À medida que o PowerPro encontra oportunidades de otimização de natureza multi-ciclo, é necessária uma ferramenta LEC sequencial para a sua verificação. O utilizador não é obrigado a configurar o SLEC-Pro. O PowerPro gera automaticamente um script com toda a configuração necessária que pode simplesmente ser executada para executar o SLEC-Pro e realizar a verificação formal. Não há necessidade de o designer de RTL investir na verificação formal de RTL de baixa potência otimizado automaticamente.