Live Webcast: Industrial-Strength Clock Domain Crossing Verification
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.
What You Will Learn
- Clock Domains
- CDC Protocols
- Hierarchical CDC Verification
Who Should Attend
- Design and Verification Engineers and Managers
- What: Industrial-Strength Clock Domain Crossing Verification
- When: Thursday 6th of October 2011
- Where: Online
- Time: 16:00 PM CET
- Duration: 1 hour
- Registration: Web
Verification of IP blocks, subsystems and complete SOCs is a major challenge for the industry today. Many tools and techniques exist to help with this problem including languages, verification methodologies and EDA tools.Live Webcast: Accelerating Coverage Closure with Intelligent Testbench Automation
Achieving functional coverage closure in today’s complex designs is challenging and time consuming. It is common for a verification team to spend a disproportionate amount of time attempting to achieve the last 20% of functional coverage, by identifying corner cases manually, struggling to create overly complex constraints, and often times resorting to writing lengthy directed tests to target these cases