|Name:||Abdelouahab Ayari, Ph.D|
|Title:||Formal is the new Normal|
Abstract: Formal verification was once considered to be a fringe verification method, but it has now moved to mainstream. In this talk, we review some of the key enablers of this dramatic shift, including advances in tool capacity and automation. We also discuss case studies demonstrating how formal verification is able to improve project schedules and design quality through a wide variety of applications.
The effort spent on verification is growing at an alarming rate, with data showing that there has been a significant increase over the past half decade. Design sizes continue to grow at the rate prescribed by Moore’s Law and project schedules are constrained by unrelenting time-to-market pressures. To verify with higher efficiency and maintain a competitive edge, design teams are increasingly turning to formal verification.
Formal verification technology has come a long way since its early days. The state-of-the-art in formal methods is constantly being advanced by research into new and more powerful algorithms. Moreover, formal verification methodology has evolved to the point where automated formal applications (aka apps) have been developed to make it easy to apply formal verification in specific use cases. Formal can now be applied to efficiently solve many of the verification problem areas that are not well addressed by traditional methods.
Formal verification was once relegated to the realm experts using specialised languages and tools; however, in recent, all that has changed.Formal is the new normal.
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 10 years’ experience on Assertion-Based Verification (ABV) and supporting major customers in the area of formal verification across Europe.