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!