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.