Formal Verification Of Power-Aware Designs
Power reduction and management methods are now all-pervasive in system-on-chip (SoC) designs. They are used in SoCs targeted at power-critical applications ranging from mobile appliances with limited battery life to big-box electronics that consume large amounts of increasingly expensive power. Power reduction methods are now applied throughout the chip design flow from architectural design, through RTL implementation to physical design.
This white paper addresses the verification challenges posed by power-aware chip design, and how the JasperGold Low Power Verification App works with other JasperGold Apps to overcome those challenges. It covers:
- Power-aware verification challenges
- Power-aware verification requirements
- The limitations of traditional power-aware verification
- Meeting power-aware verification requirements with JasperGold Apps
Tags: formal verification, Jasper Design Automation, low power