PowerPro Guided Power Optimization

Durante o estágio inicial da RTL, quando os vetores funcionais estão disponíveis, as redundâncias combinacionais e de microarquitetura do PowerPro ajudam os usuários a identificar, quantificar e corrigir erros de energia. O mecanismo de análise funcional do PowerPro encontra alternâncias redundantes no design que podem levar ao desperdício de energia e sugere correções para bloquear a fonte dessas alternâncias redundantes ou reestruturar a lógica para evitar desperdício de alternâncias.

As primeiras verificações de projeto do PowerPro são verificações independentes de casos de uso baseadas na análise estática do RTL que podem ser realizadas logo no início do ciclo de projeto. Ao executar o Power Lint no RTL, problemas de baixa persistência podem ser detectados e corrigidos antecipadamente. As primeiras verificações de design incluem verificações de cobertura que determinam quanto dos registros de design, memórias, macros, operadores de dados etc. estão bloqueados. As verificações integradas de Clock Gating ou ICG permitem que o projetista de RTL avalie se as células ICG existentes no projeto são redundantes do ponto de vista estrutural ou funcional. Além disso, as verificações de conectividade ajudam os usuários a remover a lógica indesejada que pode estar flutuando ou não sendo usada.

As primeiras verificações de projeto são executadas com extrema rapidez e podem ser usadas para desenvolver diretrizes de codificação de baixo consumo de energia para equipes de design. Eles podem ser facilmente estendidos para regressões e podem ser úteis para descobrir o potencial impacto negativo que as mudanças de RTL podem ter na potência inicial.

A otimização sequencial do PowerPro é baseada no mecanismo de análise sequencial profunda patenteado da Siemens EDA, que realiza análises multiciclos de registros e memórias para encontrar as condições de ativação mais ideais para controle de relógio e controle de memória. A análise sequencial profunda é uma combinação de um mecanismo de análise de observabilidade e um mecanismo de análise de estabilidade. O mecanismo de análise de observabilidade realiza uma análise sequencial profunda em lógica cuja saída não é observável. A análise baseada em estabilidade, no entanto, realiza uma análise sequencial profunda na lógica cuja saída é estável. A análise sequencial profunda percorre vários ciclos para encontrar uma condição de habilitação que possa ser aplicada para bloquear vários registros e desligar a lógica do caminho de dados conduzida por esses registros, gerando ganhos significativos.

As técnicas de otimização sequencial do PowerPro incluem controle de relógio e bloqueio de memória. Informações completas para cada condição de habilitação são fornecidas, incluindo a memória ou cadeia de registros que ela bloqueará junto com sua referência de origem, a expressão de habilitação exata que precisa ser implementada pelo designer RTL, seu impacto em termos de melhoria da eficiência do controle do relógio, redução de potência, penalidade de área e detalhes sobre os sinais que participam da condição de habilitação, como profundidade lógica, profundidade hierárquica, número de sinais, etc.