FMCAD 2009
Formal Methods in Computer Aided Design
Austin, Texas, USA
November 15 - 18

Semiconductor Panel

Frontline users speak up!
What works, What doesn't, and What are they doing about it?

Ken Albin, AMD
Alan Carlin, Freescale
Velu Durairaj, TI
Alan Hunter, ARM
Tushar Ringe, Analog Devices
Dan Smith, NVIDIA

Moderator: Adnan Aziz, University of Texas at Austin


EDA Vendors Lunch Panel

What will be the next breakthrough solutions in formal?

Harry Foster, Mentor
Ziyad Hanna, Jasper
Kevin Harrer, Synopsys
Axel Scherer, Cadence

Moderator: JL Gray, Verilab


Follow the links above for more details!

Organizer: Vigyan Singhal