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)

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 Now Open - Click to RSVP

 

Olig Petlin presents "Formal property verification at AMD: Theory and Practice"

Oleg Petlin holds a BSc and MSc Degrees in System Engineering from Kiev Polytechnic, Ukraine, and a PhD degree in Computer Science from the University of Manchester, UK. Oleg’s research, engineering, and management careers include almost 25 years of experience in the areas of ASIC design, Design for Testability, and Functional Verification. Currently, Oleg is a Senior Manager at AMD in charge of verification of microprocessor cores.

Register now and invite your friends to join, as well!