DVClub Boston Event: Wednesday, February 11, 2015
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.
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"|
DVClub Austin - March 18, 2015
DVClub Silicon Valley - April 8, 2015
Save the dates!