Better Living Through Formal2016-01-20T16:22:21+00:00
Conference:Verification Futures 2016 (click here to see full programme)
Speaker:Alex Orr (Principal Engineer – IC Design)
Organisation:Broadcom
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!
Slides
  • Presentations Slides: Pending
  • Video Presentation: Pending