Power management is a perennial topic these days and verification strategy is necessary to ensure proper operation of the design. This article from Mentor Graphics offers Questa Formal for verifying the sophisticated power management regimes that are required for mobile and power sensitive SOC’s. Additionally this article also outlines how to avoid design failures due to flawed power reduction implementation.

Read More