PowerPro Automatic Power Optimization

De sequentiële optimalisatie van PowerPro is gebaseerd op de gepatenteerde engine voor diepe sequentiële analyse van Siemens EDA die meerdere cycli analyseert voor registers en geheugens om de meest optimale omstandigheden te vinden voor clock gating en memory gating. Diepe sequentiële analyse is een combinatie van een observabiliteitsanalyse-engine en een stabiliteitsanalyse-engine. De observabiliteitsanalyse-engine voert diepgaande sequentiële analyses uit op logica waarvan de output niet waarneembaar is. Bij een op stabiliteit gebaseerde analyse wordt echter een diepgaande sequentiële analyse uitgevoerd op basis van logica waarvan de output stabiel is. Diepgaande sequentiële analyse doorloopt meerdere cycli om een voorwaarde te vinden die kan worden toegepast om meerdere registers te poorten en de datapadlogica uit te schakelen die door die registers wordt aangestuurd, wat aanzienlijke winsten oplevert.

De ultramoderne RTL-schrijfmachine van PowerPro, die zich in de productie heeft bewezen, schrijft automatisch RTL uit voor de technieken voor sequentiële optimalisatie, clock gating en memory gating. Het voegt activeringsvoorwaarden in de „if” -tak van het always-blok in en voegt opmerkingen toe aan de RTL van de gebruiker, zodat de ingevoegde PowerPro-functies gemakkelijk kunnen worden geïdentificeerd. Het zorgt ook voor volledige leesbaarheid van de RTL door de inspringing van de code en de originele RTL onaangeroerd te laten „zoals het is”. Activeringslogica die automatisch wordt geïmplementeerd, wordt opgeslagen in afzonderlijke modules en de nieuwe bestandslijst met automatisch gegenereerde RTL is beschikbaar in de werkmap. De Write RTL-engine kan op vele manieren worden geconfigureerd om RTL te schrijven die geoptimaliseerd is voor vermogen door de opties te configureren. Gebruikers kunnen ook opties selecteren die ze met de tool automatisch willen implementeren.

SLEC-Pro is een hulpmiddel voor het controleren van de equivalentie van sequentiële logica dat wordt meegeleverd met de automatische optimalisatieoplossing van PowerPro. SLEC-Pro is in staat om de logische gelijkwaardigheid te verifiëren tussen de originele RTL van de gebruiker en de automatisch gegenereerde RTL met laag vermogen van PowerPro. Aangezien PowerPro optimalisatiemogelijkheden vindt die van meerdere cycli zijn, is voor de verificatie een sequentieel LEC-instrument nodig. De gebruiker is niet vereist om SLEC-Pro in te stellen. PowerPro genereert automatisch een script met alle vereiste instellingen dat eenvoudig kan worden uitgevoerd om SLEC-Pro uit te voeren en formele verificatie uit te voeren. De RTL-ontwerper hoeft niet te investeren in formele verificatie van automatisch geoptimaliseerde RTL met laag vermogen.