|Designation:||Senior Verification Engineer|
|Title:||From the Apps to the Solutions|
Abstract: Two years after innovating the formal verification market with the concept of “Apps” we see wide parts of the industry are aligning on this approach to deploy formal verification in a mainstream fashion. While most of these apps are built around formal analysis, they also require to be integrated in the overall verification strategy leveraging metrics and dynamic capabilities to extend to their full value. Recent examples of integrated verification solutions are X propagation and low power modeling, which require semantic and syntactic consistency across all engines of a verification platform. This talk will discuss these solutions using Cadence Incisive tool suite. Biography: Joerg Mueller is a Senior Verification Engineer in the Product Expert Team at Cadence. He received a diploma in Electrical Engineering at the Friedrich Alexander University in Erlangen and has worked at various design and EDA companies such as Siemans, Infineon, IKOS and Mentor Graphics and has been with Cadence since 2006. Joerg has accumulated 17 years of experience in the domain of Formal Verification with 14 years’ experience in the EDA Industry.
Formal Verification Seminar Presentation Recording unavailable at the request of the speaker