|Conference:||Verification Futures 2016 (click here to see full programme)|
|Speaker:||Alex Orr (Principal Engineer – IC Design)|
|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.
|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!|
Better Living Through Formal News Editor 2016-01-20T16:22:21+00:00