PowerPro Automatic Power Optimization

L'optimisation séquentielle de PowerPro est basée sur le moteur d'analyse séquentielle profonde breveté de Siemens EDA qui effectue une analyse multi-cycle pour les registres et les mémoires afin de trouver les conditions d'activation les plus optimales pour la fonction de contrôle de l'horloge et de la mémoire. L'analyse séquentielle profonde est une combinaison d'un moteur d'analyse d'observabilité et d'un moteur d'analyse de stabilité. Le moteur d'analyse d'observabilité effectue une analyse séquentielle approfondie sur la logique dont la sortie n'est pas observable. L'analyse basée sur la stabilité, cependant, effectue une analyse séquentielle approfondie sur une logique dont la sortie est stable. L'analyse séquentielle approfondie traverse plusieurs cycles pour trouver une condition d'activation qui peut être appliquée pour mettre à la porte plusieurs registres et arrêter la logique de chemin de données pilotée par ces registres, générant des gains significatifs.

Le moteur d'écriture RTL de pointe et éprouvé en production de PowerPro écrit automatiquement le RTL optimisé pour la puissance pour ses techniques d'optimisation séquentielle, la fonction de blocage de l'horloge et la fonction mémoire. Il insère les conditions d'activation dans la branche « if » du bloc toujours et ajoute des commentaires à l'utilisateur RTL afin que les fonctions insérées PowerPro puissent être facilement identifiées. Il maintient également la lisibilité complète du RTL en gardant l'indentation du code et de la RTL originale intacte « en l'état ». La logique d'activation implémentée automatiquement est stockée dans des modules séparés et la nouvelle liste de fichiers avec RTL générée automatiquement est disponible dans le répertoire de travail. Le moteur Write RTL peut être configuré pour écrire des RTL optimisés pour la puissance de plusieurs façons en configurant ses options. Les utilisateurs peuvent également sélectionner des opportunités qu'ils souhaitent que l'outil mette automatiquement en œuvre.

Slec-Pro est un outil de vérification d'équivalence logique séquentielle qui est livré avec la solution d'optimisation automatique de PowerPro. Slec-Pro est capable de vérifier l'équivalence logique entre le RTL original des utilisateurs et le RTL basse consommation généré automatiquement par PowerPro. Alors que PowerPro trouve des opportunités d'optimisation qui sont de nature multi-cycle, un outil LEC séquentiel est nécessaire pour sa vérification. L'utilisateur n'est pas nécessaire pour configurer Slec-Pro. PowerPro génère automatiquement un script avec toute la configuration requise qui peut simplement être exécuté pour exécuter Slec-Pro et effectuer une vérification formelle. Il n'est pas nécessaire que le concepteur RTL investisse dans la vérification formelle du RTL basse consommation optimisé automatiquement.