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.
