DVClub Silicon Valley Event: Wednesday, April 22, 2015
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)
|11:30am||Doors Open / Networking|
|12:00pm||Lunch and Presentation: "Formal property verification at AMD: Theory and Practice"|
Registration not yet Open... Stay tuned!
DVClub Silicon Valley - April 22, 2015
DVClub Boston - May 13, 2015
DVClub Austin - June 3, 2015
Save the dates!