Please join us for the next DVClub Silicon Valley event, featuring a complimentary catered lunch, networking, and enlightening presentation. Special thanks to DVClub Sponsors for making this event possible.

This time around Olig Petin from AMD will be discussing how formal properties are used for verification at AMD, both in theory and in practice. It should be a great presentation, and as always, an excellent way to network with other verification professionals in your community.

Dave and Buster's
940 Great Mall Drive
Milpitas, CA 95035
Wednesday, April 22, 2015 from 11:30 AM to 1:30 PM (PST)

Agenda

11:30am Doors Open / Networking
12:00pm Lunch and Presentation: "Formal property verification at AMD: Theory and Practice"
1:00pm-1:30pm Networking

 

Registration not yet Open... Stay tuned!

 

DVClub Silicon Valley - April 22, 2015

DVClub Boston - May 13, 2015

DVClub Austin - June 3, 2015

jumping man excited

Save the dates!