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