PowerPro Automatic Power Optimization

Die sequentielle Optimierung von PowerPro basiert auf der patentierten Deep Sequential Analysis Engine von Siemens EDA, die eine Mehrzyklusanalyse für Register und Speicher durchführt, um die optimalen Aktivierungsbedingungen für Clock Gating und Memory-Gating zu finden. Die tiefgehende sequentielle Analyse ist eine Kombination aus einer Beobachtbarkeitsanalyse-Engine und einer Stabilitätsanalyse-Engine. Die Beobachtbarkeitsanalyse-Engine führt tiefgehende sequentielle Analysen für Logik durch, deren Ausgabe nicht beobachtbar ist. Stabilitätsbasierte Analysen führen jedoch tiefgehende sequentielle Analysen für Logik durch, deren Ausgabe stabil ist. Die tiefgreifende sequentielle Analyse durchläuft mehrere Zyklen, um eine Aktivierungsbedingung zu finden, die angewendet werden kann, um mehrere Register zu steuern und die von diesen Registern gesteuerte Datenpfadlogik abzuschalten, was zu erheblichen Gewinnen führt.

Die hochmoderne, produktionserprobte RTL-Schreibengine von PowerPro schreibt automatisch leistungsoptimierte RTL für ihre sequentiellen Optimierungstechniken, Clock Gating und Memory Gating. Es fügt Aktivierungsbedingungen in den „if“ -Zweig des Always-Blocks ein und fügt Kommentare zur Benutzer-RTL hinzu, sodass eingefügte PowerPro-Aktivierungen leicht identifiziert werden können. Es gewährleistet auch die volle Lesbarkeit der RTL, indem die Einrückung des Codes und die ursprüngliche RTL unverändert beibehalten werden. Die automatisch implementierte Aktivierungslogik wird in separaten Modulen gespeichert und die neue Dateiliste mit automatisch generierter RTL ist im Arbeitsverzeichnis verfügbar. Die Write RTL-Engine kann auf viele Arten so konfiguriert werden, dass sie leistungsoptimierte RTL schreibt, indem Sie ihre Optionen konfigurieren. Benutzer können auch Opportunities auswählen, die das Tool automatisch implementieren soll.

SLEC-Pro ist ein Tool zur Überprüfung der sequentiellen logischen Äquivalenz, das im Lieferumfang der automatischen Optimierungslösung von PowerPro enthalten ist. SLEC-Pro ist in der Lage, die logische Äquivalenz zwischen der ursprünglichen RTL des Benutzers und der automatisch generierten RTL mit geringem Stromverbrauch von PowerPro zu überprüfen. Wenn PowerPro Optimierungsmöglichkeiten findet, die mehrzyklischer Natur sind, ist für die Überprüfung ein sequentielles LEC-Tool erforderlich. Der Benutzer muss SLEC-Pro nicht einrichten. PowerPro generiert automatisch ein Skript mit allen erforderlichen Einstellungen, das einfach ausgeführt werden kann, um SLEC-Pro auszuführen und eine formelle Überprüfung durchzuführen. Der RTL-Designer muss nicht in die formale Überprüfung von automatisch optimierten RTL mit geringem Stromverbrauch investieren.