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.
|
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: