Name:Chris Brown
Designation:Verification Manager
Title:Formal Tool Usage At Broadcom Cambridge

Abstract: The presentation outlines the successful application of formal verification technologies at Broadcom in Cambridge and also discusses reasons why these tools are not used more widely within the team.

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


Formal Verification Seminar Presentation                  Video Presentation