Industrial-Strength Clock Domain Crossing Verification
On-demand Web Seminar
Abstract
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. The webinar will explain each of these steps in CDC verification and demonstrate how Questa CDC Verification automates these steps.
Duration: 27:20
Opens in New Window/External URL
Tags
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
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
Advanced UVM Debugging
This web seminar will highlight some new strategies for debugging UVM-based testbenches using Questa 10.2.…View On-demand Web Seminar
The 2012 Wilson Research Group Functional Verification Study
Every two years, Mentor Graphics commissions Wilson Research Group to conduct a broad, vendor-independent study of design verification practices around the world. In this presentation, Harry Foster...…View On-demand Web Seminar
Questa CDC Verification Demo
This is a demo of Mentor's CDC verification solution. During the demonstration we will show you why Mentor is a leader in CDC verification and how our solution will help you find bugs missed by all other...…View Product Demo
Other Related Resources
Understanding electronic IP: common issues and how to find them
White Paper: Using IP blocks in designs requiring DO-254 compliance is becoming more popular as a way to reduce costs and schedules. However, the use of IP comes with its own problems and pitfalls. A good methodology...…View White Paper
Enabling Model-Based Design for DO-254 Compliance with MathWorks and Mentor Graphics Tools
White Paper: DO-254 compliance is becoming increasingly common on commercial and military aviation projects. Companies often struggle with the requirements and costs of DO-254 compliance. Engineers can use Model-Based...…View White Paper
Applied Micro Circuits Corporation (AMCC)
Success Story: Applied Micro Circuits Corporation (AMCC) adopts Questa CDC for their complex clock domain crossing verification.…View Success Story