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