Conference:FV2016 (click here to see full programme)
Speaker:Alex Orr, Master Engineer
Organisation:Broadcom Limited
Presentation Title:Better Living Through Formal
Abstract:A year after sharing my first thoughts about formal verification how do I feel about the methodology – *spoiler alert* still an enthusiast – but finding its application in more and different places that I first expected. This presentation focuses on the day to day, pragmatic application of formal verification and its role in making our verification life better.

  • Formal throughout the flow
  • Improving design quality
  • Quick wins with Formal
Speaker Bio:Over 20 years experience in semiconductor design and verification, worked for picoChip, Audium, Gnodal and now Broadcom. Is human, makes mistakes, considers admitting this the first step in becoming a better verification engineer!

View the Presentation Material: