Don’t Miss CDC Bugs in Low Power Designs!: Formal Meets Power Aware CDC
This webinar will discuss how Questa CDC Power Aware analysis can address this problem, as well as describe how Questa CDC combines exhaustive formal analysis with automated protocol assertions to prove safe crossings and filter functionally false positives.
-
Session Registration
-
Session Overview
Although dynamic power usage has been a concern for decades, leakage power is a big concern for today’s SoC designs below 65nm. Reducing power consumption is essential to both mobile and data center applications, where lower power contributes to either longer battery life in IoT and handheld products while minimally impacting performance.
The solution has been to partition designs into multiple power domains which allows selectively reducing voltage levels or powering off partitions. Traditional low power verification only validates the functional correctness of power control logic, but it does not validate the impact of power logic on multi-clock logic.
This webinar will discuss how Questa CDC Power Aware analysis can address this problem, as well as describe how Questa CDC combines exhaustive formal analysis with automated protocol assertions to prove safe crossings and filter functionally false positives.
What You Will Learn
- Streamline CDC/RDC verification of low power designs leveraging automatic power management coverage, and test plan generation.
- Learn how Questa Power Aware CDC can verify isolation and retention control signals, voltage domain paths, and visualize power management structures and behaviors.
- Learn about the industry’s only low power CDC support for Dynamic Voltage & Frequence Scaling (DVFS).
- Improve CDC analysis productivity by reducing noise and improving results through under-the-hood formal verification.
Who Should Attend
- This webinar is ideal for design engineers, verification engineers, and managers involved in CDC/RDC verification, and CDC verification of designs containing low power optimizations. If you’re seeking faster, more accurate low power verification results and a more efficient low power verification workflow, this session is for you.
Products Covered
- Questa CDC
- Questa OneSpin Static Formal
