|Conference:||DVCLUB Europe | Improving Verification: Designers and Verification|
|Speaker:||Abdelouahab Ayari, Application Engineer, Mentor: A Siemens Business|
The verification techniques of clock domain crossing designs (CDCs) are well understood. However, a new breed of domain crossings introduce challenging issues in design and verification. These are Reset Domain Crossings (RDC), brought on by the rise of increased use of third party IPs, aggressive power management and the increased rise of the use of asynchronous resets. This session explores the differences between CDC and RDC verification, and brings to light the importance of these separate verification tools and techniques for accelerating design-to-market.
3 Key Points:
|Speaker Biography:||Abdelouahab Ayari, Ph.D. is an application engineer for formal verification, clock domain crossing, and low power verification. He received his doctor in formal verification at the University of Freiburg and worked for Micronas GmbH before joining Mentor Graphics. He has over 15 years.|
DVCLUB Europe is made possible through the generosity of our sponsors.