PowerPro®RTL Low-Power

The only RTL Low-Power solution that brings together analysis,optimization,and formally-verified automatic RTL generation,enabling designers to get maximum,accurate power savings fast.

Automatic Power Reduction

PowerPro自动生成功率优化的RTL,which reduces power up to 30 percent with little or no impact to timing or area.Based on patented sequential analysis technology,PowerPro读取RTL设计并评估跨越数千个时钟周期的电路行为,以识别顺序选通条件。PowerPro then generates new Low-Power RTL that is identical to the original RTL with the addition of sequential gating logic.

The new Low-Power RTL and all of the optimizations performed by PowerPro are comprehensively verified by the SLEC®Pro formal verification engine.SLEC Pro is a sequential logic equivalence checking tool that guarantees functional equivalence between the PowerPro generated RTL and the original RTL.No other solution provides this combination of automatic RTL power optimization and formal verification.

POWERPRO始终能在显著少于手动操作的时间内产生更好的结果,是SOC设计中轻松降低功率的理想解决方案。

Key Features

  • Reduces power by up to 30 percent with little or no impact on timing or area
  • Deep sequential analysis finds superior power savings opportunities
  • Produces new RTL that is identical to the original RTL with the addition of sequential gating logic
  • 消除容易出错的手动RTL更改
  • Comprehensive,fully automated formal verification flow
  • Optimized RTL is ECO-ready,lint clean and fits seamlessly into existing flows
  • Power savings are cumulative and complementary to downstream tools

Chat| Contact