Sign In
Forgot Password?
Sign In | | Create Account

Industrial-Strength Clock Domain Crossing Verification

Details

Overview

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.

What You Will Learn

  • Clock Domains
  • Synchronizers
  • CDC Protocols
  • Metastability
  • Reconvergence
  • Hierarchical CDC Verification

About the Presenter

Presenter Image Kurt Takara

Mr. Takara has over 20 years of experience in engineering design and verification, technical marketing and engineering services. He is a Technical Marketing Engineer at Mentor Graphics Corporation and specializes in assertion-based verification methods and applications, including formal and clock-domain crossing (CDC) verification. Takara has held engineering, marketing, consulting services and project management roles in electronics and EDA companies such as Synopsys, Ikos Systems, Raytheon and Magnavox. He holds a BSEE from Purdue University and an MBA from Santa Clara University.

Who Should View

  • Design and Verification Engineers and Managers

Related Resources

Multimedia

Other Related Resources

 
Online Chat