|Conference:||FV2016 (click here to see full programme)|
|Presentation Title:||Instant Formal Expert|
|Abstract:||What are formal property checking engines and how do they work? Why are they incredibly powerful for some properties, but not so good for others? What’s the state of the art and what’s coming in the near future? This session will review the fundamentals as well as the recent breakthroughs that are driving advances in performance and capacity to instantly become a formal expert!.
|Speaker Bio:||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 10 years’ experience on Assertion-Based Verification (ABV) and supporting major customers in the area of formal verification across Europe.|
View the Presentation Material: