Please join us for the next DVClub Boston 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.

Westford Regency
219 Littleton Rd 
Westford, MA 01886
Wednesday, February 11, 2015 from 11:30 AM to 1:30 PM (EST)


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


Registration Now Open - Click to RSVP


DVClub Austin - March 18, 2015

DVClub Silicon Valley - April 8, 2015

jumping man excited

Save the dates!