また、高度な消費電力最適化により、ダイナミック消費電力を自動的に大幅削減します。高度に対話的なCatapultのワークフローを使って、設計者は合成プロセスを完全に可視化および制御することが可能なため、消費電力、性能、面積を考慮した最適な実装を迅速に実現できます。
「予測どおりの機能の正確性と高い結果品質を提供してきたCatapultを信頼しているので、より大規模な設計にも安心してこのツールを用いることができ、その結果さらに生産性が向上しました。」
「マイクロプロセッサ設計チームは常に革新を続けており、全体的な性能向上と業界をリードするワットパフォーマンスを実現しています。フォーマル検証ツールSLECが提供する高速で包括的な検証機能のおかげで、開発プロセスが強化され、顧客の処理ニーズを継続的に満たすことができます。」