Formal Verification - ARM

In the ever-accelerating industry of CPU design, Formal Verification is becoming an essential methodology in ensuring that correct designs are shipped to customers. In this talk, we will explore the nature of Formal Methods as applied to digital electronics. We will look at how the technology works, its history, its strengths and weaknesses in comparison with traditional simulation-based methods, and its application on real CPU designs. We will see why electronics companies are so excited about it, and the growing requirement for good tools and engineers in today’s marketplace.

The presenter is an engineer who has witnessed first-hand the growth of Formal Methods at a major CPU design company over several years, and created new techniques in applying formal methods. There will be time for in-depth Q&A.

Hosted with:
  • Will Keen, Senior Engineer, ARM

Our lovely sponsors

Cookpad logo Bloomberg logo Jump Trading logo Yobota logo TPP logo GRAPHCORE logo Visa logo Optiver logo Pilgrim Brewery logo

This could be you!

Get in touch