Автоматическая оптимизация PowerPro — единственное действительно эффективное и проверенное в производстве автоматическое решение для оптимизации RTL с низким энергопотреблением, доступное сегодня на рынке. Основываясь на механизмах глубокого последовательного анализа, он может найти наиболее эффективные тактовые шлюзы, а шлюз памяти позволяет значительно оптимизировать энергопотребление, а затем автоматически записывать RTL с оптимизированным энергопотреблением. Он также генерирует скрипт для настройки SLEC-Pro, который представляет собой решение для последовательной логической проверки эквивалентности и автоматически выполняет формальную проверку для сравнения исходного RTL пользователя с автоматически генерируемым RTL с низким энергопотреблением PowerPro, что значительно сокращает усилия по проверке изменений с низким энергопотреблением и приводит к многократному повышению производительности групп разработчиков RTL.
