PowerPro Automatic Power Optimization

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.

O mecanismo de gravação RTL de última geração e comprovado em produção do PowerPro grava automaticamente RTL com otimização de potência para suas técnicas de otimização sequencial, controle de relógio e controle de memória. Ele insere as condições de ativação na ramificação “if” do bloco always e adiciona comentários à RTL do usuário para que as habilitações inseridas do PowerPro possam ser facilmente identificadas. Ele também mantém a legibilidade total da RTL, mantendo a indentação do código e da RTL original intocada “como está”. A lógica de ativação implementada automaticamente é armazenada em módulos separados e a nova lista de arquivos com RTL gerada automaticamente está disponível no diretório de trabalho. O mecanismo Write RTL pode ser configurado para gravar RTL com otimização de energia de várias maneiras, configurando suas opções. Os usuários também podem selecionar oportunidades que desejam que a ferramenta implemente automaticamente.

O SLEC-Pro é uma ferramenta de verificação de equivalência lógica sequencial fornecida com a solução de otimização automática do PowerPro. O SLEC-Pro é capaz de verificar a equivalência lógica entre a RTL original do usuário e a RTL de baixa potência gerada automaticamente pelo PowerPro. À medida que o PowerPro encontra oportunidades de otimização de natureza multicíclica, uma ferramenta LEC sequencial é necessária para sua verificação. O usuário não precisa configurar o SLEC-Pro. O PowerPro gera automaticamente um script com toda a configuração necessária que pode ser simplesmente executado para executar o SLEC-Pro e realizar a verificação formal. Não há necessidade de o projetista de RTL investir na verificação formal de RTL de baixa potência otimizada automaticamente.