Name:Christopher Brown
Designation:Verification Team Leader
Title:A Pragmatic Journey into Formal Verification

Abstract: Inspired by last year’s TVS formal verification day we have started our own initiative for formal verification. This presentation shares some of the challenges we’ve faced along the way and outlines the challenges we still need to resolve.

Biography: Dr Chris Brown joined Broadcom in March of 2012 where he is the Verification manager and technical verification lead for Broadcom’s VideoCore team. He has 18 years of experience leading/managing verification teams in digital and mixed signal applications.

Formal Verification Seminar Presentation                                                                             Video Presentation