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

Semiconductor Panel

Tuesday, 17. November, 16:00 - 17:30

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

The goal of this panel was to get feedback from cutting-edge verification users to the FMCAD audience.

Panelists

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

There was a Google Moderator page where the FMCAD website visitors were able to add questions for the audience or vote on existing questions.

Slides of the panelists, except for those of Alan, are also available on the program page.

Organizer

Vigyan Singhal, Oski Technology

Abstract

Our panelists had diverse backgrounds: they work on high-end processor and embedded systems; on DSPs and GPUs; on servers and on mixed-signal chips. They have come together for this panel because of their common passion for improving the verification process.

They told us about both their hands-on experiences and the perceptions of commercial FV tools at their companies. They conveyed their verification triumphs and failures, and described what it is they would like the most from next-generation FV tools. Their companies used general-purpose third-party tools to varying degrees of success. They came together and debated how to get the most out of these tools, and how to avoid a negative return on investment of time and effort - does it matter who drives these tools, what problems are solved with these tools, and whether it pays off to plan a process to maximize the benefits