Formal Verification Seminar – UK 20132017-05-29T12:38:12+00:00

T&VS is pleased to share a full review of the day here

Agenda

TimeActivity
8.45Arrival, breakfast and networking
9.25Introduction – Mike Bartley, T&VS
9.30Broadcom, Geoff Barrett
9.50STMicroelectronics, James Pascoe
10.10University of Oxford, Professor Daniel Kroening
10.30Synopsys, Doug Fisher, Jean-Marc Forey
11.00Morning Break
11.30Infineon, Tim Blackmore
11.50Broadcom, Chris Brown
12.10Imagination, AshishDarbari & Sam Elliot
12.30Mentor Graphics, Mark Handover
13.00Lunch
14.00STMicroelectronics, Julia Dushina
14.20Cadence, Deepak Pant
14.50ARM, Alex Netterville
15.10Jasper, Lawrence Loh
15.40Afternoon Break
16.00Imagination, Anthony Wood
16.10OneSpin, Sasa Stamenkovic
16.40EDA Panel Debate
17.15Close

Event Sponsors

formal-sponsors-2013