PowerPro Guided Power Optimization

Au tout début de la RTL, lorsque les vecteurs fonctionnels sont disponibles, les redondances microarchitecturales et combinatoires de PowerPro aident les utilisateurs à identifier, quantifier et corriger les bugs électriques. Le moteur d'analyse fonctionnelle de PowerPro détecte des bascules redondants dans la conception qui peuvent entraîner une perte d'énergie et propose des solutions pour fermer la source de ces bascules redondantes ou restructurer la logique afin d'éviter le gaspillage de bascules.

Les premiers contrôles de conception de PowerPro sont des contrôles indépendants des cas d'utilisation basés sur une analyse statique du RTL qui peuvent être effectués très tôt dans le cycle de conception. En exécutant Power Lint sur le RTL, les problèmes les plus simples peuvent être détectés et résolus dès le départ. Les premiers contrôles de conception incluent des contrôles de couverture qui déterminent dans quelle mesure les registres de conception, les mémoires, les macros, les opérateurs de données, etc. sont fermés. Les contrôles Clock Gating ou ICG intégrés permettent à RTL Designer de déterminer si les cellules ICG existantes sont redondantes d'un point de vue structurel ou fonctionnel. De plus, les contrôles de connectivité aident les utilisateurs à supprimer toute logique indésirable qui peut être flottante ou inutilisée.

Les premières vérifications de conception sont extrêmement rapides et peuvent être utilisées pour élaborer des directives de codage à faible consommation pour les équipes de conception. Ils peuvent facilement être étendus à des régressions et peuvent être utiles pour découvrir l'impact négatif potentiel que les modifications du RTL peuvent avoir sur l'alimentation dès le départ.

L'optimisation séquentielle de PowerPro est basée sur le moteur d'analyse séquentielle approfondie breveté de Siemens EDA, qui effectue des analyses multicycles des registres et des mémoires afin de trouver les conditions d'activation les plus optimales pour le déclenchement de l'horloge et de la mémoire. L'analyse séquentielle approfondie combine un moteur d'analyse d'observabilité et un moteur d'analyse de stabilité. Le moteur d'analyse d'observabilité effectue une analyse séquentielle approfondie de la logique dont le résultat n'est pas observable. L'analyse basée sur la stabilité effectue toutefois une analyse séquentielle approfondie de la logique dont le résultat est stable. L'analyse séquentielle approfondie parcourt plusieurs cycles pour trouver une condition d'activation qui peut être appliquée pour ouvrir plusieurs registres et arrêter la logique du chemin de données pilotée par ces registres, ce qui donne des gains significatifs.

Les techniques d'optimisation séquentielle de PowerPro incluent la synchronisation de l'horloge et la synchronisation de la mémoire. Des informations complètes sont fournies pour chaque condition d'activation, y compris la mémoire ou la chaîne de registres qu'elle va gérer, ainsi que sa référence source, l'expression d'activation exacte qui doit être implémentée par RTL Designer, son impact en termes d'amélioration de l'efficacité du chronométrage, de réduction de puissance, de pénalité de surface et des détails sur les signaux participant à la condition d'activation, tels que leur profondeur logique, leur profondeur hiérarchique, le nombre de signaux, etc.