The webinar will explain each of these steps in CDC verification and demonstrate how Questa CDC Verification automates these steps.
More than 90% of today’s designs contain multiple clocks, and all such designs can potentially fail if communication between clock domains is not correctly synchronized. This webinar presents Questa CDC Verification and describes how it is used in world-class production verification flows to detect and eliminate potential problems in multi-clock designs.
Questa CDC Verification automatically identifies clock domains, recognizes and classifies synchronizers, generates synchronization protocol assertions, and attempts to verify those assertions statically. Questa CDC also automatically includes protocol assertions in simulation for dynamic CDC verification, and it includes metastability models that reflect the timing uncertainties introduced by synchronizers to ensure that any reconvergent CDC paths behave correctly.