TVS is holding a one day Formal Verification Seminar on 23rd May 2013 where Verification Engineers and Managers can join EDA vendors.

  • Users will present their current experiences of using formal verification and their challenges in further deployment
  • EDA vendors can present their solutions and roadmaps
  • Discussions can be set up to encourage the exchange of use models and flows to improve the industrial application of formal both in the near and long term

We hope to attract 40/50 senior engineers and decision makers to the seminar and it will also be broadcast via webinar.

To join the live event in Reading email Mike Bartley. To register for the remote webinar click here.

AGENDA

Time

Activity

8.45

Arrival, breakfast and networking

9.25

Introduction – Mike Bartley, TVS

9.30

Broadcom, Geoff Barrett

9.50

STMicroelectronics, James Pascoe

10.10

University of Oxford, Professor Daniel Kroening

10.30

Synopsys, Doug Fisher, Jean-Marc Forey

11.00

Morning Break

11.30

Infineon, Tim Blackmore

11.50

Broadcom, Chris Brown – TBC

12.10

Imagination, AshishDarbari & Sam Elliot

12.30

Mentor Graphics, Mark Handover

13.00

Lunch

14.00

STMicroelectronics, Julia Dushina

14.20

Cadence, Deepak Pant

14.50

ARM, Bryan Dickman

15.10

Jasper, Lawrence Loh

15.40

Afternoon Break

16.00

Imagination, Anthony Wood

16.10

OneSpin, Sasa Stamenkovic

16.40

EDA Panel Debate

17.15

Close

Event Sponsors

 

 

 

 

[subscribe2]